THE HISTORY OF THE DEPARTMENT
1. The Chair has been established in 1975. To some extent it succeeded in combining various individual interests with a team work. The latter was most influenced by two personalities: that of the Head himself who contributed philosophical knowledge and inspirations as well as some text-processing technologies, and Dr. Andrzej Trybulec (runs Applied Logic Section in the Institute of Informatics) who contributed his project MIZAR concerning automated deduction (see Mathesis Universalis No.3).
2. In 1975-80, a grant from the Documentation Centre of the Polish Academy of Sciences made it possible to handle some problems of text processing. This resulted in three doctoral dissertations: those of Kazimierz Trzęsicki (see Staff), Zinaida Trybulec, and Jerzy Kopania, the last (supervised by W.Marciszewski) concerning a logic of thesauruses, and in W.Marciszewski's book "Metody analizy tekstu naukowego", PWN 1977, 1981 (Methods of Analyzing Scientific Texts).
3. In 1980-90 the research focussed on formalization and mechanization of reasoning in philosophical and technical aspects, this having been accompanied by computer-assisted teaching of logic. Opposing views on formalized reasoning, those of Leibniz and of Descartes, gave rise to an extensive discussion of the 17th century rationalism, including its Platonian background, which resulted in a cluster of publications and dissertations. Jerzy Kopania (now Associate Professor in the Bioethics and Philosophical Antropology Section) wrote his habilitation thesis on Descartes' theory of ideas, and Ms. M.Czarniawska's her doctoral dissertation on the Platonian theory of ideas in Marburg School (supervised by W.Marciszewski); then they both formed a new team, more devoted to pure philosophy, and working within an institute of philosophy (they established book series Idea, enjoying a high appreciation). Ms. Krystyna Błachowicz (now in the Institute of Philosophy of Warsaw University) wrote her doctoral dissertation on early Leibniz's theory of substance, and Maciej Juniewicz (now in the Institute of Mathematics of Szczecin University) - on Leibniz's modal calculus of concepts; both works (supervised by W.Marciszewski), later published in books and journals, made essential use of techniques of formalized proofs. A link between formalization and natural language was provided by H.Święczkowska's dissertation (see Staff). Advanced non-classical formalization techniques are due to Marcin Mostowski's (now in the Institute of Philosophy of Warsaw University) dissertation on branched quantifiers (supervised by B.Stanosz). As for K.Trzęsicki's habilitation, (see Staff).
4. In 1980 the Department started to publish the annual Studies in Logic, Grammar and Rhetoric, edited first by J.Kopania and H.Święczkowska, then by the latter alone, a useful forum for own publications but also for winning eminent guest contributors from abroad (the journal succeeded in the latter too); up to now there appeared 14 issues.
5. A culmination of team work took place in 1986-1990 when the Department coordinated the research carried out in ten Polish universities (supported by the Ministry of Science and Education) on logical systems and algorithms for computer-aided reasoning. In the Department and its closest environment, this research brought (i) the rapid development of Trybulec's system MIZAR for automated proof-checking and mathematical databases, now classed among leading systems of this kind in the world, and (ii) the book on the history of mechanization of reasoning published in Amsterdam 1995 (see Mathesis Universalis No.3, item 3-1). In 1995 the Department organized the 2nd International Workshop on automated reasoning in which took part John MacCarthy, the greatest champion in this domain (see Mathesis Universalis No.1, items 2-3, 2-4, the latter containing a picture of participants).
6. 1990-95 is a period of acceleration in publishing and in developing electronic data bases.
--- 8 books (2 abroad, in Amsterdam and Berlin) have been published by the Department members, including 3 textbooks on logic; moreover, the classical textbook by Alfred Tarski, translated from English, has been edited, commented and published by the Department in its own book series termed "Cogito".
--- The journal Formalized Mathematics: A Computer Assisted Approach is being edited by Roman Matuszewski to publish information about new results which enter the mathematical database automatically managed by the MIZAR software; ca. 100 regular receivers worldwide, 4 issues every year since 1990. In 1996 the journal starts to appear in electronic version as well.
--- In 1992-94 a grant received from KBN (Polish Ministry of Science) made it possible to accumulate experiences and skills which resulted in Mathesis Universalis in 1996.
7. In 1997-99 a grant: "Research on natural and artificial intelligence by the automated reasoning" (8 T11C 018 12) received from KBN (Polish Ministry of Science) concerning applications of mechanized reasoning in AI and N(atural)I research.
8. In 2003-2006 a grant: "Undecidability and Algorithmic Intractability in the Social Sciences" (2 H01A 030 25) received from KBN.
9. On October 1st, 2004 the Department was moved to the Institute of Informatics. Prof. Kazimierz Trzęsicki became a Head of the Department.
10. In 2006-2009 a grant: "The temporal representation of knowledge and implementation in computer systems the medical conduct" (3 T11F 01130) supported by the Polish Ministry of Science.