A Theory of Propositions
Journal Title: Logic and Logical Philosophy - Year 2016, Vol 25, Issue 1
Abstract
In this paper I present a new theory of propositions, according to which propositions are abstract mathematical objects: well-formed formulas together with models. I distinguish the theory from a number of existing views and explain some of its advantages – chief amongst which are the following. On this view, propositions are unified and intrinsically truthbearing. They are mind- and language-independent and they are governed by logic. The theory of propositions is ontologically innocent. It makes room for an appropriate interface with formal semantics and it does not enforce an overly fine or overly coarse level of granularity.
Authors and Affiliations
Nicholas J. J. Smith
Keywords
Related Articles
- EP ID EP201783
- DOI 10.12775/LLP.2015.021
- Views 63
- Downloads 0
Errata Corrige to “Pragmatic and dialogic interpretation of bi-intuitionism. Part I”
The goal of [3] is to sketch the construction of a syntactic categorical model of the bi-intuitionistic logic of assertions and hypotheses AH, axiomatized in a sequent calculus AH-G1, and to show that such a model has a...
Composition as identity and plural Cantor's theorem
In this paper, I argue that the thesis of Composition as Identity blocks the plural version of Cantor’s Theorem, and that this in turn has implications for our use of Cantor’s theorem in metaphysics. As an example, I sho...
Partial and paraconsistent three-valued logics
On the sidelines of classical logic, many partial and paraconsistent three-valued logics have been developed. Most of them differ in the notion of logical consequence or in the definition of logical connectives. This art...
Composition, identity, and emergence
Composition as Identity (CAI) is the thesis that a whole is, strictly and literally, identical to its parts, considered collectively. McDaniel [2008] argues against CAI in that it prohibits emergent properties. Recently...
Relational semantics for the 4-valued relevant logics BN4 and E4
The logic BN4 was defined by R.T. Brady in 1982. It can be considered as the 4-valued logic of the relevant conditional. E4 is a variant of BN4 that can be considered as the 4-valued logic of (relevant) entailment. The a...