Results 71 to 80 of about 16,014 (243)
Phenomenal knowledge and phenomenal causality
Noûs, Volume 60, Issue 1, Page 212-232, March 2026.Abstract There has been extensive debate over whether we can have phenomenal knowledge in the case of epiphenomenalism. This article aims to bring that debate to a close. I first develop a refined causal account of knowledge—one that is modest enough to avoid various putative problems, yet sufficiently robust to undermine the epiphenomenalist position.
Lei Zhong
wiley +1 more source
Truth as a Mathematical Object
Principia: An International Journal of Epistemology, 2010 In this paper we discuss in which sense truth is considered as a mathematical object in propositional logic. After clarifying how this concept is used in classical logic, through the notions of truth-table, truth-function and bivaluation, we examine some
Jean-Yves Béziau
doaj
Forcing for an Optimal A-Translation
LogicsKripke semantics for intuitionistic predicate logic IQC is often viewed as a forcing relation between posets and formulas. In this paper, we further introduce Cohen forcing into semantics.
Rui Li
doaj +1 more source
Model‐Based Semantics: Doing Without Meaning Constitution
Metaphilosophy, Volume 57, Issue 1-2, Page 103-118, January 2026.Abstract This paper introduces a model‐based account of meaning, arguing that meaning properties reside in models rather than in the external world. Building on this view, it explores how such an instrumentalist framework can engage critically with various concerns raised by Wittgenstein, Quine, and Kripke[nstein]—each of whom voiced scepticism toward ...
Pietro Salis
wiley +1 more source
The Challenge of the K-Principle in Deontic Logic (and Well Beyond)
Phenomenology and Mind, 2017 I go through various arguments why the K-principle (aka Distributivity Axiom), O(p→q)→(Op→Oq), a cornerstone of all deontic logic as the latter is standardly conceived, is of little use for the logical analysis of real-life deontic discourse.
Wojciech Żełaniec
doaj +1 more source
Relating Sequent Calculi for Bi-intuitionistic Propositional Logic [PDF]
Electronic Proceedings in Theoretical Computer Science, 2011 Bi-intuitionistic logic is the conservative extension of intuitionistic logic with a connective dual to implication. It is sometimes presented as a symmetric constructive subsystem of classical logic.
Luís Pinto, Tarmo Uustalu
doaj +1 more source
The Expressive Power of Modal Dependence Logic [PDF]
, 2014 We study the expressive power of various modal logics with team semantics. We show that exactly the properties of teams that are downward closed and closed under team k-bisimulation, for some finite k, are definable in modal logic extended with ...
Hella, Lauri +3 more
core
Noûs, Volume 59, Issue 4, Page 851-872, December 2025.Abstract A new argument is offered which proceeds through epistemic possibility (for all S knows, p), cutting a trail from modality to Millianism, the controversial thesis that the semantic content of a proper name is simply its bearer. New definitions are provided for various epistemic modal notions.
Nathan Salmón
wiley +1 more source
Strong Completeness and the Finite Model Property for Bi-Intuitionistic Stable Tense Logics [PDF]
Electronic Proceedings in Theoretical Computer Science, 2017 Bi-Intuitionistic Stable Tense Logics (BIST Logics) are tense logics with a Kripke semantics where worlds in a frame are equipped with a pre-order as well as with an accessibility relation which is 'stable' with respect to this pre-order.
Katsuhiko Sano, John G. Stell
doaj +1 more source
Perfect‐Recall and Bootstrapping Reasoning
Theoria, Volume 91, Issue 6, December 2025.ABSTRACT Bootstrapping is a suspicious form of reasoning that seems to allow agents to gain knowledge about the reliability of their sources of information ‘from thin air’, without gathering independent evidence about those sources. The bootstrapping problem is the problem of explaining what is wrong with bootstrapping reasoning.
Michael Cohen
wiley +1 more source