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


email:
tel.: 566114687
Research fields:
 mereology
 pointfree 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.1516.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 PointFree Topology Part II: Spaces of Points” (with A. Pietruszczak), Studia Logica, vol. 107, issue 4, pp. 809843 (2019)
 „A Comparison of Two Systems of Pointfree topology” (with A. Pietruszczak), Bulletin of the Section of Logic, vol. 47 no. 3,
pp. 187200 (2018)
 „A Study in Grzegorczyk PointFree Topology Part I: Separation and Grzegorczyk Structures” (with A. Pietruszczak), Studia Logica,
vol. 106, issue 6, pp. 11971238 (2018)
 „Pointfree geometry, ovals, and halfplanes” (with G. Gerla), The Review of Symbolic Logic, Vol. 10, Issue 2 (2017), pp. 237258

„Mereology then and now” (with A. Varzi), Logic and Logical Philosophy, vol. 24, no. 4 (2015), pp. 409427
 „On mereological counterparts of some principle for sets”, Logique et Analyse, 232 (2015), s. 535546
 „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. 135149
 „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 pointfree 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:
 Nonclassical logic. Theory and applications, 2426 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, 46 December 2019
 „Some theorems concerning Grzegorczyk contact lattices” — (with A. Pietruszczak), Topology, Algebra and Categories in Logic,
Nice (France), 1721 June 2019
 „Representation theorems for Grzegorczyk contact algebras” — (with A. Pietruszczak), Syntax Meet Semantics 2019, University of Amsterdam, 2125 January 2019
 „Aleksander ¦niatycki's system of pointfree geometry” — (with G. Gerla), NonClassical 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 pointfree affine geometry” — (with G. Gerla)
Topology, Algebra and Categories in Logic, Prague (Czech Republic), 25  30 June 2017
 „A regionbased 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 pointfree topology” — Nonclassical logic. Theory and applications VIII, ŁódĽ, 57 September 2016

„Mereology and Gallileo's reasoning” — VIth International Ontological Workshop 2016 Contemporary Polish Ontology,
Warsaw, 911 May 2016
 „Halfplanes, ovals and spheres. Pointfree systems of affine and euclidean geometry” —
Vth International Ontological Workshop 2016 Topological Philosophy (TPC2016), Warsaw, 89 February 2016

„On Nominalistic Foundations of Geometry” —
Reconciling Platonism and Nominalsim in the Philosophy of Mathematics, PanthéonSorbonne, 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” —
Nonclassical logic. Theory and applications VI, ŁódĽ, 4  6 September 2013.
 „On some nonclassical systems of mereology”
(with A. Pietruszczak) —
Nonclassical 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, Manyvalued 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, 711 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 pointfree 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.
 LogicoPhilosophical 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 AlgebraCoalgebra Seminar “Points of Boolean contact algebras”
 Institute for Logic, Language and Computation, University of Amsterdam, Holland, 9th  11th October 2018.
 A lecture at the AlgebraCoalgebra Seminar “Pointfree 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 pointfree 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 pointfree 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 pointfree 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 pointfree systems of geometry”
 Lecture at CU: Regionbased 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 pointfree 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 “Pointfree system of geometry based on the notions
of region and oval”
 Invited lectures for staff and Ph.D. students: Pointfree 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 “Pointfree 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: Pointfree 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 pointfree topology”
 Invited lectures for Ph.D. students: Pointfree 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.
