Определение слова «ПОРЕЦКИЙ»

Большая советская энциклопедия:

Порецкий
Платон Сергеевич [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.

Новая философская энциклопедия:

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

Энциклопедический словарь Брокгауза и Ефрона:

(Александр Устинович, 1819—1879) — писатель; окончил курс в Казанском унив. Редактировал "Воскресный Досуг" и (официально) "Эпоху" бр. Достоевских. Писал и стихотворения, из которых детская песенка " Вот попалась, птичка, стой" чрезвычайно популярна. См. его некролог в "Российской Библиографии", 1879, № 22.

Смотреть другие определения →