Adding a conditional to Kripke's theory of truth

DOI10.1007/s10992-015-9384-4zbMath1392.03016OpenAlexW2273203678MaRDI QIDQ2397814

Lorenzo Rossi

Publication date: 23 May 2017

Published in: Journal of Philosophical Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s10992-015-9384-4

zbMATH Keywords

Kripke's theory of truthpartial semanticsconditional connectiveŁukasiewicz logicsfield's theories of truthnaïve truth

Mathematics Subject Classification ID

Philosophical and critical aspects of logic and foundations (03A05) Many-valued logic (03B50)

Related Items

HYPE: a system of hyperintensional logic (with an application to semantic paradoxes), A UNIFIED THEORY OF TRUTH AND PARADOX

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Grounding, dependence, and paradox
• Kripke and the logic of truth
• Elementary induction on abstract structures
• Saving the truth schema from paradox
• A revenge-immune solution to the semantic paradoxes
• Logical frameworks for truth and abstraction. An axiomatic study
• A new conditional for naive truth theory
• SOME OBSERVATIONS ON TRUTH HIERARCHIES
• NAIVE TRUTH AND RESTRICTED QUANTIFICATION: SAVING TRUTH A WHOLE LOT BETTER
• FIELD’S SAVING TRUTH FROM PARADOX: SOME THINGS IT DOESN’T DO
• TRUTH, LOGICAL VALIDITY AND DETERMINATENESS: A COMMENTARY ON FIELD’SSAVING TRUTH FROM PARADOX
• COMMENTS ON MARTIN’S AND WELCH’S COMMENTS
• ULTIMATE TRUTHVIS-À-VISSTABLE TRUTH
• Toward useful type-free theories. I
• Outline of a Theory of Truth
• AXIOMATIZING SEMANTIC THEORIES OF TRUTH?
• Axiomatizing Kripke's theory of truth