Site programming by Marcin Junczys-Dowmunt



 
 
 

Historia Zakładu

From Zakład Logiki Stosowanej

(Różnice między wersjami)
Wersja z dnia 10:16, 14 sty 2007 (edytuj)
Admin (Dyskusja | wkład)
(New page: __TOC__ 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). O...)
← Poprzednia edycja
Wersja z dnia 12:27, 17 lut 2007 (edytuj) (undo)
Pogonowski (Dyskusja | wkład)
(Współpraca z innymi ośrodkami)
Następna edycja →
Linia 32: Linia 32:
==Współpraca z innymi ośrodkami== ==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). Ostatnio współpracuje 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; praca nad skryptem Metoda drzew semantycznych w klasycznym rachunku logicznym, wspólnie z dr Izabelą Bondecką-Krzykowską), 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).+'''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 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.

Wersja z dnia 12:27, 17 lut 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 Włodzimierz Lapis
  • dr Dorota Lipowska
  • dr Sławomir Sikora
  • dr Władysław Zabrocki
  • mgr inż. Marcin Junczys-Dowmunt.

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.

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.

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.

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. 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;
  • Pracownia Logiki i Kognitywistyki w Instytucie Psychologii UAM.