Factbites
 Where results make sense
About us   |   Why use us?   |   Reviews   |   PR   |   Contact us  

Topic: Modus tollendo tollens


  
  20th WCP: Modus Ponens, Modus Tollens, and Likeness
Modus Ponens (MP) and Modus Tollens (MT) are taught as basic rules of inference related to conditional statements in introductory logic courses.
Modus Ponens (MP) and Modus Tollens (MT) are considered as basic rules of inference, and we teach them in introductory logic courses, related to conditional statements.
The Alleged Counterexamples to Modus Ponens and Modus Tollens
www.bu.edu /wcp/Papers/Logi/LogiDagl.htm   (3275 words)

  
 Disjunctive syllogism - Wikipedia, the free encyclopedia
A disjunctive syllogism, also known as modus tollendo ponens (literally: mode which, by denying, affirms) is a valid, simple argument form:
Unlike modus ponendo ponens and modus tollendo tollens, with which it should not be confused, modus tollendo ponens is often not made an explicit rule or axiom of logical systems, as the above arguments can be proven with a (slightly devious) combination of reductio ad absurdum and disjunction elimination.
Modus tollendo ponens should also not be confused with modus ponendo tollens.
en.wikipedia.org /wiki/Disjunctive_syllogism   (354 words)

  
 Modus ponendo tollens - Wikipedia, the free encyclopedia
Modus ponendo tollens (literally: mode which, by affirming, denies) is a valid, simple argument form:
This is rarely used as a rule or axiom of logical systems, as it can easily be proven by reductio ad absurdum.
MPT should not be confused with modus tollendo ponens, modus ponendo ponens, or modus tollendo tollens.
en.wikipedia.org /wiki/Modus_ponendo_tollens   (108 words)

  
 MODUS PONENS und MODUS TOLLENS
Modus Tollens und Modus Ponens gelten als formale Unterscheidungskriterien zwischen Präsupposition: während für die Implikation sowohl Modus Ponens als auch Modus Tollens gelten, trifft für Präsuppositionen nur Modus Ponens zu.“
Modus ponens, según la cual puede afirmarse el consecuente de un condicional si se afirma su antecedente.
modus ponendo ponens, modus tollendo tollens, modus tollendo ponens y
culturitalia.uibk.ac.at /hispanoteca/Lexikon%20der%20Linguistik/mo/MODUS%20PONENS%20und%20MODUS%20TOLLENS.htm   (289 words)

  
 Modus ponens   (Site not responding. Last check: 2007-10-14)
A propositional argument using modus ponens is said to be deductive.
For an amusing dialog that problematizes modus ponens, see Lewis Carroll 's " What the Tortoise Said to Achilles." See also: modus tollens, affirming the consequent, Denying the antecedent, inference rule.
Modus Operandi Web ring featuring various player sites.
www.serebella.com /encyclopedia/article-Modus_ponens.html   (357 words)

  
 modus_tollens   (Site not responding. Last check: 2007-10-14)
Modus tollens (Latin : mode that denies) is the formal name for indirect proof or proof by contrapositive...
Modus Tollens states that if the consequent of a conditional is false, then the antecedent must...
modus, tollendo, tollens,, modus, tollens Begriffe a - Axiom Badische Schule...
modus_tollens.networklive.org   (288 words)

  
 LT-Frame: A replacement for logical inference as a basis for human cognition
For example, in an experiment by Shapiro (reported in Wason and Johnson-Laird 1972) a group of college students was presented with four forms of logical arguments: modus ponens; modus tollens; denying the antecedent; and affirming the consequent.
For modus tollens, another transformation must be constructed (tmt1) such that correlation of ~b with C1 tmt1 will be approximately equal to ~a.
As well, the modus tollens transformation is far more complex than that necessary for performing modus tollens.
www.arts.uwaterloo.ca /~celiasmi/Papers/inference.html   (3192 words)

  
 Re: modus ponens & modus tollens?
Modus is the Latin ancestor of English mode and mood.
That is, by denying either alternant (p or q) in the minor, we affirm the other alternant in the conclusion.
(modus ponens and modus tollens) permits confirmation of the
www.mail-archive.com /tips@fre.fsu.umd.edu/msg10338.html   (237 words)

  
 Johdatus vittumaiseen logiikkaan   (Site not responding. Last check: 2007-10-14)
Tavallisimpia päättelysääntöjä ovat esimerkiksi Modus ponens ja Modus tollendo tollens.
Modus ponens (MP): Modus tollendo tollens (TT): a -> b a -> b a !b ------ ------ b !a
kohdassa 4 ajettu Modus Ponens kohdille 1,2, saatu lopputulokseksi B).
vjsaar.iki.fi /foo/vittulogiikka.html   (1032 words)

  
 Re: Age of Sphinx (5)   (Site not responding. Last check: 2007-10-14)
Take away > >that premise, and the modus tollendo tollens to which I objected > >has even less force.
The issue is the modus tollendo tollens (method of denying the consequent) of which I spoke earlier.
That is what defeats completely the attempted modus tollendo tollens.
www.theafrican.com /Magazine/Athena/53.htm   (252 words)

  
 Modus Tollendo Tollens   (Site not responding. Last check: 2007-10-14)
We now rate a "buy." Enterprise software modus tollendo tollens storage stocks have lifted as a group, note EMC at $6.90 gapping to the upside.
McClary said that the stock market ills are because “you don’t know who is telling the truth about their modus tollendo tollens financial condition.
Family owned modus tollendo tollens Selden's Home Furnishings was established in 1940, by Sydney Selden in downtown Tacoma as a flooring and window covering store.
core.freesite.com.ru /modus-tollendo-tollens.html   (875 words)

  
 20th WCP: Faithful and Fruitful Logic
We should note here that the conditionals in Ackermann’s example are obviously of the latter type: the professor is declaring what the rule is on how passes may be attained.
Moreover, the vital moves for logic of modus ponendo ponens and modus tollendo tollens, and of hypothetical syllogism, require statements of the second type.
Then logic may once again be clasped like a bride, as students learn, whatever their other disciplines may be, to understand and appreciate the conditional which is crucial for reasoning in any field, to test deductive arguments (reliably) by the CI method in both the conversational and the vertical form, and to argue hypothetico-deductively.
www.bu.edu /wcp/Papers/Logi/LogiHowe.htm   (2263 words)

  
 Re: Where do Rights Come From; God, Nature or Positive Law?
But, after learning "Tweety is an ostrich" (or, penguin), we (change our minds and) say "Tweety does not fly." In the actual life, we use the rules of logic in a limited sense; when we learn new facts, we change some of our beliefs sometimes.
The second kind of indemonstrable statements of the Stoics is: "If the first, then the second; but the second is not; therefore the first is not." This basic argument form is called as modus tollendo tollens, in abbreviation modus tollens, the mood that by denying denies, nowadays.(2) III.
As mentioned by Christian Piller, McGee's objection to MP amounts to: There are counterexamples to the claim that modus ponens is generally valid.
www.talkaboutreligion.com /group/alt.religion/messages/186089.html   (5583 words)

  
 Rules of Inference
The Stoics are accredited by historians of logic who did the early work on the nature and the theory of conditionals (in which Chrysippus, Diodorus Cronus, and Philo of Megara can further be distinguished).
We call this basic argument form as modus ponendo ponens, in abbreviation modus ponens, the mood that by affirming affirms.
This basic argument form is called as modus tollendo tollens, in abbreviation modus tollens, the mood that by denying denies
turing.une.edu.au /~comp508/OldLectures/Lecture_04/lecture/node3.html   (397 words)

  
 Re: On interracial relationships, or anything
As to the existence of race, you seek to assert modus tollendo tollens (method of denying the consequent), as follows: [not-B & A->B ] -> not-A in which you substitute A=race, and B=racism.
You *assume* that race->racism, deny the consequent, racism, and seek through modus tollendo tollens thereby to deny race also.
That argument fails, because, as I have demonstrated, it is not necessarily the case that race->racism.
www.theafrican.com /Magazine/Asili/7.htm   (1506 words)

  
 Il procedimento logico-formale e l’argomentazione retorica   (Site not responding. Last check: 2007-10-14)
Per esempio: «se è giorno, c'è luce; ma è giorno; dunque c'è luce» (primo sillogismo ipotetico, detto dagli Scolastici modus ponendo ponens).
Per esempio: «O è giorno o è notte; ma non è giorno, dunque è notte» (secondo sillogismo disgiuntivo, detto dagli Scolastici modus tollendo ponens).
I Neoplatonici, invece, identificarono la dialettica col processo stesso della realtà, cioè con la derivazione di tutte le cose dall'Uno, privandola in tal modo di qualsiasi valore argomentativo.
www.ilgiardinodeipensieri.com /storiafil/Berti93.htm   (2493 words)

  
 Philosophy 240--Introduction to Logic   (Site not responding. Last check: 2007-10-14)
A good exercise for the derived rules is to go through the list of commonly used rules and come up with statements to describe them, similar to statements given for the primitive rules.
For example, MTT could be described like this: "Given a conditional (at line m) and another sentence (at line n) that is a denial of its consequent, conclude a denial of its antecedent." The anotation would be m,n MTT.
In general, the annotations for the derived rules are given to the right of the sequents in exercise 1.5.1.
grimpeur.tamu.edu /~colin/Logic/lecture1.5b.html   (510 words)

  
 Can you know for sure that you are not sure about something?: Philosophy Forums   (Site not responding. Last check: 2007-10-14)
And you are quite right in the latter sentence of course Gassy, but we can at least sleep sound now knowing that a certain conflict has been resolved.
Now, I can only wait for Morrandir to check my five step syllogisms to see if they follow; although, I am quite sure that they do according to modus tollendo tollens and modus ponendo ponens...
It seems to me that modus ponens and others are fine enough).
forums.philosophyforums.com /comments.php?id=11386&page=last   (1133 words)

  
 Re: Where do Rights Come From; God, Nature or Positive Law?
So in the first case the implication is a logical necessity (until Perdy gets better, at any rate, which is outside the scope, as logicians call it, of this inference) and the inference - the modus tollens - is true.
But with Porky the implication is not true, so modus tollens doesn't apply here, > > So it could be very correct that If B follows A and there is no B then most > likely there is no A. Likelihood is another wrinkle here.
For a start, modus tollens loses a lot of its force.
www.talkaboutreligion.com /group/alt.religion/messages/186082.html   (3420 words)

  
 Propositionally Logical Conclusions - Rules - Modus Tollendo Tollens   (Site not responding. Last check: 2007-10-14)
This rule has also a simplified name: Modus Tollens (MT).
Here the words said in the last chapter to that simlification are also valid.
If you use Modus Ponendo Tollens and/or Modus Tollendo Ponens it a good idea to have the full names and the matching abbreviations.
www.informatik.htw-dresden.de /~logic/conclusions/rule8.html   (176 words)

  
 Read This: Briefly Noted, January 2003
There is no doubt that the authors have much more in mind than simply to expose the reader to the basic logic tool-kit every mathematician needs: it's very much the case that the reader should be, if not an aspiring mathematical logician, then certainly keenly interested in formal logic for its own sake.
After all, how many of us would know when properly to use the descriptive phrase "modus ponendo ponens" (hint: we do this almost all the time), or "modus tollendo tollens" for that matter (it's contraposition, essentially).
So there is a substantial amount of logician's arcana to be had in the book --- and one wouldn't expect anything else from Suppes.
www.maa.org /reviews/brief_jan03.html   (1607 words)

  
 HISTOIRE DE LA LOGIQUE - LES MÉGARIQUES ET LES STOÏCIENS   (Site not responding. Last check: 2007-10-14)
1) Si le premier le second, or le premier donc le second (modus ponendo ponens).
2) Si le premier le second, or pas le second donc pas le premier (modus tollendo tollens).
5) Ou le premier ou le second, or pas le second donc le premier (modus tollendo ponens).
logique.uqam.8m.com /histoire3.htm   (2201 words)

  
 Exercise 2.7 - Answers
(Often called "modus tollens", or "modus tollendo tollens".)
(Called, as you might have guessed, "modus ponendo tollens".
How does one remember which modus is which.  Well,  modus ponendo tollens is the mode (of inference) which denies (tollens) by positing (ponendo).
logic.philosophy.ox.ac.uk /exAnswers/ex2-7answer.htm   (359 words)

  
 Enfocarte.com - n°21 - Filosofía: El Dios del silogismo   (Site not responding. Last check: 2007-10-14)
Se trata de la falacia del modus tollendo tollens.
Es una variación de la falacia del modus ponendo ponens.
Es una variación de la falacia del modus tollendo tollens.
www.enfocarte.com /3.21/filosofia.html   (5088 words)

  
 Ephilosopher :: Logic and Formal Reasoning :: Symbolic Logic   (Site not responding. Last check: 2007-10-14)
In all honesty, I do not think you can prepare yourself too much, except maybe with some basic concepts.
I tried preparing myself a little (i knew modus ponendo ponens, modus tollendo tollens and the like), but we covered that material in the first day of class.
Needless to say, my preparation did not help me too much with all the other types of rules that I would also need to learn.
www.ephilosopher.com /phpBB_14-action-viewtopic-topic-1009&43.html   (2754 words)

  
 Read This: Proofs And Fundamentals
In Section 1.5, it is proved that certain hypotheses imply that there exists a stupid cat.
The proof makes explicit reference to Existential Instantiation, Universal Instantiation, Modus Ponens, Modus Tollens, Modus Tollendo Ponens, De Morgan's Law, and Existential Generalization, among other things.
In Section 6.4, it is emphasized that we cannot be sure that the equations c
www.maa.org /reviews/proofund.html   (914 words)

  
 Epistemología e informática, Claudio Gutiérrez, Costa Rica
3) El modus ponendo ponens parece la mejor muestra del método deductivo, es decir, del que nos permite pasar de ciertas premisas a ciertas conclusiones, a la manera en que los matemáticos justifican las verdades de su ciencia.
En realidad, el modus tollens es un caso particular del modus ponens, si tomamos en cuenta el llamado principio de contraposición, que nos permite sustituir cualquier expresión del tipo
La intención de estos patrones, como de cualquier otro patrón de razonamiento (por el ejemplo, el modus ponens o el silogismo disyuntivo estudiados en este mismo capítulo) es permitirnos sacar consecuencias de lo que sabemos, es decir, hacer explícito nuestro conocimiento virtual.
www.claudiogutierrez.com /La_logica_y_el_conocimiento.html   (16781 words)

Try your search on: Qwika (all wikis)

Factbites
  About us   |   Why use us?   |   Reviews   |   Press   |   Contact us  
Copyright © 2005-2007 www.factbites.com Usage implies agreement with terms.