Modus Ponone Ponens: Обяснение и примери

Modus ponendo ponens е тип логически аргумент, на аргументиран извод, принадлежащ към формалната система на правилата за дедукция на добре познатата логика на предложението. Тази аргументативна структура е първоначалният модел, който се предава в логиката на предложението и е пряко свързан с условните аргументи.

Аргументът modus ponendo ponens може да се разглежда като двукрак силогизъм, който вместо да използва трети термин, за да служи като връзка, по-скоро използва условно изречение, с което се отнася до предшестващия елемент с последващия елемент.

Оставяйки конвенционализма, можем да видим, че модусът поставя ponens като процедура ( modus ) на правилата за дедукция, че чрез утвърждаването ( поставянето ) на прецедент или препратка (предишен елемент), успява да твърди ( ponens ) последващо или заключение (по-късен елемент).

Тази разумна формулировка започва от две предложения или предпоставки. Той се опитва да изведе чрез тях заключение, което, въпреки че е имплицитно и обусловено в рамките на аргумента, изисква двойно утвърждаване - както на предшестващия го термин, така и на самия него - да може да се счита за последствие.

начало

Този положителен режим, като част от прилагането на дедуктивната логика, произхожда от древността. Появи се от ръката на гръцкия философ Аристотел от Естагира, 4-ти век пр. Хр. C.

Аристотел предложил с modus ponens - както се нарича - да получи обосновано заключение чрез утвърждаване както на прецедент, така и на следствие в предпоставка. В този процес предшественикът се елиминира, оставяйки само последващите.

Гръцкият мислител искаше да постави основите на описателното логическо мислене, за да обясни и концептуализира всички явления, близки до съществуването на човека, продукт на тяхното взаимодействие с околната среда.

етимология

Modus ponendo ponens има своите корени на латински. В испанския език смисълът му е: "метод, който утвърждава (утвърждава), утвърждава (твърди)", защото, както е посочено по-горе, той се състои от два елемента (прецедент и последващо) утвърдително в неговото структуриране.

обяснение

Най-общо казано, modus ponendo ponens корелира две твърдения: условие, предшестващо което се нарича "P" и условно обусловено, което получава името "Q".

Важно е, че предпоставка 1 винаги представя условната форма "ако-тогава"; "ако" отива преди предшественика и "тогава" отива преди последващото.

Неговата формулировка е следната:

Предпоставка 1: Ако "P" след това "Q".

Предпоставка 2: "P".

Заключение: "Q".

Примери

Първи пример

Позиция 1: "Ако искате да преминете изпита утре, тогава трябва да учите много."

Позиция 2: "Искаш да преминеш изпита утре".

В заключение: "Затова трябва да учите много."

Втори пример

Позиция 1: "Ако искате бързо да стигнете до училище, тогава трябва да поемете по този път."

Предпоставка 2: "Искате да стигнете до училище бързо."

В заключение: "Затова трябва да поемете по този път."

Трети пример

Позиция 1: "Ако искате да ядете риба, тогава трябва да отидете да купувате на пазара."

Предпоставка 2: "Искаш да ядеш риба."

В заключение: "Затова трябва да отидете да купувате на пазара"

Варианти и примери

Модусите ponendo ponens могат да представят малки варианти в неговата формулировка. След това ще бъдат представени четирите най-често срещани варианта със съответните им примери.

Вариант 1

Позиция 1: Ако "P" след това "Q"

Позиция 2: "P"

Заключение: „Q“

В този случай символът "" прилича на отказването на "Q"

Първи пример

Предпоставка 1: "Ако продължавате да ядете по този начин, тогава няма да постигнете идеалното си тегло."

Предпоставка 2: "Все още ядеш така."

Заключение: "Затова няма да постигнете идеалното си тегло."

Втори пример

Предпоставка 1: "Ако продължавате да ядете толкова много сол, тогава няма да можете да контролирате хипертонията."

Предпоставка 2: "Все още се яде толкова много сол."

Заключение: "Следователно няма да можете да контролирате хипертонията."

Трети пример

Предпоставка 1: "Ако наблюдавате пътя, тогава няма да се загубите."

Позиция 2: "Гледате пътя."

Заключение: "Затова няма да загубите".

Вариант 2

Предпоставка 1: Ако "P" ^ "R", то "Q"

Позиция 2: "P" ^

Заключение: „Q“

В този случай символът "^" се отнася до копулативната връзка "и", докато "R" представлява друг предшественик, който е добавен за потвърждаване на "Q". Тоест, ние сме в присъствието на двойно условие.

Първи пример

Предпоставка 1: "Ако се върнете у дома и носите пуканки, тогава ще видим филм."

Предпоставка 2: "Върнете се вкъщи и донесете пуканки."

Заключение: "Затова ще видим филм".

Втори пример

Предпоставка 1: "Ако шофирате пиян и виждате мобилния телефон, тогава ще се срине".

Предпоставка 2: "Шофирате пиян и виждате мобилния телефон".

Заключение: "Затова ще се сринеш".

Трети пример

Предпоставка 1: "Ако пиете кафе и ядете шоколад, тогава се грижите за сърцето си".

Предпоставка 2: "Пийте кафе и яжте шоколад".

Заключение: "Затова се грижите за сърцето си".

Вариант 3

Предпоставка 1: Ако "P" след това "Q"

Позиция 2: "P"

Заключение: „Q“

В този случай символът "" прилича на отрицанието на "Р".

Първи пример

Предпоставка 1: "Ако не сте изучавали гласните съвпадения, тогава ще се провалите лингвистичния изпит".

Позиция 2: "Не сте изучавали гласните съвпадения".

Заключение: "Ето защо, няма да успеете на лингвистичния изпит".

Втори пример

Предпоставка 1: "Ако не давате храна на папагала, тогава той ще умре".

Предпоставка 2: "Не давайте храна на папагала".

Заключение: "Затова ще умре."

Трети пример

Предпоставка 1: "Ако не пиете вода, тогава ще се дехидратирате."

Предпоставка 2: "Не пийте вода."

Заключение: "Ето защо, вие ще станете дехидратирани."

Вариант 4

Предпоставка 1: Ако "P" след това "Q" ^ "R"

Позиция 2: "P"

Заключение: "Q" ^ "R"

В този случай символът "^" се позовава на копулативната връзка "и", докато "R" представлява втори следван в предложението; следователно един предшественик ще утвърждава две последователни едновременно.

Първи пример

Позиция 1: "Ако сте били добри с майка си, тогава баща ви ще ви донесе китара и струни."

Позиция 2: "Бяхте добри с майка си."

Заключение: "Затова баща ти ще ти донесе китара и струни".

Втори пример

Предпоставка 1: "Ако практикувате плуване, тогава ще подобрите физическата си издръжливост и ще отслабнете."

Позиция 2: "Вие практикувате плуване."

Заключение: "Затова ще подобрите физическата си издръжливост и ще отслабнете."

Трети пример

Позиция 1: "Ако сте прочели тази статия в Lifeder, тогава сте научили и сте по-подготвени".

Позиция 2: "Прочетохте тази статия в Lifeder."

Заключение: "Затова сте научили и сте по-подготвени".

Modus ponens, път към логиката

Modus ponens представлява първото правило на логиката на предложението. Това е концепция, която, започвайки от прости предпоставки за разбиране, отваря разбирането по-дълбоко.

Въпреки че е един от най-използваните ресурси в света на логиката, той не може да бъде объркан с логически закон; това е просто метод за изработване на дедуктивни доказателства.

Когато потискат изречението от заключенията, modus ponens избягва аглутинацията и обширното свързване на елементите при правенето на удръжки. За това качество се нарича още "правило за разделяне".

Modus ponendo ponens е незаменим ресурс за пълното познаване на аристотеловата логика.