Современная логика и онтология

Книга посвящена основанной на современной логике онтологии пространства и времени. Различные виды пространств описываются первопорядковыми аксиоматическими теориями, модели которых и представляют эти пространства. Последовательно рассматриваются теории сходства, эквивалентности, равенства, порядка и арифметики (включая нестандартную арифметику). Пространство в его наиболее общих характеристиках исследуется теорией множеств, в связи с чем в книге даются формулировки различных аксиоматических теорий множеств, включая экзотическую теорию NF, в которой доказуемо существование множества всех множеств и существование неканторовых множеств. В качестве теории времени избрана принадлежащая автору теория нестандартной индетерминированной вычислимости ABT, позволяющая, в частности, описывать процессы, не имеющие первого шага выполнения и моделировать появление принципиально нового, не связанного с выбором из уже имеющегося множества возможностей. Первостепенное внимание уделяется философской стороне дела, поэтому в тексте нет сложных математических доказательств.