Zaproszenie na otwarty wykład prof. Alego Enayata, zatytułowany „Gauging the logical power of truth”

Serdecznie zapraszamy na otwarty wykład prof. Alego Enayata, zatytułowany „Gauging the logical power of truth”. Wykład będzie prowadzony w języku angielskim i jest przeznaczony dla szerokiej publiczności.

Termin: 10 grudnia, 16:45-18:15

Wykład będzie miał charakter hybrydowy (istnieje możliwość wysłuchania wykładu zarówno w sali jak zdalnie).

• stacjonarnie: sala 116, Krakowskie Przedmieście 3, Wydział Filozofii UW.
• zdalnie: https://us02web.zoom.us/j/82373551401?pwd=Sk80d3p0SG1zaGRFSlRremxZbmFCdz09

Abstrakt: The topic of this talk is the „logical distance”, measured in several syntactic and semantic ways, between F and F + P, where F is a foundational theory such as PA [Peano Arithmetic] or ZF [Zermelo-Fraenkel Set Theory], and P [for Prawda] is a set of „truth axioms” involving a new predicate T(x), where the intended interpretation of T(x) is „x is true”.

Understanding the logical distance between F and F + P (for various choices of F and P) has kept generations of logicians busy ever since Tarski’s pioneering work on the subject in the 1930s. I will present some of the most notable results and turning points, with special emphasis on quite recent developments.

Pobyt prof. Enayata jest organizowany w ramach Programu zintegrowanych działań na rzecz rozwoju Uniwersytetu Warszawskiego  i  finansowany ze środków Europejskiego Funduszu Społecznego.