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

page 1

page 2

page 3

page 4

research
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...
research
03/08/2000

Declarative Representation of Revision Strategies

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

Truth and Knowledge

The main subjects of this text are: (1) Generalization of concepts and...
research
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...
research
02/22/2019

On Nominal Syntax and Permutation Fixed Points

We propose a new axiomatisation of the alpha-equivalence relation for no...
research
11/11/2019

Bunch theory: working notes on applications, axioms and models

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

Inversion, Iteration, and the Art of Dual Wielding

The humble † ("dagger") is used to denote two different operations in ca...

Please sign up or login with your details

Forgot password? Click here to reset