Site programming by Marcin Junczys-Dowmunt



 
 
 
W innych językach: English | Deutsch

Historia Zakładu

From Zakład Logiki Stosowanej

(Różnice między wersjami)
Wersja z dnia 21:53, 8 paź 2007 (edytuj)
Pogonowski (Dyskusja | wkład)

← Poprzednia edycja
Wersja z dnia 11:57, 21 paź 2007 (edytuj) (undo)
Pogonowski (Dyskusja | wkład)
(Badania logiczne w Poznaniu)
Następna edycja →
Linia 55: Linia 55:
* [http://www.logika.amu.edu.pl Zakład Logiki Matematycznej] na Wydziale Matematyki i Informatyki UAM; * [http://www.logika.amu.edu.pl Zakład Logiki Matematycznej] na Wydziale Matematyki i Informatyki UAM;
-* [http://main.amu.edu.pl/~ztobl/ Zakład Teorii Obliczeń] na Wydziale Matematyki i Informatyki UAM;+* [http://www.staff.amu.edu.pl/~ztobl/ Zakład Teorii Obliczeń] na Wydziale Matematyki i Informatyki UAM;
-* [http://main.amu.edu.pl/~zlisi/ Zakład Lingwistyki Informatycznej i Sztucznej Inteligencji] na Wydziale Matematyki i Informatyki UAM;+* [http://www.staff.amu.edu.pl/~zlisi/ Zakład Lingwistyki Informatycznej i Sztucznej Inteligencji] na Wydziale Matematyki i Informatyki UAM;
* [http://www.staff.amu.edu.pl/~insfil/info/zaklady/logimat.htm Zakład Logiki i Metodologii Nauk] w Instytucie Filozofii UAM; * [http://www.staff.amu.edu.pl/~insfil/info/zaklady/logimat.htm Zakład Logiki i Metodologii Nauk] w Instytucie Filozofii UAM;

Wersja z dnia 11:57, 21 paź 2007

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 hab. Władysław Zabrocki
  • dr Włodzimierz Lapis
  • dr Dorota Lipowska
  • dr Sławomir Sikora
  • 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). Obowiązek ten przedłużono w 2007 roku do 31 sierpnia 2012 roku. Udzielono JP podwyżki w wysokości 10PLN (dziesięciu PLN).

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.

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.

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 absolwentką 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ę symulacjami komputerowymi (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. 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ą: