Планируемые обновления

Ближайшие планы и среднесрочные задачи

1. Доработка Справочника по формальным реконструкциям силлогистик.
2. Доработка и расширение Словаря по логике. В перспективе - выделение Словаря в отдельный сайт.
3. Доработка и расширение Библиотечки. В перспективе - выделение Библиотечки в отдельный сайт.
4. Дальнейшая разработка ИС по формальным теориям, в частности:
• пересмотр, обновление и добавление справочных и других вспомогательных материалов;
• исправление ошибок, опечаток, небрежностей и т.п. огрех;
• улучшение структуры (рубрикации);
• расширение библиографии.
5. Разделение всей системы на ряд относительно изолированных блоков (в перспективе - разнесенных по поддоменам): ИС по формальным теориям, Словарь по логике, Библиотека по логике и др. (например, если все же дойдут руки до разработки онлайновых пруверов или обучающих программ).
6. Расширение раздела Дедукция. Создание скрипта, синтезирующего аксиоматику объединения или пересечения двух теорий (для некоторых групп теорий). Доработка уже доступных скриптов с псевдодедукцией.

Отдаленные планы дальнейшего развития системы

• Перевод системы на Unicode (utf-8).
• Создание англоязычной версии системы. В дальнейшем, создание многоязыковой ИС.
• Расширение банка данных формальных теорий (и сделать его независимым от наличия сведений о соотношении теорий).
• Создание системы автоматической проверки доказуемости / недоказуемости формул в теориях из БД.
• Внедрение в систему элементов "искусственного интеллекта".