Основи формальної логіки і аргументації . Основы формальной логики и аргументации.
Формальная логика изучает принципы умозаключений. Формальна логіка вивчає принципи умовиводів. В первую очередь ее интересует структура аргументации и процесс, благодаря которому из посылок делаются выводы. У першу чергу її цікавить структура аргументації і процес, завдяки якому з посилок робляться висновки. Таким образом, основное внимание уделяется не высказываниям как таковым, а отношениям между ними. Таким чином, основна увага приділяється не висловлювань як таким, а відносин між ними. Другими словами, в формальной логике вопрос «Ложны или истинны высказывания в данной аргументации?» менее важен, чем вопрос «Правильно ли сделан вывод в данной аргументации?». Іншими словами, у формальній логіці питання «помилкові або правдиві висловлювання в цiй аргументації?» Менш важливий, ніж питання «Чи правильно зроблено висновок в цiй аргументації?».
Три основных принципа Три основних принципи
В основе предмета логики лежат три принципа: В основі предмета логіки лежать три принципи:
- Принцип тождества: если высказывание истинно, то оно истинно. Принцип тотожності: якщо висловлювання істинно, то воно правдиве.
- Принцип исключенного третьего: высказывание либо истинно, либо ложно. Принцип виключеного третього: висловлювання або істинно, або хибно.
- Принцип противоречия: высказывание не может быть одновременно истинным и ложным. Принцип протиріччя: вислів не може бути одночасно істинним і хибним.
Каждый из этих принципов оспаривается время от времени, но, правильно понятый, каждый из них истинен и не признает исключений. Кожен з цих принципів оскаржується час від часу, але, правильно зрозумілий, кожен з них правдивий і не визнає винятків. На первый взгляд мы можем, например, подумать, что некоторые реалии изменяются, и поэтому принцип тождества неверен. На перший погляд ми можемо, наприклад, подумати, що деякі реалії змінюються, і тому принцип тотожності невірний. Высказывание «ребенок весит 3 кг» истинно при рождении, но ложно в течение всей остальной жизни этого ребенка. Между тем, присмотревшись, мы видим, что это высказывание представляет собой утверждение о его весе в определенный момент времени. Вислів «дитина важить 3 кг» істинно при народженні, але помилково протягом всієї решти життя цієї дитини. Між тим, придивившись, ми бачимо, що це висловлювання являє собою твердження про його вагу в певний момент часу. Его более поздний вес не имеет отношения к истинности данного высказывания. Його більш пізній вага не має відношення до істинності даного висловлення.
Точно так же может показаться, что принцип исключенного третьего оспаривается высказыванием, которое частично истинно и частично ложно, такое, как «Тридцать пятый президент США Рональд Рейган одно время был губернатором Калифорнии» . Точно так само може здатися, що принцип виключеного третього оскаржується висловлюванням, яке частково правдиве й частково помилково, таке, як «Тридцять п'ятий президент США Рональд Рейган у свій час був губернатором Каліфорнії». Но, присмотревшись, можно обнаружить, что это высказывание представляет собой по сути два отдельных высказывания, слитые воедино: ложное высказывание о том, что Рейган был тридцать пятым президентом США (на самом деле он был сороковым президентом США), и истинное в отношении его предыдущей должности. Але, придивившись, можна виявити, що це висловлювання являє собою по суті два окремих висловлювання, злиті воєдино: помилкове висловлювання про те, що Рейган був тридцять п'ятим президентом США (насправді він був сороковим президентом США), і дійсне щодо його попередньої посади.
Наконец, можно придумать высказывание, которое кажется одновременно и истинным и ложным, но только если дать ему две разные интерпретации. Предложение «Леонардо является итальянцем» не может быть одновременно и истинным и ложным одним и тем же способом. Возможно, конечно, что Леонардо является итальянцем по рождению, а позднее он принял американское гражданство. Нарешті, можна придумати висловлювання, яке здається одночасно і істинним і хибним, але тільки якщо дати йому дві різні інтерпретації. Пропозиція «Леонардо є італійцем» не може бути одночасно і істинним і хибним одним і тим же способом. Можливо, звичайно, що Леонардо є італійцем за народженням, а пізніше він прийняв американське громадянство. Однако понять это предложение таким способом — значит прочесть «является итальянцем» в двух разных смыслах. Проте зрозуміти цю пропозицію таким способом - значить прочитати «є італійцем» у двох різних сенсах. Этот пример не оспаривает принцип противоречия. Цей приклад не заперечує принцип суперечності.
Формальная аргументация Формальна аргументація
Традиционно логическая аргументация выражается в форме силлогизма. Силлогизм — это своего рода вербальная (словесная) математика: а + b = с (или 1 + 2 = 3). Традиційно логічна аргументація виражається у формі силогізму. Силогізм - це свого роду вербальна (словесна) математика: а + b = с (або 1 + 2 = 3). Он состоит из трех высказываний: большой посылки, малой посылки и вывода (заключения). Він складається з трьох висловлювань: великий посилки, малої посилки і виводу (ув'язнення).
Вот знаменитый пример силлогизма: Ось знаменитий приклад силогізму:
- Все люди смертны. Всі люди смертні.
- Сократ — человек. Сократ - людина.
- Поэтому Сократ смертен. Тому Сократ смертний.
Большая посылка — это первое высказывание. Велика посилка - це перше висловлення. Она называется большой , потому что содержит больший термин силлогизма (в данном случае смертен). Больший термин всегда становится предикатом (сказуемым) вывода; меньший термин (в этом случае Сократ) всегда становится субъектом (подлежащим) вывода. Средний термин (люди/человек) не появляется в выводе, но служит общим элементом , связкой для обеих посылок. Вона називається великий, тому що містить більший термін силогізму (в даному випадку смертна). Більший термін завжди стає предикатом (присудком) виведення; менший термін (у цьому випадку Сократ) завжди стає суб'єктом (підметом) виводу. Середній термін (люди / чоловік) не з'являється у висновку, але служить загальним елементом, зв'язкою для обох посилок.
Чтобы облегчить анализ и помочь себе сконцентрироваться на структуре, а не на содержании, логики часто заменяют термины силлогизма символами. Чаще всего используются символы Р, Q и R Предыдущий силлогизм символически будет выглядеть следующим образом: Щоб полегшити аналіз і допомогти собі сконцентруватися на структурі, а не на змісті, логіки часто замінюють терміни силогізму символами. Найчастіше використовуються символи Р, Q і R Попередній силогізм символічно буде виглядати наступним чином:
- Все Р есть Q. Всі Р є Q.
- R есть Р. R є Р.
- Поэтому R есть Q. Тому R є Q.
Часто встречающиеся ошибки в силлогизмах Часто зустрічаються помилки в силогізмів
Прежде чем мы перейдем к конкретным ошибкам, необходимо разъяснить понятие распределения ( дистрибуции ). Перш ніж ми перейдемо до конкретних помилок, необхідно роз'яснити поняття розподілу (дистрибуції). Распределение означает сделать утверждение о каждом элементе того или иного класса. Таким образом, в высказывании «Все колледжи выдают дипломы» субъект распределен. Розподіл означає зробити твердження про кожному елементі того чи іншого класу. Таким чином, у висловленні «Всі коледжі видають дипломи» суб'єкт розподілений.
Есть четыре ошибки, которые часто встречаются в силлогизмах, и две родственные ошибки, которые, хотя технически не относятся к силлогизмам, похожи по форме: Є чотири помилки, які часто зустрічаються в силогізму, і дві споріднені помилки, які, хоча технічно не відносяться до силогізмів, схожі за формою:
- Нераспределенный средний термин Нерозподілений середній термін
- Неправильное умозаключение Неправильне умовивід
- Подтверждение консеквента Підтвердження консеквента
- Отрицание антецедента Заперечення антецедента
- Обращение условного высказывания Звернення умовного висловлювання
- Отрицание антецедента и консеквента Заперечення антецедента і консеквента
1. 1. Нераспределенный средний термин. В силлогизме каждый средний термин должен быть распределен хотя бы однажды . Нерозподілений середній термін. У силогізмі кожен середній термін повинен бути розподілений хоча б один раз. Если он не распределен в одной из посылок, которые он призван соединить, то имеет место ошибка нераспределенного среднего термина и умозаключение неправильно. Якщо він не розподілений в одній з посилок, які він покликаний з'єднати, то має місце помилка нерозподіленого середнього терміну і умовивід неправильно.
| Символическое
выражение Символічне вираження |
Пример Приклад |
| Все Р есть Q. Всі Р є Q. | Все хомяки — млекопитающие. Всі хом'яки - ссавці. |
| Все R есть Q. Всі R є Q. | Все слоны — млекопитающие. Всі слони - ссавці. |
| Поэтому все Р есть R. Тому всі Р є R. | Поэтому все хомяки — слоны. Тому всі хом'яки - слони. |
Обе посылки истинны: и хомяки, и слоны — млекопитающие. Обидві посилки істинні: і хом'яки, і слони - ссавці. Но это общее качество не является достаточным основанием, чтобы сделать вывод о том, что они относятся к одному виду животных. Але це загальна якість не є достатньою підставою, щоб зробити висновок про те, що вони належать до одного виду тварин. Есть много других видов млекопитающих помимо слонов. Є багато інших видів ссавців крім слонів.
2. 2. Неправильное умозаключение. В силлогизме любой термин, который распределен в выводе, должен быть так же распределен в посылке, в которой он находится. Неправильне умовивід. У силогізмі будь-який термін, який розподілений у висновку, повинен бути так само розподілений в посилці, в якій він знаходиться. Если больший или меньший термин распределен в выводе, но не распределен в посылке, в которой он находится, имеет место ошибка неправильного умозаключения : Якщо більший або менший термін розподілений у висновку, але не розподілений в посилці, в якій він знаходиться, має місце помилка неправильного умовиводи:
| Символическое выражение Символічне вираження | Пример Приклад |
| Неправилен больший термин Неправильний більший термін | |
| Все Р есть Q. Всі Р є Q. | Все далматинцы имеют пятна. Всі далматинці мають плями. |
| Ни один R не есть Р. Жоден R не є Р. | Ни
одна золотая рыбка не является далматинцем. Ні одна золота рибка не є далматинця. |
| Поэтому ни один R не есть Q. Тому жоден R не є Q. |
Поэтому ни одна золотая рыбка не имеет пятен. Тому ні одна золота рибка не має плям. |
Наличие пятен действительно является характерным признаком далматинцев. Наявність плям дійсно є характерною ознакою далматинцев. Другие виды животных, такие, как бабочки и леопарды, тоже имеют пятна. Інші види тварин, такі, як метелики і леопарди, теж мають плями. Поэтому тот факт, что золотые рыбки не далматинцы, не означает, что золотые рыбки не могут иметь пятен. Тому той факт, що золоті рибки не далматинці, не означає, що золоті рибки не можуть мати плям.
| Символическое выражение Символічне вираження | Пример Приклад |
| Неправилен меньший термин Неправильний менший термін | |
| Все Р есть Q. Всі Р є Q. | Все члены африканского племени менса умны. Всі члени африканського племені Менса розумні. |
| Некоторые R есть Р. Деякі R є Р. | Некоторые пастухи являются членами африканского
племени менса. Деякі пастухи є членами африканського племені Менса. |
| Поэтому все R есть Q. Тому всі R є Q. | Поэтому все пастухи умны. Тому всі вівчарі розумні. |
Это правда, что все члены африканского племени менса умны (по крайней мере, в отношении умственных характеристик, измеряемых тестами умственных способностей). Це правда, що всі члени африканського племені Менса розумні (принаймні, у відношенні розумових характеристик, що вимірюються тестами розумових здібностей). Поэтому логичен, даже неизбежен вывод о том, что пастухи из африканского племени менса умны. Тому логічний, навіть неминучий висновок про те, що пастухи з африканського племені Менса розумні. Но этот вывод говорит только о некоторых пастухах, но не обо всех пастухах . Але цей висновок говорить лише про деякі пастухів, але не про всі пастухів. Поэтому неверно делать вывод о том, что все они умны. Тому невірно робити висновок про те, що всі вони розумні. Не члены этого племени могут быть весьма толковыми людьми, но слишком скромными, чтобы проявлять свою умственную одаренность, или могут оказаться тупее животных, за которыми ухаживают. Не члени цього племені можуть бути вельми тлумачними людьми, але занадто скромними, щоб виявляти свою розумову обдарованість, чи можуть виявитися тупіше тварин, за якими доглядають. На основании того, что дано в этом умозаключении, мы просто не можем этого сказать. На підставі того, що дане в цьому умовиводи, ми просто не можемо цього сказати.
Четыре оставшиеся ошибки встречаются в гипотетическом (если — то) умозаключении. Чотири залишилися помилки зустрічаються в гіпотетичному (якщо - то) умовивід. Они представляют собой искажения следующей правильной формы гипотетического умозаключения: Вони представляють собою викривлення наступного правильної форми гіпотетичного умовиводи:
- Если Р, то Q. Якщо Р, то Q.
- Р. Р.
- Потому Q. Тому Q.
3. 3. Подтверждение консеквента Підтвердження консеквента
| Символическое выражение Символічне вираження | Пример Приклад |
| Если Р, то Q. Якщо Р, то Q. | Если я очень стараюсь, я добиваюсь успеха. Якщо я дуже стараюся, я добиваюся успіху. |
| Q. Q. | Сегодня я добился успеха. Сьогодні я добився успіху. |
| Поэтому Р. Тому Р. | Поэтому
я очень постарался [сегодня]. Тому я дуже постарався [сьогодні]. |
Первая посылка не говорит, что хорошее старание — это единственный способ добиться успеха. Перша посилка не говорить, що гарне старання - це єдиний спосіб досягти успіху. Она всего лишь говорит, что это один из способов. Вона всього лише говорить, що це один із способів. Поэтому могут быть и другие — случайность, например, или удача. Тому можуть бути й інші - випадковість, наприклад, або удача. Следовательно, неправильно говорить, что сегодняшний успех доказывает то, что сегодня я очень постарался. Отже, неправильно говорити, що сьогоднішній успіх доводить те, що сьогодні я дуже постарався. Быть может, сегодня мне всего лишь повезло. Мабуть, сьогодні мені всього лише пощастило.
4. 4. Отрицание антецедента Заперечення антецедента
| Символическое выражение Символічне вираження | Пример Приклад |
| Если Р, то Q. Якщо Р, то Q. | Если Агнесс знает, то и Мария знает. Якщо Агнесс знає, то й Марія знає. |
| Не Р. Чи не Р. | Агнесс не знает. Агнесс не знає. |
| Поэтому не Q. Тому не Q. | Поэтому и Мария не знает. Тому і Марія не знає. |
Первая посылка утверждает всего-навсего, что Мария знает, когда Агнесс знает. Перша посилка стверджує всього-на-всього, що Марія знає, коли Агнесс знає. Она оставляет открытой возможность того, что Мария также может знать, когда, как в этом случае, Агнесс не знает. Вона залишає відкритою можливість того, що Марія також може знати, коли, як у цьому випадку, Агнесс не знає.
5. 5. Обращение условного умозаключения Звернення умовного умовиводу
| Символическое выражение Символічне вираження | Пример Приклад |
| Если Р, то Q. Якщо Р, то Q. | Если «звезда» завершит карьеру, то сериал будет
прекращен. Якщо «зірка» завершить кар'єру, то серіал буде припинений. |
| Поэтому если Q, то Р. Тому якщо Q, то Р. | Поэтому если сериал будет прекращен, то «звезда»
завершит карьеру. Тому якщо серіал буде припинено, то «зірка» завершить кар'єру. |
Первая посылка утверждает, что существует прямая связь между участием звезды в сериале и продолжением сериала. Перша посилка стверджує, що існує прямий зв'язок між участю зірки в серіалі і продовженням серіалу. В ней подразумевается, что «звезда» является настолько важным фактором для успеха сериала, что он не сможет и дальше пользоваться успехом без этого актера. У ній мається на увазі, що «зірка» є настільки важливим фактором для успіху серіалу, що він не зможе і далі користуватися успіхом без цього актора. Вывод же утверждает, что, поскольку этот актер так важен, он не сможет продолжать пользоваться успехом без сериала. Висновок же стверджує, що, оскільки цей актор так важливий, він не зможе продовжувати користуватися успіхом без серіалу. Это утверждение абсурдно. Це твердження абсурдно.
6. 6. Отрицание антецедента и консеквента Заперечення антецедента і консеквента
| Символическое
выражение Символічне вираження |
Пример Приклад |
| Если Р, то Q. Якщо Р, то Q. | Если я поступлю в аспирантуру, то получу
высокооплачиваемую работу. Якщо я вступлю до аспірантури, то матиму високооплачувану роботу. |
| Поэтому если не Р, то и не Q. Тому якщо не Р, то й не Q. | Поэтому
если я не поступлю в аспирантуру, то я не получу высокооплачиваемую работу. Тому якщо я не вступлю до аспірантури, то я не отримаю високооплачувану роботу. |
Аспирантура, предполагает посылка, гарантирует человеку высокооплачиваемую работу. Аспірантура, припускає посилка, гарантує людині високооплачувану роботу. Но поскольку посылка не говорит, что это один-единственный путь к такой работе, остается открытой возможность, что человек может получить высокооплачиваемую работу и без поступления в аспирантуру. Але оскільки посилка не говорить, що це один-єдиний шлях до такої роботи, залишається відкритою можливість, що людина може отримати високооплачувану роботу і без вступу до аспірантури.




