Philosophical logic: theory and applications

Leader of the group – dr hab. Tomasz Jarmużek, professor NCU

The research group: “Philosophical Logic: Theory and Applications” consists of scientists associated primarily with the Faculty of Philosophy and Social Sciences of the Nicolaus Copernicus University, and an important part of the group are employees of the Department of Logic. The issues we deal with within the group are:

• non-classical logics (paraconsistent, relating, positional, deontic, epistemic, non-monotonic, etc.),
• applications of logic to the construction of formal theories (mereology, pointless geometries, etc.),
• abstract algebra,
• constructing and applying logical systems to formalize social science theory and humanities,
• related problems of philosophy of language and pragmatics.

As a research group, we cooperate with scientific centers from all continents (except Antarctica). We co-organize, among others, the cyclical Non-Classical Logics conference. Theory and Applications, Chinese-Polish Workshop on Applied Logic, and Workshop on Relating Logic.

dr hab. Tomasz Jarmużek, professor NCU – the author of four monographs and dozens of scientific articles. Currently head of the Department of Logic at Nicolaus Copernicus University. Manager and member of the team of national or international projects. Supervisor of two doctoral dissertations. His research interests focus mainly on the metatheory of tableau systems, positional logics, relating logics (relating semantics), non-monotonic logics and applications of logic. Currently the president of the Polish Society of Logic and Philosophy of Science, the second oldest national society of logicians in the world.