Порецкий – гордость России.

Платон Сергеевич Порецкий родился 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-го века была ликвидирована начальная неграмотность в Советской России». Никакого продвижения с тех пор в этом направлении не произошло.

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

Дата добавления: 2015-07-08