ПОРЕЦКИЙ

0 142

ПОРЕЦКИЙ Платон Сергеевич (3 октября 1846, Елисаветград Херсонской губернии – 10 августа 1907, Жоведь, Черниговской губернии) – астроном, математик и логик. Окончил Харьковский университет (1870); после сдачи магистерского экзамена (1874) некоторое работал в Пулкове и Астрахани. В 1876 избирается астрономом-наблюдателем Казанского университета, а с 1886 – доктор астрономии и приват-доцент этого университета. Порецкий – автор первых российских работ по математической логике; он же первым в России начал читать лекции по математической логике, которую определял как логику по предмету и математику по методу. Согласно Порецкому, логика решает три основные задачи: задачу дедукции, т.е. разыскания всех следствий из данных посылок; задачу индукции, т.е. разыскания всех гипотез (причин) данных следствий и задачу отождествления, т.е. разрешения вопроса об эквивалентности любых двух данных суждений. С целью решения этой триединой задачи Порецкий существенно дополнил и обобщил известные к тому времени методы Дж.Буля, Ст.Джевонса, Э.Шрёдера и Дж.Венна. По свидетельству самого Порецкого, его работы в области логики представляют собой первый опыт построения полной и законченной «теории качественных форм», в которой уравнения логики трактуются в их собственно логическом (а не в алгебраическом) смысле на основе самых общих формул и алгоритмов преобразований суждений.
Сочинения: Изложение основных начал математической логики в возможно более наглядной и общедоступной форме. – В кн.: Протокол 3-го заседания секции физико-математических наук Общества естествоиспытателей природы при Казанском университете… Казань, 1881; О способах решения логических равенств и об обратном способе математической логики. – В кн.: Собрание протоколов заседаний секции физико-математических наук при Казанском университете, т. 2. Казань, 1884; Решение общей задачи теории вероятностей при помощи математической логики. – Там же, т. 5, 1887; По поводу брошюры Г.Волкова «Логическое исчисление». Казань, 1889; Закон корней в логике. – «Научное обозрение». М., 1896, № 19; Из области математической логики. М., 1902; Poretsky P. Sept lois fondamentales de la théorie de égalités logiques. – Известия Физико-математического общества при императорском Казанском университете, 2 серия, 1898, т. 8, № 2–4; Quelques lois ulteuieures de la théorie des égalités logiques. – Ibid, т. 11, № 2. 1900–1901; Théorie des non-égalités logiques. – Ibid, 1903, т. 13, № 3–4; Appendice. Sur mon nouvel travail «Théorie des non-égalités logiques». – Ibid, 1904, т. 14, № 2; Théorie conjointe des égalités et des non-égalités logiques. – Ibid, 1908, т. 16, № 1–2; Exposé elementaire de la théorie des égalités logiques à deux termes a et b, Revue de Métaphysique et de Morale, 1900, t. 8.
Литература: Дубяго Д.И. Памяти Платона Сергеевича Порецкого. (Некролог.) С предисловием И.Слешинского. Одесса, 1909; Кутюра Л. Алгебра логики. Одесса, 1909, с. 67–80; Стяжкин Н.И. Формирование математической логики. М., 1967, с. 362–407.
M.M.Новосёлов
 

Смотрите также  ЦЕЛОСТНОСТЬ
Войти с помощью: 
Подписаться
Уведомление о
guest
0 Комментарий
Встроенные отзывы
Посмотреть все комментарии
0
Будем рады вашим мыслям, пожалуйста, прокомментируйте.x
()
x