Смотреть больше слов в «Советском философском словаре»
Порецкий Платон Сергеевич [3(15).10.1846, Елизаветград, ныне Кировоград, ‒ 9(22).8.1907, село Жоведь, ныне Черниговской области], русский математик, ас... смотреть
(1846–1907) – рус. математик, астроном и логик. Окончил физико-математич. фак-т Харьковского ун-та. В 1876 П. избран астрономом-наблюдателем Казанского ун-та; с 1886 – доктор астрономии, приват-доцент. П. внес значительный вклад в алгебру логики, его работы существенно обобщают и развивают нек-рые результаты Буля, Джевонса, Э. Шредера. Впервые в России П. начал читать лекции по математической логике и ее приложению к теории вероятности. Изучая формально-логич. правила вывода, он исходил из единства формы и содержания, о чем, в частности, свидетельствует понимание П. логич. закона. Согласно П., законы логики зависят от свойств предметной области, исследуемой той или др. наукой. Закон логики есть поэтому "...истина, заключающая в себе какое-либо определенное указание на самую п р и р о д у изучаемого материала" (см. его работу "О способах решения логических равенств и об обратном способе математической логики", в кн.: "Собр. протоколов заседаний секции физико-математич. наук Об-ва естествоиспытателей при Казанском ун-те", т. 2, Каз., 1884, с. XXII). Основой исследований П. в области логики явились его теория логич. равенств (П., как и нек-рые др. логики 19 в., через отношение равенства определяет все др. отношения между логич. классами – объемами понятий. См. Принцип замещения), одна из центральных проблем к-рой состоит в решении (путем построения спец. таблиц) вопроса о выводе следствий из данных посылок (и, обратно, в нахождении тех посылок, из к-рых данное логич. равенство выводится в качестве следствия) и оригинальная трактовка канонич. выражений алгебры логики. П. использовал в своем исчислении т.н. упрощенную канонич. форму для логич. выражений, обобщив тем самым классич. теорию нормальных форм. Приемы П. были восприняты и развиты амер. математиком и логиком А. Блейком (1938). П. принадлежит также одно из обобщений классич. теории силлогизма (см. "Th?orie des ?galit?s logiques ? trois termes, a, b et c", "Biblioth?que du Congr?s International de Philosophie", 1901, v. 3), работы в области аксиоматики, теории чисел, применения логики к теории вероятностей и др. По своим филос. взглядам П. был материалистом. Соч.: Решение общей задачи теории вероятностей при помощи математич. логики, в сб.: Собрание протоколов заседаний секции физ.-мат. наук Об-ва естествоиспытателей при Казанском ун-те, т. 5, Каз., 1887, с. 83–108; Закон корней в логике, "Научн. обозрение", 1896, No 19; Из области математич. логики, М., [1902]; Sept lois fondamentales de la th?orie des ?galit?s logiques, "Изв. Физ.-мат. об-ва при Казанском ун-те", 1898, 2 серия, т. 8, No 2–4; Th?orie des non?galit?s logiques (Suppl?ment aux deux trait?s: "Sept lois fondamentales de la th?orie des ?galit?s logiques" et "Quelques lois ult?rieurs de la th?orie des ?galit?s logiques", там же, 1903, 2 серия, т. 13, No 3–4; Th?orie conjointe des ?galit?s et des non-?galit?s logiques, там же, 1908, 2 серия, т. 16, No 1–2. Лит.: Стяжкин Н. И., Упрощение П. С. П. некоторых алгоритмов классич. исчисления высказываний, в сб.: Логич. исследования, М., 1959; его же, Логич. наследство П. С. П., в сб.: Очерки по истории логики в России, М., 1962; Blake ?., Canonical expressions in Boolean algebra, Chi., 1938. H. Стяжкин. Москва. ... смотреть
(3(15). 10.1846, Елизаветград Херсонской губ. 10(23). 08.1907, с. Жоведь Черниговской губ.) логик, естествоиспытатель, публицист. В 1870 г. закончил физико-математический ф-т Харьковского ун-та. В 1876 г. назначен астрономом-наблюдателем Казанского ун-та, получил степень доктора астрономии и звание приват-доцента сферической тригонометрии. Несколько лет был редактором казанской газ. *Телеграф*. На основе работы *О способах решения логических равенств и об обратном способе математической логики* (Собрание протоколов заседаний секции физико-математических наук при Казанском университете. Казань. 1884. Т. 2. С. 161-330) впервые в России читал в Казанском ун-те лекции по алгебре логики. Исходил из различения *количественных форм*, изучаемых алгеброй, и *качественных форм*, исследуемых логикой. П. усматривал и сходство (до определенных пределов) обеих наук, к-рое объясняет возможность модификаций и приспособления алгебраических приемов к логике. Результаты своих исследований П. представил в написанных на фр. яз. работах *Семь основных законов теории логических равенств* (Poretzky P. S. Sept lois fondamentales de la theorie des egalites logiques // Известия физико-математического общества при Казанском университете. Сер. 2. Т. 8. № 2-4. Казань, 1898-1899), *Некоторые дополнительные законы теории логических равенств* и *Теория логических неравенств* (Quelques lois ultcrienres de la theorie des egalites logiques , Там же. Сер. 2. Т. 10. № 1 -3. Казань, 1900; Т. 11. № 1-3. Казань, 1900-1901; Theorie des non-egalites logiques // Там же. Т. 14. Казань, 1904). П. насчитывал семь осн. законов теории логических равенств: 1) форма посылок; 2) замещения системы посылок одной посылкой; 3) разложения посылок на элементы; 4) исключения терминов из посылок; 5) умозаключений или следствий; 6) сложных оснований; 7) корней. Все эти законы являются усовершенствованием и обобщением алгебро-логических приемов Дж. Буля, У. С. Джевонса и Э. Шредера. Идеи П. повлияли на проблематику и исследования в области традиционной и символической логики в России и на Западе. Так, фр. логик Л. Кутюра считал методы П. кульминационным пунктом в развитии алгебры логики в нач. XX в. Велико значение трудов П. также для проблематики и исследований в области традиционной логики в России.... смотреть
ПОРЕЦКИЙ Платон Сергеевич (род. 3 окт. 1846, Елизаветград – ум. 9 авг. 1907, с. Жоведь Черниговской губ.)рус. логик, астроном, математик. В Казанск... смотреть
(род. 3 окт. 1846, Елизаветград ум. 9 авг. 1907, с. Жоведь Черниговской губ.) рус. логик, астроном, математик. В Казанском ун-те читал первые в России лекции по математической логике (1887-1888). Нашел оригинальные и простые методы отыскания множества следствий, вытекающих из данной системы посылок, и множества гипотез, из которых выводимы данные следствия (*О способах решения логических равенств и об обратном способе математической логики*, 1884). В философских воззрениях придерживался естественнонаучного материализма.... смотреть
рус. логик. В 1887—88 в Казанском ун-те читал первые в России лекции по математической логике. П. разрабатывал алгебру логики. Для этой теории он нашел оригинальные и простые методы решения задачи об отыскании множества следствий, вытекающих из данной системы посылок, и множества гипотез, из к-рых выводимы данные следствия (“О способах решения логических равенств и об обратном способе математической логики”, 1884). Философские позиции П. можно охарактеризовать как естественнонаучный материализм. ... смотреть
ПОРЕЦКИЙ Платон Сергеевич (1846-1907) - российский логик, математик, астроном. Основные труды по математической логике.
ПОРЕЦКИЙ Платон Сергеевич (1846-1907), российский логик, математик, астроном. Основные труды по математической логике.
ПОРЕЦКИЙ Платон Сергеевич (1846-1907) , российский логик, математик, астроном. Основные труды по математической логике.