Слово, значение которого вы хотите посмотреть, начинается с буквы
А   Б   В   Г   Д   Е   Ё   Ж   З   И   Й   К   Л   М   Н   О   П   Р   С   Т   У   Ф   Х   Ц   Ч   Ш   Щ   Ы   Э   Ю   Я

ПОРЕЦКИЙ

Большая советская энциклопедия (БЭС)
        Платон Сергеевич [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.
Философский словарь
Платон Сергеевич (1846 — 1907) — рус. логик. В 1887 — 88 в Казанском ун-те читал первые в России лекции по математической логике. П. разрабатывал алгебру логики. Для этой теории он нашел оригинальные и простые методы решения задачи об отыскании множества следствий, вытекающих из данной системы посылок, и множества гипотез, из к-рых выводимы данные следствия (“О способах решения логических равенств и об обратном способе математической логики”, 1884). Философские позиции П. можно охарактеризовать как естественнонаучный материализм.
Философский энциклопедический словарь
ПОРЕЦКИЙ Платон Сергеевич (род. 3 окт. 1846, Елизаветград – ум. 9 авг. 1907, с. Жоведь Черниговской губ.) – рус. логик, астроном, математик. В Казанском ун-те читал первые в России лекции по математической логике (1887-1888). Нашел оригинальные и простые методы отыскания множества следствий, вытекающих из данной системы посылок, и множества гипотез, из которых выводимы данные следствия («О способах решения логических равенств и об обратном способе математической логики», 1884). В философских воззрениях придерживался естественнонаучного материализма.
Философский энциклопедический словарь 2
        Платон Сергеевич [3(15).10.1846, Елиза-ветград, ныне Кировоград,— 9(22).8.1907, с. Жоведь, ныне Черниговской обл.], рус. логик, астроном и математик. Впервые в России начал читать курс лекций по математич. логике. По своим филос. взглядам П. был материалистом. Формальные методы в логике, согласно П., могут быть обоснованы лишь анализом содержат. оснований; логич. исчисления не отменяют содержат. формальной логики, но предполагают её. П. считал, что математич. логика по предмету своему есть логика, а по методу — математика. П. были получены существ. результаты, относящиеся к алгебре логики; он развил и усовершенствовал методы решения логич. равенств, предлагавшиеся Дж. Булем, У. С. Джевонсом и Э. Шредером. Осн. результат П.— нахождение в алгебре логики оригинального алгоритма, позволяющего эффективно получать все следствия (оп-редел. вида) из данных посылок; все гипотезы, из крых может следовать данное заключение; все различные эквивалентные формы, в которых могут быть представлены данные выражения — посылки и заключения.
        О способах решения логич. равенств и об обратном способе математич. логики, Казань, 1884; Решение общей задачи теории вероятностей при помощи математич. логики, в кн.: Собрание протоколов заседаний секции физ.-математич. наук общества естествоиспытателей при Казанском университете, т. 5, Казань, 1887; Sept lois fondamentales de la theorie des egalites logiques, «Изв. физико-математич. общества при Казанском университете», 1898, т. 8, М 2.
        Стяжкин Н. И., Логич. наследство П. С. П., в сб.: Очерки по истории логики в России, М., 1962.
Если вы желаете блеснуть знаниями в беседе или привести аргумент в споре, то можете использовать ссылку:

будет выглядеть так: ПОРЕЦКИЙ


будет выглядеть так: Что такое ПОРЕЦКИЙ