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

--------------------------------------------------------------
↪ Логика, лингвистика и формальная философия
18 октября (суббота) в 18:00 (GMT+3) состоится заседание научно-учебного семинара «Математическая логика и теория категорий» (online).

Тема доклада: Three applications of Zermelo's theorem on part-whole.

Докладчик: Paolo Mancosu (Willis S. and Marion Slusser Professor of Philosophy, Department of Philosophy, UC Berkeley).

Аннотация: The aim of the presentation is to give a general overview of the application of a result by Ernst Zermelo to three very different areas of investigation: abstraction principles in neologicism, the axiom of choice in second-order logic, and regularity properties in probability theory. The talk is based on three articles that have recently appeared (see bibliography).

Bibliography:
2019, (with Benjamin Siskind), "Neologicist Foundations: Inconsistent abstraction principles and part-whole", in Mras, Gabriele M.; Weingartner, Paul; Ritter, Bernhard (eds.), Philosophy of Logic and Mathematics: Proceedings of the 41st International Wittgenstein Symposium. De Gruyter, Berlin, Munich, Boston, 2019, pp. 215–248.
2023, (with Benjamin Siskind and Stewart Shapiro), "A note on choice principles in second-order logic", The Review of Symbolic Logic, 16(2), pp. 339-350.
2024, (with Guillaume Massas), "Totality, Regularity and Cardinality in Probability Theory", Philosophy of Science, 91, 721–740.
_________________________

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

Анонс и регистрация: https://llfp.hse.ru/announcements/1087905862.html

➰ ВК
More from @msu_mathlog
  1. Oct 2, 2026#матлог #спецсеминар #не_мехмат #МФТИ Уважаемые коллеги, приглашаем вас на логический семи…
  2. Oct 1, 2026#матлог #учёба #спецсеминар #не_мехмат #МИАН #ТД Семинар отдела математической логики МИАН…
  3. Sep 30, 2026#матлог #учёба #спецсеминар Kolmogorov seminar on complexity (for receive the zoom link, p…
  4. Sep 30, 2026#матлог #учёба #просеминар 💥В пятницу 2 октября состоится очередное занятие просеминара п…
  5. Sep 29, 2026#матлог #учёба #семинар #не_мехмат #ВШЭ Уважаемые коллеги, приглашаем вас принять участие…
  6. Sep 28, 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 →