
- •Тема 1 предмет науки логики
- •1.1 История возникновения логики
- •1.2 Логика как наука о рассуждении
- •1.3 Феномен человеческого познания
- •Контрольные вопросы
- •Тема 2 классическая логика высказываний
- •2.1 Язык классической логики высказываний (яклв)
- •2.2 Табличные определения логических констант
- •2.3. Метод сокращенных таблиц
- •Контрольные вопросы
- •Практические задания
- •Тема 3 основные понятия логики
- •Образование понятия, его объем и содержание
- •3.2 Отношения между понятиями
- •3.3 Операции с понятиями
- •2.6.3. Деление понятия
- •3.4 Суждение. Отношения между суждениями
- •Логический квадрат.
- •3.5 Отношения между суждениями
- •Контрольные вопросы
- •Практические задания
- •Тема 4 законы классической логики
- •Основные законы классической логики
- •Закон тождества
- •Закон непротиворечия
- •Закон исключенного третьего
- •Закон достаточного основания
- •Софизм и паралогизм
- •Контрольные вопросы
- •Практические задания
- •Тема 5 умозаключения
- •Общая характеристика умозаключений
- •Структура и классификация умозаключений
- •Умозаключения
- •Контрольные вопросы
- •Практические задания
- •Тема 6 непосредственные умозаключения
- •Умозаключение по логическому квадрату
- •Другие виды умозаключений
- •Контрольные вопросы
- •Практические задания
- •Сделайте вывод путем превращения:
- •Сделайте вывод путем обращения:
- •Проверьте, правильно ли произведено превращение:
- •Проверьте, правильно ли произведено обращение:
- •Осуществите вывод путем противопоставления предикату следующих суждений:
- •Тема 7 опосредованные умозаключения
- •Общая характеристика силлогизма
- •Простой категорический силлогизм
- •Фигуры силлогизма
- •Правильные модусы
- •Контрольные вопросы
- •Практические задания
- •Составьте схему следующих силлогизмов и определите, какие из них являются правильными:
- •Сложные сокращенные и сложносокращенные силлогизмы
- •Контрольные вопросы
- •Практические задания
- •Являются ли данные дилеммы правильными? Постройте к данным дилеммам контрдилеммы:
- •Восстановите следующие энтимемы в полные силлогизмы:
- •Тема 9 индуктивные умозаключения Общее определение индукции
- •История возникновения индукции
- •Виды индукции
- •Умозаключения по аналогии
- •Контрольные вопросы
- •Практические задания
- •Тема 10 доказательство
- •Общая характеристика доказательств
- •Структура доказательства
- •Способы доказательства
- •Понятие опровержения и его виды
- •Контрольные вопросы
- •Практические задания
- •Тема 11 классическая логика предикатов
- •Алфавит языка логики предикатов
- •Правила построения выражений в логике предикатов
- •Контрольные вопросы
- •Практические задания
- •Список рекомендуемой литературы Общая литература
- •Дополнительная литература
- •Содержание
- •Тема 1 3
- •Тема 2 11
- •Тема 3 20
- •Тема 4 37
Правильные модусы
Общие правила силлогизма в сочетании с правилами фигур силлогизма ограничивают число приемлемых модусов (т. е. модусов, обеспечивающих достоверность заключения). Не говоря подробно о том, как это получено, можно сказать, что число таких модусов равняется 19; они называются правильными модусами. По фигурам силлогизма правильные модусы “распределены” неравномерно:
I фигура: ААА, AII, EAE, ЕIO
II - “- “-: АЕЕ, АОО, EAE, ЕIO.
III - “- “-: AAI, ЕАО, IAI, ОАО, AII, ЕIO.
IV - “- “-: AAI, АЕЕ, IAI, ЕАО, ЕIO.
Таким образом, проверка силлогистического умозаключения сводится к установлению фигуры и модуса силлогизма, и в том случае, если этот модус совпадает с правильным модусом данной фигуры, заключение силлогизма с необходимостью следует из посылок.
Средневековые ученые изобрели мнемонику, которая сделала распознавание 19 сильных достоверных форм более легким. Каждая строка представляет фигуру. Первые три гласные звука в каждом слове представляют модус.
BARBARA, CELARENT, DARII, FERIOQUE - достоверные модусы первой фигуры: AAA, EAE, AII, EIO.
CESARE, CAMESTRES, FESTINO, BAROCO - достоверные модусы второй фигуры: EAE, AEE, EIO, AOO.
DARAPTI, DISAMIS, DATISI, FELAPTON, BOCARDO, FERISON - достоверные модусы третьей фигуры: AAI, IAI, AII, EAO, OAO, EIO.
BRAMANTIP, CAMENES, DIMARIS, FESAPO, FRESISON - достоверные модусы четвертой фигуры: AAI, AEE, IAI, EAO, EIO.
Запомнить эту мнемонику нелегко. Кажется, что перед нами слова на чужом языке, возможно – на латыни, но на самом деле это лишь профессиональный латинообразный жаргон. Существует и мнемоника современного образца. Руководствуемся следующим правилом «4 девочки, 4 мальчика посетили эти места и встретили этих знаменитых людей»:
Четыре девочки BARBARA, BERNADETTE, HERMIONE и LAVINIA - достоверные модусы первой фигуры: AAA, EAE, AII, EIO.
Встретили четырех мальчиков ALPHONSO, ELIOTT, GERVASE, LAWRENSE - достоверные модусы второй фигуры: AOO, EIO, EAE, AEE.
Они посетили шесть мест: ATLANTIC, PACIFIC, EQUATOR, а потом ETHIOPIA, MIAMI и MONACO - достоверные модусы третьей фигуры: AAI, AII, EAO, EIO, IAI, OAO.
Там они видели пятерых знаменитых людей: CLARENSE в винной бочке, короля MELCHIOR, пророков ISАIAH и MALACHI, а еще ученого MELANCTHON - достоверные модусы четвертой фигуры: AEE, EIO, IAI, AAI, EAO.
Пример: Ни один аспирант - не студент.
Все студенты обязаны сдавать экзамены.
Следовательно, некоторые лица, обязанные
сдавать экзамены, не аспиранты.
Установим фигуру силлогизма и определим модус: ЕАО.
Р - М
М - S
S - P
Это четвертая фигура, и полученный модус (FESAPO) входит в число правильных модусов данной фигуры. Это означает, что анализируемое силлогистическое умозаключение корректно, а вывод - истинный.