Truth and Subjunctive Theories of Knowledge: No Luck?
- URL: http://arxiv.org/abs/2103.13332v1
- Date: Wed, 24 Mar 2021 16:40:42 GMT
- Title: Truth and Subjunctive Theories of Knowledge: No Luck?
- Authors: Johannes Stern
- Abstract summary: The paper explores applications of Kripke's theory of truth to semantics for anti-luck, that is, to subjunctive theories of knowledge.
The paper shows that Kripke's theory of truth can be successfully applied in the framework of subjunctive theories of knowledge.
- Score: 0.0
- License: http://arxiv.org/licenses/nonexclusive-distrib/1.0/
- Abstract: 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.
Related papers
- Measurement as Sheafification: Context, Logic, and Truth after Quantum Mechanics [0.0]
I argue that quantum theory is inherently contextual, whereas the classical tradition presupposes a single global, Boolean valuation.<n>I recast locality and completeness as the existence of a global section of a presheaf of value assignments over the category of measurement contexts.
arXiv Detail & Related papers (2025-12-13T09:15:20Z) - DeepTheorem: Advancing LLM Reasoning for Theorem Proving Through Natural Language and Reinforcement Learning [67.93945726549289]
DeepTheorem is a comprehensive informal theorem-proving framework exploiting natural language to enhance mathematical reasoning.<n>DeepTheorem includes a large-scale benchmark dataset consisting of 121K high-quality IMO-level informal theorems and proofs.<n>We devise a novel reinforcement learning strategy (RL-Zero) explicitly tailored to informal theorem proving, leveraging the verified theorem variants to incentivize robust mathematical inference.
arXiv Detail & Related papers (2025-05-29T17:59:39Z) - Phenomenal Yet Puzzling: Testing Inductive Reasoning Capabilities of Language Models with Hypothesis Refinement [92.61557711360652]
Language models (LMs) often fall short on inductive reasoning, despite achieving impressive success on research benchmarks.
We conduct a systematic study of the inductive reasoning capabilities of LMs through iterative hypothesis refinement.
We reveal several discrepancies between the inductive reasoning processes of LMs and humans, shedding light on both the potentials and limitations of using LMs in inductive reasoning tasks.
arXiv Detail & Related papers (2023-10-12T17:51:10Z) - A Semantic Approach to Decidability in Epistemic Planning (Extended
Version) [72.77805489645604]
We use a novel semantic approach to achieve decidability.
Specifically, we augment the logic of knowledge S5$_n$ and with an interaction axiom called (knowledge) commutativity.
We prove that our framework admits a finitary non-fixpoint characterization of common knowledge, which is of independent interest.
arXiv Detail & Related papers (2023-07-28T11:26:26Z) - Strengthening Consistency Results in Modal Logic [0.0]
A fundamental question in modal logic is whether a given theory is consistent, but consistent with what?
A typical way to address this question identifies a choice of background knowledge axioms (say, S4, D, etc.) and then shows the assumptions codified by the theory in question to be consistent with those background axioms.
This paper introduces generic theories for propositional modal logic to address consistency results in a more robust way.
arXiv Detail & Related papers (2023-07-11T07:05:37Z) - Static Knowledge vs. Dynamic Argumentation: A Dual Theory Based on
Kripke Semantics [1.6916260027701393]
We argue that knowledge is essentially dynamic, and draw certain connection to Maxwell's demon as well as the well-known proverb "knowledge is power"
We propose a philosophical thesis that knowledge is essentially dynamic, and we draw certain connection to Maxwell's demon as well as the well-known proverb "knowledge is power"
arXiv Detail & Related papers (2022-09-27T00:16:05Z) - Incompatibility of observables, channels and instruments in information
theories [68.8204255655161]
We study the notion of compatibility for tests of an operational probabilistic theory.
We show that a theory admits of incompatible tests if and only if some information cannot be extracted without disturbance.
arXiv Detail & Related papers (2022-04-17T08:44:29Z) - Causal Inference Principles for Reasoning about Commonsense Causality [93.19149325083968]
Commonsense causality reasoning aims at identifying plausible causes and effects in natural language descriptions that are deemed reasonable by an average person.
Existing work usually relies on deep language models wholeheartedly, and is potentially susceptible to confounding co-occurrences.
Motivated by classical causal principles, we articulate the central question of CCR and draw parallels between human subjects in observational studies and natural languages.
We propose a novel framework, ROCK, to Reason O(A)bout Commonsense K(C)ausality, which utilizes temporal signals as incidental supervision.
arXiv Detail & Related papers (2022-01-31T06:12:39Z) - Quantum realism: axiomatization and quantification [77.34726150561087]
We build an axiomatization for quantum realism -- a notion of realism compatible with quantum theory.
We explicitly construct some classes of entropic quantifiers that are shown to satisfy almost all of the proposed axioms.
arXiv Detail & Related papers (2021-10-10T18:08:42Z) - Unscrambling the omelette of causation and inference: The framework of
causal-inferential theories [0.0]
We introduce the notion of a causal-inferential theory using a process-theoretic formalism.
Recasting the notions of operational and realist theories in this mold clarifies what a realist account of an experiment offers beyond an operational account.
We argue that if one can identify axioms for a realist causal-inferential theory such that the notions of causation and inference can differ from their conventional (classical) interpretations, then one has the means of defining an intrinsically quantum notion of realism.
arXiv Detail & Related papers (2020-09-07T17:58:22Z) - Quantum epistemology and constructivism [0.0]
We show that constructivism is compatible with both intuition and quantumal logic.
This result is implied by the Frauchiger-Renner theorem, though it is independent importance as well.
arXiv Detail & Related papers (2020-09-01T10:03:50Z) - Exploiting Game Theory for Analysing Justifications [13.72913891724593]
We continue the study of justification theory by means of three major contributions.
The first is studying the relation between justification theory and game theory.
The second contribution is studying under which condition two different dialects of justification theory coincide.
The third contribution is establishing a precise criterion of when a semantics induced by justification theory yields consistent results.
arXiv Detail & Related papers (2020-08-04T14:45:08Z) - Logical Neural Networks [51.46602187496816]
We propose a novel framework seamlessly providing key properties of both neural nets (learning) and symbolic logic (knowledge and reasoning)
Every neuron has a meaning as a component of a formula in a weighted real-valued logic, yielding a highly intepretable disentangled representation.
Inference is omni rather than focused on predefined target variables, and corresponds to logical reasoning.
arXiv Detail & Related papers (2020-06-23T16:55:45Z)
This list is automatically generated from the titles and abstracts of the papers in this site.
This site does not guarantee the quality of this site (including all information) and is not responsible for any consequences.