Synthese 196 (4):1285-1324 (2019)
AbstractThis paper addresses the mereological problem of the unity of structured propositions. The problem is how to make multiple parts interact such that they form a whole that is ultimately related to truth and falsity. The solution I propose is based on a Platonist variant of procedural semantics. I think of procedures as abstract entities that detail a logical path from input to output. Procedures are modeled on a function/argument logic, but are not functions. Instead they are higher-order, fine-grained structures. I identify propositions with particular kinds of molecular procedures containing multiple sub-procedures as parts. Procedures are among the basic entities of my ontology, while propositions are derived entities. The core of a structured proposition is the procedure of predication, which is an instance of the procedure of functional application. The main thesis I defend is that procedurally conceived propositions are their own unifiers detailing how their parts interact so as to form a unit. They are not unified by one of their constituents, e.g., a relation or a sub-procedure, on pain of regress. The relevant procedural semantics is Transparent Intensional Logic, a hyperintensional, typed λ-calculus, whose λ-terms express four different kinds of procedures. While demonstrating how the theory works, I place my solution in a wider historical and systematic context.
Similar books and articles
Should Propositions Proliferate?Bjørn Jespersen - 2015 - Thought: A Journal of Philosophy 4 (4):243-251.
Knowability and Epistemic Truth.M. Hand - 2003 - Australasian Journal of Philosophy 81 (2):216 – 228.
Parts of Propositions.Cody Gilmore - 2014 - In Shieva Kleinschmidt (ed.), Mereology and Location. Oxford University Press. pp. 156-208.
Post-Fregean Thoughts on Propositional Unity.Bjørn Jespersen - 2012 - In James Maclaurin (ed.), Rationis Defensor.
Meaning, Truth, and Belief: An Inquiry Into the Natures of Propositions and States of Affairs.Theodore William Schick - 1980 - Dissertation, Brown University
The Eternal Existence of True Propositions.Mark Steven Roberts - 1987 - Dissertation, University of Dallas
Richard Gaskin: The Unity of the Proposition.Laurynas Adomaitis - 2012 - Croatian Journal of Philosophy 12 (1):106-111.
Added to PP
Historical graph of downloads
Citations of this work
If Structured Propositions Are Logical Procedures Then How Are Procedures Individuated?Marie Duží - 2019 - Synthese 196 (4):1249-1283.
Propositions as Structured Cognitive Event‐Types.Wayne A. Davis - 2021 - Philosophy and Phenomenological Research 102 (3):665-692.
On Two Notions of Computation in Transparent Intensional Logic.Ivo Pezlar - 2018 - Axiomathes 29 (2):189-205.
References found in this work
Tractatus Logico-Philosophicus.Ludwig Wittgenstein - 1956 - Revista Portuguesa de Filosofia 12 (1):109-110.