23.12.2024
На философском факультете прошла серия заседаний, посвященных проблемам современной логики
В осеннем семестре на философском факультете прошла серия заседаний в рамках студенческого кружка «Кинофильмы мысли и возможные миры», которые провела кандидат философских наук, доцент кафедры истории зарубежной философии Ангелина Сергеевна Боброва.
На первом заседании, 12 октября, участники встречи обсуждали историко-логическую роль диаграмм Джона Венна и Чарльза Сандерса Пирса в развитии современной логики. Эта тема позволила показать взаимосвязь логических и историко-философских исследований. В первой части обсуждения были рассмотрены диаграммы, предложенные Дж. Венном в XIX веке. Участники обсудили их значимость как универсального инструмента визуализации отношений между множествами. Особое внимание было уделено тому, как эти диаграммы способствовали развитию теории множеств, информатики и анализа данных. Во второй части встречи внимание было уделено работам Ч. С. Пирса, который модифицировал диаграммы Венна и предложил универсальные способы представления логических отношений. Обсуждение коснулось также теории знаков Пирса, оказавшей влияние на развитие формальной логики и информатики. Участники отметили, что диаграммы Венна и Пирса представляют собой не только аналитические инструменты, но и способ визуализации сложных логических взаимосвязей. В практической части студенты начали моделировать системы, основываясь на подходах Венна и Пирса, однако дальнейшая работа была перенесена на следующий семестр. Планируется изучить взаимосвязь этих подходов с современной теорией психологии рассуждений.
На втором заседании, 19 ноября, обсуждалась природа парадоксов и их классификации. Участники рассматривали парадоксы всеведения, неожиданной казни, «яйца-сюрприза» и парадокс обоснованности логического правила. Особый акцент был сделан на роли парадоксов в выявлении ограничений человеческого познания и пересмотре устоявшихся взглядов. Обсуждение включало классификацию парадоксов по областям применения, сложности и источникам противоречий. Особое внимание участников привлек парадокс неожиданной казни, где логическое рассуждение приводит к выводу о невозможности казни, и парадокс всеведения, касающийся проблемы абсолютного знания. Заключительная часть была посвящена парадоксу обоснованности логического правила на примере диалога Ахилла и Черепахи, иллюстрирующего бесконечный регресс в обосновании правил. Это позволило рассмотреть вопросы о природе знаний и связи логики с теорией познания.
На третьем заседании, 20 декабря, участники вновь вернулись к диаграмматическим теориям и обсуждали глубокий вывод (Deep Inference) и его роль в теории доказательств. Глубокий вывод позволяет применять логические операции на всех уровнях структуры, а потому высвечивает с новой стороны ряд известных в логике и философии парадоксов. Основой обсуждения стала теория экзистенциальных графов Пирса, позволяющая минимизировать сложность формальных операций. Было отмечено, что диаграммы Пирса помогают визуально представлять сложные зависимости и контекстуальные связи, выходя за рамки традиционных диаграмм Венна. Глубокий вывод позволяет учитывать скрытые взаимосвязи и неопределенности, что важно для анализа больших объемов данных. Практическая часть включала моделирование глубокого вывода с использованием диаграмм Пирса, что позволило студентам интегрировать логические связи с контекстуальными элементами. Вопросы о применении глубокого вывода к моральным дилеммам и научным гипотезам были перенесены на следующие заседания.
В мероприятии принимали участие студенты из РГГУ и ФНГ НИУ ВШЭ.
