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 65
- Downloads 0
The Case of Dialetheism
The concept of dialetheia and the claim of dialetheism has been examined and compared to such related concept as contradiction, antinomy, consistency and paraconsistency. Dialetheia is a true contradiction and dialetheis...
The mereology of structural universals
This paper explores the mereology of structural universals, using the structural richness of a non-classical mereology without unique fusions. The paper focuses on a problem posed by David Lewis, who using the example of...
Simple cut elimination proof for hybrid logic
In the paper we present a relatively simple proof of cut elimination theorem for variety of hybrid logics in the language with satisfaction operators and universal modality. The proof is based on the strategy introduced...
Trivial Dialetheism and the Logic of Paradox
In this paper we explain that the paraconsistent logic LP (Logic of Paradox) promoted by Graham Priest can only be supported by trivial dialetheists, i.e., those who believe that all sentences are dialetheias.
Sequents for non-wellfounded mereology
The paper explores the proof theory of non-wellfounded mereology with binary fusions and provides a cut-free sequent calculus equivalent to the standard axiomatic system.