Модус поненс і модус толленс
«Модусом» в логіці називається різновид деякої загальної форми міркування. Далі будуть перераховані чотири близькі один одному модусу, відомих ще середньовічним логіка.
Модус поненс, званий іноді гіпотетичним силогізм, дозволяє від затвердження умовного висловлювання і затвердження його підстави перейти до твердженням слідства цього висловлювання:
Тут висловлювання «якщо А, то В» і «А» - посилки, висловлювання «У» - висновок. Горизонтальна риса варто замість слова «отже». Інша запис:
Якщо А, то В. А. Отже, В.
Завдяки цьому модусу від посилки «якщо А, то В», використовуючи посилку «А», ми як би відокремлюємо висновок «В». На цій підставі даний модус іноді називається «правилом відділення». наприклад:
Якщо у людини діабет, він хворий.
У людини діабет.
Міркування за правилом відділення йде від затвердження підстави істинного умовного висловлювання до утвердження його слідства. Це логічно коректне рух думки іноді плутається з подібним, але логічно неправильним її рухом від затвердження слідства істинного умовного висловлювання до утвердження його заснування. Наприклад, правильним є висновок:
Якщо талій - метал, він проводить електричний струм.
Талій проводить електричний струм.
Але зовні схоже з ним умовивід:
Якби електроліт був металом, він проводив би електричний струм.
Електроліт проводить електричний струм.
логічно некоректно. Міркуючи по останньої схемою, можна прийти від істинних посилок до помилкового висновку. Проти змішання правила відділення з цієї неправильної схемою міркування застерігає рада: від підтвердження підстави до підтвердженню слідства розмірковувати припустимо, від підтвердження слідства до підтвердженню підстави - немає.
Модусом толленсом називається наступна схема міркування:
Якщо A, то B; невірно B
Тут висловлювання «якщо А, то В» і «невірно В» є посилками, а висловлювання «невірно А» - ув'язненням. Інша запис:
Якщо А, то В. Ні-В. Отже, не-А.
За допомогою цієї схеми від затвердження умовного висловлювання і заперечення його слідства здійснюється перехід до заперечення підстави. Наприклад: «Якщо гелій - метал, він електропроводів. Гелій неелектропроводен. Отже, гелій - не метал ».
За схемою модус толленс йде процес фальсифікації, встановлення помилковості теорії чи гіпотези в результаті її емпіричної перевірки. З перевіряється теорії Т виводиться деякий емпіричне твердження А, тобто встановлюється умовне висловлювання «якщо Т, то А». За допомогою емпіричних методів пізнання (спостереження, вимірювання або експерименту) пропозицію А зіставляється з реальним станом справ. З'ясовується, що А брехливо й істинно пропозиція не-А. З посилок «якщо Т, то А» і «не-А» слід "не-Т», тобто хибність теорії Т.
З модусом толленсом нерідко змішується зовні схоже з ним умовивід:
Якщо А, то В; невірно А
В останньому умовивід від затвердження умовного висловлювання і заперечення його заснування здійснюється перехід до заперечення його слідства, що є логічно некоректним кроком. Міркування за такою схемою може привести від істинних посилок до помилкового висновку. наприклад:
Якби глина була металом, вона була б пластична. Але глина - не метал.
Невірно, що глина пластична.
Всі метали пластичні, і якби глина була металом, вона також була б пластичної. Однак глина не є металом. Але з цього очевидним чином не випливає, глина не пластична. Крім металів, є й інші пластичні речовини, і глина в їх числі.
Проти змішання модуси толленса з даної некоректною схемою міркування застерігає рада: від заперечення слідства умовного висловлювання укладати до заперечення підстави цього висловлювання можна, а від заперечення підстави до заперечення слідства - немає.