1. Education

• 1988-1993    Master degree studies at Institute of Philosophy at Academy of Catholic Theology in Warsaw

• 1993    MA in philosophy at Academy of Catholic Theology in Warsaw Dissertation [in Polish] Logical analysis of formalized by J. M. Bochenski five ‘ways’ of st. Thomas from Aquin Advisor: prof. dr hab. E. Niezńanski

• 1998   PhD in philosophy at Cardinal Stefan Wyszyński University in Warsaw. Dissertation [in Polish] Model theoretic interpretation of ontological argument of Kurt Gödel Advisor: prof. dr hab. E. Nieznański, reviewers: prof. dr hab. S. Kiczuk, prof. dr hab. M. Omyła

• 2009   habilitated doctor of humanities in philosophy. Monography Classical Conceptions of the Changeability of Situations and Things Represented in Formalized Languages, CSWU Publ. House, Warsaw 2008 Publishing reviewer: prof. J. Czermak (Salzburg University). Reviewers of habilitation: prof. dr. hab. J. J. Jadacki, prof. dr hab. J. Paśniczek, prof. dr hab. J. Perzanowski, prof. dr hab. K. Świrydowicz

2. Positions (CSWU)

• 1993-1998   assistant in Department of Logic, Institute of Philosophy CSWU

• 1998-2010   assistant professor in Department of Logic, Institute of Philosophy CSWU

• 2010-      professor of CSWU

• also lectures on logic in: Łazarski University in Warsaw, Medical University in Łódz, Warsaw University

3. Functions

• 1998-   member of Polish Association for Logic and Philosophy of Science

• 2003-   secretary of the editorial office of Studia Philosophiae Christianae

• 2008-   chief of the section of Logic and Methodology of Science in Philosophical Institute CSWU

• 2009-   member of the editorial committee of Studia Philosophiae Christianae

• 2009-   member of Polish Philsophical Association

• 2011-   chief of the department of Logic in Philosophical Institute CSWU

• 2011-2012 member of the senate of CSWU

• 2012-2016 deputy director of the Philosophical Institute CSWU

4. Awards

• 1998 Prize of the Congregation for the Doctrine of the Faith, Polish Bishops’ Conference

• 2004 Medal of the Commission of National Education

• 2011 Prize of the Rector of CSWU for scientific achievements

• 2017 Prize of the Rector of CSWU for scientific achievements

5. Scholarships and visits

•   1996 – scholarship of Salzburg University

•   1998 – scholarship of Bonn University

•   2013 – visiting professor at Zagreb University

6. Teaching

  (i) courses for philosophers:

• classes and lectures on logic, methodology, metalogic

• lectures on modal and temporal logics

• seminars on applications of logic in philosophy

• monographs on logical philosophy (ontology, theodicy), also for mathematicians

  (ii) classes and lectures on logic and methodology for layers, economists, medics, psychologists

7. MA and PhD theses: supervision and reviews of sixteen MA theses, three BA theses, supervision of two PhD theses; reviews of two habilitation achievements. Member of habilitation committee: Warsaw University (2014)

8. Interests

• modal logics, logics of change, intensional logics

• formal ontology, modern systems of classical ontological concepts (systems of inherence relations, mereology, theories of abstract objects)

•  formal theodicy, modern formulation of ontological and cosmological arguments for God’s existence (Avicenna, Anselm, Thomas, Scotus, Descartes, Leibniz, Spinoza, Bolzano, Gödel, Salamucha, Bocheński  Sobociński)

• history of Polish analytic philosophy (Bocheński, Salamucha, Sobociński, Drewnowski)