- •Контрольная работа
- •История логики и формализация мышления. Язык исчисления предикатов
- •Упражнения:
- •Тема №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. Что такое парадокс?
Классификация простых суждений по качеству и количеству.
Виды простых категорических суждений образуются по качественному и количественному признаку.
1. Деление суждений по качеству
Качественный признак зависит от связки. А поскольку связка может быть либо утвердительной («есть»), либо отрицательной («неесть»), то и суждения бывают с точки зрения качества утвердительными («Все студенты пишут дипломные работы») и отрицательными («Х не сдал экзамен по математике»).
2. Деление суждений по количеству
Количество суждений Количественная характеристика суждения зависит от квантора, относящегося к субъекту суждения. В классической несимволической логике он может выражаться словами «все», «некоторые», «данные», «отдельные», «часть», «ни одно».
По количеству суждения делятся на единичные, частные и общие.
Единичное суждение устанавливает принадлежность признака единственному предмету мысли. Иначе говоря, субъект такого суждения выражен единичным понятием, что, очевидно, можно выразить при помощи следующей структуры высказывания: «Только этот S есть (не-есть) P». Например, «Н. Винер – основатель кибернетики», «Марс не является обитаемой планетой».
Частное суждение указывает на принадлежность признака нескольким предметам или части класса предметов. В общем виде оно имеет структуру: «Некоторые S есть (не-есть) P». Количество суждения выражено кванторным словом «некоторые». Например: «Некоторые экзамены сдаются письменно».
Общее суждение констатирует принадлежность признака всем элементам класса, то есть исчерпывает весь объём класса. Субъект общего суждения выражен либо общим понятием, либо квантором всеобщности, непосредственно стоящим перед субъектом. Общие суждения имеют структуру: «Все S есть P» «Ни одно S не-есть P»
Упражнения:
Определите структуру (субъект, предикат, связка) и вид по качеству и количеству следующих суждений:
S(субьект)- . связка - . P(предикат)- .
ОУ – общеутвердительные, ОО – общеотрицательные, ЧУ – Частноутвердительные, ЧО – частноотрицательные.
1.1. Эрмитаж является одним из лучших музеев мира. (ЧУ) 1.2. Некоторые сообщения средств массовой информации не соответствуют действительности. (ЧО) 1.3. Все компьютеры IВМ отличаются высокой надежностью. (ОУ) 1.4. Данная задача не решена. (ЧО) 1.5. “Всяк кулик своё болото хвалит”. (ОУ) 1.6. Никто не любит проигрывать. (ОО) 1.7. Христианство не является язычеством. (ЧО) 1.8. “Не всё то золото, что блестит”. (ЧО) 1.9. Любая мировая религия является феноменом культуры. (ОУ) 1.10. Некоторые насекомые очень ядовиты. (ЧУ) 1.11. Беларусь является Республикой. (ЧУ) 1.12.Прометей–образгероя-мученика. (ЧУ)
Тема №11 "Истинностные отношения простых суждений". План:
1. Отношения между простыми суждениями по "логическому квадрату": отношения противоречия, подчинения, противоположности и под противоположности. 2. Распределенность терминов в простых суждениях.
Отношения между простыми суждениями по "логическому квадрату": отношения противоречия, подчинения, противоположности и под противоположности.
Рассмотрим возможные отношения между суждениями на примере простых категорических суждений. В разных жизненных ситуациях (при встрече с другом, в аудитории, на конференции, при обсуждении различных событий) мы высказываем разные суждения. Одни из них оказываются сравнимымимежду собой, так как имеют одинаковые субъекты и предикаты. Например, суждения: «Все химические элементы имеют определенный атомный вес» и «Гелий не имеет атомного веса» можно сравнивать и устанавливать, в каком логическом отношении они находятся (в данном случае они противоречат друг другу).
В суждениях с разными субъектами и предикатами мыслится разное конкретное содержание. Такие суждения называются несравнимыми. Например, «Студент Иванов не сдал два экзамена в зимнюю сессию» и «Все фрукты полезны для здоровья». О таких суждениях говорят, что они различны.
Сравнимые суждения могут также быть совместимыми и несовместимыми. Когда рассматривался вопрос об отношениях между понятиями по содержанию и объему, было установлено, что «совместимость» бывает троякой: полной (совпадение, равнозначность), частичной (пересечение) и подчиняющей (включение). Несовместимость также бывает различной. При выяснении логических отношений между суждениями наибольшее значение имеют два вида несовместимости: противоположность (контрарность) и противоречивость (контрадикторность).
В целом логика устанавливает четыре вида логических отношений между сравнимыми категорическими суждениями: ♦ подчинения; ♦ противоречия (контрадикторности); ♦ противоположности (контрарности); ♦ подпротивоположности (субконтрарности).
Каждый из этих типов отношений задает вполне определенные семантические отношения между суждениями А, Е, I, O. Однако сначала необходимо установить, какие из этих суждений связаны названными логическими отношениями.
Логический квадрат Для наглядности в логике используется понятие «логического квадрата», по углам которого располагаются суждения А, Е, I, O, а его стороны и диагонали являются символическим выражением основных логических отношений между суждениями.
Воспользуемся логическим квадратом.
| |
|
|
| |
|
|
| |
|
|
| |
|
|
Установление логических отношений между суждениями «по логическому квадрату позволяет производить ряд практических операций с суждениями. Например, зная истинное значение одного из суждений A, E, I, O, при помощи логического квадрата можно установить истинное значение трех остальных суждений.
Данная логическая операция в формальном виде предстает в виде решения «задачи по логическому квадрату». Например, необходимо установить, каково логическое значение суждений E, I, O, если А – суждение истинное.