Synthese 196 (4):1285-1324 (2017)

Authors
Abstract
This 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.
Keywords No keywords specified (fix it)
Categories (categorize this paper)
Reprint years 2017, 2019
ISBN(s)
DOI 10.1007/s11229-017-1512-y
Options
Edit this record
Mark as duplicate
Export citation
Find it on Scholar
Request removal from index
Revision history

Download options

Our Archive


Upload a copy of this paper     Check publisher's policy     Papers currently archived: 50,118
External links

Setup an account with your affiliations in order to access resources via your University's proxy server
Configure custom proxy (use this if your affiliation does not provide a proxy)
Through your library

References found in this work BETA

No references found.

Add more references

Citations of this work BETA

Propositions as Structured Cognitive Event‐Types.Wayne A. Davis - forthcoming - Philosophy and Phenomenological Research.
Non-Constructive Procedural Theory of Propositional Problems and the Equivalence of Solutions.Ivo Pezlar - 2019 - In Igor Sedlár & Martin Blicha (eds.), The Logica Yearbook 2018. London: College Publications. pp. 197-210.

Add more citations

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.
Hyperintensional Propositions.Mark Jago - 2015 - Synthese 192 (3):585-601.
Russellova rana metafizika propozicija.Anssi Korhonen - 2009 - Prolegomena 8 (2):159-192.
Propositions, Representation, and Truth.Geoff Georgi - 2019 - Synthese 196 (3):1019-1043.
Introduction.Marie Duží & Bjørn Jespersen - 2015 - Synthese 192 (3):525-534.
The Unity of the Proposition.Peter William Hanks - 2002 - Dissertation, University of California, Berkeley
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.
Can Concepts Be Defined in Terms of Sets?Marie Duží & Pavel Materna - 2010 - Logic and Logical Philosophy 19 (3):195-242.

Analytics

Added to PP index
2017-08-15

Total views
31 ( #309,937 of 2,324,592 )

Recent downloads (6 months)
4 ( #230,295 of 2,324,592 )

How can I increase my downloads?

Downloads

My notes