Thursday 13 December 2018
8.00-8.45 Morning coffee
8.45 Opening Address Zbigniew Król (Dean of the Faculty of Administration and Social Sciences of the Warsaw University of Technology)
9.00-9.30 Elżbieta Kałuszyńska, Czas pragmatyki
9.30-10.00 Krzysztof Wójtowicz, Empiryczne aspekty dowodów matematycznych
10.00-10.30 Zbigniew Król, Fenomenologia i metody formalne
10.30-11.00 Cezary Cieśliński, Prawda a spełnianie
11.00-12.00 Coffee break
12.00-12.30 Roman Morawski, Pomiar a modelowanie matematyczne
12.30-13.00 Ian Pratt-Hartmann, The Return of the Syllogism
13.00-13.30 Piotr Błaszczyk, O problemach Mac Lane’a z liczbami rzeczywistymi
13.30-14.00 Bartłomiej Skowron & Wiesław Kubiś, Negowanie jako odwracanie
14.00-16.00 Lunch
16.00-16.30 Marcin Miłkowski, Mechanicyzm a unifikacja teoretyczna
16.30-17.00 Szymon Miłkoś, Z prób rekonstytucji metafizyki Flecka – konstytutywny i etiologiczny mechanizm nauki
17.00-17.30 Janusz Kaczmarek, Ontologia i hermeneutyka topologiczna
17.30-18.00 Mateusz Kotowski, O stagnacji w sporze o realizm naukowy
18.30 – Gala dinner
Friday 14 December 2018
9.00-9.30 Wojciech Grygiel, Albert Einstein: rzeczywistość fizyczna jako program
9.30-10.00 Marek Woszczek, Czy pojęcie kwantowego stanu układu ma sens?
10.00-10.30 Jan Czerniawski, Specyfika zjawisk kwantowych a twierdzenie Bella
10.30-11.00 Agnieszka Proszewska, Michał Białończyk Powrót do tezy Edmondsa: perspektywa kwantowa
11.00-12.00 Coffee break
12.00-12.30 Anna Wójtowicz, Gry oparte na umiejętnościach i gry losowe
12.30-13.00 Jan Hauska, Dyspozycyjne podstawy nowych teorii modalności
13.00-13.30 Arkadiusz Wójcik, Paradoks Fitcha a fuzje logik modalnych
13.30-16.00 Lunch
16.00-16.30 Andrzej Biłat, O semantycznych własnościach teorii ontologicznych
16.30-17.00 Tomasz Bigaj, Tożsamość przedmiotów trwających w czasie a filozofia fizyki
17.00-17.30 Kordula Świętorzecka, Mapa gödlowskich argumentów ontologicznych: kryteria, rodzaje
17.30-18.00 Witold Marciszewski, “More geometrico” – program ontologii formalnej w wykonaniu Leibniza w kosmologicznym dowodzie istnienia Boga
18.00 Closing Address: Marek Kuś (Director of the International Center for Formal Ontology)