Adequate conditionals and Kripke's theory of truth

DOI10.1007/S10992-025-09792-9MaRDI QIDQ6987237zbMATH OpenFDO

Authors Johannes Stern

Publication date 7 May 2025

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

Copyright license Creative Commons Attribution 4.0 International

Full work available at URL https://doi.org/10.1007/S10992-025-09792-9

zbMATH Keywords

conditionalscurry paradoxdeduction theoremKripke's theory of truthsupervaluationtruth

Mathematics Subject Classification ID

Mathematical logic and foundations (03-XX)

Cites work

• A contextual-hierarchical approach to truth and the liar paradox
• A new conditional for naive truth theory
• A semantical study of constructible falsity
• Adding a conditional to Kripke's theory of truth
• Arithmetization of metamathematics in a general setting
• Axiomatizing semantic theories of truth?
• Counterfactuals.
• Formal theories of truth
• scientific article; zbMATH DE number 50690 (Why is no real title available?)
• scientific article; zbMATH DE number 1028815 (Why is no real title available?)
• scientific article; zbMATH DE number 1749203 (Why is no real title available?)
• scientific article; zbMATH DE number 1852921 (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?)
• scientific article; zbMATH DE number 3291134 (Why is no real title available?)
• HYPE: a system of hyperintensional logic (with an application to semantic paradoxes)
• Hyperintensional logic
• Indicative conditionals, restricted quantification, and naive truth
• Kripke and the logic of truth
• Modality and axiomatic theories of truth. II: Kripke-Feferman
• Naïve truth and the evidential conditional
• Outline of a Theory of Truth
• Routley star and hyperintensionality
• Saving truth from paradox
• Semantic singularities. Paradoxes of reference, predication, and truth
• Super liars
• The calculus of strict implication.
• The complexity of the dependence operator
• THE MODAL LOGICS OF KRIPKE–FEFERMAN TRUTH
• The nature of truth. Classic and contemporary perspectives
• Toward predicate approaches to modality
• Toward useful type-free theories. I
• Truth and paradox

This page was built for publication: Adequate conditionals and Kripke's theory of truth

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