(Лат. Modus ponens)
термін середньовічної логіки, що позначає правило виведення і відповідний йому логічний закон.
Правило виводу М. п. Зазвичай зване правилом відділення (іноді гіпотетичним силогізм), дозволяє від затвердження умовного висловлювання і затвердження його заснування (антецедента) перейти до твердженням слідства (консеквента) цього висловлювання:
Тут A і В - деякі висловлювання, "якщо А, то В" і "A" - посилки, "B" - висновок; горизонтальна риса варто замість слова "отже". Інша запис:
Якщо А, то В. А. Отже, В.
Завдяки цьому правилу від посилки "якщо А, то В", використовуючи посилку "A", ми як би відокремлюємо висновок "B". напр .:
Якщо у людини підвищена температура, він хворий.
У людини підвищена температура.
Людина хвора. Це правило постійно використовується в наших міркуваннях. Вперше воно було сформульовано, наскільки можна судити, учнем Аристотеля Теофрастом ще в III в. до н. е.
Відповідний правилом відділення логічний закон з використанням символіки логічної формулюється так (р, q - деякі висловлювання; - кон'юнкція. "І"; -> імплікація. "якщо то"):
якщо вірно, що якщо р, то q, і р, то вірно q. Напр. "Якщо під час дощу земля мокра і йде дощ, то земля є мокрою".
Міркування за правилом М.п. йде від затвердження підстави істинного умовного висловлювання до утвердження його слідства. Це логічно коректне рух думки іноді плутається з подібним, але логічно неправильним її рухом від затвердження слідства істинного умовного висловлювання до утвердження його заснування. Напр. правильним є висновок:
Якщо вісмут - метал, він проводить електричний струм.
Вісмут - метал. _______________
Вісмут проводить електричний струм.
Але зовні схоже з ним умовивід
Якщо вісмут - метал, він проводить електричний струм.
Вісмут проводить електричний струм.
логічно некоректно. Міркуючи по останньої схемою, можна прийти від істинних посилок до помилкового висновку. напр .:
Якщо у людини підвищена температура, він хворий.
У нього підвищена температура.
Багато хвороб, як відомо, протікають без підвищення температури; з наявності хвороби не можна укладати про підвищення температури. Істинність посилок не гарантує істинності висновку.
Проти змішання правил М. п. З вказаною неправильної схемою застерігає рада: від підтвердження підстави до підтвердженню слідства розмірковувати припустимо, від підтвердження слідства до підтвердженню підстави - немає.
Транскріпкія слова: [modus ponens]
→ модус толлендо поненс (лат. Modus tollendo ponens) термін середньовічної логіки, що позначає.
← модус понендо толленс (лат. Modus ponendo tollens) термін середньовічної логіки, що позначає наступні схеми.