STAFF
(after a rough English translation there follows the exact Polish name of the post involved, given in brackets)



GUESTS, COOPERATORS

INDIVIDUAL RESEARCH

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, 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.

ANNA 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

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.

KATARZYNA ZBIEĆ

Chaos theory, cellular automata in simulation of social processes.