Аннотация: Современная логика и онтология. Кн. 2: Аксиоматические теории. Теория множеств. Модели времени
| Издательство | ЛЕНАНД |
| Автор/составитель | Анисов Александр Михайлович |
| Год выпуска | 2025 |
| Кол-во страниц | 216 |
| ISBN | 978-5-9519-4891-5 |
| Кол-во томов | Кн. 2: Аксиоматические теории; Теори |
| Обложка | переплет-твердая обложка |
| Вес | 311г |
| Формат | 14 x 22 cm |
| Тираж | 1000 |
| Возрастная категория | 16+ |
Книга посвящена основанной на современной логике онтологии пространства и времени. Различные виды пространств описываются первопорядковыми аксиоматическими теориями, модели которых и представляют эти пространства. Последовательно рассматриваются теории сходства, эквивалентности, равенства, порядка и арифметики (включая нестандартную арифметику). Пространство в его наиболее общих характеристиках исследуется теорией множеств, в связи с чем в книге даются формулировки различных аксиоматических теорий множеств, включая экзотическую теорию NF, в которой доказуемо существование множества всех множеств и существование неканторовых множеств. В качестве теории времени избрана принадлежащая автору теория нестандартной индетерминированной вычислимости ABT, позволяющая, в частности, описывать процессы, не имеющие первого шага выполнения и моделировать появление принципиально нового, не связанного с выбором из уже имеющегося множества возможностей. Первостепенное внимание уделяется философской стороне дела, поэтому в тексте нет сложных математических доказательств. Книга предназначена всем интересующимся логико-онтологическими проблемами научной философии.
Читать далее →