Department of Logic dr. hab. Rafał Gruszczyński associate professor SPECIALIZATION: logic, ontology

• mereology
• point-free geometry and topology.

• “Introduction to Logic” — for students of media studies and sociology,
• “Introduction to Latex” — for students of cognitive science,
• “Introduction to Matlab” — for students of cognitive science,
• “Logic as a tool” — for Erasmus students.
• office hours: 15.15-16.45, every Monday

• 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.

• Habilitation: Philosophy (logic, ontology), Nicolaus Copernicus University, 2017

  NCU Rector's Honorable Mention.

Journal Editing:

• Since 2004: an assistant editor of Logic and Logical Philosophy.

Books:

• Non-standard theories of space, Nicolaus Copernicus University Scientifc Publishing House, 2016, ISBN 978-83-231-3561-6
  A list of errors and typos in the first printing: erratum

Articles:

• „A Study in Grzegorczyk Point-Free Topology Part II: Spaces of Points” (with A. Pietruszczak), Studia Logica, vol. 107, issue 4, pp. 809-843 (2019)
• „A Comparison of Two Systems of Point-free topology” (with A. Pietruszczak), Bulletin of the Section of Logic, vol. 47 no. 3, pp. 187-200 (2018)
• „A Study in Grzegorczyk Point-Free Topology Part I: Separation and Grzegorczyk Structures” (with A. Pietruszczak), Studia Logica, vol. 106, issue 6, pp. 1197-1238 (2018)
• „Point-free geometry, ovals, and half-planes” (with G. Gerla), The Review of Symbolic Logic, Vol. 10, Issue 2 (2017), pp. 237-258
• „Mereology then and now” (with A. Varzi), Logic and Logical Philosophy, vol. 24, no. 4 (2015), pp. 409--427
• „On mereological counterparts of some principle for sets”, Logique et Analyse, 232 (2015), s. 535-546
• „The relations of supremum and mereological sum in partially ordered sets” (with A. Pietruszczak), in: Mereology and the Sciences (edited by C. Calosi and P. Graziani), Springer 2014, pp. 123–140.
• „Mereological fusion as an upper bound”, Bulletin of the Section of Logic, vol. 42, no. 3/4 (2013), pp. 135-149
• „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 myœleniu procesualnym, editor: Tomasz Komendziński, Nicolaus Copernicus University Press, Toruń (2003), s. ???–???.

Shorts:

• Non-classical logic. Theory and applications, 24-26 September, The Reasoner, vol. 9, no. 11, p. 95, 2015
• On two ways of generating topological spaces from Grzegorczyk mereological structures, booklet of abstracts of TACL 2015, pp. 130–133, 2015

Selected lectures presented during conferences:

• „Grzegorczyk and Whitehead points in Boolean contact algebras” — Conference for Philosophy of Science and Formal Methods in Philosophy, Gdańsk, Poland, 4-6 December 2019
• „Some theorems concerning Grzegorczyk contact lattices” — (with A. Pietruszczak), Topology, Algebra and Categories in Logic, Nice (France), 17-21 June 2019
• „Representation theorems for Grzegorczyk contact algebras” — (with A. Pietruszczak), Syntax Meet Semantics 2019, University of Amsterdam, 21-25 January 2019
• „Aleksander Śniatycki's system of point-free geometry” — (with G. Gerla), Non-Classical Logic. Theory and Applications, Toruń (Poland), 24 - 27 September 2018
• „An argument for the existence of mereological sums” — Quo vadis, metaphysics?, Warsaw (Poland), 26 - 29 September 2017
• „Two systems of point-free affine geometry” — (with G. Gerla) Topology, Algebra and Categories in Logic, Prague (Czech Republic), 25 - 30 June 2017
• „A region-based axiomatization of geometry with incidence and betweenness as primitive notions” — Applications of Algebra in Logic and Computer Science XXI, Zakopane, 20 - 26 March 2017
• „On two traditions in point-free topology” — Non-classical logic. Theory and applications VIII, Łódź, 5-7 September 2016
• „Mereology and Gallileo's reasoning” — VIth International Ontological Workshop 2016 Contemporary Polish Ontology, Warsaw, 9-11 May 2016
• „Half-planes, ovals and spheres. Point-free systems of affine and euclidean geometry” — Vth International Ontological Workshop 2016 Topological Philosophy (TPC2016), Warsaw, 8-9 February 2016
• „On Nominalistic Foundations of Geometry” — Reconciling Platonism and Nominalsim in the Philosophy of Mathematics, Panthéon-Sorbonne, Paris (France), 27 - 28 November 2015
• „Limited regions in connection structures and their role in construction of points” — Entia et Nomina V, Jagiellonian University, Cracow, 9 - 11 September 2015.
• „On two ways of generating topological spaces from Grzegorczyk mereological structures” — Topology, Algebra and Categories in Logic, Ischia (Italy), 21 - 26 June 2015
• „On Grzegorczyk's and Roeper's definitions of point” — Logica e Didattica della Matematica, University of Salerno (Italy), 13 - 15 April 2015.
• „Mereological fusion as an upper bound” — Applications of Algebra XVIII, Zakopane, 10 - 16 March 2014.
• „Mereological fusion as an upper bound” — Non-classical logic. Theory and applications VI, Łódź, 4 - 6 September 2013.
• „On some non-classical 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.

Schools and workshops:

• Nordic Logic Summer School, Stockholm University, Sweden, 7-11 August 2017,
• FOMUS: Foundations of Mathematics: Univalent Foundations and Set Theory — What are Suitable Criteria for the Foundations of Mathematics?, Center for Interdisciplinary Research, Bielefeld (Germany), 18 - 23 July 2016.
• 24th European Summer School of Logic, Language and Information, Opole, Poland, 6–17 August 2012. Lectures Introduction to point-free geometry and topology (www)
• 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.

Programme Committee member:

• 1st Symposium on Formal Approaches to Vagueness in Relation to Mereology (FVRM'20) Sofia, Bulgaria, 6–9 September, 2020
• International Conference for Philosophy of Science and Formal Methods in Philosophy, Gdańsk, Poland, 4–6 December 2019
• International Joint Conference on Rough Sets 2019, University of Debrecen, Hungary, 17–21 June 2019
• International Joint Conference on Rough Sets 2018, International Centre for Interdisciplinary Science and Education, Quy Nhon, Viet Nam, 20–24 August 2018
• International Joint Conference on Rough Sets 2017, Olsztyn, Poland, 3–7 July 2017

• Institute for Logic, Language and Computation, University of Amsterdam, Holland, 4th - 8th November 2019.
  • A lecture at the Algebra|Coalgebra Seminar “Points of Boolean contact algebras”

• Institute for Logic, Language and Computation, University of Amsterdam, Holland, 9th - 11th October 2018.
  • A lecture at the Algebra|Coalgebra Seminar “Point-free geometry - foundations and systems”

• Department of Mathematics, University of Salerno, Italy, 26th January–2nd February 2018.
  • Cooperation with Giangiacomo Gerla on the scientific project “Applications of mereology in point-free systems of geometry”

• Department of Mathematics, University of Salerno, Italy, 26th January–2nd February 2018.
  • Cooperation with Giangiacomo Gerla on the scientific project “Applications of mereology in point-free systems of geometry”

• Department of Mathematics, University of Salerno, Italy, 16th–20th October 2017.
  • Cooperation with Giangiacomo Gerla on the scientific project “Applications of mereology in point-free systems of geometry”

• Department of Philosophy, Columbia University, NY, USA, 17th October–24th October 2015.
  • Cooperation with Achille Varzi on the scientific project “Applications of mereology in point-free systems of geometry”
  • Lecture at CU: Region-based geometries - from spheres to ovals as basic notions

• Department of Mathematics, University of Salerno, Italy, 17th July–2nd August 2015.
  • Cooperation with Giangiacomo Gerla on the scientific project “Applications of mereology in point-free systems of geometry”

• Department of Philosophy, Columbia University, NY, USA, 15th November–22nd November 2014.
  • Cooperation with Achille Varzi on the special issue of Logic and Logical Philosophy “Mereology and Beyond”
  • Lecture for New York Logic: Methods of constructing points from regions of space

• Department of Mathematics, University of Salerno, Italy, 26th June–26th July 2014.
  • Cooperation on the scientific project titled “Point-free system of geometry based on the notions of region and oval”
  • Invited lectures for staff and Ph.D. students: Point-free system of geometry based on the notions of region and oval

• Department of Philosophy, Uniwersidad Complutense de Madrid, Spain, 8 - 15 December 2013.
• Lectures for staff and students: “Caballeros, villanos y Gödel”
• Visit within LLP Erasmus programme.
• Department of Mathematics, University of Salerno, Italy, 1st–30th July 2013.
  • Cooperation on the scientific project titled “Point-free system of geometry based on the notions of region and oval”
  • Invited lectures for Ph.D. students: On mutual dependencies between relations of mereological sum, fusion and supremum

• Faculty of Computer Science, University of Erlangen, Germany, 23rd - 26th February 2013.
• Cooperation within scientific project devoted to weak systems of arithmetic.
• 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.