Logic and Philosophy of Science

Logic and philosophy of science including the areas: logic, history and philosophy of science. Team leader: dr hab. Tomasz Jarmużek, prof. UMK

• non-classical logic (paraconsistent, beam, positional, deontic, epistemic, non-monotonic, etc.)
• application of logic to the construction of formal theories (mereology, pointless geometries, etc.)
• construction and application of logical systems to formalize theories of social sciences and humanities
• issues of language philosophy and pragmatics related to the above problems.

As a research group, we collaborate with research centres in the United States, China, Brazil, Australia, and many European countries. We co-organize, among others, a cyclical conference “Non-Classical Logics. Theory and Applications.” and the Chinese-Polish Workshop on Applied Logic.

We are planning to increase the potential of the team by recruiting more experienced researchers and by educating young staff, especially through the involvement of young researchers in targeted projects implemented as part of our field.

Dr hab. Tomasz Jarmużek, prof. UMK – co-author of four monographs and several dozen scientific articles. Currently, Head of the Department of Logic, Nicolaus Copernicus University. He has been the principal investigator and team member of national or international projects and the supervisor of three doctoral theses. His scientific interests focus mainly on the metatheory of array system, positional logic, binding logic (binding semantics), non-monotonic logic, and logic applications.