Results 81 to 90 of about 7,832 (189)
Critique of J. Kim's "P is not equal to NP by Modus Tollens"
CoRR, 2014 This paper is a critique of version three of Joonmo Kim's paper entitled "P is not equal to NP by Modus Tollens. [arXiv:1403.4143v3]" After summarizing Kim's proof, we note that the logic that Kim uses is inconsistent, which provides evidence that the proof is invalid.
Dan Hassin, Adam Scrivener, Yibo Zhou
openaire +2 more sources
O modus tollens, o holismo de Duhem-Quine e as ciências sociais
Dados: Revista de Ciências Sociais, 2001 The idea that scientific interference consists of the exercise of directing the modus tollens to given statements currently enjoys canonical status in the social sciences.
Freitas Renan Springer de +1 more
doaj
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
Short Proofs of Tautologies using the Schema of Equivalence [PDF]
, 1994 It is shown how the schema of equivalence can be used to obtain short proofs of tautologies A , where the depth of proofs is linear in the number of variables in A
Baaz, Matthias, Zach, Richard
core +1 more source
Generalized modus tollens using truth function mapping
Journal of Korean Institute of Intelligent Systems, 2007 Baldwin defined the approximate reasoning using truth function mapping. In paper [4], we defined two truth function mappings and applied these truth function mappings to generalized modus ponens. In this paper, we introduce the results of generalized modus tollens using these two truth function mappings.
Yong-Sik Yun +2 more
openaire +2 more sources
Modus Ponens And Modus Tollens In Linguistic Truth-Valued Propositional Logic
, 2018 Truth values of Modus Ponens and Modus Tollens rules for propositions having linguistic truth value that may be represented by lattice(Fig1, Fig2) are computed in this paper. The results show that the truth values are not always absolutely true but have graded truth values in some cases.
Chattaraj, Bithi, Basu, Sumita
openaire +2 more sources
The spectre of triviality [PDF]
, 2019 A spectre haunts the semantics of natural language — the spectre of Triviality. Semanticists (in particular Rothschild 2013; Khoo and Mandelkern 2018a,b) have entered into a holy alliance to exorcise this spectre.
Charlow, Nate
core
When are Humans Reasoning with Modus Tollens?
, 2021 Modus tollens is a rule of inference in classical, two-valued logic which allows to derive the negation of the antecedent from a conditional and the negation of its consequent. In this paper, we investigate when humans draw such conclusions and what modulates the application of modus tollens. We consider conditionals which may or may not be obligations
Cramer, Marcos +2 more
openaire +1 more source
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
Counterfactual Truths: The Logical Structure of Argumentative Thought Experiments [PDF]
, 2015 Argumentative thought experiments are structurally conditional clauses. They can hence be formalized by means of the principle of modus ponendo ponens, as well as of modus tollendo tollens.
Álvarez-Vázquez, Javier Y.
core