Results 51 to 60 of about 16,114 (210)
A New Arithmetically Incomplete First- Order Extension of Gl All Theorems of Which Have Cut Free Proofs [PDF]
, 2016 Reference [12] introduced a novel formula to formula translation tool (“formulators”) that enables syntactic metatheoretical investigations of first-order modal logics, bypassing a need to convert them first into Gentzen style logics in order to rely on ...
Tourlakis, George
core +1 more source
Modal Logic and Modal Metaphysics: An Avicennian Division of Labour
Theoria, EarlyView.ABSTRACT This paper argues that Avicenna was both a necessitarian and a realist about contingency. The two aspects of his modal metaphysics are reconciled by arguing that Avicenna's modal metaphysics is founded on realism about essences: strictly speaking, an individual has no contingent properties, but a modal distinction can be made between the ...
Jari Kaukua
wiley +1 more source
Journal of Consumer Psychology, Volume 36, Issue 1, Page 141-150, January 2026.Abstract Specific beliefs do not correlate with seemingly relevant behaviors for many reasons. Such correlations may be low even when beliefs perfectly cause behavior (e.g., because multiple beliefs compete for influence, because beliefs have various behavioral outlets). A belief may be a necessary precursor to, but not a guarantee of, a behavior.
Clayton R. Critcher, Jeff Galak
wiley +1 more source
Recapture, Transparency, Negation and a Logic for the Catuṣkoṭi [PDF]
, 2019 The recent literature on Nāgārjuna’s catuṣkoṭi centres around Jay Garfield’s (2009) and Graham Priest’s (2010) interpretation. It is an open discussion to what extent their interpretation is an adequate model of the logic for the catuskoti, and the Mūla-
KREUTZ, Adrian
core +1 more source
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
, 2017 In R.D. Sorkin's framework for logic in physics a clear separation is made between the collection of unasserted propositions about the physical world and the affirmation or denial of these propositions by the physical world.
D. Greenberger +9 more
core +1 more source
Modus ponens and modus tollens in discrete implications
International Journal of Approximate Reasoning, 2008 zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Mas, M., Monserrat, M., Torrens, J.
openaire +2 more sources
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
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
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