А.А. Зиновьев
Логика науки.
// М.: «Мысль». 1971. 280 с.
[ аннотация: ]
Известный советский логик в этой работе достаточно популярно рассматривает возможности применения логики в научных исследованиях. В работе излагается теория определений и теория вывода, неклассическая логика, в том числе модальная и многозначная, а также логика норм и логика квантовой механики.
Книга рассчитана на широкий круг научных работников — естественников, философов, логиков, а также преподавателей вузов, студентов и аспирантов.
Содержание
Предисловие. — 3
Глава первая. Логика науки (введение). — 5
§1. Одна особенность современной логики. — 6
§2. Абстракции. — 8
§3. Естественный и научный язык. — 9
§4. Исследователь. — 10
§5. Чувственное отражение. — 11
§6. Объективность. — 12
§7. Познавательные действия. — 12
§8. Термины и высказывания. — 13
§9. Логические операторы. — 16
§10. Интуиция, наблюдение, изобретательство. — 17
§11. Правила логики. — 18
§12. Онтологические утверждения в логике. — 21
§13. Универсальность логики. — 23
§14. Логические исчисления. — 25
Глава вторая. Знаки. Термины. — 27
§1. Предметы. — 28
§2. Выбор предметов. — 28
§3. Сопоставление предметов. — 29
§4. Соответствие предметов. — 30
§5. Виды соответствия. — 32
§6. Знак. — 33
§7. Значение знака. — 35
§8. Отношения знаков. — 36
§9. Простые и сложные знаки. — 39
§10. Смысл знаков. — 42
§11. Категории знаков. — 44
§12. Построение знаков. — 45
§13. Существование предметов. — 45
§14. Общая теория знаков. — 46
§15. Термины. — 47
§16. Образование терминов. — 47
§17. Определения терминов. — 49
§18. Правила определений. — 51
§19. Определения и утверждения. — 51
§20. Имплицитные определения. — 53
§21. Определение и выбор. — 54
§22. Экспликация терминов. — 54
§23. Переменные. — 56
§24. Определения с переменными. — 58
§25. Понятие. — 59
§26. Категории терминов. — 60
§27. Энарные термины. — 60
§28. Построение терминов 61
§29. Сводимость терминов. — 62
§30. Термины терминов. — 63
§31. Термины из высказываний. — 64
§32. Дедукционные и ориентационные определения. — 64
§33. Информация. — 65
Глава третья. Высказывания. — 67
§1. Высказывания и термины. — 68
§2. Простые и сложные высказывания. — 70
§3. Смысл высказываний. — 71
§4. Определения с высказываниями. — 73
§5. Значения истинности. — 74
§6. Метатермины и метавысказывания. — 77
§7. Принципы введения значений истинности. — 78
§8. Двузначный и многозначный случаи. — 81
§9. Истинность. — 82
§10. Функции истинности. — 83
§11. Построение высказываний. — 86
§12. Субъектно-предикатные структуры. — 89
§13. Высказывания с «и» и «или». — 94
§14. Производные операторы. — 97
§15. Условные высказывания. — 99
§16. Высказывания с кванторами. — 102
§17. Основные кванторы. — 106
§18. Другие формы высказываний. — 109
§19. Проверка. — 110
§20. Локальные и универсальные высказывания. — 110
§21. Логически истинные высказывания. — 112
§22. Невыполнимые и выполнимые высказывания. —114
§23. Законы науки. — 115
§24. Прогнозы. — 115
Глава четвёртая. Логическое следование. — 119
§1. Классическая теория следования. — 120
§2. Критика классической теории логического следования. — 121
§3. Строгая импликация. — 124
§4. Новая постановка проблемы. — 126
§5. Высказывания о следовании. — 126
§6. Основной принцип дедукции. — 129
§7. Логическое следование и значения истинности высказываний. — 130
§8. Логическое следование и смысл высказываний. — 131
§9. Определения логических операторов. — 134
§10. Экспликация интуиции. — 136
§11. Аксиоматизация. — 137
§12. Теория сильного логического следования. — 137
§13. Другие системы общей теории логического следования. — 140
§14. Вырожденное следование. — 141
§15. Теория предикации. — 142
§16. Классическая теория логического следования для высказываний с кванторами. — 144
§17. Теория кванторов. — 146
§18. Условные высказывания. — 149
§19. Теория терминов. — 150
§20. Субъектно-предикатные термины. — 152
§21. Смысловые отношения терминов и высказываний. — 153
§20. Многозначная логика и теория логического следования. — 155
§22. Интуиционистская логика. — 157
§23. Дедуктивные средства науки. — 160
§24. Выводимость. — 160
Глава пятая. Логические термины в языке науки. — 161
§1. Предикаты существования. — 161
§2. Предикат универсальности. — 163
§3. Значения истинности экзистенциальных высказываний. — 163
§4. Логика существования. — 164
§5. Модальные высказывания. — 166
§6. Значение модальных предикатов. — 168
§7. Логические принципы введения модальностей. — 170
§8. Логические модальности. — 170
§9. Случайность. — 171
§10. Модальные операторы. — 171
§11. Модальная логика. — 172
§12. Вероятность. — 174
§13. Термины с модальностями. — 175
§14. Модальная и многозначная логика. — 175
§15. Классы. — 176
§16. Парадокс класса нормальных классов. — 180
§17. Виды классов. — 181
§18. Отношения классов. — 182
§19. Логика классов. — 183
§20. Квазиклассический случай в теории кванторов. — 183
§21. Функции. — 184
§22. Число элементов класса. — 186
§23. Состав и мощность класса. — 187
§24. Отношения. — 187
§25. Сравнение. — 190
§26. Логика сравнения. — 191
§27. Отношения порядка. — 192
§28. Логика порядка. — 194
§29. Отношение «между». — 196
§30. Производные порядковые термины. — 196
§31. Структура. — 196
§32. Упорядоченные конъюнкции и дизъюнкции. — 199
§33. Физическое следование. — 200
§34. Физическое следование и функции. — 202
§35. Эмпирические связи. — 203
§36. Условия. — 204
§37. Парадоксы связей. — 205
§38. Логический анализ языка. — 207
§39. Нормативные предикаты. — 208
§40. Индивид. — 210
Глава шестая. Методология науки. — 211
§1. Эмпирические и абстрактные объекты. — 211
§2. Эмпирические и точные науки. — 215
§3. Варьирование признаков и диапазон истинности. — 216
§4. Величина. — 217
§5. Состояния, ситуации, наборы. — 218
§6. Изменение. — 219
§7. Парадокс изменения. — 222
§8. Пространство и время. — 226
§9. Экспликация пространственно-временной терминологии. — 227
§10. Пространственно-временные термины. — 228
§11. Два примера следствий из определений. — 232
§12. Предицирование пространства и времени. — 233
§13. Тот же самый предмет. — 235
§14. Изменение пространства и времени. — 236
§15. Необратимость времени. — 239
§16. Причина. — 240
§17. Часть и целое. — 241
§18. Детерминизм и индетерминизм. — 242
§19. Эвристические допущения. — 246
§20. Эвристические правила. — 248
§21. Методы исследования. — 251
§22. Исследование эмпирических систем. — 252
§23. Модели. — 253
§24. Теории. — 254
§25. Методология частных наук. — 259
§26. Логика микрофизики. — 262
§27. Классические и неклассические отношения высказываний. — 271
Заключение. — 274
|