A new conditional for naive truth theory

DOI10.1215/00294527-1731407MaRDI QIDQ1934956zbMATH OpenOpenAlexFDO

Authors Andrew Bacon

Publication date 30 January 2013

Published in Notre Dame Journal of Formal Logic (Search for Journal in Brave)

Full work available at URL https://projecteuclid.org/euclid.ndjfl/1355494525

zbMATH Keywords

fixed-point theoremintersubstitutivity ruleliar paradoxself-referential contextstruth theories

Mathematics Subject Classification ID

Philosophical and critical aspects of logic and foundations (03A05) Substructural logics (including relevance, entailment, linear logic, Lambek calculus, BCK and BCI logics) (03B47)

Review text

The paper presents a logical system \(\mathbf{TJK^+}\) which is claimed to be suitable for securing a disquotational reasoning about truth. The intended formalism is constructed in the first-order language of Peano arithmetic enriched with a truth predicate Tr. The system \(\mathbf{TJK^+}\) is defined as an extension of the negation-free fragment of the relevant logic \(\mathbf{TJ}\) by the axiom schema \(\varphi\rightarrow(\psi\rightarrow\varphi)\) known as \(\mathbf{K}\). This system is supplied with a possible-worlds semantics dealing with both binary and ternary accessibility relations. A general form of a fixed-point theorem grasping the conditional of \(\mathbf{TJK^+}\) is proved, thus allowing to accommodate any possible self-referential reasoning with this operator. The key Theorem 5.5 of the paper states the existence of a standard model for \(\mathbf{TJK^+}\) plus intersubstitutivity rule: from \(\varphi\) to infer \(\varphi^\prime\) and vice versa (\(\varphi^\prime\) is any sentence obtained from \(\varphi\) by substituting some occurrences of \(\psi\) for Tr(\(\ulcorner\psi\urcorner\)), where \(\ulcorner\psi\urcorner\) represents the numeral for the Gödel number of \(\psi\)). In the last section the possibility of adding to \(\mathbf{TJK^+}\) some kind of an involutive negation operator is briefly discussed.

Recommendations

• Adding a conditional to Kripke's theory of truth
• Indicative conditionals, restricted quantification, and naive truth
• Conditionals in theories of truth
• A revenge-immune solution to the semantic paradoxes
• Editorial introduction

Cites work

• Bilattices and the theory of truth
• Curry's paradox and \(\omega \)-inconsistency
• scientific article; zbMATH DE number 4130376 (Why is no real title available?)
• scientific article; zbMATH DE number 1907195 (Why is no real title available?)
• scientific article; zbMATH DE number 795569 (Why is no real title available?)
• scientific article; zbMATH DE number 5238361 (Why is no real title available?)
• Modal logic
• Notes on naive semantics
• Outline of a Theory of Truth
• Saving truth from paradox
• The simple consistency of a set theory based on the logic CSQ
• Universal logic

Cited in

(13)

• The disjunction and existence properties for axiomatic systems of truth
• Paradoxes of logical equivalence and identity
• Non-deterministic conditionals and transparent truth
• Adding a conditional to Kripke's theory of truth
• Conditionals in theories of truth
• HYPE: a system of hyperintensional logic (with an application to semantic paradoxes)
• Naive truth and restricted quantification: saving truth a whole lot better
• Paths to triviality
• Field's \textit{Saving truth from paradox}: some things it doesn't do
• On artifacts and truth-preservation
• BINARY KRIPKE SEMANTICS FOR A STRONG LOGIC FOR NAIVE TRUTH
• Revisionism revisited
• Adequate conditionals and Kripke's theory of truth

This page was built for publication: A new conditional for naive truth theory

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1934956)