Направление
История и реконструкция дедуктивных систем

I. Анализ и реконструкция дедуктивных построений Б. Спинозы. Пока только перевод (с англ.) статьи о формализации фрагмента "Этики" Спинозы (на сайте www.theo.ru).

1. HTML-вариант. Теоремы пока набраны без доказательств, но и сделаны следующие добавления.
   1. Добавлены мои комментарии к тексту статьи.
   2. Добавлены цитируемые авторами статьи места на языках оригиналов: цитата из Буля – на английском (как она и приводится у авторов), цитаты из Спинозы – на латыни (отсутствуют у авторов статьи).
   3. В описание языка формализации добавлено равенство (и соответствующие постулаты), которое используется авторами, но явно не вводится.
2. Полнотекстовый вариант (RTF, PDF или архивы RTF.ZIP, PDF.ZIP), но без моих комментариев и вставок.

Кроме того, в базу данных www.theo.ru введено описание формализации "Этики" Спинозы из указанной статьи.

II. Анализ и реконструкция логических идей Н.А. Васильева.

1. К вопросу об историко-логической адекватности реконструкции В.А. Смирновым силлогистических теорий Н.А. Васильева // Смирновские чтения по логике. Материалы 5-й конференции, 20-22 июня 2007, Москва. М., 2007.