- •А.С. Скачков
- •Предисловие
- •Часть 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. Софистика. Уловки в полемике и эклектике
- •Контрольные вопросы
- •Перечень основных символов классической формальной логики
- •Библиографический список
- •Оглавление
Оглавление
ПРЕДИСЛОВИЕ....................................................................................................... |
| |
Часть III. ЛОГИКА ВЫСКАЗЫВАНИЙ И ПРЕДИКАТОВ........................... |
| |
Введение...................................................................................................................... |
| |
Тема 7. Классическая логика высказываний.......................................................... |
| |
§7.1. Общая характеристика и особенности языка классической логики высказываний (КЛВ)............................................................................................................ |
| |
§7.2. Пропозициональные связки; образование формул КЛВ............................... |
| |
§7.3. Истинностная функция пропозициональных связок, табличное определение истинности....................................................................................................... |
| |
§7.4. Виды и взаимоотношения формул и схем КЛВ............................................. |
| |
§7.5. Схемы некоторых законов КЛВ....................................................................... |
| |
§7.6. Основные виды дедуктивных рассуждений, выраженные ЯКЛВ................ |
| |
Тема 8. Классическое исчисление высказываний.................................................. |
| |
§8.1. Логический смысл исчислений........................................................................ |
| |
§8.2. Классическое натуральное исчисление высказываний. Правила вывода…. |
| |
§8.3. Выводы и доказательства................................................................................. |
| |
§8.4. Эвристики натурального исчисления высказываний.................................... |
| |
Тема 9. Язык и исчисление классической логики предикатов............................. |
| |
§9.1. Общая характеристика классической логики предикатов............................ |
| |
§9.2. Язык классической логики предикатов.......................................................... |
| |
§9.3. Запись имён и высказываний на ЯКЛП: термы и формулы.......................... |
| |
§9.4. Законы классической логики предикатов....................................................... |
| |
§9.5. Исчисление предикатов первого порядка....................................................... |
| |
|
Контрольные вопросы........................................................................................ |
|
Часть IV. ТЕОРИЯ ПРАВДОПОДОБНЫХ РАССУЖДЕНИЙ..................... |
| |
Введение...................................................................................................................... |
| |
Тема 10. Основы формализации рассуждений с правдоподобным следованием.................................................................................................................................. |
| |
§10.1. Понятие о правдоподобном (вероятностном) рассуждении....................... |
| |
§10.2. Фактический и логический смысл вероятности. Классическая (априорная) вероятность......................................................................................................... |
| |
§10.3. Статистическая (апостериорная) вероятность........................................................ |
| |
§10.4. Исчисление условной вероятности................................................................ |
| |
§10.5. Принцип обратной дедукции......................................................................... |
| |
Тема 11. Разновидности индукции.......................................................................... |
| |
§11.1. Понятие индукции в традиционной и современной логике........................ |
| |
§11.2. Классификация видов индукции по характеру следования........................ |
| |
§11.3. Индуктивные методы установления причинных связей............................. |
| |
Тема 12. Умозаключения по аналогии. Гипотеза и гипотетико-дедуктивный метод............................................................................................... |
| |
§12.1. Аналогия: виды, приёмы повышения степени вероятности....................... |
| |
§12.2. Гипотеза: виды, построение, этапы организации......................................... |
| |
§12.3. Требования к теоретическому обоснованию гипотез. Гипотетико-дедуктивный метод.................................................................................................... |
| |
|
Контрольные вопросы........................................................................................ |
|
Часть V. ОСНОВЫ АРГУМЕНТАЦИОННОГО ПРОЦЕССА..................... |
| |
Введение...................................................................................................................... |
| |
Тема 13. Логические основы аргументации......…………….….............………... |
| |
§13.1. Основы теории аргументации........................................................................ |
| |
§13.2. Состав аргументации. Структура аргументационного процесса……...… |
| |
§13.3. Доказательство и опровержение в аргументации…………..…….............. |
| |
§13.4. Правила и логические ошибки в доказательстве и опровержении........… |
| |
Тема 14. Внелогическая составляющая аргументационного процесса................ |
| |
§14.1. Спор и его виды……………..……………………………………................. |
| |
§14.2. Тактика спора……………..……………………………................................. |
| |
§14.3. Софистика. Уловки в полемике и эклектике……………............................ |
| |
|
Контрольные вопросы......................................................................................... |
|
Перечень основных символов классической формальной логики................ |
| |
Библиографический список................................................................................... |
|
Редактор
ИД № от .10.2012 г.
Свод. темплан 2012 г.
Подписано в печать .10.2012. Формат 60´84 1/16. Бум. офсетная.
Отпечатано на дупликаторе. Усл. печ. л. . Уч.-изд. л..
Тираж экз. Заказ №
_____________________________________________________________________________________________________________
Издательство ОмГТУ. Омск, пр. Мира 11
Типография ОмГТУ
1 Рассел Б. История западной философии. В 3 кн. [Текст] / Б. Рассел. — Новосибирск : Изд-во Новосиб. ун-та, 1999. — с. 506.