منابع مشابه
Naive Modus Ponens
In his [2011], Lionel Shapiro proposes a very interesting deflationist conception of logical consequence, according to which the logical-consequence predicate applying to sentences serves as a merely expressive device allowing us to talk in a generalising way about typically non-linguistic entailment facts (just as, according to a deflationist conception of truth, the truth predicate applying t...
متن کاملAre Some Modus Ponens Arguments Deductively Invalid?
This article concerns the structure of defeasible arguments like: 'if Bob has red spots, Bob has the measles; Bob has red spots; therefore Bob has the measles.' The issue is whether such arguments have the form of modus ponens or not. Either way there is a problem. If they don't have the form of modus ponens, the common opinion to the contrary taught in leading logic textbooks is wrong. But if ...
متن کاملInstability, Modus Ponens and Uncertainty of Deduction
Considering the instability of nonlinear dynamics, the deductive inference rule Modus ponens itself is not enough to guarantee the validness of reasoning sequence in the real physical world, and from similar cause cannot gain similar result. Some kind of stability hypothesis should be added in order to draw meaningful conclusion. So the uncertainty of deductive inference appears the same as tha...
متن کاملA Generalized Probabilistic Version of Modus Ponens
Modus ponens (from A and “if A then C” infer C; short: MP) is one of the most basic inference rules. The probabilistic MP allows for managing uncertainty by transmitting assigned uncertainties from the premises to the conclusion (i.e., from P (A) and P (C|A) infer P (C)). In this paper, we generalize the probabilistic MP by replacing A by the conditional event A|H . The resulting inference rule...
متن کاملOn weakening the Deduction Theorem and strengthening Modus Ponens
This 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. As a result, a denumerable collection of new Gentzen systems and two new sententia...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Analysis
سال: 2019
ISSN: 0003-2638,1467-8284
DOI: 10.1093/analys/anz069