22.03.2012 Размещены недавно вышедшие статьи 2011 г. "Скобки в математике: логико-семиотический анализ" и "О совместном становлении математики и философии в Древней Греции".
21.03.2011 Восстановлены некоторые из ранее утерянных ссылок на ресурсы в сети.
14.03.2011 Обновлена сокращенная версия перевода статьи "Формализация франмента первой части Этики Спинозы": добавлены латинские оригиналы формализуемых утверждений и источник в сети с полным латинским текстом Этики Спинозы, добавлены ссылки на описание логического исчисления, близкого к используемому авторами, несколько изменено оформление. В тематические подборки добавлена ссылка на статью "Семиотический анализ логико-математической символики. (О синонимии, полисемии, омонимии, антонимии, конверсии)".
26.02.2011 Обновления в ссылках на Интернет-ресурсы: добавлен ряд ссылок на библиотеки, видеотеки, журналы и информационные сайты по математике, логике и философии.
8.11.2010 Обновления в литературе.
7.11.2010 Правка ссылок на литературу по сравнительному изучению формальных теорий в связи с переносом и переименованием некоторых файлов. Мелкая правка в коллекции Интернет-ссылок.
6.11.2010 Создан раздел "Формальные реконструкции философских теорий". Временно полностью заблокирован "Справочник по формальным реконструкциям силлогистик".
5.11.2010 Восстановлены ссылки на перевод статьи А.Блюма и С.Малиновича "Формализация фрагмента первой части "Этики" Спинозы" (версия перевода 2005).
8.09.2010 В БД исправлены или удалены неработающие ссылки на ресурсы в сети. Исправлен ряд внутренних не работавших ссылок.
26 марта - 8 апреля 2008. На основе материалов Информационной системы по формальным теориям создан раздел "Библиотечка".