ПОРЕЦКИЙПОРИЦАНИЕ

ПОРЕЦКИЙ Платон Сергеевич

Найдено 5 определений термина ПОРЕЦКИЙ Платон Сергеевич

Показать: [все] [краткое] [полное] [предметную область]

Автор: [отечественный] Время: [советское] [постсоветское] [современное]

ПОРЕЦКИЙ Платон Сергеевич (1846—1907)

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

Оцените определение:
↑ Отличное определение
Неполное определение ↓

Источник: Философский энциклопедический словарь

ПОРЕЦКИЙ Платон Сергеевич

род. 3 окт. 1846, Елизаветград - ум. 9 авг. 1907, с. Жоведь Черниговской губ.) - рус. логик, астроном, математик. В Казанском ун-те читал первые в России лекции по математической логике (1887-1888). Нашел оригинальные и простые методы отыскания множества следствий, вытекающих из данной системы посылок, и множества гипотез, из которых выводимы данные следствия ("О способах решения логических равенств и об обратном способе математической логики", 1884). В философских воззрениях придерживался естественнонаучного материализма.

Оцените определение:
↑ Отличное определение
Неполное определение ↓

Источник: Философский энциклопедический словарь

ПОРЕЦКИЙ Платон Сергеевич

3(15).10.1846, Елизаветград, ныне Кировоград - 9(22).8.1907, с. Жоведь, ныне Черниговской обл.], рус. логик, астроном и ма­тематик. Впервые в России начал читать курс лекций по математич. логике. По своим филос. взглядам П. был материалистом. Формальные методы в логике, согласно П., могут быть обоснованы лишь анализом содержат.

оснований; логич. исчисления не отменяют содержат. формальной логики, но предполагают ее. П. считал, что математич. логика по предмету своему есть логика, а по методу - математика. П. были полу­чены существ. результаты, относящиеся к алгебре ло­гики; он развил и усовершенствовал методы решения логич. равенств, предлагавшиеся Дж. Булем, У. С. Джевонсом и Э. Шредером. Осн. результат П.- на­хождение в алгебре логики оригинального алгоритма, позволяющего эффективно получать все следствия (определ. вида) из данных посылок; все гипотезы, из к-рых может следовать данное заключение; все различные эквивалентные формы, в к-рых могут быть представ­лены данные выражения - посылки и заключения.

Оцените определение:
↑ Отличное определение
Неполное определение ↓

Источник: Советский философский словарь

ПОРЕЦКИЙ Платон Сергеевич

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

Соч.: Изложение основных начал математической логики в возможно более наглядной и общедоступной форме.— В кн.: Протокол 3-го заседания секции физико-математических наук Общества естествоиспытателей природы при Казанском университете... Казань, 1881; О способах решения логических равенств и об обратном способе математической логики.— В кн.: Собрание протоколов заседаний секции физико-математических наук при Казанском университете, т. 2. Казань, 1884; Решение общей задачи теории вероятностей при помощи математической логики.— Там же, т. 5, 1887; По поводу брошюры Г. Волкова «Логическое исчисление». Казань, 1889; Закон корней в логике.— «Научное обозрение». М., 1896, № 19; Из области математической логики. М., 1902; Poretsky P. Sept lois fondamentales de la theorie de egalites logiques.— Известия Физико-математического общества при императорском Казанском университете, 2 серия, 1898,

M. M. Новоселов.

Оцените определение:
↑ Отличное определение
Неполное определение ↓

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

Найдено схем по теме ПОРЕЦКИЙ Платон Сергеевич — 0

Найдено научныех статей по теме ПОРЕЦКИЙ Платон Сергеевич — 0

Найдено книг по теме ПОРЕЦКИЙ Платон Сергеевич — 0

Найдено презентаций по теме ПОРЕЦКИЙ Платон Сергеевич — 0

Найдено рефератов по теме ПОРЕЦКИЙ Платон Сергеевич — 0