Results 71 to 80 of about 16,114 (210)
“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
Philosophy and Phenomenological Research, Volume 111, Issue 2, Page 696-727, September 2025.Abstract I outline a novel counterexample to the principle of belief revision, Anticipation: if both learning e$e$ and learning not‐e$e$ would render belief in p$p$ unjustified, you cannot now be justified in believing p$p$. If I am right, not only is the leading theory of belief revision false, so are various recently proposed weakenings.
Joshua Edward Pearson
wiley +1 more source
Modus Ponens and the Logic of Decision [PDF]
If modus ponens is valid, then you should take up ...
Charlow, Nate
core
Adults Represent Others’ Logical Inferences Even When It Is Unnecessary
Cognitive Science, Volume 49, Issue 6, June 2025.Abstract Successful social interactions require representing not only what others know, but also what they may deductively infer from evidence. For instance, to help deciding between two alternatives, we may just reveal the incorrect option, expecting others to draw the correct conclusion. Seemingly, we readily track others’ logical inferences if it is
Dóra Fogd +2 more
wiley +1 more source
Anuario de Investigaciones, 2010 En este trabajo se estudió la dificultad para evaluar la validez de los argumentos condicionales Modus Ponens (MP), Modus Tollens (MT), Negación del Antecedente (NA) y Afirmación del Consecuente (AC) de contenido simbólico cuando se introducen negaciones
Jimena Picón Janeiro +5 more
doaj
Intuitionistic computability logic [PDF]
, 2006 Computability logic (CL) is a systematic formal theory of computational tasks and resources, which, in a sense, can be seen as a semantics-based alternative to (the syntactically introduced) linear logic.
Japaridze, Giorgi
core +2 more sources
The Threefold Essence of Consciousness: Brentano versus Pfänder
European Journal of Philosophy, Volume 33, Issue 2, Page 591-612, June 2025.Abstract Building on Uriah Kriegel's recent work on the varieties of consciousness, I consider the question of how many irreducible and fundamental kinds of consciousness there are. This is the project of a fundamental classification of consciousness (C‐taxonomy), which will be approached with reference to two figures from the (early) phenomenological ...
Christopher Erhard
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
Designing Software Architectures As a Composition of Specializations of Knowledge Domains [PDF]
, 1995 This paper summarizes our experimental research and software development activities in designing robust, adaptable and reusable software architectures. Several years ago, based on our previous experiences in object-oriented software development, we made ...
Aksit, Mehmet +4 more
core +3 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