Введение
Глава 1. Методологическая программа логического позитивизма и стандартная трактовка научной теории 25
1.1 Формальная программа логического позитивизма и современная философия науки 25
1.2 Эволюция формальной программы логического позитивизма: основные этапы 35
1.3 Критика формальной программы логического позитивизма: основные направления 60
1.4 Стандартная трактовка научной теории и проблема преемственности в развитии научного знания 86
Выводы по Главе 1 98
Глава 2. Теоретико-множественная программа обоснования научного знания 101
2.1 Общая характеристика теоретико-множественной программы обоснования научного знания 101
2.2 Теоретико-множественная программа аксиоматизации научных теорий П. Суппеса 110
2.3 Формальные критерии эмпирической осмысленности предложений теории 133
2.4 Логика эмпирической осмысленности и трёхзначная логика Д. А. Бочвара 142
2.5 Примеры теоретико-множественной аксиоматизации некоторых теорий 151
2.6 Семантическая программа обоснования научных теорий 159
2.7 Структуралистская программа аксиоматизации научных теорий 174
2.8 Теоретико-множественные модели развития научного знания 228
Выводы по Главе 2 244
Глава 3. Логические модели обоснования и развития научного знания 251
3.1 Теория логических модальностей: теоретико-множественная семантика системы Льюиса S5 258
3.2 Теория логических модальностей и модельные схемы традиционной силлогистики 290
3.3 Теоретико-множественная семантика системы Льюиса S4 300
3.4 Теоретико-множественная семантика системы Гейтинга Int 316
Выводы по Главе 3 332
Заключение 337
Список литературы 348
