В настоящем номере мы продолжаем знакомить читателей с логическим наследием мыслителей Византии. Логическим идеям оратора и ученого XII в. Феодора Продрома, высказанным им в трактате «О великом и малом», посвящена статья О. Гончарко, Я. Слинина и Д. Черноглазова.

Оригинальный взгляд на онтологический квадрат Аристотеля представлен в статье В. Долгорукова и А. Копыловой. Теоретико-типовой анализ универсалий и партикулярий, субстанций и акциденций позволяет лучше понять метафизические воззрения Аристотеля и их связь с базовыми понятиями современной логики.

В июне 2018 бы проведен первый онлайн-семинар с участием зарубежных логиков. С докладом выступила Н. Алешина, профессор из университета Ноттингема в Великобритании. Доклад был посвящен оценке сложности верификации в моделях формул специальной коалиционной эпистемической логики. Эта работа лежит в русле набирающего силу тренда социального программирования (Social Software) и может заинтересовать многих логиков.

Также в номере представлены расширенные тексты докладов, сделанных на первом Конгрессе РОИФН в сентябре 2018.