Словарь по логике

Маймон

Соломон Маймон, Maimon (ок. 1753 - 1800): Еврейский философ и логик. Предпринял попытку формализовать и представить в символическом виде силлогистику. Связка "есть" обозначалась знаком "+", квантор "все" - буквой "x", квантор "некоторый" - буквой "n", строгая дизъюнкция - знаком "|". В работе "Versuch einer neuen Logik oder Theorie des Denkens" (1794), возможно, первым употребил выражение "математическая логика".