Results 61 to 70 of about 16,210 (208)
The Laws of Natural Deduction in Inference by DNA Computer
The Scientific World Journal, 2014 We present a DNA-based implementation of reaction system with molecules encoding elements of the propositional logic, that is, propositions and formulas.
Łukasz Rogowski, Petr Sosík
doaj +1 more source
Alternative axiomatics and complexity of deliberative STIT theories
, 2007 We propose two alternatives to Xu's axiomatization of the Chellas STIT. The first one also provides an alternative axiomatization of the deliberative STIT.
Andreas Herzig +10 more
core +3 more sources
, 2019 We present an inferentialist account of the epistemic modal operator might. Our starting point is the bilateralist programme. A bilateralist explains the operator not in terms of the speech act of rejection ; we explain the operator might in terms of ...
Incurvati, Luca, Schlöder, Julian J.
core +2 more sources
Implications of Rejecting Common‐Sense Realism for the Practice and Aim of Knowledge‐Based Education
Educational Theory, Volume 75, Issue 6, Page 1107-1129, December 2025.Abstract In this article, I assume that it is universally accepted that education—at least sometimes—should aim at knowledge. Moreover, I take my point of departure from the classical (and minimal) definition of knowledge in terms of justified true belief (JTB).
Henrik Friberg‐Fernros
wiley +1 more source
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
Modelling practical certainty and its link with classical propositional logic [PDF]
, 2013 We model practical certainty in the language of accept & reject statement-based uncertainty models. We present three different ways, each time using a different nature of assessment: we study coherent models following from (i) favourability assessments, (
De Cooman, Gert, Van Camp, Arthur
core +1 more source
Macdonald Before Quine on Truth by Convention
Pacific Philosophical Quarterly, Volume 106, Issue 4, Page 188-199, December 2025.ABSTRACT I show that Margaret Macdonald anticipated Quine's well‐known criticisms of logical conventionalism in her unpublished 1934 PhD thesis, but that she later developed her criticisms in a direction distinct from that of Quine under the influence of Wittgenstein. Macdonald rejected as senseless the suggestion that statements of logical truth admit
Oliver Thomas Spinney
wiley +1 more source
Conflict Detection and Logical Complexity
Psychologica Belgica, 2018 Empirical evidence for the capacity to detect conflict between biased reasoning and normative principles has led to the proposal that reasoners have an intuitive grasp of some basic logical principles.
Janie Brisson +3 more
doaj +1 more source
Reflection, introspection, and book
Philosophy and Phenomenological Research, Volume 111, Issue 3, Page 1136-1158, November 2025.Abstract The much‐debated Reflection principle states that a coherent agent's credences must match their estimates for their future credences. Defenders claim that there are Dutch‐book arguments in its favor, putting it on the same normative footing as probabilistic coherence.
Kevin J. S. Zollman, Kevin Dorst
wiley +1 more source
Освітній дискурсUrgency of the research. The rapid progress of information technologies over the past few decades has significantly impacted many aspects of society. Special attention is drawn to the increasing use of artificial intelligence (AI).
Vasil Pihorovich, Andrii Samarskyi
doaj +1 more source