Первая страница
Наша команда
Контакты
О нас

    Главная страница


Порецкий – гордость российской науки




Скачать 91.46 Kb.
Дата06.01.2017
Размер91.46 Kb.





В.И.Лобанов, к.т.н., ФГУП «ЦНИИ «Комета»(Москва)
ПОРЕЦКИЙ – ГОРДОСТЬ РОССИЙСКОЙ НАУКИ.
Платон Сергеевич Порецкий родился 3 октября 1846 г. в Елизаветграде Херсонской губернии [1]. В 1870 г. закончил физматфак Харьковского университета. Был оставлен профессорским стипендиатом на кафедре астрономии. С 1876 г. избирается астрономом-наблюдателем Казанского университета. За 1876-79 гг. Порецкий опубликовал 2 тома наблюдений. За астрономические исследования в 1886 г. ему присуждается ученая степень доктора астрономии и звание приват-доцента КГУ.

Он первый в России не только занялся исследованиями в области математической логики и первым в Казанском университете прочитал курс математической логики, но и достиг – благодаря глубокому пониманию предмета и выработке оригинальных методов – мировой известности и признания.

П.С.Порецкий умер 9 августа 1907 г. в с.Жоведь Гродненского уезда Черниговской губернии, куда переехал из Казани в 1889 г. Смерть застала его за неоконченной статьей по логике.

Порецкий является самым ярким представителем логической мысли не только Казанского университета, но всей России и мировой науки. Логикой занимается с 1880 г., получив первые познания в этой области от проф. А.В.Васильева(1853-1929). Вот как пишет об этом сам П.С.Порецкий:

«…В заключение считаю приятным долгом выразить искреннюю признательность профессору А. В. Васильеву, из бесед с которым я впервые узнал о существовании математической логики и парадоксальных формул a a=a и aa=a, лежащих в ее основании, и который доставил мне возможность иметь в своем распоряжении весьма редкое сочинение Буля (первого автора по математической логике). Впрочем, во избежание недоразумений, я должен прибавить, что, за исключением вышеуказанного первого толчка к моим занятиям математической логикой, А. В. Васильев не имел никакого дальнейшего влияния на направление и ход настоящей моей работы». И это подтверждается исторически: никто, в том числе и А.В. Васильев, так ничего и не поняли из работ Порецкого.

В 1884 г. он издает свой большой труд "О способах решения логических равенств и об обратном способе математической логики"[2]. Этот фундаментальный труд разрешил все проблемы, с которыми не справились ни Аристотель, ни Лейбниц, ни наши современники. Порецкий опередил своё время на 125 лет. Даже проф. Казанского Императорского университета Васильев А.В., так сказать, наставник Порецкого, не сумел понять масштаб достижений своего коллеги. Не смог разобраться в этой работе и проф. КГУ Васильев Н.А.(1880-1940), сын Васильева А.В., создатель «воображаемой логики», так и не сумевший применить свою логику на практике. Эта троичная логика уже была создана и практически использовалась Порецким при решении логических равенств, но никто ни в России, ни тем более за рубежом не понял величайшего русского логика. Он решил проблемы, с которыми не справились ни Аристотель, ни Лейбниц, ни всё человечество за 25 веков. Позорнее всего то, что ни советские логики, ни нынешние логики-«россияне» не освоили математической логики своего соотечественника за 125 лет, т.е. по сути заявили о себе как об «иванах, не помнящих родства», невеждах, неучах и бестолочах.

Методы решения логических равенств, разработанные Порецким, высоко оценивались его современниками. Так А.Блейк оценивал их значительно выше методов его предшественников, т.е. Шредера, Джевонса и Буля. В исследовании И.И.Ягодинского также подчёркивается выдающееся значение работ Порецкого. Высокую оценку трудам русского учёного дали такие выдающиеся логики как Л.Кутюра, О.Беккер, П.Эренфест.

Однако в решении логических равенств великий логик допустил серьёзные ошибки. Дело в том, что корректный результат в этом случае можно получить лишь в четырёхзначной комплементарной логике[3]. Только некоторые логические равенства могут быть проанализированы в двоичной и виртуальной троичной логике Порецкого, который не догадался проверить полученные им результаты с помощью формулы равнозначности. Но указанное обстоятельство не умаляет заслуг величайшего русского логика с мировым именем.

Основные достижения Порецкого П.С.:


  1. Впервые выполнено аналитическое описание общеутвердительного и общеотрицательного кванторов[3].

  2. Впервые дано аналитическое решение силлогизмов и соритов[3].

  3. Впервые применена троичная логика для решения логических равенств[3].

  4. Впервые изложены теория логических равенств, закон форм посылок, закон замещения системы посылок одной посылкою, закон разложения посылок на элементы, закон исключения терминов из посылок, закон умозаключений (синтез), закон причин.

Более подробно биография великого русского логика рассмотрена Бажановым В.А. [4], который также не понял математической сути и величины достижений Порецкого.

Постоянно действующий научно-методологический «Круглый стол» по военной безопасности при Комитете по обороне Госдумы РФ, где 13 ноября 2003г. автор статьи рассказал о создании Русской логики и выступил с докладом « Ликбез по логике в России как проблема национальной безопасности», так сформулировал первоочередные задачи в отношении логики: «…необходимо ликвидировать логическую необразованность всего российского общества в целом так же, как в начале 20-го века была ликвидирована начальная неграмотность в Советской России». Никакого продвижения с тех пор в этом направлении не произошло.

Надеемся, что российские учёные освоят, наконец, монографию Порецкого и сделают первые шаги по ликвидации своей логической необразованности. Для облегчения этой задачи работы Порецкого были переведены на язык четвероклассника, расширены с устранением ошибок гениального Русского логика и изложены в «Русской вероятностной логике» В.И.Лобанова.
Список научных работ П.С. Порецкого [4].

1873

Определение географической широты Астрономической башни Харьковского университета. Харьков, 1873. – 57 С.



1881

Изложение основных начал математической логики в возможно более наглядной и общедоступной форме. Сообщение, читанное в 3 заседании секции физико-математических наук общества естествоиспытателей при Казанском университете//Собрание протоколов заседаний секции физико-математических наук общества естествоиспытателей при Казанском университете. Казань, Т.1, 1881. - С. 2-31.



1884

О способах решения логических равенств и об обратном способе математической логики // Собрание протоколов заседаний секции физико-математических наук общества естествоиспытателей при Казанском университете. Казань, Т. 2, 1884 XXIV, 170 С. (отдельный оттиск).



1886

а) К вопросу о решении некоторых нормальных систем, встречающихся в сферической астрономии, с применением к определению погрешностей деления меридианного круга Казанской обсерватории (4 сообщения, сделанные в 1885 году). Казань, 1886. – 144 С. (отдельный оттиск).

б) О связи между днями года и днями недели. Казань // Собрание протоколов заседаний секции физико-математических наук общества естествоиспытателей при Казанском университете. Казань, Т. 4, 1886. - 12 С. (отдельный оттиск).

1887

а) Исторический очерк развития сферической тригонометрии // Собрание протоколов заседаний секции физико-математических наук Казанского общества естествоиспытателей. Казань, Т.5, 1887. – 16 С. (отдельный оттиск).

б) Решение общей задачи теории вероятностей при помощи математической логики// Собрание протоколов заседаний секции физико-математических наук общества естествоиспытателей при Казанском университете. Казань, Т. 5, 1887. – С. 83 – 116. Переведена на немецкий язык.

в) Вычисление оппозиции Марса // Astron. Nachrichten, 1887.

г) Четыре наблюдения 1) Mars opposition, 1877 2) Mars opposition, 1879 3) Mars opposition, 1886 4) Beobachtungen der Cometen, 1881 // Astron. Nachrichten, 1887.

1888

а) Определение географической широты Астрономической башни Харьковского университета //Собрание протоколов заседаний секции физико-математических наук Казанского общества естествоиспытателей. Казань, Т.6, 1888. – 58 С. (отдельный оттиск).

б) К учению о простых числах // Собрание протоколов заседаний секции физико-математических наук общества естествоиспытателей при Казанском университете. Казань, Т. 6, 1888. – III, 89 С. (отдельный оттиск).

в) По поводу сообщения П.В. Преображенского «Особого вида тригонометрические ряды». Доклад в 76 заседании секции физико-математических наук общества естествоиспытателей при Казанском университете // Собрание протоколов заседаний секции физико-математических наук общества естествоиспытателей при Казанском университете. Казань, Т. 7, 1888. -- С. 330 - 334.

г) По поводу сочинения г-на Цераского «Астронометрическая фотометрия» //Собрание протоколов заседаний секции физико-математических наук общества естествоиспытателей при Казанском университете. Казань, Т. 7, 1888. -- С. 334 - 339.

д) По поводу брошюры г-на Волкова «Логическое исчисление». Сообщение,читанное 12 ноября в 81 заседании секции физико-математических наук общества естествоиспытателей при Казанском университете // Собрание протоколов заседаний секции физико-математических наук общества естествоиспытателей при Казанском университете. Казань, Т. 7, 1888. – 9 С. (отдельный оттиск).

1896

а) Закон корней в логике // Научное обозрение. 1896, № 19, -- С. 538 - 593.

б) Новая наука и академик Имшенецкий (с приложением трех писем Имшенецкого) Северный вестник, декабрь, 1896. -- С. 103 - 112.

1899

Sept lois fondamentales de la theorie de egalites logiques // Известия Физико-

математического общества при императорском Казанском университете. Вторая серия, 1899. - C. 33 – 103, 129 – 181, 183 - 216; Имеется отдельное издание: Sept lois fondamentales de la theorie de egalites logiques. Казань, Типо-литография имп. ун-та, 1899. -157 С .

1900

Expose elementaire de la theorie des egalites logiques a deux termes a et b//Revue de Metaphysique et de Morale. 1900, T. 8.



1901-1902

а) Quelques lois ulteuieures de la theorie des egalites logiques // Известия Физико-математического общества при императорском Казанском университете. Вторая серия, Т.1900. № 1. - С.50-84; № 2. - С. 132-180; № 3. - С. 191 – 230; Т. 11. 1901. № 2. С. 17 – 63;Имеется отдельное издание: Quelques lois ulteuieures de la theorie des egalites logiques.Казань, Типо-литография имп. ун-та, 1902. - V, 163 С.

б) Из области математической логики// Физико-математический ежегодник,посвященный вопросам математики, физики, химии и астрономии в элементарном изложении. Год второй. М.: Изд-во кружка авторов "Сборники в помощь самообразованию", 1902, № 2. – 482 С.

1904

а) Theorie des non-egalites logiques // Известия Физико-математического общества при императорском Казанском университете. Вторая серия. Казань, Т. 13, № 3. - С. 80 –119; № 4. - С. 127 – 184; Имеется отдельное издание: Theorie des non-egalites logiques.Казань, Типо-литография имп. ун-та, 1904. -- III, 112 С.

Сочинения П.С. Порецкого [Порецкий, 1899, 1902а, 1904а] имеют общую

нумерацию глав.

б) Appendice. Sur mon nouvel travail “Theorie des non-egalites logiques” // Известия Физико-математического общества при императорском Казанском университете. Вторая серия, Т. 14, № 2, 1904. -- С. 118 - 131.

1908-1909

Theorie conjointe des egalites et des non-egalites logiques // Известия Физико-

математического общества при императорском Казанском университете. Вторая серия, Т.1908. № 1-2, -- С. 9 – 41; Имеется отдельное издание: Theorie conjointe des egalites et non-egalites logiques. Казань, Типо-литография имп. ун-та, 1909. - III, 109 С.
Литература

1.Стяжкин Н.И. Формирование математической логики. - М:1967.

2.Порецкий П.С. О способах решения логических равенств и об одном обратном способе математической логики.// Собрание протоколов заседаний секции физико-математических наук общества естествоиспытателей при Казанском университете, т. 2, Каз., 1884.

3.Лобанов В.И. Русская вероятностная логика. – М.: «Русская Правда», 2009 – 320с.

4. В.А. Бажанов. Жизнь и научная деятельность пионера исследований в

области математической логики в России П.С. Порецкого// Вопросы истории естествознания и техники, 2005, № 4, с. 64-73.








  • Список научных работ П.С. Порецкого [4]. 1873