Pracownia Logiki i Filozofii Informatyki

Pracownicy jednostki prowadzą badania naukowe w zakresie:

  • logiki matematycznej,
  • filozofii informatyki,
  • historii obliczeń oraz historii informatyki,
  • filozofii matematyki,
  • lingwistyki matematycznej,
  • filozofii i historii matematyki,
  • dydaktyki informatyki,
  • robotyki edukacyjnej.

Strona archiwalna: www.logika.amu.edu.pl

Historia Zakładu Logiki

1929 - utworzono Katedrę Teorii i Metodologii Nauk na Wydziale Matematyczno–Przyrodniczym, kierownik: Zygmunt Zawirski

1937 - Zawirski przenosi się do Krakowa na Uniwersytet Jagielloński

1937–1939 Katedra nie zostaje obsadzona (sprawa ewentualnej kandydatury Alfreda Tarskiego na kierownika Katedry)

1945 - kierownikiem Katedry Teorii i Metodologii Nauk zostaje Kazimierz Ajdukiewicz

1951 - Wydział Matematyczno–Przyrodniczy przekształcony w Wydział Matematyki, Fizyki i Chemii, Katedra Teorii i Metodologii Nauk przekształcona w Katedrę Logiki

1955 - K. Ajdukiewicz przenosi się do Warszawy, kierownikiem Katedry Logiki zostaje Seweryna Łuszczewska-Romahnowa

1969 - utworzono Instytut Matematyki (w miejsce Katedry Matematyki I i Katedry Matematyki II), Katedra Logiki przekształcona w Zakład Logiki Matematycznej

1974 - kierownikiem Zakładu Logiki Matematycznej zostaje Tadeusz Batóg

1993 - z Zakładu Logiki Matematycznej wyewoluowały Zakład Teorii Obliczeń (kierownik: Wojciech  Buszkowski) oraz Zakład Lingwistyki Informatycznej i Sztucznej Inteligencji (kierownik: Zygmunt  Vetulani)

1996 - kierownikiem Zakładu Logiki Matematycznej zostaje Roman Murawski

2020 - Zakład Logiki Matematycznej i Zakład Teorii Obliczeń zostają połączone w Zakład Logiki Matematycznej, kierownik: Wojciech Buszkowski

2024 - likwidacja Zakładu Logiki Matematycznej

2025 - utworzenie Pracowni Logiki i Filozofii Informatyki, kierownik: Izabela Bondecka-Krzykowska

Źródło: R. Murawski, Logika na uniwersytecie w Poznaniu, Nauka Polska. Jej Potrzeby Organizacja i Rozwój, XXVIII (LIII) (2019), 19–35.

Zakład Logiki Matematycznej

Pracownicy jednostki biorą udział w następujących seminariach:

Izabela Bondecka-Krzykowska: link do katalogu

Maciej Kandulski: link do katalogu

Barbara Kołodziejczak: link do katalogu

Mirosława Kołowska-Gawiejnowicz: link do katalogu

Pracownicy