Authors
Andreas Fjellstad
University of Bergen
Abstract
This paper concerns the relationship between transitivity of entailment, omega-inconsistency and nonstandard models of arithmetic. First, it provides a cut-free sequent calculus for non-transitive logic of truth STT based on Robinson Arithmetic and shows that this logic is omega-inconsistent. It then identifies the conditions in McGee for an omega-inconsistent logic as quantified standard deontic logic, presents a cut-free labelled sequent calculus for quantified standard deontic logic based on Robinson Arithmetic where the deontic modality is treated as a predicate, proves omega-inconsistency and shows thus, pace Cobreros et al., that the result in McGee does not rely on transitivity. Finally, it also explains why the omega-inconsistent logics of truth in question do not require nonstandard models of arithmetic.
Keywords No keywords specified (fix it)
Categories (categorize this paper)
DOI 10.26686/ajl.v13i5.3900
Options
Edit this record
Mark as duplicate
Export citation
Find it on Scholar
Request removal from index
Revision history

Download options

PhilArchive copy


Upload a copy of this paper     Check publisher's policy     Papers currently archived: 55,909
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

The Concept of Truth in Formalized Languages.Alfred Tarski - 1936 - In A. Tarski (ed.), Logic, Semantics, Metamathematics. Oxford University Press. pp. 152--278.
The Revision Theory of Truth.Vann McGee - 1996 - Philosophy and Phenomenological Research 56 (3):727-730.

View all 31 references / Add more references

Citations of this work BETA

Truth Without Standard Models: Some Conceptual Problems Reloaded.Eduardo Barrio & Bruno Da Ré - 2018 - Journal of Applied Non-Classical Logics 28 (1):122-139.
Contraction, Infinitary Quantifiers, and Omega Paradoxes.Bruno Da Ré & Lucas Rosenblatt - 2018 - Journal of Philosophical Logic 47 (4):611-629.
Infinitary Contraction‐Free Revenge.Andreas Fjellstad - 2018 - Thought: A Journal of Philosophy 7 (3):179-189.

View all 6 citations / Add more citations

Similar books and articles

Inconsistent Nonstandard Arithmetic.Chris Mortensen - 1987 - Journal of Symbolic Logic 52 (2):512-518.
Troubles with (the Concept of) Truth in Mathematics.Roman Murawski - 2006 - Logic and Logical Philosophy 15 (4):285-303.
Syntax and Semantics of the Logic $\Mathcal{L}^\Lambda_{\Omega\Omega}$.Carsten Butz - 1997 - Notre Dame Journal of Formal Logic 38 (3):374-384.
Constant Regions in Models of Arithmetic.Tin Lok Wong - 2015 - Notre Dame Journal of Formal Logic 56 (4):603-624.
Models with the Ω-Property.Roman Kossak - 1989 - Journal of Symbolic Logic 54 (1):177-189.
Filter Logics on $Omega$.Matt Kaufmann - 1984 - Journal of Symbolic Logic 49 (1):241-256.
The Arithmetic of Cuts in Models of Arithmetic.Richard Kaye - 2013 - Mathematical Logic Quarterly 59 (4-5):332-351.
Regularity in Models of Arithmetic.George Mills & Jeff Paris - 1984 - Journal of Symbolic Logic 49 (1):272-280.
Undefinability of Truth and Nonstandard Models.Roman Kossak - 2004 - Annals of Pure and Applied Logic 126 (1-3):115-123.
Omega‐ and Beta‐Models of Alternative Set Theory.Athanassios Tzouvaras - 1994 - Mathematical Logic Quarterly 40 (4):547-569.
Models Without Indiscernibles.Fred G. Abramson & Leo A. Harrington - 1978 - Journal of Symbolic Logic 43 (3):572-600.
Models of ${\Rm Th}(\Langle \Omega^\Omega<\Rangle)$.John W. Rosenthal - 1974 - Notre Dame Journal of Formal Logic 15 (1):122-132.

Analytics

Added to PP index
2017-02-14

Total views
12 ( #749,858 of 2,402,079 )

Recent downloads (6 months)
2 ( #361,944 of 2,402,079 )

How can I increase my downloads?

Downloads

My notes