SPECIALIZATION: logic, ontology

g 56 611 46 87

- mereology, point-free geometry, point-free topology,
- classical logic,
- set theory,
- philosophy of logic.

- “Logic” — for students of sociology,
- “Logic” — for students of philosophy,
- “Gödel's incompleteness theorems” — seminar for students of philosophy and congnitive science.

M.Sc., Philosophy, Nicolaus Copernicus University

„M.Sc. Thesis: “Teoria grafów egzystencjalnych Ch.S. Peirce'a w wietle logiki współczesnej” (Ch.S. Peirce's theory of existential graphs)

Supervisor: dr. Tomasz Komendziński

Ph.D., Philosophy (Logic), Nicolaus Copernicus University

Ph.D. Dissertation: “Mereologiczna teoria brył” (Mereological theory of solids).

Supervisor prof. Jacek Malinowski

referees: prof. Janusz Czelakowski and prof. Andrzej Pietruszczak.

NCU Rector's Prize.

- Since 2004 an assistant editor of Logic and Logical Philosophy.

- „The relations of supremum and mereological sum in partially ordered sets” (with A. Pietruszczak), submitted
- „How to define mereological (collective) set” (with A. Pietruszczak), Logic and Logical Philosophy, vol. 19, no. 4 (2010), s. 309–328.
- “Space, points and mereology. On foundations of point-free Euclidean geometry” (with A. Pietruszczak), Logic and Logical Philosophy, vol. 18, no. 2 (2009), pp. 145–188.
- “Full development of Tarski's geometry of solids” (with A. Pietruszczak), The Bulletin of Symbolic Logic, vol. 14, no. 4 (2008), pp. 481–540.
- “Pieri's structures” (with A. Pietruszczak), Fundamenta Informaticae, vol. 81, no. 1–3 (2007), pp. 139–154.
- „An Alternative Proof of Sholander's Theorem for Distributive Lattices”, Bulletin of the Section of Logic vol.33(3) (2004), s. 179–183.
- „Filozofia matematyki Ch.S. Peirce'a” (Ch.S. Peirce's philosophy of mathematics), Wokół filozofii logicznej, editors: Jacek Malinowski i Andrzej Pietruszczak, Nicolaus Copernicus University Press, Toruń (2004), s. ???–???.
- Zarys teorii grafów egzystencjalnych Ch.S. Peirce'a” (An outline of Ch.S. Peirce's theory of existential graphs), Filozofia amerykańska dzi, tom II: O myleniu procesualnym, editor: Tomasz Komendziński, Nicolaus Copernicus University Press, Toruń (2003), s. ???–???.

- „On some non-clasical systems of mereology” (with A. Pietruszczak) — Non-classical logic. Theory and applications V, Toruń, 27 - 29 September 2012.
- „Points as filters in separation structures” — Workshop on mereotopology, University of Hamburg, 19 - 20 Septmber 2012 (invited lecture).
- „The relations of mereological sum and supremum in separative partial orders” (with A. Pietruszczak) — Applications of Algebra XVI, Zakopane, 27 February - 4 March 2012.
- „Sums, fusions and aggregates in theories of parthood” (with A. Pietruszczak) — Applications of Algebra XV, 7–13 March 2011, Zakopane, Poland.
- “Logical consequence and logical information” (with A. Pietruszczak) — Applications of Algebra XIV, 8–14 March 2010, Zakopane, Poland.
- “What is mereology?” — Winter School in Analysis, Section Topology, 30 January - 6 February 2010, Hejnice, Czech Republic.
- “On Grzegorczyk's pointless topology. Atomic structures” (with A. Pietruszczak), Topology, Algebra and Categories in Logic, 7–11 July 2009, Amsterdam, Holland.
- “Full development of Tarski's geometry of solids” (with A. Pietruszczak) Applications of Algebra XII, 3–8 April 2008, Zakopane, Poland.
- “Constructing topological spaces from mereological fields” (with A. Pietruszczak), Studia Logica International Conference, Many-valued Logic and Cognition, Trends in Logic V, 6–9 July 2007, Guangzhou, China.
- “Remarks on Tarski's geometry of solids” (with A. Pietruszczak), Studia Logica International Conference, Towards Mathematical Philosophy, Trends in Logic IV, 1–4 September 2006 Toruń, Poland.

24th European Summer School of Logic, Language and Information, Opole, Poland, 6–17 August 2012. Lectures Introduction to point-free geometry and topology ñ

- Proof Theory and Modal Logic, Barcelona, Spain, 16–19 April 2012.
- Young Set Theory Workshop, Bellaterra, Spain, 14–18 April 2009.
- Logico-Philosophical Workshop, Von Humboldt University, Berlin, Germany, December 2005.

- Faculty of Arts, University of Porto, Portugal, 1st–9th December 2012. Lectures for staff and students: Around Gödel's theorems Visit within LLP Erasmus programme.
- Faculty of Arts, University of Porto, Portugal, 4th–11th December 2011. Lectures for staff and students: Point-free theories of space Visit within LLP Erasmus programme.
- Department of Mathematics, University of Salerno, Italy, 1st–31st July 2011. Cooperation on the scientific project titled “Investigations into Grzegorczyk's system of point-free topology” Invited lectures for Ph.D. students: Point-free geometry and topology
- Department of Philosophy, Matej Bel University in Banska Bystrica, Slovakia, 21st–27th November 2010. Lectures for staff and students: Introduction to mereology. Visit within LLP Erasmus programme.