TGViewer
Кафедра математической логики и теории алгоритмов мехмата МГУ Кафедра математической логики и теории алгоритмов мехмата МГУ @msu_mathlog · 341 subscribers
Post #197 223
#матлог

--------------------------------------------------------------
↪ Логика, лингвистика и формальная философия
11 апреля (пятница) в 18.30 состоится очередное заседание исследовательского семинара "Формальная философия".

Тема доклада: Black Boxes: The Semantics and Logic of Obliterative Modalities.

Докладчик: Элиа Дзардини.

Аннотация: If we wish to analyse knowability (and similar notions) in terms of some kind of possibility of knowledge, troubles quickly arise if the possibility in question is supposed to obey some very basic modal principles (like law 4 or the law of distribution). In this paper, I first provide an informal explanation of the notion of possibility in question. I then proceed to show how this informal explanation can be turned into a natural formal possible-world semantics with a multiplicity of accessibility relations, which gives rise to a nonregular modal logic that avoids the above-mentioned troubles. After introducing a sound and complete axiomatization of the logic, I close by mentioning some philosophically interesting directions in which the basic system can be extended or modified.

Ждём вас в кабинете А-117 или в Zoom!

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

➰ ВК
  • ❤ 1
More from @msu_mathlog
  1. Oct 5, 2026#матлог #учёба #спецсеминар 7 октября 2026 г. состоится заседание Рабочего семинара по мат…
  2. Oct 2, 2026#матлог #спецсеминар #не_мехмат #МФТИ Уважаемые коллеги, приглашаем вас на логический семи…
  3. Oct 1, 2026#матлог #учёба #спецсеминар #не_мехмат #МИАН #ТД Семинар отдела математической логики МИАН…
  4. Sep 30, 2026#матлог #учёба #спецсеминар Kolmogorov seminar on complexity (for receive the zoom link, p…
  5. Sep 30, 2026#матлог #учёба #просеминар 💥В пятницу 2 октября состоится очередное занятие просеминара п…
  6. Sep 29, 2026#матлог #учёба #семинар #не_мехмат #ВШЭ Уважаемые коллеги, приглашаем вас принять участие…
Threads Profile ViewerView any public Threads profile without an account.Open ThreadLook →Writing with AI? Make it sound human.Metric37 rewrites AI drafts so they read naturally. Free AI detector, 1,500 words free.Try Metric37 →