W dniu 14 stycznia 2019 roku z okazji I Światowego Dnia Logiki zapraszamy na seminarium, które odbędzie się w Instytucie Filozofii UKSW, przy ul. Wóycickiego 1/3 w Warszawie, w sali nr 101 o godz. 10:00.

Inicjatorem ustanowienia daty 14 stycznia jako daty celebrowania Światowego Dnia Logiki, jest prof. Jean-Yves Beziau, który pomysł rozpowszechnił po całym świecie. (http://www.logica-universalis.org/wld).

Program:

• 10:00 - Przywitanie i otwarcie obrad
• 10:05-10:45 - prof. dr hab. Urszula Wybraniec-Skardowska, Pierwsze aksjomatyczne teorie Tarskiego formalizujące metalogikę i ich rozwinięcia
• 10:50-11:30 - dr hab. Marian Turzański, prof. UKSW, O metodzie Bolzano-Weierstrassa
• 11:35-12:05 - dr Konrad Zdanowski, O błędnych kołach
• 12:10-12:40 - dr Marek Porwolik, O pewnej modyfikacji twierdzenia dotyczącego rodziny niezależnej
• 12:45 – 13:15 - mgr Marcin Łyczak, Logika zmian modalnych LMC
• 13:20 – 13:50 - Grażyna Weremczuk, Teoria obiektów abstrakcyjnych Edwarda Zalty. Logika i aksjomaty specyficzne