r gruszczynski

dr Rafał Gruszczyński

assistant professor

SPECIALIZATION: logic, ontology

g gruszka@umk.pl

g 56 611 46 87

    Research fields:

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

    Teaching in 2012/2013:

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

    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.

    Journal Editing:

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

    Publications

    Articles:

  • „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 myœleniu procesualnym, editor: Tomasz Komendziński, Nicolaus Copernicus University Press, Toruń (2003), s. ???–???.

    Selected lectures presented during conferences:

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

    Schools and workshops:

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

    Foreign stays:

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

polish Nicolaus Copernicus University Faculty of Humanities Logic and Logical Philosophy