Указанная монография, не углубляясь в технические детали современной логики, освещает некоторые её проблемы с их идейной стороны. При этом речь идёт как о понятиях, участвующих в формировании логической теории в целом (исторический аспект развития логики и её связь с теорией аргументации), так и о понятиях частного порядка (например, идейный аспект теории «нормальных форм»). Вместе с тем главная цель автора — обсудить справедливость (достаточность) традиционного определения логической дедукции как движения мысли «от общего к частному», по крайней мере, в той части логики, которую называют «логикой высказываний». В этой связи автор показывает, что дедукция, равным образом, как и эксперимент, демонстрирует характерные черты верификации, что вполне объясняет, почему именно Декарт поставил дедукцию на второе место (в порядке исследования) после интеллектуальной интуиции.

Предисловие ..................................................................................................................... 3
Беседа первая. По заветам Сократа ................................................................................... 5
1.1. Введение ............................................................................................................ 5
1.2. В круге первом. История .................................................................................. 6
1.3. В круге втором. Дополнения .......................................................................... 13
1.4. В круге третьем. Логика и аргументация ........................................................ 31
Беседа вторая. Немного из семиотики ............................................................................. 41
2.1. Логика и язык .................................................................................................. 41
2.2. Знак и знаковая ситуация ............................................................................... 44
2.3. Предметное и смысловое значение знака ...................................................... 46
2.4. Семиотический треугольник .......................................................................... 47
2.5. Знаковые системы и три аспекта их изучения ............................................... 49
2.6. О семантике ..................................................................................................... 50
2.7. О синтактике ................................................................................................... 52
2.8. О прагматике ................................................................................................... 53
Беседа третья. Высказывания и их алгебра ..................................................................... 55
3.1. Язык логики .................................................................................................... 55
3.2. Высказывания ................................................................................................. 56
3.3. Логика высказываний как абстрактная теория ............................................. 59
3.4. О предметном языке и метаязыке .................................................................. 60
3.5. Грамматика предметного языка. Понятие формулы ..................................... 62
3.6. О логических связках ...................................................................................... 68
3.7. Естественная интерпретация логических связок .......................................... 80
3.8. Табличная оценка формул .............................................................................. 81
3.9. Порядок (правила) построения таблиц .......................................................... 83
3.10. Формулы и их функции ................................................................................ 84
3.11. Таблицы истинности и классификация высказываний .............................. 86
3.12. Законы логики и логическое следование ..................................................... 89
3.13. Нормальные формы логических функций ................................................... 92
3.14. Нормальные формы и оценка истинностных значений ........................... 101
3.15. Нормальные формы и понятие простого следствия .................................. 109
3.16. Нормальная форма и понятие простой гипотезы ...................................... 112
Беседа четвёртая. О дедукции высказываний ................................................................ 113
4.1. О дедукции вообще ....................................................................................... 113
4.2. Дедукция как верификация .......................................................................... 119
4.3. Примеры дедуктивных систем ..................................................................... 122
Беседа пятая. Дедукция и принцип противоречия .......................................................... 140
5.1. О значении принципа ................................................................................... 140
5.2. Аргумент от непротиворечивости ................................................................ 141
5.3. Непротиворечивость и интервал абстракции .............................................. 148
5.4. Непротиворечивость и «собственный универсум» логики ......................... 151