If structured propositions are logical procedures then how are procedures individuated?
This paper deals with two issues. First, it identifies structured propositions with logical procedures. Second, it considers various rigorous definitions of the granularity of procedures, hence also of structured propositions, and comes out in favour of one of them. As for the first point, structure...
| Publicado en: | Synthese Vol. 196; no. 4; pp. 1249 - 1284 |
|---|---|
| Autor principal: | |
| Formato: | Artículo |
| Publicado: |
Springer Nature
Apr2019
|
| Materias: | |
| Acceso en línea: | Ver este registro en EBSCOhost |
| fields | @attributes: recordID: 1 pdfLink: plink: https://search.ebscohost.com/login.aspx?direct=true&db=hlh&AN=135662067&site=ehost-live header: @attributes: shortDbName: hlh uiTerm: 135662067 longDbName: Humanities International Complete uiTag: AN controlInfo: bkinfo: jinfo: jid: 00397857 4LI jtl: Synthese issn: 00397857 maglogo: N pubinfo: dt: Apr2019 vid: 196 iid: 4 pid: 237 pub: Springer Nature artinfo: ui: 135662067 10.1007/s11229-017-1595-5 ppf: 1249 ppct: 35 formats: fmt: – @attributes: type: T – @attributes: type: P size: 683KB tig: atl: If structured propositions are logical procedures then how are procedures individuated? aug: au: Duží, Marie affil: Department of Computer Science, VSB-Technical University of Ostrava, 17. listopadu 15, 708 33, Ostrava, Czech Republic su: Semantics Logic Proposition (Logic) Isomorphism (Mathematics) Logicians sug: subj: Semantics Logic Proposition (Logic) Isomorphism (Mathematics) Logicians keyword: Co-hyperintensionality Mereology of structured procedures Procedural isomorphism Procedural semantics Structured propositions synonymy Transparent intensional logic Unity of propositions ab: This paper deals with two issues. First, it identifies structured propositions with logical procedures. Second, it considers various rigorous definitions of the granularity of procedures, hence also of structured propositions, and comes out in favour of one of them. As for the first point, structured propositions are explicated as algorithmically structured procedures. I show that these procedures are structured wholes that are assigned to expressions as their meanings, and their constituents are sub-procedures occurring in executed mode (as opposed to displayed mode). Moreover, procedures are not mere aggregates of their parts; rather, procedural constituents mutually interact. As for the second point, there is no universal criterion of the structural isomorphism of meanings, hence of co-hyperintensionality, hence of synonymy for every kind of language. The positive result I present is an ordered set of rigorously defined criteria of fine-grained individuation in terms of the structure of procedures. Hence procedural semantics provides a solution to the problem of the granularity of co-hyperintensionality. pubtype: Academic Journal doctype: Article src: R language: English refInfo: copyright: @attributes: flag: Y custom: Synthese is a copyright of Springer, 2019. All Rights Reserved. item: Synthese holder: Springer Nature dt: @attributes: year: 2019 holdings: @attributes: islocal: N |
|---|