CV | polski | Publications | Talks | Texts online |
In order to see mail address you have to turn Java Script on |
M.A.: physics 1982, University of Lodz | |||||
Ph.D.: philosophy 1989, University of Lodz (supervisor: prof. Grzegorz Malinowski), Logics preserving degrees of truth | |||||
Habilschrift: logic and philosophy of language 2003, University of Lodz, A formal representation of a concept of proposition (for applications to speech act theory) | |||||
Present position: professor of University of Lodz, since 2005 | |||||
Employment: Department of Logic, University of Lodz, since 1982 | |||||
Additional employment: | |||||
Academy of Economy and Humanities at Lodz, 1997-2010 | |||||
Higher School of Business at Piotrkow Trybunalski, 2005-2010 | |||||
Fellowships: Department of Philosophy, University of Quebec at Trois-Rivieres (1990-1995) | |||||
Interest: | |||||
mathematical logic | |||||
fundamentals of mathematics | |||||
philosophy of language | |||||
universal algebra | |||||
Research: | |||||
formal methodology of propositional calculi | |||||
philosophical interpretations of many-valued logics | |||||
nonmonotonic inferences – philosophical and formal aspects | |||||
set theory in MIZAR system | |||||
a formal theory of proposition | |||||
speech act theory | |||||
modal intuitionistic propositional logics | |||||
paraconsistent logics | |||||
Boolean semantics for natural language | |||||
relevant logics | |||||
non-Fregean logics | |||||
Classes: | |||||
Logic (syllogistics, propositional and first order classical logic) | |||||
Logic for lawyers | |||||
Mathematical logic for philosophers | |||||
Elements of logic, set theory and theory of Boolean algebras for students of computer science | |||||
Algebraic methods in propositional logics | |||||
Algebraic methods in first order logic | |||||
Zermelo-Fraenkel set theory | |||||
Fundamentals of mathematics | |||||
Speech act theory | |||||
Sentences, propositions and situations: an attempt of uniform approach | |||||
Philosophy of mathematics |