Порецкий Платон Сергеевич

1846—1907

БИОГРАФИЧЕСКИЙ УКАЗАТЕЛЬ

XPOHOC

ВВЕДЕНИЕ В ПРОЕКТ

БИБЛИОТЕКА ХРОНОСА

ИСТОРИЧЕСКИЕ ИСТОЧНИКИ

БИОГРАФИЧЕСКИЙ УКАЗАТЕЛЬ

ПРЕДМЕТНЫЙ УКАЗАТЕЛЬ

ГЕНЕАЛОГИЧЕСКИЕ ТАБЛИЦЫ

СТРАНЫ И ГОСУДАРСТВА

ЭТНОНИМЫ

РЕЛИГИИ МИРА

СТАТЬИ НА ИСТОРИЧЕСКИЕ ТЕМЫ

МЕТОДИКА ПРЕПОДАВАНИЯ

КАРТА САЙТА

АВТОРЫ ХРОНОСА

ХРОНОС:

В Фейсбуке

ВКонтакте

В ЖЖ

Twitter

Форум

Личный блог

Родственные проекты:

РУМЯНЦЕВСКИЙ МУЗЕЙ

ДОКУМЕНТЫ XX ВЕКА

ИСТОРИЧЕСКАЯ ГЕОГРАФИЯ

ПРАВИТЕЛИ МИРА

ВОЙНА 1812 ГОДА

ПЕРВАЯ МИРОВАЯ

СЛАВЯНСТВО

ЭТНОЦИКЛОПЕДИЯ

АПСУАРА

РУССКОЕ ПОЛЕ

Платон Сергеевич Порецкий

Порецкий Платон Сергеевич (1846—1907) — русский логик. В 1887—1888 в Казанском университете читал первые в России лекции по математической логике. Порецкий разрабатывал алгебру логики. Для этой теории он нашел оригинальные и простые методы решения задачи об отыскании множества следствий, вытекающих из данной системы посылок, и множества гипотез, из которых выводимы данные следствия («О способах решения логических равенств и об обратном способе математической логики», 1884). Философские позиции Порецкого можно охарактеризовать как естественнонаучный материализм.

Философский словарь. Под ред. И.Т. Фролова. М., 1991, с. 352.

Порецкий Платон Сергеевич (3 октября 1846, Елисаветград Херсонской губернии – 10 августа 1907, Жоведь, Черниговской губернии) – астроном, математик и логик. Окончил Харьковский университет (1870); после сдачи магистерского экзамена (1874) некоторое время работал в Пулкове и Астрахани. В 1876 избирается астрономом-наблюдателем Казанского университета, а с 1886 – доктор астрономии и приват-доцент этого университета. Порецкий – автор первых российских работ по математической логике; он же первым в России начал читать лекции по математической логике, которую определял как логику по предмету и математику по методу. Согласно Порецкому, логика решает три основные задачи: задачу дедукции, т.е. разыскания всех следствий из данных посылок; задачу индукции, т.е. разыскания всех гипотез (причин) данных следствий и задачу отождествления, т.е. разрешения вопроса об эквивалентности любых двух данных суждений. С целью решения этой триединой задачи Порецкий существенно дополнил и обобщил известные к тому времени методы Дж.Буля, Ст.Джевонса, Э.Шрёдера и Дж.Венна. По свидетельству самого Порецкого, его работы в области логики представляют собой первый опыт построения полной и законченной «теории качественных форм», в которой уравнения логики трактуются в их собственно логическом (а не в алгебраическом) смысле на основе самых общих формул и алгоритмов преобразований суждений.

M.M. Новосёлов

Новая философская энциклопедия. В четырех томах. / Ин-т философии РАН. Научно-ред. совет: В.С. Степин, А.А. Гусейнов, Г.Ю. Семигин. М., Мысль, 2010, т. III, Н – С, с. 289-290.

Порецкий Платон Сергеевич [3(15).10.1846, Елизаветград, ныне Кировоград,— 9(22).8.1907, с. Жоведь, ныне Черниговской обл.], русский логик, астроном и математик. Впервые в России начал читать курс лекций по математической логике. По своим философским взглядам Порецкий был материалистом. Формальные методы в логике, согласно Порецкому, могут быть обоснованы лишь анализом содержательных оснований; логические исчисления не отменяют содержательной формальной логики, но предполагают её. Порецкий считал, что математическая логика по предмету своему есть логика, а по методу — математика. Порецким были получены существенные результаты, относящиеся к алгебре логики; он развил и усовершенствовал методы решения логических равенств, предлагавшиеся Дж. Булем, У. С. Джевонсом и Э. Шредером. Основной результат Порецкого — нахождение в алгебре логики оригинального алгоритма, позволяющего эффективно получать все следствия (определенного вида) из данных посылок; все гипотезы, из которых может следовать данное заключение; все различные эквивалентные формы, в которых могут быть представлены данные выражения — посылки и заключения.

Философский энциклопедический словарь. — М.: Советская энциклопедия. Гл. редакция: Л. Ф. Ильичёв, П. Н. Федосеев, С. М. Ковалёв, В. Г. Панов. 1983.

Сочинения: О способах решения логич. равенств и об обратном способе математич. логики, Казань, 1884; Решение общей задачи теории вероятностей при помощи математич. логики, в кн.: Собрание протоколов заседаний секции физ.-математич. наук об-ва естествоиспытателей при Казанском ун-те, т. 5, Казань, 1887; Sept lois fondamentales de la theorie des egalites logiques, «Изв. физико-математического об-ва при Казанском ун-те», 1898, т. 8, М 2.

Литература: Стяжкин Н. И., Логич. наследство П. С. П., в сб.: Очерки по истории логики в России, М., 1962.

Порецкий Платон Сергеевич (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 ulterienres 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 века. Велико значение трудов Порецкого также для проблематики и исследований в области традиционной логики в России.

А. В. Иванов, Н. И. Стяжкин

Русская философия. Энциклопедия. Изд. второе, доработанное и дополненное. Под общей редакцией М.А. Маслина. Сост. П.П. Апрышко, А.П. Поляков. – М., 2014, с. 492.

Литература: Дубяго Д. И. П. С. Порепкий (некролог) // Известия физико-математического общества при Казанском университете. Сер. 2. 1908. № 1. С. 3-7; Слешинский И. В. Памяти Порецкого П. Вестник опытной физики и элементарной математики. Одесса, 1909. №487. С. 145-148; Стяжкин Н. К. Силаков В.Д. Краткий очерк истории обшей и математической логики в России. М., 1962. С. 41-66.

Далее читайте:

Философы, любители мудрости (биографический указатель).

Русская национальная философия в трудах ее создателей (специальный проект ХРОНОСа).

Сочинения:

Изложение основных начал математической логики в возможно более наглядной и общедоступной форме. – В кн.: Протокол 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.

Стяжкин Н. К. Силаков В.Д. Краткий очерк истории обшей и математической логики в России. М., 1962. С. 41-66.

Слешинский И. В. Памяти Порецкого П. Вестник опытной физики и элементарной математики. Одесса, 1909. №487. С. 145-148;

ХРОНОС: ВСЕМИРНАЯ ИСТОРИЯ В ИНТЕРНЕТЕ

ХРОНОС существует с 20 января 2000 года,

Редактор Вячеслав Румянцев

При цитировании давайте ссылку на ХРОНОС