27 июня (пятница) в 18:30 состоится очередное заседание теоретического семинара «Формальная философия».

Тема доклада: Модальная логика Мойсила и родственные системы.

Докладчик: Сергей Одинцов (ведущий научный сотрудник Института математики им. С.Л. Соболева СО РАН).

Аннотация: Данный доклад посвящен статье румынского логика Григоре Мойсила "Modal Logic", которая была опубликована в 1942 году. В этой статье Мойсил постарался разработать теорию модальных операторов невозможности, случайности, необходимости и возможности опираясь на алгебраическую мотивацию. Фактически, Мойсил определил логику с двумя дуальными импликациями: одна из них образует резидуальную пару с конъюнкцией, а вторая с дизъюнкцей. Данная логика предвосхищает биинтуиционистскую логику С. Раушер. Среди других систем, введенных Мойсилом в данной работе, есть системы, эквивалентные логике цепей Даммета, следованию первого уровня (FDE) Белнапа и Дана, а такде логике Ляйтгеба HYPE.

Доклад основан на статье:
S. Drobyshevich, S.Odintsov, H.Wansing, Moisil's Modal Logic and Related Systems, in: K.Bimbo (Ed.) Relevance Logics and other Tools of Reasoning, Essays in Honor of J. Michael Dunn, College Publications, 2022
Ждём вас в кабинете А-117 или в Zoom!

Анонс: https://llfp.hse.ru/announcements/1059934095.html

27 июня (пятница) в 22:00 состоится семинар «Chá das 5» (Университет Кампинас).

Тема доклада: «Why is Frege not a Gricean?».

Докладчик: Рамазан Аюпов (стажер-исследователь МЛ ЛогЛинФФ)

Аннотация: In the year 2025, it marks the centenary of the demise of the classicist and founder of analytical philosophy, Gottlob Frege. One of the most pertinent themes for researchers of Frege is the question of the presence of pragmatic elements in his philosophy of language. This issue, on one hand, arose from the critique of Michael Dummett’s interpretation of Gottlob Frege [12]; on the other hand, it revolves around the neo-Gricean dispute between Lawrence Horn and Christopher Potts concerning the nature of conventional implicatures and presuppositions in linguistics.
Lawrence R. Horn, in his articles ([4], [5], [6]), analyses how Frege anticipated Grice’s understanding of conventional implicatures. Frege engaged in the analysis of meanings that do not affect the truth or falsity of a statement, which was later developed into Grice’s conception of implicatures. Horn discusses Frege’s views on the differences in meaning introduced by words such as although, but, and still, which add layers of meaning without altering the truth value of the sentence. Furthermore, Frege adhered to a strict interpretation of the term presupposition (Voraussetzung), limiting its application to proper names. Frege’s principal idea was that presuppositions are associated with potential truth-value gaps that arise when proper names fail to refer. This creates situations where a statement cannot be true or false...

C полной аннотацией можно ознакомиться в анонсе: https://llfp.hse.ru/announcements/1061106739.html

Ссылка для подключения: meet.google.com/otb-fmnu-dch