Historia Zakładu
From Zakład Logiki Stosowanej
Spis treści |
Zakład Logiki Stosowanej został utworzony w 1995 roku w Instytucie Językoznawstwa UAM decyzją JM Rektora UAM (Zarządzenie nr 62/95 Rektora UAM z dnia 28 lutego 1995 roku).
Obecnie pracownikami Zakładu są:
- prof. zw. dr hab. Jerzy Pogonowski (kierownik)
- dr Włodzimierz Lapis
- dr Dorota Lipowska
- dr Sławomir Sikora
- dr Władysław Zabrocki
- mgr inż. Marcin Junczys-Dowmunt
- mgr Victoria Kamasa.
Staż naukowy w Zakładzie Logiki Stosowanej UAM w roku akademickim 2004-2005 odbywał dr Piotr Błaszczyk.
Skąd przychodzimy
Jerzy Pogonowski ukończył studia matematyczne (1969-1972 UAM, 1972-1974 Uniwersytet Warszawski). W 1995 roku JM Rektor UAM powierzył Jerzemu Pogonowskiemu sprawowanie opieki nad Zakładem Logiki Stosowanej UAM (do 31 sierpnia 2007 roku).
Włodzimierz Lapis ukończył studia matematyczne (UAM, 1985-1990). W Instytucie Językoznawstwa zatrudniony został w 1990 roku, rozprawę doktorską z językoznawstwa ogólnego obronił w 1999 roku. Pracuje nad habilitacją (kompletuje artykuły, bada zagadnienia związane z optymalizacją opisu zadanego zbioru obiektów i charakterystyki jego elementów, ze szczególnym odniesieniem do językoznawstwa). Pisze podręcznik do przedmiotu "Wstęp do matematyki".
Sławomir Sikora ukończył studia filozoficzne (UAM, 1984-1989). W Instytucie Językoznawstwa zatrudniony został w 1991 roku, rozprawę doktorską z językoznawstwa ogólnego obronił w 2000 roku. Jego zainteresowania badawcze dotyczą filozofii języka oraz pragmatyki logicznej.
Dorota Lipowska ukończyła studia matematyczne (UAM, 1976-1981). W Instytucie Językoznawstwa zatrudniona została w 1982 roku. Rozprawę doktorską z językoznawstwa ogólnego obroniła w 1988 roku. Po wyjazdach zagranicznych i urlopach wychowawczych powróciła do pracy w listopadzie 2003 roku. Jej zainteresowania badawcze dotyczą lingwistyki matematycznej i informatycznej.
Władysław Zabrocki ukończył studia filozoficzne (UAM, 1974-1978). W Instytucie Językoznawstwa zatrudniony został w 1979 roku. Rozprawę doktorską z językoznawstwa ogólnego obronił w 1987 roku. Do Zakładu Logiki Stosowanej przeszedł (z Zakładu Metodologii Lingwistyki) w 2004 roku. Jego zainteresowania badawcze dotyczą filozofii języka oraz metodologii badań językoznawczych. W 2007 roku opublikował książkę: Psychologizm i socjologizm w dziejach generatywno-transformacyjnej refleksji nad językiem naturalnym.
Marcin Junczys-Dowmunt ukończył studia germanistyczne w Akademii Bydgoskiej im. Kazimierza Wielkiego (2000-2005) oraz studia inżynierskie (informatyka) w Wyższej Szkole Informatyki w Łodzi (2000-2004). Od roku akademickiego 2005-2006 jest doktorantem w Zakładzie Logiki Stosowanej UAM. Jest także studentem matematyki. Jego zainteresowania badawcze dotyczą lingwistyki komputerowej.
Victoria Kamasa ukończyła studia z językoznawstwa i informacji naukowej w UAM (2006). Od roku akademickiego 2006-2007 jest doktorantką w Zakładzie Logiki Stosowanej UAM. Jest także studentką socjologii UAM. Jej zainteresowania badawcze dotyczą m.in. pragmatyki logicznej.
Piotr Błaszczyk jest adiunktem w Instytucie Matematyki Akademii Pedagogicznej im. KEN w Krakowie. W ramach urlopu naukowego (2004-2005) pracował nad rozprawą habilitacyjną z filozofii matematyki, poświęconą analizie rozumienia pojęcia ciągłości. Rozprawę tę ukończył w 2007 roku.
Współpraca z innymi ośrodkami
Jerzy Pogonowski współpracował z Instytutem Filozofii i Socjologii PAN w latach 1986-1990 (kierownictwo grupy tematycznej w ramach CPBP 08.15. Struktura logiczna rozumowań niesformalizowanych.). Dwukrotnie współpracował z Department of Linguistics, State University of New York at Buffalo (1978-1979 visiting research scholar, 1990 International Research Exchange Board). Jako stypendysta Alexander von Humboldt Stiftung współpracował z: Institut für Deutsche Philologie der Universität München (1983-1984) oraz z Fachbereich Philosophie der Universität Konstanz (2003). Pracował dodatkowo w Instytucie Matematycznym Polskiej Akademii Nauk (1977-1978, [1/2] etatu) oraz w Katedrze Matematyki Stosowanej Akademii Ekonomicznej w Poznaniu (1993-1994, umowa-zlecenie). Współpracował z krajowymi ośrodkami logicznymi: Zakładem Logiki Matematycznej Wydziału Matematyki i Informatyki UAM (współredakcja, wraz z prof. Romanem Murawskim monografii Euphony and Logos), Katedrą Podstaw Matematyki Instytutu Matematyki i Informatyki Uniwersytetu Opolskiego (udział w Seminarium Opolskim oraz projekcie badawczym KBN 2H01A 00725 Metody nieskończonościowe w teorii definicji prof. Janusza Czelakowskiego), Zakładem Logiki Instytutu Filozofii Uniwersytetu Warszawskiego (prace dotyczące twórczości Romana Suszki, wykonane w ramach projektu badawczego KBN nr 1H01A 01116 Logika niefregowska. Podstawy i zastosowania, kierowanego przez prof. Mieczysława Omyłę) oraz Katedrą Logiki i Metodologii Nauk Uniwersytetu Wrocławskiego (prace dotyczące twórczości Ernsta Zermela oraz paradoksu Skolema, wykonywane przy życzliwym wsparciu naukowym prof. Jana Zygmunta).
Dr Włodzimierz Lapis współpracuje z Prof. André Włodarczykiem (Francja) w realizacji międzynarodowego programu CASK, poświęconego teoretycznym i praktycznym zagadnieniom tłumaczenia tekstu z jednego języka na drugi.
Dr Dorota Lipowska współpracuje z Prof. Grażyną Demenko w ramach międzynarodowego projektu dotyczącego analizy i syntezy mowy. Nadto, wspólnie z Prof. Adamem Lipowskim zajmuje się symulacją komputerową (m.in. w badaniach dynamiki populacji).
Badania logiczne w Poznaniu
Informacje historyczne dotyczące badań logicznych prowadzonych w Poznaniu (do 1972 roku) znaleźć można np. w artykule Seweryny Łuszczewskiej-Romahnowej Logika, pomieszczonym w: G. Labuda (red.) Nauka w Wielkopolsce. Wydawnictwo Poznańskie, Poznań 1973, 190-198. Gotowy do druku jest także artykuł Romana Murawskiego i Jerzego Pogonowskiego Logical Investigations at the Poznań University in 1945-1955 prezentowany w 2003 roku podczas konferencji 50 years of Studia Logica.
W poznańskim środowisku akademickim pracowało w różnych okresach kilkoro znakomitych polskich logików, np. Zygmunt Zawirski, Kazimierz Ajdukiewicz, Roman Suszko, Seweryna Łuszczewska-Romahnowa, Adam Wiegner, Zygmunt Ziembiński.
Postacią, która miała największy wpływ na badania logiczne nad językiem prowadzone w Instytucie Językoznawstwa UAM jest bez wątpliwości Prof. Tadeusz Batóg, pracujący obecnie w Zakładzie Logiki Matematycznej UAM. Rozwój tychże badań byłby niemożliwy bez niezwykle stymulującej i twórczej działalności naukowej Prof. [ http://pl.wikipedia.org/w/index.php?title=Jerzy_Ba%C5%84czerowski&oldid=6287647 Jerzego Bańczerowskiego ], obecnego dyrektora Instytutu Językoznawstwa UAM, który poświęcił dziesiątki swych prac aksjomatycznym opisom języka naturalnego.
Zakład Logiki Stosowanej jest tylko niewielką częścią wspólnoty akademickiej zajmującej się w Poznaniu badaniami logicznymi. Innymi ośrodkami, w których prowadzi się takie badania, są:
- Zakład Logiki Matematycznej na Wydziale Matematyki i Informatyki UAM;
- Zakład Teorii Obliczeń na Wydziale Matematyki i Informatyki UAM;
- Zakład Lingwistyki Informatycznej i Sztucznej Inteligencji na Wydziale Matematyki i Informatyki UAM;
- Zakład Logiki i Metodologii Nauk w Instytucie Filozofii UAM;
- Zakład Logiki i Kognitywistyki w Instytucie Psychologii UAM;
- Instytut Informatyki, Politechnika Poznańska.
