Modus tollens
Uit Wikipedia, de vrije encyclopedia
Modus tollens is een regel uit de formele logica. Uit de logische implicatie "als p dan q" kan worden afgeleid dat wanneer q onwaar is, ook het antecedent p onwaar moet zijn. Bijvoorbeeld: "Als het vrijdag is, eten wij vis. Wij eten geen vis, dus is het geen vrijdag."
Er zijn twee soorten modi tollentes ("modi die iets ontkennen"): de modus tollendo tollens en de modus ponendo tollens. De modus tollens kwam weer in het bijzonder in de belangstelling te staan door het gebruik ervan door wetenschapsfilosoof Karl Popper in zijn antwoord op het probleem van inductie, falsifieerbaarheid.