8. Światowy Dzień Logiki (14.01.2026)

Dziś 14 stycznia, czyli ŚWIATOWY DZIEŃ LOGIKI. Z tej okazji odbywa się organizowana przez prof. Annę Brożek konferencja o encyklopedii SLW i o logikach polskich , a także LOGICZNE POPOŁUDNIE z młodą kadrą naszych logików. Do tego po raz kolejny wywiesiliśmy LOGICZNE PRANIE, by zorientować się, jakie ciekawe wyniki badań związanych z logiką udało nam się ostatnio opublikować. Zapraszamy do wspólnego świętowania!

Konferencja składać się będzie z trzech spotkań: Dyskusji wokół Encyklopedii SLW (9.30-11.30) oraz dyskusji „Why is Logic a Polish Speciality” (13.00-15:00); spotkania „Secrets of the Scottish Café” (17.30-20.00). Szczegóły dot. konferencji można znaleźć na stronie FB Centrum Badań nad Tradycją Szkoły Lwowsko-Warszawskiej: https://www.facebook.com/LvovWarsawSchool oraz na plakatach poniżej.

Oto zaś program Logicznego Popołudnia:

15.00-15.30 Michał Gil-Sanchez „Problemy z algebraizacją logiki pierwszego rzędu”
15.30-15.45 Maja Walkiewicz „Własności prawdy w teorii CD”
15.45-16.15 Bartosz Wcisło „Paradoksy semantyczne dla pojęcia zdeterminowania zdań.”
16.15-16.30 przerwa
16.30-17.00 Michał Wrocławski „Notacje akceptowalne i bardziej akceptowalne”
17.00-17:30 Dariusz Kalociński „Strukturalna charakteryzacja pierwotnie rekurencyjnej akceptowalności”
17:30-17.45 Mikołaj Skawiński TBA
17.45-18.00 przerwa
18.00-18.30 Piotr Gruza „Określoność w logice pierwszego rzędu”
18.30-19.00 Katarzyna Kowalik „Jak mierzyć siłę logiczną liczbami porządkowymi”