Adequate conditionals and Kripke's theory of truth
Logic
2024-07-22 v1
Abstract
In this paper we show how to introduce a conditional to Kripke's theory of truth that respects the deduction theorem for the consequence relation associated with the theory. To this effect we develop a novel supervaluational framework, called strong Kleene supervaluation, that we take to be a promising framework for handling the truth-conditions of non-monotone notion in the presence of semantic indeterminacy more generally.
Keywords
Cite
@article{arxiv.2407.14284,
title = {Adequate conditionals and Kripke's theory of truth},
author = {Johannes Stern},
journal= {arXiv preprint arXiv:2407.14284},
year = {2024}
}