Historia Zakładu

From Zakład Logiki Stosowanej

(Różnice między wersjami)

Wersja z dnia 08:24, 2 cze 2015

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 i doktorantami Zakładu są:

dr Victoria Kamasa
dr hab. Włodzimierz Lapis
dr Dorota Lipowska
prof. zw. dr hab. Jerzy Pogonowski (kierownik, do 30 września 2015 roku)
dr Sławomir Sikora
mgr Ida Stria
mgr Paulina Wandas
mgr Anna Wartecka
prof. UAM dr hab. Władysław Zabrocki.

Doktorantami w Zakładzie Logiki Stosowanej UAM byli:

dr Bogumiła Góral (2009-2014)
dr Marcin Junczys-Dowmunt (2005-2009)
dr Michał Lipnicki (2009-2014)
mgr Michał Jahns.

Staż naukowy w Zakładzie Logiki Stosowanej UAM w roku akademickim 2004-2005 odbywał dr hab. 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. Obowiązek ten przedłużono w 2007 roku do 31 sierpnia 2012 roku, udzielając JP podwyżki w wysokości 10PLN (dziesięciu PLN). Obowiązek ten przedłużono w 2012 roku do 31 sierpnia 2017 roku.
W marcu 2015 roku (pismo KO-2743-2014/2015 z 3 marca 2015 roku) pracownik Jerzy Pogonowski został przeniesiony (od 1 października 2015 roku) przez Władze Rektorskie UAM do Instytutu Psychologii UAM na Wydziale Nauk Społecznych UAM (do Zakładu Logiki i Kognitywistyki UAM).
W związku z tym przeniesieniem JM Rektor UAM odwołał pracownika Jerzego Pogonowskiego z funkcji Kierownika Zakładu Logiki Stosowanej UAM z dniem 30 września 2015 roku (pismo KO-3121-2014/2015 z 10 marca 2015 roku).

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 zatytułowaną "wybrane problemy algorytmizacji i automatyzacji opisów fonologicznych" (promotor: prof. dr hab. Jerzy Pogonowski) obronił w 1999 roku. Habilitację sfinalizował w 2015 r. w oparciu o wcześniejszy dorobek oraz dysertację z 2014 r. "Semantyczne i syntaktyczne aspekty dystynktywności" (opisane są w niej zagadnienia związane z optymalizacją opisu zadanego zbioru obiektów i charakterystyki jego elementów, ze szczególnym odniesieniem do językoznawstwa). Napisał podręczniki do przedmiotu "Wstęp do matematyki" i do "Lingwistyki matematycznej".

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.

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.

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). W latach 2005-2009 był doktorantem w Zakładzie Logiki Stosowanej UAM.

Victoria Kamasa ukończyła studia z językoznawstwa i informacji naukowej w UAM (2006). W latach 2006-2010 była doktorantką w Zakładzie Logiki Stosowanej UAM. Obecnie jest zatrudniona na stanowisku adiunkta w tym samym Zakładzie.Jest także absolwentką socjologii na UAM oraz podyplomowych studiów Akademia Trenera na WSB. Jej zainteresowania badawcze dotyczą m.in. pragmatyki logicznej oraz krytycznej analizy dyskursu.

Piotr Błaszczyk jest profesorem 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. Uzyskała ona nagrodę ministerialną w 2009 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łę), 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) oraz Zakładem Logiki i Kognitywistyki UAM (prace z prof. Andrzejem Wiśniewskim, dotyczące niezupełności systemów pytań). W roku akademickim 2009-2010 prowadził wykład Metalogika dla doktorantów Instytutu Filozofii Uniwersytetu Opolskiego (umowa-zlecenie). W latach 2011-2013 był wykonawcą w projekcie badawczym Ciągłość i liczby rzeczywiste. Edoksos-Dedekind-Conway (kierowanym przez prof. Piotra Błaszczyka) w Instytucie Matematyki Uniwersytetu Pedagogicznego im. KEN w Krakowie.

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. Informacje historyczne podaje 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 (Methodisches Denken im Kontext, P.Bernhard und V.Peckhaus (Eds.), mentis Verlag, Paderborn, 2008, 239-254).

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 (do emerytury) 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, wieloletniego 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: "https://logic.amu.edu.pl/index.php/Historia_Zak%C5%82adu"

Kategoria: Pracownicy