Historia Zakładu

From Zakład Logiki Stosowanej

(Różnice między wersjami)

Wersja z dnia 15:48, 17 lut 2007

Spis treści

1 Skąd przychodzimy
2 Współpraca z innymi ośrodkami
3 Badania logiczne w Poznaniu

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.

Źródło: "http://logic.amu.edu.pl/index.php/Historia_Zak%C5%82adu"