Logika i historia logiki
Transkrypt
Logika i historia logiki
Program Szczegółowy Zjazdu – Dzień Czwarty Logika i historia logiki SALA Gamma Prowadzący obrady: Andrzej Wiśniewski 11.30–12.00 13.30–14.00 Roman Murawski, Henryk Struve i Władysław Biegański – na progu nowej logiki Gabriela Besler, Tematyka korespondencji naukowej Gottloba Fregego z Davidem Hilbertem w latach 1895–1903 Ryszard Miszczyński, Droga Stanisława Leśniewskiego od intuicji do formalizmu Tomasz Albiński, Znaczenie idei logicznych Avicenny dla logiki średniowiecznej oraz kultury arabskiej Mateusz Firlej, Metafizyka w programie pozytywizmu logicznego 14.00–16.00 przerwa obiadowa 12.00–12.30 12.30–13.00 13.00–13.30 Prowadzący obrady: Andrzej Wiśniewski 16.00–16.30 16.30–17.00 17.00–17.30 17.30–18.00 130 Paweł Łupkowski, Modelowanie dialogów prowadzonych w poszukiwaniu informacji z wykorzystaniem erotetycznych scenariuszy poszukiwań Katarzyna Paluszkiewicz, Uogólnione pytania koniunkcyjne jako przykład pytań maksymalnie informatywnych w logikach modalnych S4, KDE4 i S5 Rafał Szczepiński, Metoda pytań sokratycznych dla niektórych logik wielowartościowych Andrzej Gajda, Szymon Chlebowski, Abdukcyjny System Pytanie – Odpowiedź dla normalnych logik modalnych