Примеры статей
Логика
Логика (греч. logik ), наука о приемлемых способах рассуждения. Слово "Л." в его современном употреблении многозначно, хотя и не столь богато смысловыми оттенками, как древнегреч. logos, от которого…
Алгебра логики
Алгебра логики, раздел математической. логики, изучающий высказывания, рассматриваемые со стороны их логических значений (истинности или ложности), и логические операции над ними. А. л. возникла в…
Буль Джордж
Буль (Boole) Джордж (2.11.1815, Линкольн, - 8.12.1864, Баллинтемпл близ Корка), английский математик и логик. Не имея специального математического образования, в 1849 стал профессором математики в…
Джевонс Уильям Стэнли
Джевонс (Jevons) Уильям Стэнли (1.9.1835, Ливерпул, - 13.8.1882, близ Гастингса), английский экономист, статистик и философ-логик. Профессор логики, философии и политической экономии в Манчестере (…
Порецкий Платон Сергеевич
Порецкий Платон Сергеевич [3(15).10.1846, Елизаветград, ныне Кировоград, — 9(22).8.1907, село Жоведь, ныне Черниговской области], русский математик, астроном, логик. В 1870 окончил физико-математический факультет Харьковского университета. В 1876—89 работал в Казанском университете (сначала астрономом-наблюдателем, с 1886 в должности приват-доцента). Наиболее значителен вклад П. в математическую логику, определявшуюся им как "логика по предмету, математика по методам"; он был первым русским учёным, читавшим лекции по математической логике и её приложениям к теории вероятностей. П. занимался главным образом проблемами алгебры логики, понимаемой им (в развитие идей Дж. Буля, У. С. Джевонса и Э. Шредера) как "исчисление логических равенств". Комбинаторно-логические результаты П. в этой области, в частности его теория т. н. канонических форм (обобщающая классическую теорию "нормальных форм" в логике высказываний), оказали влияние на дальнейшее развитие математической логики (например, на работы американского логика 20 в. А. Блейка).
Соч.: О способах решения логических равенств и об обратном способе математической логики, в кн.: Собрание протоколов заседаний секции физико-математических наук общества естествоиспытателей при Казанском университете, т. 2, Каз., 1884; Решение общей задачи теории вероятностей при помощи математической логики, там же, т. 5, Каз., 1887.2
Лит.: Blake A., Canonical expressions in Boolean algebra, Chi., 1938; Стяжкин Н. И., Формирование математической логики, М., 1967, гл. 9, §2.