Adequate Conditionals and Kripke's Theory of Truth

被引:0
作者
Stern, Johannes [1 ]
机构
[1] Univ Bristol, Dept Philosophy, Cotham House, Bristol BS66JL, England
基金
欧盟地平线“2020”;
关键词
Truth; Conditionals; Curry paradox; Kripke's theory of truth; Deduction theorem; Supervaluation; LOGIC;
D O I
10.1007/s10992-025-09792-9
中图分类号
B81 [逻辑学(论理学)];
学科分类号
010104 ; 010105 ;
摘要
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.
引用
收藏
页码:451 / 491
页数:41
相关论文
共 48 条
  • [31] Restall G., 2002, INTRO SUBSTRUCTURAL, DOI [10.4324/9780203016244, DOI 10.4324/9780203016244]
  • [32] Rogers H., 1967, THEORY RECURSIVE FUN
  • [33] Adding a Conditional to Kripke's Theory of Truth
    Rossi, Lorenzo
    [J]. JOURNAL OF PHILOSOPHICAL LOGIC, 2016, 45 (05) : 485 - 529
  • [34] SUPER LIARS
    Schlenker, Philippe
    [J]. REVIEW OF SYMBOLIC LOGIC, 2010, 3 (03) : 374 - 414
  • [35] Simmons K., 2018, SEMANTIC SINGULARITI, DOI [10.1093/oso/9780198791546.003.0003, DOI 10.1093/OSO/9780198791546.003.0003]
  • [36] Stalnaker R., 1968, STUDIES LOGICAL THEO, V2, P98, DOI DOI 10.1007/978-94-009-9117-0_2
  • [37] Stern J., 2016, PREDICATE APPROACHES, V44
  • [38] Stern J., 2024, IN PRESS
  • [39] Stern J, 2021, ROUT STUD CONTEMP PH, P151
  • [40] MODALITY AND AXIOMATIC THEORIES OF TRUTH II: KRIPKE-FEFERMAN
    Stern, Johannes
    [J]. REVIEW OF SYMBOLIC LOGIC, 2014, 7 (02) : 299 - 318