Логика и теория аргументации. Скачков А.С. - 182 стр.

      «Силлогистическая теория дедуктивных рассуждений»............................ 62
      Список рекомендуемой литературы……………….................…................ 68

ЧАСТЬ III. ЛОГИКА ВЫСКАЗЫВАНИЙ И ПРЕДИКАТОВ................... 68

Введение................................................................................................................   68

Глава 6. Классическая логика высказываний...................................................                               69
6.1. Общая характеристика и особенности языка классической логики вы-
сказываний (КЛВ)..................................................................................................         69
6.2. Пропозициональные связки; образование формул КЛВ............................                                          72
6.3. Истинностная функция пропозициональных связок. Табличное опре-
деление истинности...............................................................................................          75
6.4. Виды и взаимоотношения формул и схем КЛВ..........................................                                    79
6.5. Схемы некоторых законов КЛВ....................................................................                       81
6.6. Основные виды дедуктивных рассуждений, выраженные ЯКЛВ.............                                                   83

Глава 7. Классическое исчисление высказываний...........................................                                   93
7.1. Логический смысл исчислений.....................................................................                      93
7.2. Классическое натуральное исчисление высказываний. Правила вывода...                                                   93
7.3. Выводы и доказательства..............................................................................                 97
7.4. Эвристики натурального исчисления высказываний.................................                                       99

Глава 8. Язык и исчисление классической логики предикатов......................                                            100
8.1. Общая характеристика классической логики предикатов..........................                                         100
8.2. Язык классической логики предикатов........................................................                           101
8.3. Запись имён и высказываний на ЯКЛП: термы и формулы.......................                                            102
8.4. Законы классической логики предикатов....................................................                             106
8.5. Исчисление предикатов первого порядка....................................................                             108

      Контрольные вопросы.................................................................................... 111
      Варианты домашнего задания к разделу
      «Логика высказываний и предикатов» ....…………………….................... 111
      Список рекомендуемой литературы……………….................…................ 113

ЧАСТЬ IV. ТЕОРИЯ ПРАВДОПОДОБНЫХ РАССУЖДЕНИЙ............. 113

Введение................................................................................................................   113

Глава 9. Основы формализации рассуждений с правдоподобным
следованием...........................................................................................................     114
9.1. Понятие о правдоподобном (вероятностном) рассуждении......................                                            114
9.2. Фактический и логический смысл вероятности. Классическая (априор-
ная) вероятность....................................................................................................       117
9.3. Статистическая (апостериорная) вероятность.......................................................                     119
                                                               182