Дополнение 2
В подтверждение и для уточнения слов первого абзаца этой статьи привожу даты становления математической логики:
Джордж Буль (Boole) (1815-1864):
“The Mathematical Analisis of Logic” (1847),
“An Investigation of the Laws of Thought, on whitch are founded the Mathematical Theories of Logic and Probabilities” (1854);
Уильям Стэнли Джэвонс (Jevons) (1835 -1882):
«Чистая логика» (1864),
“On the Mathematical Performance of Logical Inference” – “Pfilosophical Transactions” (1870, vol 160, pt II),
«Элементарный учебник дедуктивной и индуктивной логики» (1870);
Эрнст Шрёдер (Schroder) (1841 - 1902):
“Der Operationkreis der Logikkalkuls” (1877),
“Vor Itsungen uber die Algebra der Logik” (1890 - 1895);
Платон Сергеевич Порецкий (1846 -1907):
«Изложение основных начал математической логики в возможно более наглядной и общедоступной форме» (1881),
«О способах решения логических равенств и об обратном способе математической логики» (1884);
Чарлз Сандерс Пирс (Peirs) (1839 - 1914):
“Logical Papers” (1867),
“On an improvement in Boole’s calculus of logic” (1867),
“On the algebra of logic” (1880), и т.д.;
Готтлоб Фреге (Frege) (1848 -1925):
«Исчисление понятий» (1879),
«Основания математики. Логико-математическое исследование понятие числа» (1884),
«О смысле и значении» (1892);
Давид Гилберт (Hilbert) (1862 - 1943);
Льюис Кэрролл (Carroll) / Чарлз Лютвидж Доджсон (Dodgson) / (1832 - 1898).
