(after a rough English translation there follows the exact Polish name of the post involved, given in brackets)
- Kazimierz TRZĘSICKI, PhD habil., Professor [prof. zwyczajny]
- Dariusz SUROWIK, PhD habil., Ma. of Mathematics, Reader [adiunkt]
- Marcin KOSZOWY, PhD, Ma. of Philosophy, Reader [adiunkt]
- Witold MARCISZEWSKI, PhD habil., Professor emeritus.
- Ms. Halina ŚWIĘCZKOWSKA, PhD habil., Professor [prof. zwyczajny], since October 2000 at the Faculty of Law.
- Andrzej MALEC, PhD, Ma. of Law
- Roman MATUSZEWSKI, PhD, Ma. Eng., Faculty of Philology
- Robert Milewski, PhD, Medical University of Bialystok
- Ms. Anna ZALEWSKA, PhD, Institute of Informatics at the University in Bialystok.
- Mariusz GIERO, PhD, Ma. of Mathematics, University of Bialystok
- Katarzyna ZBIEĆ, Ma. of Mathematics
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.
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).
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.).
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.
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).
Contributions to mathematical database managed by MIZAR. Doctoral diss. on tense logic, supervised by K.Trzęsicki. Habilitation Thesis on methods of knowledge representation changing in time. A member of American Mahemathical Society and The Association for Symbolic Logic.
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.
Contributions to mathematical database managed by MIZAR.
Doct. diss. on the contemporary conceptions of a logical fallacy (supervised by Andrzej Bronk). Main research areas: argumentation theory (esp. fallacies, software tools in analysis of argumentation), informal logic, critical thinking, semiotics, methodology of science. Publications on fallacy theory, argument evaluation, the concept of information and of information society.
Chaos theory, cellular automata in simulation of social processes.