Katedra Logiki dr Rafał Gruszczyński adiunkt SPECJALIZACJA: logika, ontologia

• mereologia, geometria bezpunktowa, topologia bezpunktowa,
• logika klasyczna,
• teoria mnogości,
• filozofia logiki.

Zajęcia prowadzone w roku akademickim 2011/2012:

• konwersatorium z logiki dla studentów socjologii (semestr zimowy),
• konwersatorium z logiki dla studentów archeologii (semestr letni).

Dyżur: wtorek, godz. 10:30–12:30, p. 213, ul. Asnyka 2.

Materiały do zajęć

Koło Naukowe Logiki UMK   

Socjologia   

Archeologia   

filozofia (logika), Uniwersytet Mikołaja Kopernika, 2004

„Teoria grafów Ch.S. Peirce'a w świetle logiki współczesnej”

promotor: dr Tomasz Komendziński

filozofia (logika), Uniwersytet Mikołaja Kopernika, 2007

„Mereologiczna teoria brył”

promotor: prof. Jacek Malinowski

recenzenci: prof. Janusz Czelakowski i prof. Andrzej Pietruszczak

Nagroda Rektora UMK.

• Od 2004 roku sekretarz redakcji kwartalnika Logic and Logical Philosophy.

Artykuły:

• „How to define mereological (collective) set” (współautor A. Pietruszczak), Logic and Logical Philosophy, vol. 19, nr 4 (2010), s. 309–328.
• „Space, points and mereology. On foundations of point-free Euclidean geometry” (współautor A. Pietruszczak), Logic and Logical Philosophy, vol. 18, nr 2 (2009), s. 145–188.
• „Full development of Tarski's geometry of solids” (współautor A. Pietruszczak), The Bulletin of Symbolic Logic, vol. 14, nr 4 (2008), s. 481–540.
• „Pieri's structures” (współautor A. Pietruszczak), Fundamenta Informaticae, vol. 81, nr 1–3 (2007), s. 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”, Wokół filozofii logicznej, redaktorzy: Jacek Malinowski i Andrzej Pietruszczak, Wydawnictwo Uniwersytetu Mikołaja Kopernika, Toruń (2004), s. ???–???.
• „Zarys teorii grafów egzystencjalnych Ch.S. Peirce'a”, Filozofia amerykańska dziś, tom II: O myśleniu procesualnym, redaktor: dr Tomasz Komendziński, Wydawnictwo Uniwersytetu Mikołaja Kopernika, Toruń (2003), s. ???–???.

Konferencje:

• „The relations of mereological sum and supremum in separative partial orders” (wspólnie z A. Pietruszczakiem) — Zastosowania Algebry w Logice i Informatyce XVI, Zakopane, 27 lutego - 4 marca 2012.
• „Sums, fusions and aggregates in theories of parthood” (wspólnie z A. Pietruszczakiem) — Zastosowania Algebry w Logice i Informatyce XV, Zakopane, 7-13 marca 2011.
• „Logical consequence and logical information” (wspólnie z A. Pietruszczakiem) — Zastosowania Algebry w Logice i Informatyce XIV, Zakopane, 8-14 marca 2010.
• „What is mereology?” — Winter School in Analysis, Section Topology, 30 stycznia - 6 lutego 2010, Hejnice, Czechy.
• „On Grzegorczyk's pointless topology. Atomic structures” (wspólnie z A. Pietruszczakiem) — Topology, Algebra and Categories in Logic, Amsterdam, Holandia, 7-11 Lipca 2009.
• „On Grzegorczyk's pointless topology. Atomic structures” (wspólnie z A. Pietruszczakiem) — Zastosowania Algebry w Logice i Informatyce XIII, Zakopane, 9-15 marca 2009.
• „Full development of Tarski's geometry of solids” (wspólnie z A. Pietruszczakiem) — Zastosowania Algebry w Logice i Informatyce XII, Zakopane, 3-8 marca 2008.
• „Constructing topological spaces from mereological fields” (wspólnie z A. Pietruszczakiem) — Trends in Logic V: Many Valued Logic and Cognition, Studia Logica International Conference, Guangzhou, Chiny, 6-9 lipca 2007.
• „Remarks on Tarski's geometry of solids” (wspólnie z A. Pietruszczakiem) — Trends in Logic IV, Towards Mathematical Philosophy, Studia Logica International Conference, Toruń, 1-4 września 2006.
• „Logika graficzna Ch.S. Peirce'a” — XLIX Konferencja Historii Logiki, Uniwersytet Jagielloński, Kraków, 21-22 października 2003.
• „Filozofia matematyki Ch.S. Peirce'a” — VIII VII Warsztaty Logiczno-Filozoficzne w Zawoji, 23-27 września 2001.
• „Zarys teorii grafów egzystencjalnych Ch.S. Peirce'a” — VII Warsztaty Logiczno-Filozoficzne w Zawoji, 17-21 września 2001.
• „Krytyka tezy o niezależności zdań elementarnych w świetle Some Remarks on Logical Form Ludwiga Wittgensteina” — spotkanie Towarzystwa Wittgensteinowskiego zorganizowane przez Instytut Filozofii i Socjologii Polskiej Akademii Nauk w Warszawie pt. Wittgenstein i filozofia systematyczna, Bukowina Tatrzańska, 28 czerwca - 1 lipca 2001.
• „Pinkera teoria umysłu” — wprowadzenie do projekcji filmu Stevena Pinkera „How the Mind Works” XLVII Spotkanie Seminarium Kognitywnego Katedry Logiki, Uniwersytet Mikołaja Kopernika, Toruń, 29 Marca 2001.

Warsztaty:

• Proof Theory and Modal Logic, Barcelona, Hiszpania, 16-19 kwietnia 2012.
• Young Set Theory Workshop, Bellaterra, Hiszpania, 14-18 kwietnia 2009.
• Warsztaty Logiczno-Filozoficzne, Uniwersytet Von Humboldta, Berlin, Niemcy, grudzień 2005.

• Wydział Filozofii, Uniwersytet Porto, Portugalia, 4 - 11 grudnia 2011.
  • Wykłady dla pracowników i studentów: “Point-free theories of space”
  • Wyjazd odbył się w ramach programu LLP Erasmus.

• Wydział Matematyki, Uniwersytet Salerno, Włochy, 1 - 31 lipca 2011.
  • Współpraca w ramach proejktu naukowego "Investigations into Grzegorczyk's system of point-free topology"
  • Wykłady dla doktorantów: “Point-free geometry and topology”

• Wydział Filozofii, Uniwersytet Mateja Bela w Bańskiej Bystrzycy, Słowacja, 21 - 27 listopada 2010. Cykl wykładów pt. Wprowadzenie do mereologii. Wyjazd odbył się w ramach programu LLP Erasmus.