Journal ArticleDOI
Anatomy of a proposition
Reads0
Chats0
TLDR
This paper addresses the mereological problem of the unity of structured propositions by arguing that procedurally conceived propositions are their own unifiers detailing how their parts interact so as to form a unit.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 (mappings). 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 $$\lambda $$
-calculus, whose $$\lambda $$
-terms express four different kinds of procedures. While demonstrating how the theory works, I place my solution in a wider historical and systematic context.read more
Citations
More filters
Journal ArticleDOI
If structured propositions are logical procedures then how are procedures individuated
TL;DR: In this paper, a set of rigorously defined criteria of fine-grained individuation in terms of the structure of procedures is presented, and a solution to the problem of the granularity of co-hyperintensionality is provided.
Journal ArticleDOI
Hyperintensional logics for everyone
TL;DR: It is shown that the major approaches to hyperintensionality known from the literature, that is state-based, syntactic and structuralist approaches, all correspond to special cases of the general framework.
Book ChapterDOI
Impossible Individuals as Necessarily Empty Individual Concepts
TL;DR: In this paper, the authors propose a hyperintensional account of a special case of impossible objects, so-called "impossible individuals" with necessarily empty individual concepts, which can not possibly be matched by an extension (an individual).
Journal ArticleDOI
On Two Notions of Computation in Transparent Intensional Logic
TL;DR: In Transparent Intensional Logic as mentioned in this paper, we can recognize two distinct notions of computation that loosely correspond to term rewriting and term interpretation as known from lambda calculus, and examine some of their properties.
References
More filters
Book
The Principles of Mathematics
TL;DR: The first comprehensive treatise on the logical foundations of mathematics written in English was the Principia Mathematica as mentioned in this paper, which was published in 1903 and was the basis for the work of Frege.
Book
Parts: A Study in Ontology
TL;DR: In this article, Simons surveys and criticizes previous theories, especially the standard extensional view, and proposes a more adequate account which encompasses both temporal and modal considerations in detail, and shows that mereology, the formal theory of part and whole, is essential to ontology.
Proceedings ArticleDOI
Computational lambda-calculus and monads
TL;DR: The author gives a calculus based on a categorical semantics for computations, which provides a correct basis for proving equivalence of programs, independent from any specific computational model.
Journal ArticleDOI
Russell Bertrand. Mathematical logic as based on the theory of types. A reprint of the first five sections of 11116. Contemporary readings in logical theory, edited by Copi Irving M. and Gould James A., The Macmillan Company, New York, and Collier-Macmillan Limited, London, 1967, pp. 135–153.
BookDOI
Principles of Mathematics
TL;DR: The Principles of Mathematics as discussed by the authors was Bertrand Russell's first major work in print, and it was this title which saw him begin his ascent towards eminence, leading to the dominance of analytical logic on western philosophy in the twentieth century.