Truth and Subjunctive Theories of Knowledge: No Luck?

03/24/2021
by   Johannes Stern, et al.
0

The paper explores applications of Kripke's theory of truth to semantics for anti-luck epistemology, that is, to subjunctive theories of knowledge. Subjunctive theories put forward modal or subjunctive conditions to rule out knowledge by mere luck as to be found in Gettier-style counterexamples to the analysis of knowledge as justified true belief. Because of the subjunctive nature of these conditions the resulting semantics turns out to be non-monotone, even if it is based on non-classical evaluation schemes such as strong Kleene or FDE. This blocks the usual road to fixed-point results for Kripke's theory of truth within these semantics and consequently the paper is predominantly an exploration of fixed point results for Kripke's theory of truth within non-monotone semantics. Using the theory of quasi-inductive definitions we show that in case of the subjunctive theories of knowledge the so-called Kripke jump will have fixed points despite the non-monotonicity of the semantics: Kripke's theory of truth can be successfully applied in the framework of subjunctive theories of knowledge.

READ FULL TEXT

Authors

page 1

page 2

page 3

page 4

07/14/2020

Nonclassical truth with classical strength. A proof-theoretic analysis of compositional truth over HYPE

Questions concerning the proof-theoretic strength of classical versus no...
03/08/2000

Declarative Representation of Revision Strategies

In this paper we introduce a nonmonotonic framework for belief revision ...
04/28/2021

Truth and Knowledge

The main subjects of this text are: (1) Generalization of concepts and...
02/22/2019

On Nominal Syntax and Permutation Fixed Points

We propose a new axiomatisation of the alpha-equivalence relation for no...
06/24/2021

Semiring Provenance for Büchi Games: Strategy Analysis with Absorptive Polynomials

This paper presents a case study for the application of semiring semanti...
11/11/2019

Bunch theory, applications, axioms and models

In his book "A practical theory of programming" Eric Hehner proposes and...
11/11/2019

Bunch theory: working notes on applications, axioms and models

In his book "A practical theory of programming" Eric Hehner proposes and...
This week in AI

Get the week's most popular data science and artificial intelligence research sent straight to your inbox every Saturday.