Omega-inconsistency without cuts and nonstandard models
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 (1985) 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.(2013), that the result in McGee (1985) 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.Downloads
Download data is not yet available.
Published
2016-09-05
How to Cite
FJELLSTAD, Andreas.
Omega-inconsistency without cuts and nonstandard models.
The Australasian Journal of Logic, [S.l.], v. 13, n. 5, sep. 2016.
ISSN 1448-5052.
Available at: <https://ojs.victoria.ac.nz/ajl/article/view/3900>. Date accessed: 25 jan. 2021.
doi: https://doi.org/10.26686/ajl.v13i5.3900.
Section
Articles