профессор и все дела типа Ведущий научный сотрудник ИФ РАН
Анисов Александр Михайлович
Монографии:
Современная логика. - М.: ИФ РАН, 2002. - 273 с.
Темпоральный универсум и его познание. - М.: ИФ РАН, 2000. - 208 с.
Время и компьютер. Негеометрический образ времени. - М.: Наука, 1991. - 152 с.
https://iphras.ru/anisov.htm Анисов А.M. Современная логика. - М., 2002. - 273 с
https://iphras.ru/uplfile/root/biblio/2002/Anisov_SovrLog_1.pdf СВОЙСТВА ВРЕМЕНИ. А.М.Анисов
http://www.chronos.msu.ru/old/RREPORTS/anisov_svoystva.pdf Уемов А.И.: "Всякая логика формальна; если она претендует на то, чтобы не быть формальной, то она и не логика"
ps обратить внимание на статьи
Основные статьи:
Анисов А.М. Формальная метаонтология // Вестн. Рос. ун-та дружбы народов. Сер. «Философия». 2017. Т. 21. № 2. С. 166-178. DOI: 10.22363/2313-2302-2017-21-2-166-178.
Анисов А.М. Логические основания концепции реальности // Перспективы реализма в современной философии / Под ред. В.А. Лекторского. М., 2017. С. 148-188.
Традиционная или современная логика? // Вестн. Рос. филос. о-ва. 2016. № 2 (78). С. 43-46.
Время и типы существования // Проблема времени в современной науке: подходы и модели. Ростов н/Д., 2016. С. 56-70.
Теории, полутеории и псевдотеории // Логико-философские исследования. Вып. 7 / Сост. С.А. Павлов. М., 2016. С. 4-29.
Онтология течения времени: абстрактные вычислительные модели // Вестн. Рос. ун-та дружбы народов. Сер. «Философия». 2016. № 1. С. 45-57.
Как возможно возможное? // Логико-философские исследования. - Вып. 5 / Российское философское общество. М.: 2012. 294 с. С. 101-119. (ISBN 978-5-906099-31-0) 1,2 а.л.
Генетический метод построения теорий // Credo new. 2012. № 3. С. 38-53.
Анисов А.М. Формальная эпистемология. Проблемы реальности и истины // Эпистемология: перспективы развития. М., 2012. С. 124-159.
Время как процесс вычислений // Время и информация. Новочеркасск, 2011. С. 180-192.