Results 81 to 90 of about 16,114 (210)
Double-Negation Elimination in Some Propositional Logics
, 2002 This article answers two questions (posed in the literature), each concerning the guaranteed existence of proofs free of double negation. A proof is free of double negation if none of its deduced steps contains a term of the form n(n(t)) for some term t,
Beeson, Michael +2 more
core +1 more source
One philosopher's modus ponens is another's modus tollens: Pantomemes and nisowir
Metaphilosophy, 2022 That one person's modus ponens is another's modus tollens is the bane of philosophy because it strips many philosophical arguments of their persuasive force. The problem is that philosophical arguments become mere pantomemes: arguments that are reasonable to resist simply by denying the conclusion.
openaire +2 more sources
A Structural Characterization of Extended Correctness-Completeness in Classical Logic
Crítica, 2019 In this paper I deal with first order logic and axiomatic systems. I present the metalogical results that show the property of satisfying Modus Ponens as a necessary and sufficient condition for the extended completeness of the system, and to the ...
José Alfredo Amor
doaj +1 more source
Dificuldades com inferências inválidas entre adultos: tentativa de superação
Psicologia: Reflexão e Crítica, 2000 Estudos entre crianças e adultos demonstram que problemas silogísticos válidos (Modus Ponens e Modus Tollens) são de fácil solução, ao contrário daqueles que envolvem formas inválidas (Afirmação do Conseqüente e Negação do Antecedente), nos quais o ...
Dias Maria da Graça Bompastor Borges
doaj
Buddhist Philosophy of Logic [PDF]
, 2013 Logic in Buddhist Philosophy concerns the systematic study of anumāna (often translated as inference) as developed by Dignāga (480-540 c.e.) and Dharmakīti (600-660 c.e.). Buddhist logicians think of inference as an instrument of knowledge (pramāṇa) and,
Tanaka, Koji
core
COMPLEX CHARACTER OF LOGIC IN LEGAL METHODOLOGY
Вісник НЮУ імені Ярослава Мудрого: Серія: Філософія, філософія права, політологія, соціологія, 2019 Problem setting. In the modern methodology, the issues related to the impossibility of fulfilling the general scientific logical requirements of completeness and consistency are actualized: "whitish spots" testify to the inability to achieve the ideal of
Олена Миколаївна Юркевич
doaj +1 more source
Sequential effects in deduction: Cost of inference switch
Psicológica, 2010 El paradigma de cambio de tarea ha ayudado a los psicólogos a conocer los procesos involucrados en el cambio de una actividad a otra. La literatura aporta resultados consistentes sobre la reconfiguración necesaria para el cambio de tarea (desaparición ...
Antonio González-Hernández +4 more
doaj
A Note on Statistical Hypothesis Testing: Probabilifying Modus Tollens Invalidates Its Force? Not True! [PDF]
Educ Psychol Meas, 2023 Widaman KF.
europepmc +1 more source
The Triviality Result is not Counter-Intuitive [PDF]
The Equation (TE) states that the probability of A → B is the probability of B given A. Lewis (1976) has shown that the acceptance of TE implies that the probability of A → B is the probability of B, which is implausible: the probability of a conditional
Silva, Matheus
core
Cut-off points for the rational believer [PDF]
I show that the Lottery Paradox is just a version of the Sorites, and argue that this should modify our way of looking at the Paradox itself. In particular, I focus on what I call “the Cut-off Point Problem” and contend that this problem, well known by ...
Lissia, Lina Maria
core