Как уже говорил выше, Субстанциальная теория атома не является для меня главной темой в этом году, да и в целом это всего лишь одно из направлений применения Космического навигатора, который продолжает развиваться.

Только что завершил доработку параграфа "Логика" Космического навигатора. Пришлось разбираться с темой досконально. Ох и запутали они там бедных студентов. Такая каша в учебниках и монографиях.  И главная там закавыка оказалась в том, что формальную логику, которая отвечает исключительно  за формы (не затрагивая смыслы, помещаемые в формы) преподают одновременно с математической логикой, которая хотя и является инструментальной областью, но все же формы наполняет своими смыслами. Стоило их разделить и все стало весьма просто и наглядно. Также полезно понимать, что формальная логика помогает в выстраивании Основ математики (здесь и теория математических
доказательств), это отдельное её применение там. Отдельно стоит рассматривать математическую логику исчислений,  и отдельно Булеву алгебру, После этого становится прозрачно и понятно - логически выверенно Также надо понимать, что Аналитика в работах Аристотеля это не аналитика в её современном понимании, а самая что ни на есть формальная дедуктивная логика.

Было раньше в параграфе 2 страницы, стало 3, но не в размере текста дело, а в его выверенности.   Поможет все это и в работе над Субстанциальной теорией атома.

Чтобы не пришлось искать ссылку на Космический навигатор, дам её ещё раз здесь

https://analitiya.ru/n_st_001.pdf

Вопросы и замечания приветствуются.