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