«Modus tollendo tollens»: berrikuspenen arteko aldeak

ez dago edizio laburpenik
{{lanean}}
 
'''''Modus tollendo tollens''''' ([[Latin|latinez]]: "ukatuz ukatzen duen modua";<ref>Stone, Jon R. 1996. ''Latin for the Illiterati: Exorcizing the Ghosts of a Dead Language''. Londres: Routledge. 60. or.</ref> '''''modus tollens,'''''<ref>Ipar Carolinako Unibertsitatea, Filosofia Saila, [http://web.archive.org/web/http://www.philosophy.uncc.edu/mleldrid/Logic/logiglos.html#modustollens Logika Glosarioa].</ref><ref>Copi eta Cohen</ref><ref>Hurley</ref><ref>Moore eta Parker</ref> '''atzekariaren ukapenaren legea '''edo '''kontrajartze-legea''' izenez ere ezaguna)<ref>Sanford, David Hawley. 2003. ''If P, Then Q: Conditionals and the Foundations of Reasoning''. Londres: Routledge. 39. or. "[Modus] tollens is always an abbreviation for modus tollendo tollens, the mood that by denying denies."</ref> [[Baliozkotasun (logika)|baliozko]] argudio-forma eta inferentzia-erregela da [[Logika proposizional|logika proposizionalean]]. Adierazpen bat baliozkoa bada, bere kontrajartzea ere badela dioen egia orokorraren aplikazioa da. ''Modus tollendo tollens'' erregelaren historiak antzinaroraino egiten du atzera.<ref>Susanne Bobzien (2002). "The Development of Modus Ponens in Antiquity", ''Phronesis'' 47.</ref> Modus tollendo tollens erregela esplizituki azaltzen lehenak [[Estoizismo|estoikoak]] izan ziren.<ref>[http://plato.stanford.edu/entries/logic-ancient/#Sto "Stanford Encyclopedia of Philosophy: ''Ancient Logic: The Stoics''"]</ref>
 
: Ez naiz antzokiaren barruan itxaroten ari.
: Beraz, ez du euririk ari.
 
''Modus tollendo tollens'' estuki lotuta dago [[Modus ponendo ponens|''modus ponens'']] edo silogismo disjuntiboarekin. Biek argumentuaren antzeko forma dute: atzekariaren baieztapena eta aurrekariaren ukapena.
 
== Notazio formala ==
''Modus tollendo tollens''-en erregela hainbat eratara idatz daiteke.
 
=== ''Modus tollendo tollens'' ondoriozko notazioan ===
 
:<math>P\to Q, \neg Q \vdash \neg P</math>
23

edits