Ponens

It can be shown, for example, that if the premises of an application of Modus Ponens are true then the conclusion must also be true.

Non-Deductive Methods in Mathematics Baker, Alan 2009

But, then, Modus Ponens on the above two sentences yields that every sentence is true is true.

Curry's Paradox Beall, JC 2008

But, now, by Modus Ponens on the above two sentences we get that every sentence is true is true.

Curry's Paradox Beall, JC 2008

In the resulting logic L, defined over C, there is now just one rule of Modus Ponens:

Combining Logics Carnielli, Walter 2007

Modus Ponens v2.1.1 » V for Vivisection says:

Think Progress » O’Reilly: iPods Are Endangering America 2006

A nonconstituent ontologist like Plantinga may be represented as arguing by Modus Ponens: If God exemplifies his nature, then he is distinct from it; God exemplifies his nature; ergo, God is distinct from his nature, and DDS is false.

Divine Simplicity Vallicella, William F. 2006

Philosophical Review 105, pp. McGee, Vann 1985: "A Counterexample to Modus Ponens".

Conditionals Edgington, Dorothy 2006

Resolution is modeled after the chain rule (of which Modus Ponens is a special case) and essentially states that from p ˆ¨ q and ~q ˆ¨ r one can infer p ˆ¨

Automated Reasoning Portoraro, Frederic 2005

Eventually cog. science will reveal the biochemistry of language and logic, and there is no necessary assurance that basic logico-semantic assumptions say, Modus Ponens will be validated...

When Intellectual Innovators Become the Status Quo Chris 2004

As an example, the fuzzy Modus Ponens is defined by assuming that the domain of syn is the set , by setting

Citizendium, the Citizens' Compendium - Recent changes [en] 2008