A new conditional for naive truth theory (Q1934956): Difference between revisions
From MaRDI portal
Set profile property. |
ReferenceBot (talk | contribs) Changed an Item |
||
(One intermediate revision by one other user not shown) | |||
Property / OpenAlex ID | |||
Property / OpenAlex ID: W1974530162 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Curry's paradox and \(\omega \)-inconsistency / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q2744124 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: The simple consistency of a set theory based on the logic CSQ / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q3032252 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q3543573 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q3058982 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Bilattices and the theory of truth / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4845457 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Notes on naive semantics / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Outline of a Theory of Truth / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4805593 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q5443924 / rank | |||
Normal rank |
Latest revision as of 04:19, 6 July 2024
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | A new conditional for naive truth theory |
scientific article |
Statements
A new conditional for naive truth theory (English)
0 references
30 January 2013
0 references
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.
0 references
liar paradox
0 references
truth theories
0 references
intersubstitutivity rule
0 references
self-referential contexts
0 references
fixed-point theorem
0 references