Historia Zakładu
From Zakład Logiki Stosowanej
| Wersja z dnia 15:41, 17 lut 2007 (edytuj) Pogonowski (Dyskusja | wkład) ← Poprzednia edycja |
Aktualna wersja (15:01, 20 wrz 2020) (edytuj) (undo) Lipowska (Dyskusja | wkład) |
||
| (78 intermediate revisions not shown.) | |||
| Linia 1: | Linia 1: | ||
| + | [[en:History_of_the_Department]] | ||
| + | [[de:Geschichte_des_Lehrstuhls]] | ||
| __TOC__ | __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). | 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ą: | + | Obecnie pracownikami i doktorantami Zakładu są: |
| - | * prof. zw. dr hab. Jerzy Pogonowski (kierownik) | + | * dr Victoria Kamasa |
| - | * dr Włodzimierz Lapis | + | * dr hab. Włodzimierz Lapis |
| * dr Dorota Lipowska | * dr Dorota Lipowska | ||
| * dr Sławomir Sikora | * dr Sławomir Sikora | ||
| - | * dr Władysław Zabrocki | + | * mgr Anna Wartecka |
| - | * mgr inż. Marcin Junczys-Dowmunt | + | * prof. UAM dr hab. Władysław Zabrocki (kierownik). |
| - | * mgr Victoria Kamasa. | + | |
| - | Staż naukowy w Zakładzie Logiki Stosowanej UAM w roku akademickim 2004-2005 odbywał dr Piotr Błaszczyk. | + | Doktorantami w Zakładzie Logiki Stosowanej UAM byli: |
| - | ==Skąd przychodzimy== | + | * dr Bogumiła Góral (2009-2014) |
| + | * dr Marcin Junczys-Dowmunt (2005-2009) | ||
| + | * dr Michał Lipnicki (2009-2014) | ||
| + | * dr Ida Stria (2011-2016) | ||
| + | * mgr Michał Jahns | ||
| + | * mgr Paulina Wandas | ||
| - | '''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). | + | Staż naukowy w Zakładzie Logiki Stosowanej UAM w roku akademickim 2004-2005 odbywał dr hab. Piotr Błaszczyk. W latach 1995-2015 pracownikiem Zakładu Logiki Stosowanej UAM był prof. dr hab. Jerzy Pogonowski. |
| - | '''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". | + | ==Przychodzimy, odchodzimy...== |
| + | |||
| + | '''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. Habilitację uzyskała w 2019 r. na podstawie monografii ''Komputerowe modelowanie ewolucji języka''. Jej zainteresowania badawcze dotyczą obecnie głównie lingwistyki ewolucyjnej. Prowadzi badania za pomocą symulacji komputerowych systemów wieloagentowych, wykorzystując modele gier językowych do analizy problemu wyłaniania się konwencji językowych i ich uzgadniania w obrębie populacji. Podobnych modeli tzw. dynamiki zgodności używa też w badaniach niektórych zjawisk fizycznych (we współpracy z prof. Adamem Lipowskim). | ||
| '''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. | '''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. | + | '''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. |
| - | '''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). W latach 2005-2009 był doktorantem w Zakładzie Logiki Stosowanej UAM. Obecnie jest adiunktem w Pracowni Systemów Informacyjnych na Wydziale Matematyki i Informatyki UAM. |
| - | '''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. | + | '''Michał Lipnicki''' ukończył studia z językoznawstwa i informacji naukowej (UAM 2009). W latach 2009-2014 był doktorantem w Zakładzie Logiki Stosowanej UAM. W 2014 roku obronił rozprawę doktorską ''Językowe i filozoficzne uwarunkowania logiki buddyjskiej''. Obecnie pracuje na stanowisku projektanta systemów komputerowych w Poznańskim Centrum Superkomputerowo-Sieciowym. |
| - | '''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. | + | '''Bogumiła Góral''' obroniła w 2014 roku rozprawę doktorską ''Pejzaż językowy Kaszub jako wykładnik tożsamości etnicznej. Studium socjolingwistyczne'' (promotor: prof. Władysław Zabrocki). Obecnie pracuje w Zakładzie Lingwistyki i Translacji (Katedra Neofilologii, Wydział Humanistyczny Politechniki Koszalińskiej). |
| - | '''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. | + | '''Ida Stria''' ukończyła etnolingwistykę (2011) oraz filologię szwedzką (2012) na UAM. Była doktorantką w Zakładzie Logiki Stosowanej UAM w latach 2011-2016. Obroniła rozprawę doktorską ''Towards a linguistic worldview for artificial languages'' (UAM, 2016). Obecnie pracuje w Instytucie Lingwistyki Stosowanej (Wydział Lingwistyki Stosowanej) na Uniwersytecie Warszawskim. |
| - | ==Współpraca z innymi ośrodkami== | + | '''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. |
| - | '''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). | + | '''Jerzy Pogonowski''' ukończył studia matematyczne (Uniwersytet Warszawski, 1974). Staż odbył w Zakładzie Logiki Matematycznej UAM (1974-1975). Kierował Zakładem Logiki Stosowanej UAM w latach 1995-2015. Został przeniesiony do Zakładu Logiki i Kognitywistyki UAM (pismo KO-2743-2014/2015 z 3 marca 2015 roku). |
| - | '''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. | + | ==Współpraca z innymi ośrodkami== |
| - | '''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). | + | '''Dr hab. 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 hab. Dorota Lipowska''' wspólnie z Prof. Adamem Lipowskim (Wydział Fizyki UAM) zajmuje się symulacjami komputerowymi (m.in. w badaniach dynamiki populacji czy ewolucji języka). | ||
| == Badania logiczne w Poznaniu == | == 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. | + | 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. | 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. | + | 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. [http://www.logika.amu.edu.pl/batog_dane.php 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. [http://pl.wikipedia.org/w/index.php?title=Jerzy_Ba%C5%84czerowski&oldid=6287647 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 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; | + | * [http://www.logika.amu.edu.pl Zakład Logiki Matematycznej] na Wydziale Matematyki i Informatyki UAM; |
| + | |||
| + | * [http://www.staff.amu.edu.pl/~ztobl/ Zakład Teorii Obliczeń] na Wydziale Matematyki i Informatyki UAM; | ||
| - | * Zakład Teorii Obliczeń 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; |
| - | * Zakład Lingwistyki Informatycznej i Sztucznej Inteligencji na Wydziale Matematyki i Informatyki UAM; | + | * [http://filozofia.amu.edu.pl/struktura-instytutu/zaklad-logiki-i-metodologii-nauk/ Zakład Logiki i Metodologii Nauk] w Instytucie Filozofii UAM; |
| - | * Zakład Logiki i Metodologii Nauk w Instytucie Filozofii UAM; | + | * [http://www.kognitywistyka.amu.edu.pl Zakład Logiki i Kognitywistyki] w Instytucie Psychologii UAM; |
| - | * Zakład Logiki i Kognitywistyki w Instytucie Psychologii UAM; | + | * [http://www.cs.put.poznan.pl/homeP.html Instytut Informatyki], Politechnika Poznańska. |
| - | * Instytut Informatyki, Politechnika Poznańska. | + | [[Category:Pracownicy]] |
Aktualna wersja
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 i doktorantami Zakładu są:
- dr Victoria Kamasa
- dr hab. Włodzimierz Lapis
- dr Dorota Lipowska
- dr Sławomir Sikora
- mgr Anna Wartecka
- prof. UAM dr hab. Władysław Zabrocki (kierownik).
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)
- dr Ida Stria (2011-2016)
- mgr Michał Jahns
- mgr Paulina Wandas
Staż naukowy w Zakładzie Logiki Stosowanej UAM w roku akademickim 2004-2005 odbywał dr hab. Piotr Błaszczyk. W latach 1995-2015 pracownikiem Zakładu Logiki Stosowanej UAM był prof. dr hab. Jerzy Pogonowski.
[edytuj] Przychodzimy, odchodzimy...
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. Habilitację uzyskała w 2019 r. na podstawie monografii Komputerowe modelowanie ewolucji języka. Jej zainteresowania badawcze dotyczą obecnie głównie lingwistyki ewolucyjnej. Prowadzi badania za pomocą symulacji komputerowych systemów wieloagentowych, wykorzystując modele gier językowych do analizy problemu wyłaniania się konwencji językowych i ich uzgadniania w obrębie populacji. Podobnych modeli tzw. dynamiki zgodności używa też w badaniach niektórych zjawisk fizycznych (we współpracy z prof. Adamem Lipowskim).
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.
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.
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. Obecnie jest adiunktem w Pracowni Systemów Informacyjnych na Wydziale Matematyki i Informatyki UAM.
Michał Lipnicki ukończył studia z językoznawstwa i informacji naukowej (UAM 2009). W latach 2009-2014 był doktorantem w Zakładzie Logiki Stosowanej UAM. W 2014 roku obronił rozprawę doktorską Językowe i filozoficzne uwarunkowania logiki buddyjskiej. Obecnie pracuje na stanowisku projektanta systemów komputerowych w Poznańskim Centrum Superkomputerowo-Sieciowym.
Bogumiła Góral obroniła w 2014 roku rozprawę doktorską Pejzaż językowy Kaszub jako wykładnik tożsamości etnicznej. Studium socjolingwistyczne (promotor: prof. Władysław Zabrocki). Obecnie pracuje w Zakładzie Lingwistyki i Translacji (Katedra Neofilologii, Wydział Humanistyczny Politechniki Koszalińskiej).
Ida Stria ukończyła etnolingwistykę (2011) oraz filologię szwedzką (2012) na UAM. Była doktorantką w Zakładzie Logiki Stosowanej UAM w latach 2011-2016. Obroniła rozprawę doktorską Towards a linguistic worldview for artificial languages (UAM, 2016). Obecnie pracuje w Instytucie Lingwistyki Stosowanej (Wydział Lingwistyki Stosowanej) na Uniwersytecie Warszawskim.
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.
Jerzy Pogonowski ukończył studia matematyczne (Uniwersytet Warszawski, 1974). Staż odbył w Zakładzie Logiki Matematycznej UAM (1974-1975). Kierował Zakładem Logiki Stosowanej UAM w latach 1995-2015. Został przeniesiony do Zakładu Logiki i Kognitywistyki UAM (pismo KO-2743-2014/2015 z 3 marca 2015 roku).
[edytuj] Współpraca z innymi ośrodkami
Dr hab. 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 hab. Dorota Lipowska wspólnie z Prof. Adamem Lipowskim (Wydział Fizyki UAM) zajmuje się symulacjami komputerowymi (m.in. w badaniach dynamiki populacji czy ewolucji języka).
[edytuj] 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.
