14 января отмечается Всемирный день логики. Праздник учреждён ЮНЕСКО в 2019 году.
Дата праздника связана с биографиями двоих великих учёных, без которых невозможно представить современную логику как науку. На этот день приходятся годовщина рождения Альфреда Тарского и смерти Курта Гёделя.
Логикой – законами правильного рассуждения – человечество интересовалось с древности. Ей посвящали свои труды античные авторы, в том числе Аристотель, мыслители Средневековья. Напомним, что и труд Г.Ф. Гегеля, вышедший на рубеже XVIII-XIX веков и так повлиявший на развитие современной философии, также назывался ?Наука логики?.
К XIX веку сложилось отношение к логике как части философии и риторики (тот же Гегель говорил об основах бытия). Но постепенно возникла и иная потребность – в строгом логическом обосновании математики.
В итоге, к настоящему моменту логика в университетском мире разделена на две ветви.
Есть логика, которую преподают гуманитарным специальностям, и её ведёт кафедра философии. Она начинается, конечно, с правильного построения силлогизмов, а дальше уходит в глубину онтологии, гносеологии и других философских дисциплин.
Есть математическая логика, которую преподают не только математикам, но и будущим айтишникам. Этот предмет наполнен иным содержанием. Он начинается с изучения аксиом, предикатов, операций – конъюнкция (и), дизъюнкция (или), отрицание (не), формул, значениями которых являются нули и единицы, ложь и истина. Это важно для понимания того, как ?мыслит? компьютер.
Сама наука математическая логика уходит вглубь – в обоснование математики, в строгое логическое конструирование её аксиом. Именно с этим направлением связаны работы Курта Гёделя и Альфреда Тарского, творивших в середине ХХ века, который в математике можно назвать веком алгебры и логики.
Например, известны теоремы Гёделя о полноте логики и неполноте арифметики. В арифметике, а значит и в математике всегда найдётся утверждение, которое нельзя ни доказать, ни опровергнуть в рамках её же правил, притом непротиворечивость математики невозможно доказать её же средствами. Это не значит, что математику нужно отбросить, живёт же человечество с парадоксами вроде ?апории лжеца? (?лжец сказал, что он лжет? – ложное утверждение или истинное?)
В пределе современная философская и математическая логика снова смыкаются.
В истории нашего вуза и нашего города это соединение олицетворяет имя выдающегося математика, логика, философа Кима Суханова (1932-2018).
В 1950-60-х годов в Челябинский политехнический институт из крупных научных центров страны приезжали по распределению молодые учёные, которые впоследствии заложили здесь фундаменты научных школ.
Таким был и Ким Николаевич, который после окончания аспирантуры философского факультета МГУ в 1958 году, ещё не защитив кандидатской диссертации, отправился в Челябинск и был принят стал ассистентом кафедры марксизма-ленинизма ЧПИ. В 1960 году он стал старшим преподавателем, в 1963 году защитил в столице кандидатскую, в 1964 году работал уже доцентом. С 1971 по 1980 годы Ким Суханов заведовал кафедрой философии Челябинского политехнического института.
Кандидатская диссертация Кима Суханова называлась ?Критика философии интуиционизма в свете развития конструктивной математики?. Для советского времени тема была интригующей. Заниматься математической логикой в СССР, да ещё на ?идеологической? кафедре, вообще было непросто, потому что Ленин ругал в своих статьях приверженцев формальной логики. А интуиционистская логика, в которой не действовал закон отрицания отрицания – один из фундаментальных законов диалектики – и вовсе считалась ?ересью? с точки зрения марксизма-ленинизма, хотя на Западе вполне развивалась.
Тем не менее Ким Николаевич проник в эту интереснейшую и экзотическую науку. Не нужно смущаться словом критика, в советские времена большинство исследований об иностранной науке начиналось со слов ?критика буржуазной…? (историографии, биологии, социологии и тд).
В 1980 году Ким Суханов защитил докторскую диссертацию ?Комплексное историко-философское исследование гносеологии интуиционизма?.
Напомним, гносеология – теория познания. Ким Николаевич долгие годы преподавал в разных вузах города целый спектр предметов: общую философию, гносеологию, философию науки для аспирантов, философию техники. Он выпустил несколько книг, в том числе в начале XXI века – замечательный словарь с биографиями философов. Одним словом, он был популяризатором академической философии в самом широком смысле, но при этом и прежних увлечений на стыке математики, логики и теории познания тоже не оставлял.
Сегодня среди преподавателей ЮУрГУ есть те, кто слушал лекции Кима Николаевича, сдавал ему кандидатские экзамены, кто хранит о нём добрую память.