Пояснення та приклади

The modus ponendo ponens це свого роду логічний аргумент, аргументований висновок, що належить до формальної системи правил дедукції відомої пропозиційної логіки. Ця аргументаційна структура є початковим шаблоном, який передається в логіці пропозицій і безпосередньо пов'язаний з умовними аргументами.

Аргумент modus ponendo ponens це можна розглядати як двоногий силлогізм, який замість використання третього терміна служить посиланням, скоріше використовує умовне речення, з яким він пов'язує попередній елемент з наступним елементом.

Залишаючись конвенціоналізмом, ми бачимо modus ponendo ponens як процедура (модус) правил вирахування, які за допомогою твердження (покласти) попереднього або довідкового (попереднього елемента), що вдається підтвердити (ponens) до наступного або висновку (пізніший елемент).

Ця розумна постановка починається з двох пропозицій або приміщень. Він прагне вивести через це висновок, який, незважаючи на те, що він є неявним і обумовленим в аргументі, вимагає подвійного підтвердження - як терміну, що передує йому, так і самого себе - для того, щоб вважатися наслідком.

Індекс

• 1 Витоки
  • 1.1 Етимологія
• 2 Пояснення
• 3 Приклади
  • 3.1 Перший приклад
  • 3.2 Другий приклад
  • 3.3 Третій приклад
• 4 Варіанти та приклади
  • 4.1 Варіант 1
  • 4.2 Варіант 2
  • 4.3 Варіант 3
  • 4.4 Варіант 4
• 5 Modus ponens, шлях до логіки
• 6 Посилання

Витоки

Цей ствердний режим, як частина застосування дедуктивної логіки, походить з античності. З'явився рукою грецького філософа Арістотеля Естагіра, 4-го століття до нашої ери. C.

Арістотель піднятий з modus ponens -як його ще називають - отримати обгрунтований висновок шляхом перевірки як прецеденту, так і наступного в приміщенні. У цьому процесі антецедент усувається, залишаючи лише наступний.

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

Етимологія

The modus ponendo ponens Вона має свої корені на латині. У іспанській мові його значення означає: "метод, який підтверджує (стверджує), стверджує (" стверджує ")", тому що, як вже було сказано, він складається з двох елементів (антецедента і послідовного) стверджувального в його структуруванні.

Пояснення

У загальних рисах modus ponendo ponens співвідноситься з двома пропозиціями: умовною умовою, до якої називається "Р", і умовною, що отримує ім'я "Q".

Важливо, що передумова 1 завжди представляє форму кондиціонування "якщо-то"; "якщо" йде перед попередником, а "тоді" - перед наступним.

Його формулювання наступне:

Примітка 1: Якщо "P", то "Q".

Передумова 2: "P".

Висновок: "Q".

Приклади

Перший приклад

Примітка 1: "Якщо ви хочете скласти іспит завтра, то ви повинні багато навчатися".

Примітка 2: "Ви хочете завтра скласти іспит".

Висновок: "Тому потрібно багато навчатися".

Другий приклад

Примітка 1: "Якщо ви хочете швидко потрапити до школи, то ви повинні взяти цю дорогу".

Передумова 2: "Ви хочете швидко потрапити до школи".

Завершуючи: "Тому треба йти цим шляхом".

Третій приклад

Примітка 1: "Якщо ви хочете їсти рибу, то ви повинні йти купувати на ринку".

Примітка 2: "Ви хочете їсти рибу".

Завершуючи: "Тому треба йти купувати на ринку"

Варіанти та приклади

The modus 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"

У цьому випадку символ "¬" нагадує заперечення "P".

Перший приклад

Передумова 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, шлях до логіки

The modus ponens являє собою перше правило пропозиціонной логіки. Це концепція, яка, починаючи з простого приміщення, розуміє, відкриває розуміння більш глибокого мислення.

Незважаючи на те, що він є одним з найбільш використовуваних ресурсів у світі логіки, його не можна плутати з логічним законом; це просто метод розробки дедуктивних доказів.

Видаляючи рішення з висновків, modus ponens уникає аглютинації та великої конкатенації елементів при здійсненні відрахувань. За цю якість його ще називають "правилом поділу".

The modus ponendo ponens це незамінний ресурс для повного знання аристотелевої логіки.

Список літератури

1. Ferrater Mora, J. (1969). Словник філософії. Буенос-Айрес: Hispanoteca. Отримано з: hispanoteca.eu.
2. Модуси введення поненс. (S. f.). Іспанія: веб-вузол. Отримано з: ley-de-inferencia5.webnode.es.
3. Модуси введення поненс. (S. f.). (n / a): Вікіпедія. Отримано з: wikipedia.org.
4. Правила виведення і еквівалентності. (S. f.). Мексика: UPAV. Отримано з: universidadupav.edu.mx.
5. Мазон, Р. (2015). Введення ponens. Мексика: Супер Mileto. Відновлено з: supermileto.blogspot.com.