2024/07/19 by Johannes Stern, Stern, Johannes
Arts and Humanities · Computer Science · Psychology · #Classical Philosophy and Thought #Logic, Reasoning, and Knowledge #Philosophy and Theoretical Science
paper · pdf · doi:10.48550/arxiv.2407.14284
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.