Новосёлов М.М. - Беседы о логике

Новосёлов М.М. - Беседы о логике
Новоселов Михаил Михайлович
Беседы о логике

М.: ИФРАН, 2006. — 158 с.
ISBN 5-9540-0060-3
Формат: PDF 0,5  Мб
Качество: сканированные страницы + текстовый слой
Язык: русский

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


Оглавление


Предисловие 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

Вы уверены, что ссылка нерабочая?

Рекомендуем прочитать