Results 171 to 180 of about 16,210 (208)
Some of the next articles are maybe not open access.
Linguistic hedges and the generalized modus ponens
International Journal of Intelligent Systems, 1999Summary: A modification of the generalized modus ponens is presented, namely, rule: if \(X\) is \(bB\) then \(Y\) is \(cC\); fact: \(X\) is \(aB\), conclusion: \(Y\) is \(dC\) where \(a\), \(b\), \(c\), \(e\), and \(d\) are linguistic hedges, and \(B\), \(C\) are fuzzy sets.
Luigi Di Lascio +2 more
openaire +2 more sources
An improvement on the discrepancy in the implementation of modus ponens
Information Sciences, 1996zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Seok Yoon Hwang +2 more
openaire +2 more sources
Journal of Philosophy, 2015
Is modus ponens for the indicative conditional valid? McGee [1985] famously presents several alleged ‘counterexamples’ to this rule of inference. More recently, Kolodny and MacFarlane [2010] and Willer [2010] argue that this rule is unreliable in some hypothetical contexts.
openaire +1 more source
Is modus ponens for the indicative conditional valid? McGee [1985] famously presents several alleged ‘counterexamples’ to this rule of inference. More recently, Kolodny and MacFarlane [2010] and Willer [2010] argue that this rule is unreliable in some hypothetical contexts.
openaire +1 more source
Validity Under Assumptions and Modus Ponens
2021Slightly altering and extending McGee’s semantics for conditionals, we define a ternary notion of validity for natural language arguments, which can be regarded as a unification of two kinds of validity in the literature. By the new notion of validity, an inference is not just valid or invalid, but valid or invalid under a set of assumptions.
openaire +1 more source
2020
Questo articolo discute vari tentativi di esibire controesempi al modus ponens. In apertura, si chiarisce cosa significhi esibire un controesempio a un principio logico. Nel resto dell’articolo si considerano tre tipologie di attacco al modus ponens: (i) i controesempi di McGee la cui premessa maggiore consiste di condizionali iterati (ii) i ...
openaire +1 more source
Questo articolo discute vari tentativi di esibire controesempi al modus ponens. In apertura, si chiarisce cosa significhi esibire un controesempio a un principio logico. Nel resto dell’articolo si considerano tre tipologie di attacco al modus ponens: (i) i controesempi di McGee la cui premessa maggiore consiste di condizionali iterati (ii) i ...
openaire +1 more source
Modus Ponens, Modus Tollens, and Likeness
1998Modus Ponens (MP) and Modus Tollens (MT) are taught as basic rules of inference related to conditional statements in introductory logic courses. In ordinary reasoning, MP and MT can have important roles in modes of argumentation. However, one can also distinguish counter-examples to such reasoning patterns when considered as ‘strictly’ valid rules (i.e.
openaire +1 more source
On weakening the Deduction Theorem and strengthening Modus Ponens
Mathematical Logic Quarterly, 2004AbstractThis paper studies, with techniques of Abstract Algebraic Logic, the effects of putting a bound on the cardinality of the set of side formulas in the Deduction Theorem, viewed as a Gentzen‐style rule, and of adding additional assumptions inside the formulas present in Modus Ponens, viewed as a Hilbert‐style rule.
Félix Bou +2 more
openaire +1 more source
On a Generalization of the Modus Ponens: U-conditionality
2016In fuzzy logic, the Modus Ponens property for fuzzy implication functions is usually considered with respect to a continuous t-norm T and for this reason this property is also known under the name of T-conditionality. In this paper, the t-norm T is substituted by a uninorm U leading to the property of U-conditionality.
Margarita Mas +3 more
openaire +1 more source
Modified modus ponens and modal logic
Kybernetika, 2021Summary: This paper discusses an inference rule called modified modus ponens, which is used in the logical system LPC+Ch which is first-order (or lower) predicate calculus equipped with additional axiomatization of modifier operators. This forms a system like a generalized modal system with several pairs of modal operators.
openaire +2 more sources
On a Supposed Counterexample to Modus Ponens
The Journal of Philosophy, 1999Critique du pretendu contre-exemple que V. McGee oppose a la regle du ponens en affirmant que celle-ci s'applique aux propositions conditionnelles mais non a leurs consequences conditionnelles. Soulignant l'invalidite de la loi d'exportation sur laquelle s'appuie l'argumentation de McGee, l'A.
openaire +1 more source