Лекция №4

ПКС

Модусы ПКС (простой категорический силлогизм) – разновидность ПКС внутри каждой фигуры, ризлич.качеством и кол-вом суждений , составляющих силлогизм.

4 типа суждения: A,E,I,O

А(все деревья)А(растения)(сосна-растение)

Всего модусов 256, 19 сильных модусов(дает общее заключение)

4 модуса 1-ой фигуры:

1. Barbara

2. Celarent

3. Darii

4. Fereo

Общие правила ПКС (правило терминов и посылок)

1. Правило термина

1. Ошибка называется учетверение терминов( Др.греки внесли большой вклад в развитие фил-ии, Спартанцы- Др.греки, значит они внесли б.вклад в развитии фил-ии.

Др.греки- собирательное понятие

2. Средний термин (М) должен быть распределен хотя бы в одной посылке. Ошибка не распределенность среднего термина. Все гусеницы едят салат. Я тоже ем салат. (Значит, я гусеница)

Салат –средняя посылка

3. Термин нераспределенной посылке не может быть распределен в заключении – незаконное расширение крайнего термина. Пр. – Картошка не ананас. Все ананасы приятны на вкус. (значит, картошка не приятна на вкус)

4 правила посылок:

1. Из 2-х частных посылок нельзя вывести заключение

2. Из 2-х отрицательных нельзя вывести заключение

3. Если посылка частная- заключение частное

4. Если посылка отрицательная- то заключение отрицательное

Правило фигур:

1-ая фигура :большая посылка- общая ,меньшая –утвердительная

2-я фигура: большая посылка- общая, одна из посылок и заключение-отрицательные

3: меньшая посылка –утвердительная, заключение-частное

Сокращенные сложные и сложносокращенные силлогизмы

1. Энтимема

2. Эпихейрема

3. Полиейллогизм

4. Сорит

Энтимема «в уме» - сокращенный ПКС

Выделяют энтимемы с пропущенной посылкой и пропущенных заключений

Чтобы восстановить энтимему с пропущенным заключением, надо найти средний термин и ,определив фигуру, по правилам этой фигуры вывести заключение

(Меньшая)Мусульмане - монотеисты

(Большая)Мусульмане- не христиане

Мусульмане- средний термин (3-я фигура)

Монотеисты – меньший термин (S)

Христиане(Р)

Некоторые монотеисты не христиане

Восстановление энтимемы с пропущенным заключением

(S)Он пьяница(P), т.к. у него(S) красный нос(М)

1. Перед нами посылка и заключение, определить по смыслу( что пропущено)

2. Определяем где посылка, а где заключение и подписываем термин

3. Формулируем пропущенную посылку так, чтобы получился правильный силлогизм

Все люди с красным носом – пьяницы

Если заключение утвердительное, то восстанавливаем по 1-й фигуре

Если отрицательное- то лучше по 2-й

4. Если восстановленная посылка –истинное суждение, то энтимема- корректная, если ложная- то некорректная

Петров всегда прав, ведь он начальник

Эпихейрема (нападение)

Обе посылки энтимемы

Ложь заслуживает призрения , так как она безнравственна

Лесть – это ложь , так как она искажает истину

Лесть заслуживает презрение

Чтобы восстановить э. надо восстановить обе энтинемы. Потом составить 3-ю из заключения первых 2-х и вывести заключение

Каждый раз надо проверять корректность

Лекция №5

УЗ из сложных суждений

Сложные суждения состоят из нескольких простых, соединенных логическими союзами

1. Чисто условные умозаключения

2. Чисто разделительное

3. Условно-категорическое

4. Разделительное категорическое

5. Условно разделительное

1. ЧУУ

А -> B(если а, то б)

B -> C(если а,то с)

A -> C

2.)

A v И

A1 V B2

A1 V A2 V И

3. Утверждающий модус

А -> B

A

B

Пример

Если стоит туманная погода – аэропорт закрыт

Сегодня сильный туман

Аэропорт закрыт

Отрицающий модус

А -> B

Н е В

Н е А

4)

Утверждающ-отрицающ модус

1. A v B

A

B

2. Отриц-утв.модус

A v И

A

В

A v B v C v В

A Λ B Λ C

D

4. 2 усл. Посылки – дилемма

3 усл – триллемма

>3 – полилемма

Виды дилемм

Простая конструктивная дилемма

A -> B

C -> B

A v C

B

Простая деструктивная дилемма

A-> B

A ->C

B v C

A

Сложная конструктивная дилемма

A->B

C ->D

A v C

B v D

`

Сложная деструктивная

A->B

C->D

B v D

A v C

Правила дилеммы:

1. Условные посылки должны быть истинными суждениями

2. В разделительной посылке должны быть указаны все возможности.

Экзамен:

1.Противопоставление предикату

2. ПКС

Основные логические законы

Логически закон – устойчивая связь между мыслями

1. Закон тождества - точность, определенность

2. Непротиворечия - непротиворечивость

3. Исключенного третьего - последовательность

4. Достаточного основания - обоснованность

Первые три сформулированы Аристотелем

4-ый Лейбниц

1. Закон ТОЖДЕСТВА :всякая мысль должна оставаться на всем протяжении рассуждения

A ↔ A

«Подмена понятия» - многозначный смысл слова, двусмысленный

Юмористический эффект

«Подмена суждений» - разный смысл вложенный во фразу

2. Закон непротиворечия: 2 несовместимых суждения не могут быть одновременно истинными

А Λ А

Запрет противоречия

Один и тот же предмет, в одном и том же месте и т.п.

3. Закон исключенного третьего: из двух противоречащих суждения , одно истинно, другое ложно, а третье – исключено

А v A

4. Достаточного обоснования : всякая истинная мысль должна быть доказана другими истинными мыслями

Реализуется в процессе аргументации

А ргументация

н елогическая логическая

обоснование истинности обоснование ложности

доказательства подтверждения опровержение критика

1. Обращение к фактам

2. Истинно по определению

3. Генетическая доказательность(ссылка на источники информации)

Логическая аргументация осуществляется в форме умозаключения в форме демонстративного УЗ (дедукция, силлогизмы)

А подтверждение и критика в форме вероятностного УЗ

Структура док-ва и опровержения

1. Тезис (мысль, суждение ,истинность или ложность которого обосновывается)Т

2. Аргументы(А)суждения , с помощью которых обосновывается тезис

3. Демонстрация (логическая связь тезиса и аргументов)

В иды док-ва:

П рямое Косвенное

Дедуктивное индуктивное традуктивное «от противного» метод исключения

Формула прямого док-ва:

А₁

А₂

А₃

_…..

А _n

Т

Дедуктивное(он пьяница, ведь у него красный нос)

Индуктивное внешне напоминает разъяснение на примерах

Традуктивное – док-во, в основе которой лежит строгая аналогия

От противного

Т → следствия

С ледствия

Т

Метод Исключения

A₁ v A₂ v T

A ₁ Λ A₂

T

ПР. Питаться в макдональдсе вредно

Прямым док-вом

Пища продаваемая в мак. Содержит вредные вещ-ва

И т.п.

…

…

т аким образом, питание в макдональдсе вредно

ИНДУКТИВНОЕ ДОК_во

ДЕДУКЦИЯ

Всякое питание ведущее к ожирению вредно

П итание в мак. Ведет к ожирению

Питание в мак. Вредно

В иды опровержения

Док-ва антитезиса Сведение к абсурду

А₁ Т → Следствие

А ₂ Следствие

… .

T Т

Правила и ошибки в док-вах и опровержениях:

1. Тезис должен быть но выделен, четко сформулирован (нечеткая формулировка тезиса)

2. Тезис должен оставаться неизменным на всем протяжении аргументации (подмена тезиса: потеря тезиса)

3. Аргументы должны быть истинными (основное заблуждение, ложный аргумент)

4. Аргументы должны быть доказанными суждениями(предвосхищение основаниями)

5. Аргументы должны обосновываться вне зависимости от тезиса( круг в аргументации)

6. Тезис должен следовать из аргументов ( мнимое следование)

Фигура 1		Фигура 2		Фигура 3		Фигура 4
Barbara(АА)		Cesare(E,A)		Darapti		Bramantip
Celarent(А,Е)		Camestres(E,E)		Disamis		Camenes
Darii(A,I)		Festino(E,I)		Datisi		Dimaris
Ferio(A,O)		Baroco(E,O)		Felapton		Fesapo
				Bocardo		Fresison
				IA		OA
				IE		OE
				II		OI
				IO		OO

Примеры силлогизмов каждого типа.

Barbara

Все животные смертны.

Все люди — животные.

Все люди смертны.

Celarent

Ни одна рептилия не имеет меха.

Все змеи — рептилии.

Ни одна змея не имеет меха.

Darii

Все котята игривые.

Некоторые домашние животные — котята.

Некоторые домашние животные — игривые.

Ferio

Ни одна домашняя работа не весела.

Некоторое чтение — домашняя работа.

Некоторое чтение не весело.

Cesare

Ни одна здоровая еда не полнит.

Все торты полнят.

Ни один торт не здоровая еда.

Camestres

Все лошади имеют вздутие живота.

Ни один человек не имеет вздутия живота.

Ни один человек не лошадь.

Festino

Ни один ленивый человек не сдаёт экзамены.

Некоторые студенты сдают экзамены.

Некоторые студенты не ленивы.

Baroco

Все информативные вещи полезны.

Некоторые сайты не полезны.

Некоторые сайты не информативны.

Darapti

Все фрукты питательны.

Все фрукты вкусны.

Некоторые вкусные продукты питательны

Disamis

Некоторые кружки красивы.

Все кружки полезны.

Некоторые полезные вещи красивы.

Datisi

Все прилежные мальчики в этой школе рыжие.

Некоторые прилежные мальчики в этой школе — пансионеры.

Все пансионеры в этой школе рыжие.

Felapton

Ни один кувшин в этом шкафу не нов.

Все кувшины в этом шкафу треснутые.

Некоторые треснутые вещи в этом шкафу не новы.

Bocardo

Некоторые кошки бесхвосты.

Все кошки — млекопитающие.

Некоторые млекопитающие бесхвосты.

Ferison

Ни одно дерево не съедобно.

Некоторые деревья зелёные.

Некоторые зелёные вещи не съедобны.

Bramantip

Все яблоки в моём саду полезны.

Все полезные фрукты зрелы.

Некоторые зрелые фрукты — яблоки в моём саду.

Camenes

Все яркие цветы ароматны.

Ни один ароматный цветок не выращен в помещении.

Ни один выращенный в помещении цветок не ярок.

Dimaris

Некоторые небольшие птицы питаются мёдом.

Все питающиеся мёдом птицы цветные.

Некоторые цветные птицы небольшие.

Fesapo

Ни один человек не совершенен.

Все совершенные существа мифические.

Некоторые мифические существа не люди.

Fresison

Ни один компетентный человек не ошибается.

Некоторые ошибающиеся люди работают здесь.

Некоторые работающие здесь люди некомпетентны.

В соответствии с правилами, формы могут быть преобразованы в другие формы, и все формы могут быть преобразованы в одну из форм первой фигуры.

Правила 4-ех фигур:

Основные правила фигур

1.Средний термин должен быть распределен по крайней мере в одной из посылок.

Если термин М не будет распределен по крайней мере в одной из посылок, однозначно связать крайние термины в заключении окажется невозможным.

2.Термин может быть распределен в заключении лишь тогда, когда он распределен в посылке( правило крайних терминов).

3.Число отрицательных посылок должно быть равно числу отрицательных заключений.

Это правило означает что:

1. Если одна из посылок отрицательная, то и заключение должно быть отрицательным.

2. Из двух отрицательных посылок правильного заключения сделать нельзя.

3. Из двух утвердительных посылок нельзя получить отрицательное заключение.

Дополнения:

1. По крайней мере одна из посылок должна быть общим высказыванием (из 2-х частных высказываний правильное заключение невозможно)

2. Если одна из посылок частная, то и заключение должно быть частным.

Особые правила фигур:

Первая фигура:

1. Большая посылка должна быть общей (А,Е)

2. Меньшая посылка должна быть – утвердительной (A,I)

Вторая фигура:

1. Большая посылка должна быть общей(А,Е)

2. Одна из посылок отрицательная(Е,О)

Третья фигура:

1. Меньшая посылка должна быть утвердительной(А,I)

2. Заключение – частное(I,O)

Четвертая фигура:

1. Если большая посылка – утвердительная( A,I), то меньшая должна быть общей (А,Е)

2. Если одна из посылок отрицательная(Е,О), то большая должна быть общей(А,Е)