University of Bialystok
Plac Uniwersytecki 1, room 44
15-420 Bialystok, Poland

phone: +48 85 745 75 07, +48 85 745 71 04
fax: +48 85 745 71 04

University of Białystok


We introduce ourselves:

Bialystok is the capital city of the north-eastern region of Poland, where Emil Post was born in 1897, and Adolf Lindenbaum was busy as a teacher in the early 40ties.

The people who in the 70ties initiated logic research and teaching in Bialystok came mainly from the University of Warsaw. Among their works there is the extensive Dictionary of Logic as Applied in the Study of Language: Concepts, Methods, Theories, The Hague 1981 (to which the Bialystok authors contributed fairly 70% of size and ideas) as well as MIZAR, that is, a system of automated knowledge management, including an advanced proof-checker.

Logic research is being carried out in the Institute of Mathematics and in the mentioned Chair. In the Polish system, a Chair is a unit run by Ordinary Professor - the title conferred by the President of the State, and granting tenure. This is why such a unit enjoys considerable autonomy. The purpose of the Department stems from the following ideas:

Solvability, provability, and definability were always the focus for PHILOSOPHY OF SCIENCE. Since Aristotle, philosophers claimed that each scientific problem could be solved with a suitable proof, to yield a truth, while each concept could be precisely defined. It was logic that was bound to provide methods for proving and defining. That program won a new force with Descartes, Leibniz and Newton whose faith in the solvability of any scientific problem reached a peak. The last who belonged to those great believers in the solvability of any mathematical problem, provided fitting logical tools, was David Hilbert.

It is an irony of the history that LOGIC which should have produced precise means of proving any scientific truth has, indeed, precisely proved that not every truth can have a proof, and not every scientific problem can be solved. Thus logic, with Gödel, Tarski, Turing, Post, Church, etc made the greatest revolution in philosophical reflection on science.

The same achievements of logic laid down the foundations of computer science or, better to say, INFORMATICS. The latter term can be imbued with a broader sense, comprising any information processing phenomena; also those occurring in the minds and organic bodies, while computer science deals with those in computers alone. It was Turing-Post machine, a logical result, which both revolutionized philosophical thought and launched out information technology.

The Department is busy with research and teaching found at the intersection of the three listed domains. It handles automated deduction both as a technological project and a theoretical research having a logical content as well as philosophical and historical foundations (Leibniz, etc). Other fields of interest include relations between formal and commonsense reasoning, esp. the role of explicit and implicit definitions, as well as a theory and practice of text and hypertext structuring. Some topics in epistemic and in temporal logic complete the picture of the Chair's research area.