- витоки
- Етимологія
- Пояснення
- Приклади
- Перший приклад
- Другий приклад
- Третій приклад
- Варіанти та приклади
- Варіант 1
- Перший приклад
- Другий приклад
- Третій приклад
- Варіант 2
- Перший приклад
- Другий приклад
- Третій приклад
- Варіант 3
- Перший приклад
- Другий приклад
- Третій приклад
- Варіант 4
- Перший приклад
- Другий приклад
- Третій приклад
- Список літератури
У модусі ponendo поненс є типом логічного аргументу, мотивованого висновку, що належить до формальної системи правил виведення з добре відомою логіки. Ця аргументативна структура є початковою настановою, яка передається в логіці пропозицій і безпосередньо пов'язана з умовними аргументами.
Аргумент modus ponendo ponens можна розглядати як двоногий силогізм, який замість того, щоб використовувати третій доданок, який служить ланкою, скоріше використовує умовне речення, з яким він пов'язує допоміжний елемент з послідовним елементом.
Аристотель, батько філософської логіки
Залишаючи конвенціоналізми, ми можемо бачити modus ponendo ponens як процедуру (модус) норм дедукції, яка за допомогою твердження (введення) антецедента або посилання (попереднього елемента) вдається стверджувати (поненти) на наступний або висновок (пізніший елемент).
Ця розумна формулювання починається з двох пропозицій чи передумов. Він прагне зробити через них висновок, що, незважаючи на те, що це неявно та обумовлено в аргументі, потрібне подвійне підтвердження - це термін, що передує йому, і сам - для того, щоб вважати його наслідком.
витоки
Цей стверджувальний режим, як частина застосування дедуктивної логіки, бере свій початок ще в античності. Він з'явився з руки грецького філософа Арістотеля де Естагіри, починаючи з 4 століття до н. C.
Арістотель, запропонований за допомогою modus ponens - як його ще називають - отримує аргументований висновок шляхом валідації як прецеденту, так і наслідку в передумові. У цьому процесі антецедент усувається, залишаючи лише наступний.
Еллінський мислитель хотів закласти основи описових логічних міркувань з метою пояснення та концептуалізації всіх явищ, близьких до існування людини, продукту його взаємодії з навколишнім середовищем.
Етимологія
Мода ponendo ponens має коріння латинською мовою. В іспанській мові його значення: "метод, який стверджує (стверджує), стверджує (стверджує)", тому що, як було сказано раніше, він складається з двох елементів (попереднього та наслідкового), що є стверджувальним у його структуруванні.
Пояснення
У загальному випадку, modus ponendo ponens співвідносить два пропозиції: кондиціонуючий антецедент під назвою "P" і умовно-наслідковий під назвою "Q".
Важливо, що приміщення 1 завжди має форму кондиціонування "якщо-тоді"; "if" передує попередньому, а "тоді" - перед наслідком.
Його рецептура така:
Приміщення 1: Якщо "P", то "Q".
Приміщення 2: "П".
Висновок: "Q".
Приклади
Перший приклад
Приміщення 1: "Якщо ви хочете скласти іспит завтра, тоді ви повинні наполегливо вчитися".
Приміщення 2: "Ви хочете скласти іспит завтра".
Підсумковий: "Тому ви повинні наполегливо вчитися".
Другий приклад
Приміщення 1: "Якщо ви хочете швидко потрапити до школи, тоді ви повинні піти цим шляхом".
Приміщення 2: "Ви хочете швидко потрапити до школи".
Підсумкове: "Тому ви повинні піти цим шляхом".
Третій приклад
Приміщення 1: "Якщо ви хочете їсти рибу, то вам варто пойти по магазинах на ринок".
Приміщення 2: "Ви хочете їсти рибу".
Підсумковий: "Тому ви повинні піти купувати на ринку"
Варіанти та приклади
Модус пордонних порцій може представляти невеликі зміни в його рецептурі. Чотири найбільш поширені варіанти з відповідними прикладами будуть представлені нижче.
Варіант 1
Приміщення 1: Якщо "P", то "¬Q"
Приміщення 2: "P"
Висновок: "¬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: "P"
Висновок: "Q" ^ "R"
У цьому випадку символ "^" відноситься до копулятивного сполучника "і", тоді як "R" являє собою другий наступний у пропозиції; отже, попередник буде підтверджувати два наслідки одночасно.
Перший приклад
Приміщення 1: "Якщо ти був добрий до матері, то батько принесе тобі гітару та її струнні струни".
Приміщення 2: "Ти був добрий до матері".
Висновок: "Тому твій батько принесе тобі гітару та її струнні струни".
Другий приклад
Приміщення 1: "Якщо ви займаєтесь плаванням, тоді ви поліпшите фізичну стійкість і схуднете".
Приміщення 2: "Ти плаваєш".
Висновок: "Отже, ви поліпшите фізичну стійкість і схуднете".
Третій приклад
Приміщення 1: "Якщо ви прочитали цю статтю в Lifeder, то ви навчилися і готовіші".
Приміщення 2: "Ви прочитали цю статтю в Lifeder."
Висновок: "Отже, ви навчились і більш підготовлені".
Modus ponens являє собою перше правило логіки пропозицій. Це концепція, яка, починаючи від простих приміщень для розуміння, відкриває розуміння до глибших міркувань.
Незважаючи на те, що він є одним із найбільш використовуваних ресурсів у світі логіки, його не можна плутати з логічним законом; це просто метод отримання дедуктивних доказів.
Видаляючи речення із висновків, modus ponens уникає широкої аглютинації та конкатенації елементів при здійсненні відрахувань. За цю якість його ще називають «правилом розділення».
Modus ponendo ponens - це незамінний ресурс для повного знання арістотелівської логіки.
Список літератури
- Ферратер Мора, Дж. (1969). Словник філософії. Буенос-Айрес: Гіспанотека. Відновлено з: hispanoteca.eu.
- Модус покласти поні. (С. ф.). Іспанія: Webnode. Відновлено з: legal-de-inferencia5.webnode.es.
- Модус покласти поні. (С. ф.). (п / в): Вікіпедія. Відновлено з: wikipedia.org.
- Правила умовиводу та еквівалентності. (С. ф.). Мексика: УПАВ. Відновлено з: universidadupav.edu.mx.
- Мазон, Р. (2015). Одягнути поні. Мексика: Супер Мілето. Відновлено з: supermileto.blogspot.com.