Правило modus ponens в исчислении высказываний
Обновлено: 14.05.2024
модус понендо поненс это своего рода логический аргумент, основанный на логическом выводе, принадлежащий к формальной системе правил вывода известной логики высказываний. Эта аргументная структура является исходной моделью, которая передается в логике высказываний и напрямую связана с условными аргументами..
Аргумент модус понендо поненс это можно рассматривать как двуногий силлогизм, который вместо использования третьего термина в качестве ссылки скорее использует условное предложение, с которым он связывает предшествующий элемент с последующим элементом.
Оставляя условности, мы можем видеть модус понендо поненс как процедура (модус) правил удержания, которые посредством утверждения (ponendo) антецедента или ссылки (предыдущий элемент), удается утверждать (поненс) к последствию или заключению (более поздний элемент).
Эта разумная формулировка начинается с двух положений или предпосылок. Он стремится сделать из них вывод, что, несмотря на то, что он является неявным и обусловленным в аргументе, требуется двойное утверждение - оба термина, предшествующего ему, и сам по себе - чтобы его можно было считать последовательным.
- 1 Происхождение
- 1.1 Этимология
- 3.1 Первый пример
- 3.2 Второй пример
- 3.3 Третий пример
- 4.1 Вариант 1
- 4.2 Вариант 2
- 4.3 Вариант 3
- 4.4 Вариант 4
начало
Этот позитивный способ, как часть применения дедуктивной логики, берет свое начало в древности. Появился рукой греческого философа Аристотеля Эстаджиры, 4-го века до нашей эры. С.
Аристотель поднял с модус поненс -как это также называется - получить обоснованный вывод путем проверки как прецедента, так и следствия в предпосылке. В этом процессе антецедент устраняется, оставляя только последующее.
Греческий мыслитель хотел заложить основы логического описательного мышления, чтобы объяснить и осмыслить все явления, близкие к существованию человека, продукт их взаимодействия с окружающей средой..
этимология
модус понендо поненс Это имеет свои корни в латыни. В испанском языке его значение таково: «метод, который утверждает (подтверждает), подтверждает (утверждает)», потому что, как уже было сказано, он состоит из двух элементов (предшествующего и последующего), положительного в его структурировании.
объяснение
В общих чертах, модус понендо поненс коррелирует два суждения: обусловливающий предшествующий элемент, который называется «P», и условный последующий, который получает название «Q».
Важно, чтобы посылка 1 всегда представляла форму обусловленности «если-тогда»; «если» идет перед предшествующим, а «тогда» идет перед последующим.
Его формулировка следующая:
Предпосылка 1: если «P», то «Q».
примеров
Первый пример
Посылка 1: «Если вы хотите сдать экзамен завтра, тогда вы должны много учиться».
Посылка 2: «Вы хотите сдать экзамен завтра».
Итог: «Поэтому надо много учиться».
Второй пример
Посылка 1: «Если вы хотите быстро попасть в школу, вы должны идти по этому пути».
Посылка 2: «Вы хотите быстро попасть в школу».
Заключение: «Поэтому ты должен идти по этой дороге».
Третий пример
Посылка 1: «Если вы хотите есть рыбу, то вы должны пойти купить на рынке».
Посылка 2: «Хочешь есть рыбу».
Заключение: «Поэтому вы должны идти покупать на рынке»
Варианты и примеры
модус понендо поненс может представить небольшие варианты в своей формулировке. Далее будут представлены четыре наиболее распространенных варианта с соответствующими примерами..
Вариант 1
Предпосылка 1: если «P», то «¬Q»
В этом случае символ «¬» напоминает отрицание «Q»
Первый пример
Предпосылка 1: «Если вы будете продолжать есть, вы не достигнете идеального веса».
Посылка 2: «Ты продолжаешь есть так».
Вывод: «Поэтому вы не достигнете своего идеального веса».
Второй пример
Посылка 1: «Если вы будете продолжать есть так много соли, вы не сможете контролировать гипертонию».
Посылка 2: «Ты все еще ешь столько соли».
Вывод: «Следовательно, вы не сможете контролировать гипертонию».
Третий пример
Посылка 1: «Если ты в дороге, то ты не проиграешь».
Посылка 2: «Ты смотришь дорогу».
Вывод: «Поэтому ты не проиграешь».
Вариант 2
Предпосылка 1: если "P" ^ "R", то "Q"
В этом случае символ «^» относится к совокупному соединению «и», тогда как «R» представляет другой антецедент, добавляемый для проверки «Q». То есть у нас в наличии двойное условие.
Первый пример
Посылка 1: «Если вы придете домой и принесете попкорн, тогда мы посмотрим фильм».
Посылка 2: «Приходите домой и приносите попкорн».
Вывод: «Поэтому мы посмотрим фильм».
Второй пример
Посылка 1: «Если вы пьяны за рулем и видите мобильный телефон, вы упадете».
Посылка 2: «Вы едете пьяным и видите мобильный телефон».
Вывод: «Поэтому ты потерпишь крах».
Третий пример
Посылка 1: «Если вы пьете кофе и едите шоколад, значит, вы заботитесь о своем сердце».
Посылка 2: «Пей кофе и ешь шоколад».
Вывод: «Поэтому вы заботитесь о своем сердце».
Вариант 3
Предпосылка 1: если «¬P», то «Q»
Предпосылка 2: "¬P"
В этом случае символ «¬» напоминает отрицание «P».
Первый пример
Предпосылка 1: «Если вы не изучали совпадения гласных, вы не сдадите экзамен по лингвистике».
Посылка 2: «Вы не изучали совпадения гласных».
Вывод: «Следовательно, вы не сдадите экзамен по лингвистике».
Второй пример
Посылка 1: «Если вы не дадите еду своему попугаю, он умрет».
Посылка 2: «Вы не даете еду своему попугаю».
Вывод: «Поэтому он умрет».
Третий пример
Посылка 1: «Если вы не пьете воду, вы обезвожены».
Предпосылка 2: «Не пей воду».
Вывод: «Поэтому вы обезвожены».
Вариант 4
Предпосылка 1: если «P», то «Q» ^ «R»
В этом случае символ «^» намекает на совокупное соединение «и», в то время как «R» представляет второе следствие в предложении; следовательно, антецедент будет подтверждать два следствия одновременно.
Первый пример
Посылка 1: «Если ты был добр к своей матери, тогда твой отец принесет тебе гитару и его струны».
Посылка 2: «Вы были хороши со своей матерью».
Вывод: «Поэтому твой отец принесет тебе гитару и ее струны».
Второй пример
Предпосылка 1: «Если вы практикуете плавание, то вы улучшите свою физическую выносливость и похудеете».
Предпосылка 2: «Ты занимаешься плаванием».
Вывод: «Следовательно, вы улучшите свою физическую выносливость и похудеете».
Третий пример
Предпосылка 1: «Если вы читаете эту статью в Lifeder, значит, вы узнали и вы более подготовлены».
Посылка 2: «Вы читали эту статью в Lifeder».
Вывод: «Поэтому вы выучили и стали более подготовленными».
Модус поненс, путь к логике
модус поненс представляет первое правило логики высказываний. Это концепция, которая, начиная с простых предпосылок для понимания, открывает понимание более глубоких рассуждений.
Несмотря на то, что он является одним из наиболее используемых ресурсов в мире логики, его нельзя спутать с логическим законом; это просто метод для разработки дедуктивных доказательств.
Исключив суждение из выводов, модус поненс избегает агглютинации и обширных конкатенации элементов при вычетах. Для этого качества это также называют "правилом разделения".
модус понендо поненс это незаменимый ресурс для полного познания аристотелевской логики.
Читайте также: