- •Контрольная работа
- •История логики и формализация мышления. Язык исчисления предикатов
- •Упражнения:
- •Тема №2 "Логические формы мысли" План:
- •Основные формы абстрактного мышления
- •Упражнения:
- •Тема №3
- •Методы образования понятий: анализ, сравнение, синтез, абстрагирование, обобщение. Неологизмы и их роль в языке.
- •Упражнения:
- •Тема № 4 "Структура и виды понятий". План:
- •Упражнения:
- •Тема № 5 "Отношения между понятиями по объему и содержанию" План:
- •Упражнения:
- •Тема №6 "Обобщение и ограничение понятий" План:
- •Упражнения:
- •Тема № 7 "Явные определения понятий". План:
- •Структура и виды явных определений.
- •Правила и ошибки явных определений
- •Упражнения:
- •Тема №8
- •Описание как операция, сходная с определением.
- •Упражнения:
- •Тема №9 "Деление понятий". План:
- •Упражнения:
- •Тема №10 "Простые суждения" План:
- •Определение простого суждения и его структура. Суждение и понятие.
- •Классификация простых суждений по качеству и количеству.
- •1. Деление суждений по качеству
- •2. Деление суждений по количеству
- •Упражнения:
- •Тема №11 "Истинностные отношения простых суждений". План:
- •Распределенность терминов в простых суждениях.
- •Упражнения:
- •Тема №12 "Сложные суждения". План:
- •Образование сложных суждении.
- •Установление логического значения сложных суждений при помощи таблиц истинности.
- •Упражнения:
- •Тема № 13 "Логика вопросов и ответов". План:
- •Упражнения:
- •Законы логики и логическая культура мысли.
- •Упражнения:
- •Тема №15 "Умозаключение" План:
- •Деление умозаключений по числу посылок, по ходу мысли и достоверности вывода
- •Содержательные и формальные причины ложных выводов.
- •Упражнения:
- •Тема №16 "Непосредственное умозаключения". План:
- •1. Понятие непосредственного вывода. 2. Непосредственные умозаключения по логическому квадрату, умозаключения обращения, превращения и противопоставления.
- •Упражнения:
- •Тема № 17 "Простой категорический силлогизм". План:
- •1. Определение силлогизма как дедуктивного опосредованного вывода. 2. Структура и общие правила силлогизма. 3. Аксиома силлогизма.
- •Упражнения:
- •Тема №18
- •Образование модусов простого силлогизма и проверка их правильности.
- •Правильные модусы силлогизма
- •Упражнения:
- •Тема №19 "Разновидности простого категорического силлогизма" План:
- •1.Сокращенный силлогизм, или энтимема. 2.Сложный силлогизм, или полисиллогизм. 3.Сложно - сокращенные силлогизмы. Сорит и эпихейрема.
- •Структура энтимем:
- •Упражнения:
- •Тема №20 "Условно-категорические умозаключения". План:
- •1.Чисто условный силлогизм. 2. Достоверные и правдоподобные модусы условно-категорического силлогизма.
- •Правдоподобные модусы
- •Упражнения:
- •Тема № 21 "Разделительные силлогизмы". План:
- •Упражнения:
- •Тема № 22 "Условно-разделительные силлогизмы". План:
- •1.Образование условно-разделительных выводов. 2.Дилемма и её разновидности.
- •Упражнения:
- •Тема № 23 "Индуктивные умозаключения". План:
- •1. Понятие недедуктивного вывода. 2. Полная и неполная индукция. Схемы вывода и достоверность обобщения. 3. Основные ошибки индуктивных выводов.
- •Упражнения:
- •Тема № 24 "Научная индукция и ее виды". План:
- •1. Отличие научной индукции от популярной индукции. 2. Основные виды научной индукции.
- •Упражнения:
- •Ошибки и достоверность заключений по аналогии
- •Упражнения:
- •Тема № 26 "Доказательство как логическая основа аргументации". План:
- •1. Определение доказательства и его структура. 2. Виды доказательства. Правила и ошибки.
- •Упражнения:
- •Тема № 27 "Опровержение как вид аргументации". План:
- •1. Определение опровержения и его структура. 2. Виды опровержения. Правила и ошибки.
- •Структура опровержения
- •Упражнения:
- •Тема №28 "Логические ошибки и парадоксы". План:
- •1. Понятие логической ошибки и их виды. Содержательные и формальные ошибки. Софизмы и паралогизмы. 2. Что такое парадокс?
Деление умозаключений по числу посылок, по ходу мысли и достоверности вывода
Учитывая гносеологический и коммуникативный статус умозаключения, необходимо знать, что существует много видов умозаключений. Их можно классифицировать по разным основаниям. Назовем наиболее важные:
По числу посылокразличаютнепосредственныеиопосредованныеумозаключения. Непосредственные умозаключения состоят из одной посылки и заключения. Таковыми являются, например, все заключения по логическому квадрату, умозаключения обращения, превращения, противопоставления. Опосредованные состоят из двух и более посылок и заключения. Приведенный выше пример является опосредованным выводом, а непосредственным будет, например, умозаключение обращения:
Все планеты Солнечной системы – небесные тела
Некоторые небесные тела входят в Солнечную систему
По направленности логического выводаумозаключения делятся надедуктивные, индуктивныеитрадуктивные.
В дедуктивныхумозаключениях (от лат. deductio-выведение) рассуждение идет «от общего к частному», т.е. в посылках содержится знание более общее, чем в заключении, а переход от посылок к заключению напоминает ограничение.
Все люди имеют родителей |
X - человек |
X имеет родителей |
В индуктивныхумозаключениях (от лат. inductio-наведение) рассуждение идет «от частного к общему», т.е. в посылках содержится знание менее общее, чем в заключении, а переход от посылок к заключению называется обобщением.
Иванов имеет родителей |
Петров имеет родителей |
Сидоров имеет родителей |
Иванов, Петров, Сидоров - люди |
Все люди имеют родителей |
В традуктивныхумозаключениях объем знаний в посылках и заключении одинаков. Поэтому принято говорить, что в них заключают «от частного к частному». Традуктивными считаются умозаключения об отношении и по аналогии. Вывода по аналогии мы коснемся в VII главе, а здесь приведем пример умозаключения об отношении.
Умозаключение сложнее суждения |
Суждение сложнее понятия |
Умозаключение сложнее понятия |
Каждый из выделенных в данной классификации видов умозаключений, в свою очередь, имеет разные подвиды, которые будут рассмотрены в последующих главах. Направленность логического вывода можно проиллюстрировать следующей схемой:
3. По качеству выводаили по степенидостоверностиумозаключения делятся надостоверные(строгие) ивероятностные(правдоподобные, нестрогие). Достоверные умозаключения гарантируют вывод заключения из посылок, а правдоподобные лишь вероятны. Рассмотрим вторую классификацию. Когда великий сыщик повторял: «Прежде всего дедукция, дорогой Ватсон, …», он знал, что говорил. Правильное заключение, полученное дедуктивным путем, достоверно и доказательно. Однако такая безупречная логическая «репутация» данной формы мысли достигается ценой строгого соблюдения правил дедуктивного вывода. Их усвоение начинается с общей характеристики дедуктивных умозаключений.
Содержательные и формальные причины ложных выводов.
Ошибки бывают содержательными и формальными. Содержательные указывают на несоответствие мысли в той или иной её форме реальной действительности, а формальные – на нарушение законов и правил образования мысли. Формальная логика занимается преимущественно выявлением правильных форм рассуждения, хотя в индуктивных выводах и доказательствах она формулирует и содержательные правила.
Другой важной классификацией логических ошибок является их деление на паралогические и софистические. Паралогизмом в логике называется невольная ошибка (по невнимательности, по незнанию логики). Софизм как ошибка – это ложная мудрость, интеллектуальное мошенничество, подмена истинного знания – ложным. Софизм (ложные выводы) были изучены еще в античности. Все знают знаменитые софизмы «Рогатый», «О добре» и др.