PhilSci Archive

If structured propositions are logical procedures then how are procedures individuated?

Duzi, Marie (2017) If structured propositions are logical procedures then how are procedures individuated? [Preprint]

[img]
Preview
Text
SYNT-D-17-00173.pdf

Download (1MB) | Preview

Abstract

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.


Export/Citation: EndNote | BibTeX | Dublin Core | ASCII/Text Citation (Chicago) | HTML Citation | OpenURL
Social Networking:
Share |

Item Type: Preprint
Creators:
CreatorsEmailORCID
Duzi, Mariemarie.duzi@gmail.com
Keywords: Procedural semantics; Transparent Intensional Logic; structured propositions; mereology of structured procedures; unity of propositions, synonymy; co-hyperintensionality; procedural isomorphism
Subjects: Specific Sciences > Mathematics > Logic
Depositing User: Prof. Marie Duzi
Date Deposited: 15 Oct 2017 15:59
Last Modified: 15 Oct 2017 15:59
Item ID: 14025
Subjects: Specific Sciences > Mathematics > Logic
Date: 14 October 2017
URI: https://philsci-archive-dev.library.pitt.edu/id/eprint/14025

Monthly Views for the past 3 years

Monthly Downloads for the past 3 years

Plum Analytics

Actions (login required)

View Item View Item