- происхождения
- Этимология
- объяснение
- Примеры
- Первый пример
- Второй пример
- Третий пример
- Варианты и примеры
- Вариант 1
- Первый пример
- Второй пример
- Третий пример
- Вариант 2
- Первый пример
- Второй пример
- Третий пример
- Вариант 3
- Первый пример
- Второй пример
- Третий пример
- Вариант 4
- Первый пример
- Второй пример
- Третий пример
- Ссылки
В модусе ponendo поненс является типом логического аргумента, мотивированного вывода, принадлежащий к формальной системе правил вывода из хорошо известной логики. Эта структура аргументов является исходным руководством, которое передается в логике высказываний и напрямую связано с условными аргументами.
Аргумент modus ponendo ponens можно рассматривать как двуногий силлогизм, который вместо использования третьего термина, который служит связующим звеном, скорее использует условное предложение, с которым он связывает предшествующий элемент с последующим элементом.

Аристотель, отец философской логики
Оставляя условности, мы можем рассматривать modus ponendo ponens как процедуру (modus) правил дедукции, которые посредством утверждения (размещения) антецедента или ссылки (предыдущего элемента) умудряются утверждать (ponens) к последующему или заключение (более поздний элемент).
Эта разумная формулировка исходит из двух предложений или предпосылок. Он пытается сделать из них вывод, который, несмотря на то, что он подразумевается и обусловлен внутри аргумента, требует двойного утверждения - как предшествующего ему термина, так и самого себя - для того, чтобы считаться следствием.
происхождения
Этот утвердительный способ, как часть применения дедуктивной логики, берет свое начало в древности. Он появился из рук греческого философа Аристотеля де Эстаджира, с IV века до нашей эры. C.
Аристотель предложил с помощью modus ponens - как его еще называют - получить аргументированный вывод путем подтверждения как прецедента, так и следствия в посылке. В этом процессе антецедент удаляется, остается только следствие.
Греческий мыслитель хотел заложить основы описательного логического рассуждения, чтобы объяснить и осмыслить все явления, близкие к существованию человека, продукта его взаимодействия с окружающей средой.
Этимология
Modus ponendo ponens имеет латинские корни. В испанском языке это значение имеет следующий смысл: «метод, который утверждает (утверждает), утверждает (утверждает)», потому что, как было сказано ранее, он состоит из двух элементов (предшествующего и последующего), подтверждающих его структуру.
объяснение
В общих чертах, modus ponendo ponens коррелирует два утверждения: обусловливающий антецедент, называемый «P», и условный консеквент, называемый «Q».
Важно, чтобы посылка 1 всегда имела обуславливающую форму «если-то»; «если» предшествует антецеденту, а «тогда» предшествует следствию.
Его формулировка следующая:
Предпосылка 1: Если «P», то «Q».
Предпосылка 2: «П».
Вывод: «Q».
Примеры
Первый пример
Предпосылка 1: «Если вы хотите сдать экзамен завтра, вы должны усердно учиться».
Предпосылка 2: «Вы хотите сдать экзамен завтра».
Заключение: «Следовательно, вы должны усердно учиться».
Второй пример
Предпосылка 1: «Если вы хотите быстро попасть в школу, вы должны пойти по этому пути».
Предпосылка 2: «Вы хотите быстро попасть в школу».
Заключение: «Следовательно, вы должны пойти по этому пути».
Третий пример
Предпосылка 1: «Если вы хотите есть рыбу, вам следует делать покупки на рынке».
Предпосылка 2: «Вы хотите есть рыбу».
Заключение: «Следовательно, вы должны идти покупать на рынке».
Варианты и примеры
Modus ponendo ponens может иметь небольшие вариации в своей формулировке. Ниже будут представлены четыре наиболее распространенных варианта с соответствующими примерами.
Вариант 1
Предпосылка 1: Если «P», то «¬Q»
Предпосылка 2: «П»
Вывод: «¬Q»
В этом случае символ «¬» напоминает отрицание «Q».
Первый пример
Предпосылка 1: «Если вы продолжите так питаться, вы не достигнете идеального веса».
Предпосылка 2: «Вы продолжаете так есть».
Вывод: «Следовательно, идеального веса вы не достигнете».
Второй пример
Предпосылка 1: «Если вы продолжите есть так много соли, вы не сможете контролировать свою гипертонию».
Предпосылка 2: «Вы продолжаете есть столько соли».
Вывод: «Следовательно, вы не сможете контролировать гипертонию».
Третий пример
Предпосылка 1: «Если вы знаете дорогу, то вы не заблудитесь».
Предпосылка 2: «Вы знаете дорогу».
Вывод: «Поэтому не заблудишься».
Вариант 2
Предпосылка 1. Если «P» ^ «R», то «Q»
Предпосылка 2: «P» ^
Вывод: «Q»
В этом случае символ «^» относится к копулятивному соединению «y», в то время как «R» представляет другой антецедент, который добавляется для подтверждения «Q». То есть перед нами двойной кондиционер.
Первый пример
Предпосылка 1: «Если вы придете домой и принесете попкорна, то мы посмотрим фильм».
Предпосылка 2: «Вы приходите домой и приносите попкорн».
Вывод: «Значит, посмотрим фильм».
Второй пример
Предпосылка 1: «Если вы едете в нетрезвом виде и смотрите в свой мобильный телефон, то вы попадете в аварию».
Предпосылка 2: «Вы пьяны за рулем и смотрите свой мобильный телефон».
Вывод: «Значит, вы рухнете».
Третий пример
Предпосылка 1: «Если вы пьете кофе и едите шоколад, значит, вы заботитесь о своем сердце».
Предпосылка 2: «Вы пьете кофе и едите шоколад».
Вывод: «Поэтому вы заботитесь о своем сердце».
Вариант 3
Предпосылка 1: Если «¬P», то «Q»
Предпосылка 2: «¬P»
Вывод: «Q»
В этом случае символ «¬» напоминает отрицание «P».
Первый пример
Предпосылка 1: «Если вы не изучали совпадение гласных, то вы провалите тест по лингвистике».
Предпосылка 2: «Вы не изучали согласования гласных».
Вывод: «Следовательно, вы провалите тест по лингвистике».
Второй пример
Предпосылка 1: «Если не кормить попугая, он умрет».
Предпосылка 2: «Вы не кормите своего попугая».
Вывод: «Значит, он умрёт».
Третий пример
Предпосылка 1: «Если вы не пьете воду, вы обезвоживаетесь».
Предпосылка 2: «Вы не пьете воду».
Вывод: «Следовательно, вы обезвоживаетесь».
Вариант 4
Предпосылка 1. Если "P", то "Q" ^ "R"
Предпосылка 2: «П»
Вывод: «Q» ^ «R»
В этом случае символ «^» относится к копулятивному соединению «и», тогда как «R» представляет второй консеквент предложения; следовательно, антецедент будет подтверждать два консеквента одновременно.
Первый пример
Предпосылка 1: «Если вы хорошо относились к своей матери, то ваш отец принесет вам гитару и ее струны».
Предпосылка 2: «Ты хорошо относился к своей матери».
Вывод: «Значит, твой отец принесет тебе гитару со струнами».
Второй пример
Предпосылка 1: «Если вы занимаетесь плаванием, вы улучшите свою физическую сопротивляемость и похудеете».
Предпосылка 2: «Вы плаваете».
Вывод: «Таким образом, вы улучшите свою физическую сопротивляемость и похудеете».
Третий пример
Предпосылка 1: «Если вы прочитали эту статью в Lifeder, значит, вы узнали и стали более подготовленными».
Предпосылка 2: «Вы прочитали эту статью в Lifeder».
Вывод: «Таким образом, вы научились и более подготовлены».
Modus ponens представляет собой первое правило логики высказываний. Это концепция, которая, начиная с простых посылок для понимания, открывает понимание для более глубоких рассуждений.
Несмотря на то, что это один из наиболее часто используемых ресурсов в мире логики, его нельзя спутать с логическим законом; это просто метод получения дедуктивного доказательства.
Удаляя предложение из выводов, modus ponens позволяет избежать обширной агглютинации и конкатенации элементов при выводе. За это качество его еще называют «правилом разделения».
Modus ponendo ponens - незаменимый ресурс для полного познания логики Аристотеля.
Ссылки
- Ферратер Мора, Дж. (1969). Философский словарь. Буэнос-Айрес: Hispanoteca. Получено с сайта hispanoteca.eu.
- Модус выкладываю пони. (С. ф.). Испания: Webnode. Получено с: rules-de-inferencia5.webnode.es.
- Модус выкладываю пони. (С. ф.). (н / д): Википедия. Получено с: wikipedia.org.
- Правила вывода и эквивалентности. (С. ф.). Мексика: УПАВ. Получено с: universalidadupav.edu.mx.
- Мазон, Р. (2015). Выкладываем пони. Мексика: Супер Милето. Получено с: supermileto.blogspot.com.
