Приложение к публикации перевода статьи Алекса Блюма и Стенли Малиновича «Формализация сегмента Части I Этики Спинозы». В статье дается формальное описание языка построенной Блюмом и Малиновичем теории (BMS) и описывается логическая система, на базе которой осуществлена их попытка реконструкции "сегмента" Этики Спинозы

Предисловие к публикации перевода статьи Алекса Блюма и Стенли Малиновича «Формализация сегмента Части I Этики Спинозы».В статье рассматривается "Этика, доказанная геометрическим способом" Спинозы в контексте предшествующей и последующей ей логической традиции.