Results 81 to 90 of about 16,210 (208)
Philosophical Issues, Volume 35, Issue 1, Page 149-164, October 2025.ABSTRACT This essay asks a new question: When someone with a firm understanding of basic operations nevertheless remains ignorant of a complex logical or mathematical truth, precisely what kind of information are they missing? I introduce “catenary truths,” a significant component of this non‐omniscient shortfall.
Michael G. Titelbaum
wiley +1 more source
“Counterexamples” to modus ponens
Epistemology & Philosophy of ScienceThe paper deals with the epistemological problems posed by the application of the modus ponens rule in cognitive processing of distributed information. Distinguishing the deductive correctness of a rule of inference from its normativity for rational belief, we consider ‘counterexamples’ of modus ponens proposed in modern epistemology of logic that ...
Angelina S. Bobrova +1 more
openaire +1 more source
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
Ergo, An Open Access Journal of PhilosophyI propose an approach to liar and Curry paradoxes inspired by the work of Roger Swyneshed in his treatise on insolubles (1330-1335). The keystone of the account is the idea that liar sentences and their ilk are false (and only false) and that the so ...
Alexander Sandgren
doaj +2 more sources
High order intuitionistic fuzzy time series forecasting model
Tongxin xuebao, 2016 A high order intuitionistic fuzzy time series forecasting model was built.In the new model,fuzzy clustering algorithm was used to get unequal intervals,and a more objective technique for ascertaining membership and non-membership functions of ...
Ya-nan WANG +3 more
doaj +2 more sources
On a Contrastive Criterion of Testability II: The Material Inadequacy of Contrastive Testability [PDF]
, 2011 Elliott Sober has suggested his contrastive criterion of testability as an improvement over previous criteria of empirical significance like falsifiability and the standard Bayesian criterion of empirical significance.
Lutz, Sebastian
core
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
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
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
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