Modus tollens
Modus tollens (łac. modus tollendo tollens – sposób zaprzeczający przy pomocy zaprzeczenia[1]) – wnioskowanie logiczne, reguła logiki mówiąca, że jeśli zaakceptujemy, że z wynika oraz że jest fałszywe, to musimy zaakceptować też fałszywość [2]:
![{\displaystyle [(p\Rightarrow q)\land \lnot q]\Rightarrow \lnot p.}](https://wikimedia.org/api/rest_v1/media/math/render/svg/e855c463787d5c626450b6bcc5fafca2459212c6)
- „Modus tollendo tollens – tryb obalający [...] przez obalenie [...]. Jest to inna postać »sylogizmu kategoryczno-hipotetycznego«. Zastosowania: Jeżeli nie ma śladów uderzeń na zwłokach, a przy tym gdyby zmarły był bity przed śmiercią, to by były ślady uderzeń na zwłokach, tedy nieprawda, że zmarły był bity przed śmiercią.” Tadeusz Kotarbiński, Elementy teorii poznania, logiki formalnej i metodologii nauk[3].
Zobacz też
Przypisy
- ↑ modus tollendo tollens, [w:] Encyklopedia PWN [online], Wydawnictwo Naukowe PWN [dostęp 2023-05-27].
- ↑
Tomasz Mazur, Kurs logiki: lekcja 28. (...), Zintegrowana Platforma Edukacyjna – Ministerstwo Edukacji Narodowej, zpe.gov.pl [dostęp 2024-11-28].
- ↑ Warszawa, PWN 1986 (1929), s. 148.