History of the Department
From Department of Applied Logic
Contents |
The Department of Applied Logic has been established at the Institute of Linguistics of the Adam Mickiewicz University in Poznań in 1995. Departments or chairs of logic in Poland are situated, as a rule, at either mathematical or philosophical faculties. Thus our Department is, in a sense, a little bit different one, at least as academic topography is concerned.
[edit] The Department's members at the present moment
- Dr. hab. Władysław Zabrocki (head)
- Dr. Victoria Kamasa
- Dr. Włodzimierz Lapis
- Dr. Dorota Lipowska
- Dr. Sławomir Sikora
- Ida Stria, M.A.
- Paulina Wandas, M.A.
- Anna Wartecka, M.A.
[edit] Where do we come from
- Władysław Zabrocki has studied philosophy (1974-1978, Adam Mickiewicz University). He was hired at the Institute of Linguistics of the Adam Mickiewicz University in 1979 and defended his PhD there in 1987.
- Włodzimierz Lapis has studied mathematics (1985-1990, Adam Mickiewicz University). He was hired at the Institute of Linguistics of the Adam Mickiewicz University in 1990 and defended his PhD there in 1999.
- Dorota Lipowska has studied mathematics (1976-1981), Adam Mickiewicz University). She was hired at the Institute of Linguistics of the Adam Mickiewicz University in 1982 and defended her PhD there in 1988.
- Sławomir Sikora has studied philosophy (1984-1989, Adam Mickiewicz University). He was hired at the Institute of Linguistics of the Adam Mickiewicz University in 1991 and defended his PhD there in 2000.
- Victoria Kamasa has studied linguistic and information science (2001-2006) and sociology (2002-2007), both at the Adami Mickiewicz University in Poznan. At present, she is a PhD student at our Department.
[edit] Cooperation with others
- Dr. Włodzimierz Lapis cooperates with Prof. André Włodarczyk in an international project CASK devoted to theoretical and practical aspects of translation.
- Dr. Dorota Lipowska cooperates with Prof. Grażyna Demenko in an international project devoted to speech analysis and synthesis. Additionally, she cooperates with Prof. Adam Lipowski on computer modelling of several interdisciplinary problems (e.g. variants of a traveling salesman problem, population dynamics in lattice prey-predator models).
[edit] Logical research in Poznań
Information concerning the history of logical research conducted in Poznań (up to 1972) can be found e.g. in the paper by Seweryna Łuszczewska-Romahnowa Logika (Logic) included in: G. Labuda (ed.) Nauka w Wielkopolsce. Wydawnictwo Poznańskie, Poznań 1973, 190-198.
It is worth pointing out that several famous Polish logicians have been affiliated for some time to the University in Poznań, e.g. Zygmunt Zawirski, Kazimierz Ajdukiewicz, Roman Suszko, Seweryna Łuszczewska-Romahnowa, Adam Wiegner, Zygmunt Ziembiński, to recall just few of them.
Clearly, the person who mostly influenced the logically based investigations conducted at the Institute of Linguistics is Prof. Tadeusz Batóg who is now working at the Department of Mathematical Logic of our University. And the development of those investigations would be impossible without vivid and creative stimulation from Prof. Jerzy Bańczerowski, the Director of the Institute of Linguistics, who devoted dozens of his works to axiomatic descriptions of natural language.
[edit] Other Departments of Logic in Poznań
Our Department is not, by any means, the most influential logical center in Poznań. Recently, logical research in Poznań is conducted at several places:
- Department of Mathematical Logic Faculty of Mathematics and Information Science;
- Department of Computation Theory Faculty of Mathematics and Information Science;
- Division of Computational Linguistics and Artificial Intelligence Faculty of Mathematics and Information Science;
- Department of Logic and Methodology of Sciences Institute of Philosophy;
- Department of Logic and Cognitive Science Institute of Psychology;
- Institute of Information Science Poznan University of Technology.
