- •А.С. Скачков
- •Предисловие
- •Часть III логика высказываний и предикатов Введение
- •Тема седьмая классическая логика высказываний
- •§7.1. Общая характеристика и особенности языка классической логики высказываний (клв)
- •§7.2. Пропозициональные связки; образование формул клв
- •§7.3. Истинностная функция пропозициональных связок, табличное определение истинности
- •§7.4. Виды и взаимоотношения формул и схем клв
- •§7.5. Схемы некоторых законов клв
- •7.6. Основные виды дедуктивных рассуждений, выраженные яклв
- •Тема восьмая классическое исчисление высказываний
- •§8.1. Логический смысл исчислений
- •§8.2. Классическое натуральное исчисление высказываний. Правила вывода
- •А, в ________ . А в
- •§8.3. Выводы и доказательства
- •§8.4. Эвристики натурального исчисления высказываний
- •Тема девятая язык и исчисление классической логики предикатов
- •§9.1. Общая характеристика классической логики предикатов
- •§9.2. Язык классической логики предикатов
- •§9.3. Запись имён и высказываний на яклп: термы и формулы
- •§9.4. Законы классической логики предикатов
- •§9.5. Исчисление предикатов первого порядка
- •Контрольные вопросы
- •Часть IV теория правдоподобных рассуждений Введение
- •Тема десятая основы формализации рассуждений с правдоподобным следованием
- •§10.1. Понятие о правдоподобном (вероятностном) рассуждении
- •§10.2. Фактический и логический смысл вероятности. Классическая (априорная) вероятность
- •§10.3. Статистическая (апостериорная) вероятность
- •§10.4. Исчисление условной вероятности
- •§10.5. Принцип обратной дедукции
- •Тема одиннадцатая разновидности индукции
- •§11.1. Понятие индукции в традиционной и современной логике
- •§11.2. Классификация видов индукции по характеру следования
- •§11.3. Индуктивные методы установления причинных связей
- •Тема двенадцатая умозаключения по аналогии, гипотеза и гипотетико-дедуктивный метод
- •§12.1. Аналогия: виды, приёмы повышения степени вероятности
- •§12.2. Гипотеза: виды, построение, этапы организации
- •§12.3. Требования к теоретическому обоснованию гипотез. Гипотетико-дедуктивный метод
- •Контрольные вопросы
- •Часть V основы аргументационного процесса Введение
- •Тема тринадцатая логические основы аргументации
- •§13.1. Основы теории аргументации
- •§13.2. Состав аргументации. Структура аргументационного процесса
- •§13.3. Доказательство и опровержение в аргументации
- •§13.4. Правила и логические ошибки в доказательстве и опровержении
- •Тема четырнадцатая внелогическая составляющая аргументационного процесса
- •§14.1. Спор и его виды
- •§14.2. Тактика спора
- •§14.3. Софистика. Уловки в полемике и эклектике
- •Контрольные вопросы
- •Перечень основных символов классической формальной логики
- •Библиографический список
- •Оглавление
§8.3. Выводы и доказательства
Посредством правил вывода строятся формальные рассуждения двух видов: 1). Ваыводы; 2). доказательства. Вывод — это не пустая и конечная последовательность формул, каждая из которых является либо посылкой, либо получена из предыдущих формул согласно одному из дедуктивных принципов так, что после применения правил в и в все формулы, начиная с последней посылки и вплоть до результата применения данного правила, не используются в дальнейших шагах построения вывода. Выпавшие из дальнейших шагов построения вывода формулы называются исключёнными (замороженными), соответственно исключёнными называются выражаемые такими формулами посылки. Вывод может быть получен либо из пустого множества замороженных посылок (когда часть посылок оказываются не исключёнными в ходе рассуждения), либо из непустого множества замороженных посылок (когда все посылки оказываются исключёнными в ходе рассуждения). Так, различают собственно вывод — рассуждение, в ходе которого из каких-либо исходных суждений, посылок вывода получается заключение — суждение, логически вытекающее из посылок, и вывод-доказательство. Доказательство есть вывод из непустого множества неисключенных посылок, при этом последняя формула вывода — это доказанная формула (теорема). Доказать какую-либо формулу, значит вывести её из формул посылок таким образом, чтобы, используя дедуктивные принципы в или в, перевести все эти формулы в разряд исключённых. В целом структура любого вывода может быть представлена последовательностью формул, располагающихся, например, друг под другом. Каждая из формул этой последовательности в исчислении высказываний нумеруется натуральными числами.
Пример
Если требуется вывести формулу p из посылок pp и p (записывается: pp, p - p, читается: «из посылок pp и p выводимо p», где « - » — знак выводимости), то следует найти и записать такую последовательность формул, в которой множество используемых посылок равно множеству формул pp и p, а последней оказывается именно выводимая формула p:
1. pp — пос.
2. p — пос.
3. p — и, 1, 2.
Как видно из предложенной записи данной последовательности, напротив каждой формулы указывается основание, по которому она используется в выводе. Первым из двух возможных оснований вывода является то, что данная конкретная формула служит посылкой (соответствующее обозначение — «пос.»). Второе основание заключается в том, что данная конкретная формула получена из предыдущих формул по некоторому правилу вывода (что фиксируется символом применённого правила вывода и номерами формул, к которым оно было применено). Исключённые формулы вывода на каждом его шаге принято обозначать вертикальной чертой, расположенной слева от колонки пронумерованных формул. В приведённом выше примере вывода нет исключённых формул, но если потребуется обосновать утверждение о выводимости - (p p) p, т. е. обосновать утверждение о том, что формула ((p p) p) является теоремой (осуществить доказательство), мы получим следующую, уже имеющую исключённые формулы последовательность:
_______ ______________
|
1. p p — пос. 2. p — пос. 3. p — и, 1, 2. 4. p — в, 2, 3. 5. (p p) p — и, 1. |
Пример
Обоснуем также и то, что теоремой является и другая формула закона введения отрицания: (pq)((pq)p). При этом получим схему вывода:
___________ ___________________ ___________________________ |
1. p q — пос. 2. p q — пос. 3. p — пос. 4. q — и, 1, 3. 5. q — и, 2, 3. 6. p — в, 4, 5. 7. (p q) p — в, 2, 6. 8. (p q) ((p q) p) — в, 1, 7. |