- •А.С. Скачков
- •Часть I
- •Предмет, основные понятия
- •И разновидности логики
- •Введение
- •Лекция первая предмет, условия возникновения, виды и основоположения логики
- •1.1. Объектное и предметное значение логики
- •1.2. Разновидности и исторический аспект логики как науки
- •1.3. Основные положения и понятия классической формальной логики
- •Лекция вторая семантика и основные законы классической формальной логики
- •2.1. Семантические категории и логическая форма
- •2.2. Закон мышления. Принципы (законы) классической формальной логики
- •2.3. Частные законы формальной логики и логическое следование
- •Контрольные вопросы
- •Варианты домашнего задания к разделу «Предмет, основные понятия и разновидности логики»
- •Список рекомендуемой литературы
- •Часть II
- •Силлогистическая теория
- •Дедуктивных рассуждений
- •Введение
- •Лекция третья особенности аристотелевской и традиционной силлогистики
- •3.1. Общая характеристика и язык силлогистики
- •3.2. Логическая структура категорических высказываний
- •3.3. Общая качественно-количественная классификация категорических суждений
- •3.4. Позитивная и негативная разновидности традиционной силлогистики
- •3.5. Модельные схемы и распределённость (нераспределённость) терминов простых категорических высказываний
- •Родовое
- •Лекция четвёртая
- •4.2. Логический квадрат. Умозаключения по логическому квадрату
- •4.3. Непосредственные дедуктивные преобразования суждений в позитивной силлогистике
- •4.4. Общая характеристика и логическая структура простого категорического силлогизма
- •4.5. Модельные схемы простого категорического силлогизма
- •4.6. Правила простого категорического силлогизма
- •4.7. Сложные, сокращённые и сложносокращённые формы простого категорического силлогизма
- •Лекция пятая умозаключения негативной традиционной силлогистики
- •5.1. Операция терминного отрицания
- •5.2. Непосредственные дедуктивные умозаключения преобразованием суждений в негативной силлогистике
- •5.3. Негативный категорический силлогизм
- •Контрольные вопросы
- •Варианты домашнего задания к разделу «Силлогистическая теория дедуктивных рассуждений»
- •12. Что есть истина?
- •13. Что пользы человеку приобресть весь мир…?
- •Список рекомендуемой литературы
- •Часть III
- •Логика высказываний
- •И предикатов
- •Введение
- •Лекция шестая классическая логика высказываний
- •6.1. Общая характеристика и особенности языка
- •Классической логики высказываний (клв)
- •6.2. Пропозициональные связки; образование формул клв
- •6.3. Истинностная функция пропозициональных связок Табличное определение истинности
- •6.4. Виды и взаимоотношения формул и схем клв
- •6.5. Схемы некоторых законов клв
- •6.6. Основные виды дедуктивных рассуждений, выраженные яклв
- •Лекция седьмая классическое исчисление высказываний
- •7.1. Логический смысл исчислений
- •7.2. Классическое натуральное исчисление высказываний. Правила вывода
- •7.3. Выводы и доказательства
- •7.4. Эвристики натурального исчисления высказываний
- •Лекция восьмая язык и исчисление классической логики предикатов
- •8.1. Общая характеристика классической логики предикатов
- •8.2. Язык классической логики предикатов
- •8.3. Запись имён и высказываний на яклп: термы и формулы
- •8.4. Законы классической логики предикатов
- •8.5. Исчисление предикатов первого порядка
- •Контрольные вопросы
- •Варианты домашнего задания по разделу «Логика высказываний и предикатов»
- •Список рекомендуемой литературы
- •Часть IV
- •Теория правдоподобных
- •Рассуждений
- •Введение
- •Лекция девятая основы формализации рассуждений с правдоподобным следованием
- •9.1. Понятие о правдоподобном (вероятностном) рассуждении
- •9.2. Фактический и логический смысл вероятности. Классическая (априорная) вероятность
- •9.3. Статистическая (апостериорная) вероятность
- •9.4. Исчисление условной вероятности
- •9.5. Принцип обратной дедукции
- •Лекция десятая разновидности индукции
- •10.1. Понятие индукции в традиционной и современной логике
- •10.2. Классификация видов индукции по характеру следования
- •А1 есть в, а2 есть в, ..., Аn есть в; Никаких а, кроме а1, ..., Аn, нет;
- •Каждое а есть в.
- •10.3. Индуктивные методы установления причинных связей
- •Вероятно, а
- •Вероятно, а
- •Видимо, а — причина a
- •Лекция одиннадцатая умозаключения по аналогии гипотеза и гипотетико-дедуктивный метод
- •11.1. Аналогия: виды, приёмы повышения степени вероятности
- •11.2. Гипотеза: виды, построение, этапы организации
- •11.3. Требования к теоретическому обоснованию гипотез. Гипотетико-дедуктивный метод
- •Контрольные вопросы
- •Варианты домашнего задания по разделу «Теория правдоподобных рассуждений»
- •Список рекомендуемой литературы
- •Часть V основы аргументационного процесса Введение
- •Лекция двенадцатая логические основы аргументации
- •12.1. Основы теории аргументации
- •12.2. Состав аргументации. Структура аргументационного процесса
- •12.3. Доказательство и опровержение в аргументации
- •12.4. Правила и логические ошибки в доказательстве и опровержении
- •Лекция тринадцатая внелогическая составляющая аргументационного процесса
- •13.1. Спор и его виды
- •13.2. Тактика спора
- •13.2. Софистика. Уловки в полемике и эклектике
- •Контрольные вопросы
- •Варианты домашнего задания по разделу «Основы аргументационного процесса»
- •Список рекомендуемой литературы
- •Варианты комплексного задания для проведения итоговой аттестации
- •Перечень основных символов классической формальной логики
- •Библиографический список
- •Оглавление
8.4. Законы классической логики предикатов
На основе правил приписывания истинностных значений осуществляется введение понятия закона классической логики предикатов, т. е. формулы, которая истинна при любых допустимых в этой теории интерпретациях нелогических символов, входящих в состав данной формулы. Законом классической логики предикатов называется такая и только такая формула, которая принимает значения «истина» в каждой модели и при любом приписывании значений предметным переменным. Законы классической логики предикатов называют также общезначимыми формулами, и утверждение «формула A общезначима» записывается |= A.
Пример
Общезначимой является рассмотренная выше формула xP(x)xP(x).
Схемы наиболее важных общезначимых формул (законов классической логики высказываний):
1. xyAyxA;
xyAyxA;
xyAyxA — законы перестановки кванторов.
2. xAxA;
xAxA — законы взаимовыразимости кванторов.
3. ((xА(x)xВ(x))x(А(x)В(x)));
((xА(x)xВ(x)) x(А(x)В(x)));
(x(А(x)В(x))(xА(x)xВ(x)));
((xА(x)xВ(x))x(А(x)В(x)));
(x(АВ(x))(PxВ(x))), если x не свободна в P;
(x(АВ(x)) (АxВ(x))), если x не свободна в P;
(x(А(x)В(x))(xА(x)xВ(x))) — законы пронесения кванторов.
4. xA(x)xA(x);
xA(x)xA(x) — законы образования контрадикторной противоположности (отрицания кванторов).
5. xA(x)xA(x) — закон связи кванторов общности и существования.
6. xA(x)A(t);
A(t)xA(x) — закон исключения квантора общности и введения квантора существования.
7. xAxA — закон подчинения.
8. xAxA — закон непустоты предметной области.
Наряду с общезначимыми существуют также выполнимые формулы. Выполнимой в логике предикатов является такая и только такая формула, которая принимает значение «истина» в некоторой модели и при некоторых значениях, приписанных предметным переменным.
Пример
Выполнимой является формула xAxA (соответствующее данной формуле высказывание «Если некоторые из существ любят сладкое, то некоторые из существ не любят сладкого» — истинно, но соответствующее данной формуле высказывание «Если некоторые из пианистов являются музыкантами, то некоторые из пианистов не являются музыкантами — ложно). Если же формула принимает значение «ложь» в каждой модели и при каждом приписывании значений предметным переменным, таковой является формула высказывания «Все люди бессмертны, но Адам умер».
Разобранные примеры позволяют выявить следующую систему предписаний относительно перевода выражений естественного языка на язык логики предикатов первого порядка:
а) единичные имена необходимо заменить предметными постоянными, а общие имена предикаторными постоянными;
б) заменить кванторные слова кванторами, записать кванторы с относящимися к ним переменными в порядке нахождения кванторных слов в анализируемом высказывании;
в) выписать формулу, заменяющую первый (по смыслу) предикат и поставить перед ней левую скобку; если предметная переменная этой формулы связана квантором общности, то поставить после неё знак импликации, если же она связана квантором существования, то поставить после неё знак конъюнкции; после знака импликации или знака конъюнкции поставить левую скобку;
г) выписать заменяющую второй (по смыслу) предикат формулу, и если предметная переменная этой формулы связана квантором общности, то поставить после неё знак импликации, если же она связана квантором существования, то поставить после неё знак конъюнкции; после знака импликации или знака конъюнкции поставить левую скобку и т. д.;
д) выписать формулу, заменяющую последний предикат;
е) после заменяющей последний предикат формулы, поставить необходимое число правых скобок (если выявляется логическая форма отрицательного высказывания, то перед последней предикаторной постоянной поставить знак отрицания).