|
|
Глава I. | Формальные системы и онтология |
| 1. | Природа математического объекта |
| 2. | Альтернативные формальные схемы |
| 3. | Референтативные и подстановочные системы |
| 4. | Онтологическая редукция |
Глава II. | Логическая истина |
| 5. | Природа логической истины |
| 6. | Подстановочная квантификация |
| 7. | Тавтология и семантическая информация |
| 8. | Аналитические истины в логике |
Глава III. | Математическая истина |
| 9. | Объект, концептуальная схема, реальность |
| 10. | Роль конвенции |
| 11. | Синтетические истины математики |
| 12. | Виды семантической информации концептуальной схемы |
Литература |
Виталий Валентинович ЦЕЛИЩЕВ (род. в 1942 г.)
Доктор философских наук, директор Института философии и права
Сибирского отделения Российской академии наук (г. Новосибирск,
Академгородок). Автор около 15 монографий по философии логики
и математики. Перевел с английского несколько важнейших работ
философов Англии и Америки.
|
|
|
|