Universitas Nicolai Copernici - Toruń


Research fields

Teaching

Education

Journal Editing

Publications

Conferences

Foreign stays

ESSLLI 2012



  University WWW    Faculty of Humanities     Department of Logic     Logic and Logical Philosophy
Department of Logic


dr. hab. Rafa³ Gruszczyński
associate professor


SPECIALIZATION: logic, ontology
R. Gruszczyński, 2010


e-mail:
tel.: 56-611-46-87


Research fields:

  • mereology
  • point-free geometry and topology.


Teaching in 2019/2020:

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


Education:

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


Publications

Books:

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


Foreign stays:

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

  • 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.
Beginning of Page