Кутюра Л. Алгебра логики

Переводъ съ французскаго съ прибавленiями профессора И. Слешинскаго. — Одесса: Матезисъ, 1909. — 134 с.По математической логике на русскомъ языке насколько мне известно, имеются две книги: "О способах решения логических равенств и об обратном способе математической логики" Порецкого (1884 г.) и "Логическое исчисление" Волкова (1888 г.). Первая из этих книг содержит самостоятельные исследования, которыми её автор (3.X. 1846 — 10.VIII. 1907) пополнил исследования Шрёдера. Вторая - представляет краткое изложение логики Шрёдера с дополнениями Порецкого. Алгебра логики Кутюра (L. Couturat. L’Algebre de la logique. 1905) содержит тот же материал, но развивает его, как сочинение более позднее, несколько шире и послеловательнее. Через всю книгу проведена двоякая интерпретация формул (отвечающая логике классов и логике предложений); в конце приведены формулы, относящиеся исключительно к логике предложений. Изложение довольно простое и ясное (за исключением начала книги). В виду этих обстоятельств, переводъ её является, быть можетъ, не лишним.
Не всегда соглашаясь с автором относительно постановки вопросов и способа доказательств, я не счел, однако, возможным вносить в текст какие-либо изменения или дополнения. Взамен этого я позволил себе присоединить к переводу два приложения.
Первое из них написано по моей просьбе С.О. Шатуновским и представляет изложение принадлежащих ему взглядовъх на трудный и неразработанный еще вопрос о чисто формальном обосновании логики предложений. Во втором приложении я предлагаю более
полные доказательства несколькихъ начальных предложений. Пополнение дальнейших доказательств может быть сделано подобным же образом.