Osnova sekce

  • Úvod

    Sbalit vše Rozbalit vše

  • Zuzana Haniková: Theory of finite sets and Peano arithmetic (Feb 22, 2024 - March 7, 2024)

    This minicourse is based on Kaye and Wong's paper "On Interpretations of Arithmetic and Set Theory". It concerns the Ackermann's interpretation of the theory of hereditarily finite sets in PA and the role of some set theory axioms in it. We will also revisit some material related to Vopěnka's Alternative set theory, where similar phenomena were observed.

    First talk slides: pa_zffin.pdf.
    Second talk slides: pa_zffinII.pdf
    Third talk slides: pa_zffinIII.pdf

    The slides give a guide to the remaining reading material.

    • Materials Složka
      Studenti musí
      Označit jako hotovo

  • Chris Lambie-Hanson: Well-orderings in logic and mathematics

    Though not as glamorous as some of its relatives, the notion of well-ordering is arguably one of the most important and useful ideas in mathematical logic and set theory, lying at the heart of a number of important breakthroughs over the last 150 years. We will survey the valuable role that well-orderings and the Well-Ordering Theorem have played in the development of the modern foundations of mathematics and in applications of logic and set theory to other areas of mathematics. We will cover over 100 years of research, from the late 19th century to the present day, along the way investigating the roles that well-orderings play in connection with constructions of pathological mathematical objects, infinitary logics, questions of definability, large cardinals, and infinite games.

  • Vladimir Svoboda: Deontic Logic from a Bird’s Eye Perspective

    • Slides Soubor
      Studenti musí
      Označit jako hotovo

  • Vit Puncochar: Logic of questions

    • Slides I Soubor
      Studenti musí
      Označit jako hotovo
    • Slides II Soubor
      Studenti musí
      Označit jako hotovo

  • Igor Sedlar: Logic in computer science

    We look at some applications of logic in computer science. In particular, we'll give an introduction to modal logic and then discuss some of its applications: epistemic logic, dynamic logic, and temporal logic.

     References:

     [1] David Harel, Dexter Kozen, and Jerzy Tiuryn. 2000. Dynamic Logic. MIT Press. DOI:https://doi.org/10.7551/mitpress/2516.001.0001

    [2] Michael Huth and Mark Ryan. 2004. Logic in Computer Science. Modelling and Reasoning about Systems (2nd ed.). Cambridge University Press. DOI:https://doi.org/10.1017/cbo9780511810275

    [3] Patrick Blackburn, Maarten de Rijke, and Yde Venema. 2001. Modal Logic. Cambridge University Press, Cambridge. DOI:https://doi.org/10.1017/cbo9781107050884

    [4] Ronald Fagin, Joseph Y. Halpern, Yoram Moses, and Moshe Y. Vardi. 1995. Reasoning About Knowledge. MIT Press. DOI:https://doi.org/10.7551/mitpress/5803.001.0001


  • Stella Moon: Logic and Foundations of Mathematics: Set Theory and Type Theory

    • Slides Soubor
      Studenti musí
      Označit jako hotovo