Аннотация:В статье А. Блюма и С. Малиновича описывается символьная реконструкция фрагмента Этики, доказанной геометрическим способом Спинозы, осуществленная средствами первопорядковой логики предикатов с равенством. Перевод осуществлен Т.А. Шияном и опубликован по URL: http://vox-journal.org/html/issues/145/163.