詳 細

  • アニソフ　現代の論理学と存在論　第2巻　形式理論、集合論、時間モデル

    Современная логика и онтология. Кн.2: Аксиоматические теории. Теория множеств. Модели времени.

    Анисов А.М.
    М., <ЛЕНАНД> 216 c. hard

    2025 年   ISBN  9785951948915   R266521

    著者アニソフ（1955年生）はロシア科学アカデミー哲学研究所の指導研究員。哲学博士、教授。 Книга посвящена основанной на современной логике онтологии пространства и времени. Различные виды пространств описываются первопорядковыми аксиоматическими теориями, модели которых и представляют эти пространства. Последовательно рассматриваются теории сходства, эквивалентности, равенства, порядка и арифметики (включая нестандартную арифметику). Пространство в его наиболее общих характеристиках исследуется теорией множеств, в связи с чем в книге даются формулировки различных аксиоматических теорий множеств, включая экзотическую теорию NF, в которой доказуемо существование множества всех множеств и существование неканторовых множеств. В качестве теории времени избрана принадлежащая автору теория нестандартной индетерминированной вычислимости ABT, позволяющая, в частности, описывать процессы, не имеющие первого шага выполнения и моделировать появление принципиально нового, не связанного с выбором из уже имеющегося множества возможностей. Первостепенное внимание уделяется философской стороне дела, поэтому в тексте нет сложных математических доказательств.

    Книга предназначена всем интересующимся логико-онтологическими проблемами научной философии.

    価格(税込み)　   \7,370
    数量
    在庫を超える数量の場合は、ご相談とさせていただきます。