Geschichte des Lehrstuhls
Aus Lehrstuhl für Angewandte Logik
Der Lehrstuhl für Angewandte Logik wurde 1995 am Sprachwissenschaftlichen Institut der Adam Mickiewicz Universität in Posen eingerichtet. Üblicherweise finden sich Fachbereiche wie dieser im Umfeld entweder mathematischer oder philosophischer Fakultäten. Insofern ist unser Lehrstuhl eine kleine Besonderheit im akademischen Landschaftsbild.
Inhaltsverzeichnis |
Mitarbeiter des Lehrstuhl
- Dr. Hab. Władysław Zabrocki (Lehrstuhlinhaber)
- Dr. Victoria Kamasa
- Dr. Hab. Włodzimierz Lapis
- Dr. Dorota Lipowska
- Dr. Sławomir Sikora
- Mag. Ida Stria
- Mag. Paulina Wandas
- Mag. Anna Wartecka.
Woher wir kommen
Jerzy Pogonowski studierte Mathematik (1969-1972 Adam Mickiewicz Universität, 1972-1974 Warschauer Universität). Seit 1995 darf er den Lehrstuhl für Angewandte Logik leiten.
Władysław Zabrocki studierte Philosophie (1974-1978, Adam Mickiewicz Universität). Er wurde 1979 vom Sprachwissenschaftlichen Institut der Adam Mickiewicz Universität eingestellt und verteidigte seine Dissertation hier 1987.
Włodzimierz Lapis studierte Mathematik (1985-1990, Adam Mickiewicz Universität). Er wurde 1990 vom Sprachwissenschaftlichen Institut der Adam Mickiewicz Universität eingestellt und verteidigte seine Dissertation hier 1999.
Dorota Lipowska studierte Mathematik (1976-1981, Adam Mickiewicz Universität). Sie wurde 1982 vom Sprachwissenschaftlichen Institut der Adam Mickiewicz Universität eingestellt und verteidigte ihre Dissertation hier 1988.
Sławomir Sikora studierte Philosophie (1984-1989, Adam Mickiewicz Universität). Er wurde 1991 vom Sprachwissenschaftlichen Institut der Adam Mickiewicz Universität eingestellt und verteidigte seine Dissertation hier 2000.
Victoria Kamasa studierte Sprachwissenschaft und Informatik (2001-2006) und Soziologie (2002-2007), Adam Mickiewicz Universität. Gegenwärtig ist sie Doktorandinn an unserem Lehrstuhl.
Zusammenarbeit mit anderen
Jerzy Pogonowski nahm 1986-1990 an dem Foschungsprojekt Logische Struktor nicht-formalisierter Schlussfolgerungen des Philosophischen und Soziologischen Instituts der Polnischen Akademie der Wissenschaften teil. Er besuchte zwei mal das Department of Linguistics of the State University of New York at Buffalo (1978-1979, als Gastforscher, 1990 International Research Exchange Board). Als Stipendat der Alexander von Humboldt Stiftung besuchte er das Institut für Deutsche Philologie der Universität München (1983-1984) und den Fachbereich Philosophie der Universität Konstanz (2003). Weiterhin war er angestellt am Mathematischen Institut der Polnischen Akademie der Wissenschaften (1977-1978) und am Lehrstuhl für Angewandte Mathematik der Wirtschaftsakademie in Poznan (1993-1994). Gegenwärtig arbeitet er zusammen mit:
- dem Lehrstuhl für Mathematische Logik der Fakultät für Mathematik und Informatik an der Adam Mickiewicz Universität (Herausgeber, zusammen mit Prof. Roman Murawski, von Euphony and Logos),
- dem Lehrstuhl für Grundlagen der Mathematik des Instituts für Mathematik und Informatik an der Universität in Opole (Teilnahme an Prof. Janusz Czelakowskis seminaren sowie an seinen Forschungsprojekt Infinitäre Methoden in der Definitionstheorie),
- dem Lehrstuhl für Logik des Philosophischen Instituts an der Universität Warschau (Teilnahme am Forschungsprojekt KBN 1H01A 01116 Nicht-Fregesche Logik. Theorie und Anwendungen unter der Leitung von Prof. Mieczyslaw Omyła),
- dem Lehrstuhl für Logik und Methodologie der Wissenschaften an der Breslauer Universität (Arbeiten über das Paradoxon von Skolem und Zermelos Ideen, mit freundlicher Unterstützung durch Prof. Jan Zygmunt),
- dem Lehrstuhl für Logik und Kognitivistik an der Adam Mickiewicz Universität (Arbeiten über Anwendungen der Rekursionstheorie zu Fragen-Systeme, zusammen mit Prof. Andrzej Wiśniewski),
- dem Philosophischen Institut an der Universität Oppeln (Metalogik-unterricht),
- dem Mathematischen Institut an der Pädagogischen Universität Krakau (Forschungsprojekt Kontinuität und Reelle Zahlen. Eudoxos-Dedekind-Conway, unter der Leitung von Prof. Piotr Błaszczyk).
Dr. Włodzimierz Lapis kooperiert mit Prof. André Włodarczyk im Rahmen des internationalen CASK-Programms, das theoretischen und praktischen Aspekten der Maschinellen Übersetzung gewidmet ist.
Dr. Dorota Lipowska kooperiert mit Prof. Grażyna Demenko im Rahmen eines internationalen Projekts, dass der Analyse und Synthese gesprochener Sprache gewidmet ist. Außerdem arbeitet sie mit Prof. Adam Lipowski bei der Computermodellierung von verschiedenen interdisziplinären Problemen zusammen (z.B. Varianten des Problems des Handelsreisenden, Populationsdynamiken in Räuber-Beute-Modellen).
Logische Forschung in Posen
Informationen bezüglich der Gesichte der logischen Forschung in Posen (bis 1972) können z.B. in der Arbeit Logika (Logik) von Seweryna Łuszczewska-Romahnowa gefunden werden - enthalten in: G. Labuda (ed.) Nauka w Wielkopolsce. Wydawnictwo Poznańskie, Poznań 1973, 190-198.
Es sollte erwähnt werden, dass mehrere berühmte polnische Logiker einige Zeit lang mit der Universität in Posen verbunden waren, z.B. Zygmunt Zawirski, Kazimierz Ajdukiewicz, Roman Suszko, Seweryna Łuszczewska-Romahnowa, Adam Wiegner, Zygmunt Ziembiński, um nur einige wenige zu nennen.
Den größten Einfluss auf die logische Forschung am Sprachwissenschaftlichen Institut hatte sicherlich Prof. Tadeusz Batóg, der bis vor einiger Zeit am Lehrstuhl für Mathematische Logik an unserer Universität arbeitete. Die Entwicklung dieser Forschungsarbeit wäre nicht möglich gewesen ohne die belebende und kreative wissenschaftliche Stimulation Prof. Jerzy Bańczerowskis, des gegenwärtigen Direktors des Sprachwissenschaftlichen Instituts, der Dutzende seiner Arbeiten der axiomatischen Beschreibung natürlicher Sprache widmete.
Andere logische Lehrstühle in Posen
Unser Lehrstuhl für Angewandte Logik ist nur ein kleiner Teil der akademischen Gemeinschaft, die sich hier in Posen mit logischen Forschungen beschäftigt. Andere Einrichtungen, die solche Untersuchungen betreiben, sind:
- Lehrstuhl für Mathematische Logik Fakultät für Mathematik und Informatik;
- Lehrstuhl für Berechnungstheorie Fakultät für Mathematik und Informatik;
- Lehrstuhl für Computerlinguistik und Künstliche Intelligenz Fakultät für Mathematik und Informatik;
- Lehrstuhl für Logik und Methodologie der Wissenschaften Institut für Philosophie;
- Lehrstuhl für Logik und Kognitivistik Institut für Psychologie;
- Institut für Informatik, Technische Hochschule in Posen.
