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 |