STAFF
(after a rough English translation there follows the
exact Polish name of the post involved, given in brackets)
- Kazimierz TRZĘSICKI, PhD habil., Associate Professor [prof. nadzwyczajny]
- Andrzej MALEC, PhD, Ma. of Law, Reader [adiunkt]
- Dariusz SUROWIK, PhD, Ma. of Mathematics, Reader [adiunkt]
- Mariusz GIERO, Ma. of Mathematics, Assistant [asystent]
- Marcin KOSZOWY, Ma. of Philosophy, Assistant [asystent]
- Katarzyna ZBIEĆ, Ma. of Mathematics, Assistant [asystent]
GUESTS, COOPERATORS
INDIVIDUAL RESEARCH
- Witold MARCISZEWSKI, PhD habil., Ordinary Professor, Head [tytul - prof. zwyczajny].
- Roman MATUSZEWSKI, Dr. of Computer Science, Ma. Eng., Faculty of Philology
- Ms. Halina ŚWIĘCZKOWSKA, PhD, habil. Associate Professor [prof.nadzwyczajny], since October 2000 at the Faculty of Law.
- Ms. Anna ZALEWSKA, Dr. of Mathematics, Institute of Informatics at the University in Bialystok.
KAZIMIERZ TRZĘSICKI
Doct. diss. on a quasi-topological model of text coherence (supervised by W.Marciszewski). Habil. diss. contains results of the author's tense-logical approach to Łukasiewicz's indeterminism. --- Logical semantics, esp. theories of meaning. Two textbooks of logic. Prof. Trzęsicki established the Institute of Management at the Technological University in Białystok which was run by him with a considerable success, including a flourishing collaboration with "Tempus" project and the highest quality of electronic equippment for teaching purposes. In connexion with this activity he is also engaged in research on ethics of business.WITOLD MARCISZEWSKI
Doct. diss. on historical controversies about analytic sentences (supervised by S.Kamiński). Habil. diss. on foundations of logical theories of belief. --- Current main interest: logical theory in relation to natural and artificial intelligence - in the light of experiences due to mechanization of reasoning, interpreted with the help of Leibniz's philosophy (more - at the home page, see the link above).HALINA ŚWIĘCZKOWSKA
Doct. diss. on definite descriptions as rendered in syntactic structures of Polish (supervised by W.Marciszewski). Habilitation Thesis on Leibniz's philosophy of language. --- Logic of natural language. History of relations between logic and linguistics. An interplay of natural language and formal language in mathematics (in collaboration with Zinaida Trybulec). In 1998 she has finished her habilitation thesis concerning Leibniz's views on cognitive power of natural languages. Editor of Studies in Logic, Grammar and Rhetoric (see The history of the Department p.4.).ANDRZEJ MALEC
Publications on deontic logic and on definitions in legal texts. The latter is the subject-matter of his doctoral diss. supervised by K.Trzęsicki.ROMAN MATUSZEWSKI
Director of the Dpt Computer Laboratory. Editor of Formalized Mathematics: A Computer-Assisted Approach (see The history of the Department p.6)). Publications on computer-aided instruction of logic and mathematics. Organizer of the 2nd QED Workshop (see Mathesis Universalis No.1, item 2-3). No.1).DARIUSZ SUROWIK
Contributions to mathematical database managed by MIZAR. Doctoral diss. on tense logic, being supervised by K.TrzęsickiANNA ZALEWSKA
In her doct. diss. she created a system of algorithmic logic based on Gentzen-like rules and equipped with a prover. Publications on the same subject and on computer-aided logic instruction. Contributions to mathematical database managed by MIZAR.MARIUSZ GIERO
Contributions to mathematical database managed by MIZAR.MARCIN KOSZOWY
Informal logic, argumentation theory and philosophy of science. Publications on logical fallacies, fallacy theory, argument evaluation and on the concept of information.KATARZYNA ZBIEĆ
Chaos theory, cellular automata in simulation of social processes, computer oriented formalization of matematics (MIZAR).