Katedra Logiki dr hab. Andrzej Pietruszczak profesor nadzwyczajny kierownik Katedry Logiki SPECJALIZACJA: logika, ontologia

• mereologia, geometria bezpunktowa, topologia bezpunktowa,
• logika modalna, logika klasyczna,
• logiczne systemy Leśniewskiego,
• rachunek nazw, sylogistyka arystotelesowska,
• logika stoicka,
• filozofia logiki.

Zajęcia prowadzone w roku akademickim 2011/2012:

• wykład „Logika I” dla studentów filozofii (studia pierwszego stopnia),
• seminarium „Logika i jej zastosowania w filozofii” dla studentów filozofii (studia drugiego stopnia),
• wykłady i ćwiczenia z logiki dla studentów Wydziału Teologii (w tym w Wyższym Seminarium Duchownym w Toruniu),
• wykład z logiki dla studentów socjologii (studia niestacjonarne; studia drugiego stopnia).

Dyżur: wtorek, godz. 16–18, p. 212, ul. Asnyka 2.

Konspekty do wykładów, konwersatoriów i ćwiczeń

Filozofia – Logika I   

Socjologia niestacjonarna   

matematyka (teoretyczna), Uniwersytet Łódzki

„Twierdzenie Ekelanda i jego zastosowania w teorii optymalizacji”

promotor: prof. Lech Włodarski

filozofia (logika), Uniwersytet Mikołaja Kopernika

„Logiczno-filozoficzne i formalne problemy w metodologii standardowego rachunku nazw. Systemy i ich metateoria”

promotor: prof. Leon Gumański

recenzenci: prof. Grzegorz Malinowski i prof. Wojciech Suchoń

Publikacja: Bezkwantyfikatorowy rachunek nazw: Systemy i ich metateoria, Wyd. Adam Marszałek, Toruń 1991

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

Metamereologia (opublikowane: Wyd. UMK, Toruń 2000)

recenzenci: prof. Jacek Paśniczek, prof. Jerzy Perzanowski i prof. Jerzy Pogonowski

Nagroda Ministra Edukacji Narodowej i Sportu w 2002 r.

• dr Rafał Palczewski, „Problemy antyrealizmu w świetle modalnej logiki epistemicznej”, UMK, Wydział Humanistyczny, Toruń 2006
• dr Maciej Nowicki, „Quod vere sit deus. Logiczna analiza dowodu ontologicznego św. Anzelma”, UMK, Wydział Humanistyczny, Toruń 2006
• dr Monika Dejnecka, „McTaggarta dowód na nierealność czasu'”, UMK, Wydział Humanistyczny, Toruń 2011

• Współzałożyciel (wspólnie z prof. Jerzym Perzanowskim) międzynarodowego rocznika Logic and Logical Philosophy. W latach 1993–2002 współredaktor pierwszych dziesięciu zeszytów. Od września 2004 ponownie współredaktor LLP (wspólnie z Markiem Nasieniewskim). Od 2006 r. LLP jest kwartalnikiem.
• W latach 1991–1994 sekretarz redakcji kwartalnika Ruch Filozoficzny.
• W latach 2007–2009 członek Komitetu Redakcyjnego rocznika Słupskie Studia Filozoficzne.

Książki:

• Metamereologia, Toruń 2000, Wyd. UMK, ss. 235.
• Bezkwantyfikatorowy rachunek nazw. Systemy i ich metateoria, Toruń 1991, Wyd. Adam Marszałek, ss. 129.

Redakcja naukowa książek:

• Essays in Logic and Ontology, Poznań Studies in the Philosophy of the Sciences and the Humanities, tom 91, Amsterdam/New York 2006, GA: Rodopi, ss. 400 (wspólnie z Jackiem Malinowskim).
• Wokół filozofii logicznej, Toruń 2004, Wyd. UMK, ss. 412 (wspólnie z Jackiem Malinowskim).
• Od teorii literatury do ontologii świata, Toruń 2003, Wyd. UMK, ss. 404 (wspólnie z Jerzym Perzanowskim).
• Logika & Filozofia Logiczna. FLFL 1996–1998, Toruń 2000, Wyd. UMK, ss. 499 (wspólnie z Jerzym Perzanowskim).
• Byt, Logos, Matematyka. Filozofia/Logika: Filozofia Logiczna 1995, Toruń 1998, Wyd. UMK, ss. 408 (wspólnie z Jerzym Perzanowskim).
• Filozofia/Logika: Filozofia Logiczna 1994, Toruń 1995, Wyd. UMK, ss. 336 (wspólnie z Cezarym Gorzką i Jerzym Perzanowskim).

Artykuły:

• „On modal logics defining Jaśkowski's D₂-consequence” (współautor M. Nasieniewski), [w:] K. Tanaka, F. Berto, E. Mares, F. Paoli (red.), Paraconsistency: Logic and Applications, rozdział 8, s. 131–150. Seria: „Logic, Epistemology and the Unity of Science”, Springer 2012.
• „Laudacja na 90-lecie profesora Leona Gumańskiego — redaktora Ruchu Filozoficznego w latach 1981–2008”, Ruch Filozoficzny, tom. 68, nr 4 (2011), s. 683–686.
• „A method of generating modal logics defining Jaśkowski's discussive logic D₂” (współautor M. Nasieniewski), Studia Logica, vol. 97, no. 1 (2011), s. 161–182 (zeszyt specjalny „The Legacy of Newton da Costa”).
• „How to define a mereological (collective) set” (współautor R. Gruszczyński), Logic and Logical Philosophy, vol. 19, nr 4 (2010), s. 309–328.
• „Simplified Kripke style semantics for some very weak modal logics”, Logic and Logical Philosophy, vol. 18, nr 3–4 (2009), s. 271–296.
• „Semantics for regular logics connected with Jaśkowski's D₂” (współautor M. Nasieniewski), Bulletin of the Section of Logic, vol. 38, nr 3/4 (2009), s. 173–188.
• „Simplified Kripke style semantics for modal logics K45, KB4 and KD45”, Bulletin of the Section of Logic, vol. 38, nr 3/4 (2009), s. 163–172.
• „Space, points and mereology. On foundations of point-free Euclidean geometry” (współautor R. Gruszczyński), Logic and Logical Philosophy, vol. 18, nr 2 (2009), s. 145–188.
• „New axiomatizations of the weakest regular modal logic defining Jaśkowski's logic D₂” (współautor M. Nasieniewski), Bulletin of the Section of Logic, vol. 38, nr 1/2 (2009), s. 45–50.
• „The tense logic for Master Argument in Prior's reconstruction” (współautor T. Jarmużek), Studia Logica, vol. 92, nr 1 (2009), s. 85–108.
• „Full development of Tarski's geometry of solids” (współautor R. Gruszczyński), The Bulletin of Symbolic Logic, vol. 14, nr 4 (2008), s. 481–540.
• „The weakest regular modal logic defining Jaśkowski's logic D₂” (współautor M. Nasieniewski), Bulletin of the Section of Logic, vol. 37, nr 3/4 (2008), s. 197–210.
• „Pieri's structures” (współautor R. Gruszczyński), Fundamenta Informaticae, vol. 81, nr 1–3 (2007), s. 139–154.
• „An outline of the Anselmian theory of God” (współautorzy T. Jarmużek i M. Nowicki), [w:] J. Malinowski i A. Pietruszczak (red.), Essays in Logic and Ontology, s. 317–330. Amsterdam/New York 2006, GA: Rodopi.
• „On applications of truth-value connectives for testing arguments with natural connectives”, [w:] J. Malinowski i A. Pietruszczak (red.), Essays in Logic and Ontology, s. 143–156. Amsterdam/New York 2006, GA: Rodopi.
• „Editorial introduction. Logic in Toruń (współautor J. Malinowski)”, [w:] J. Malinowski i A. Pietruszczak (red.), Essays in Logic and Ontology, s. 9–16. Amsterdam/New York 2006, GA: Rodopi.
• „Pieces of mereology”, Logic and Logical Philosophy, vol. 14, nr 2 (2005), s. 211–234.
• „Completeness of minimal positional calculus” (współautor T. Jarmużek), Logic and Logical Philosophy, nr 13 (2004), s. 147–162.
• „The axiomatization of Horst Wessel's strict logical consequence relation”, Logic and Logical Philosophy, nr 13 (2004), s. 121–138.
• „The consequence relation preserving logical information”, Logic and Logical Philosophy, nr 13 (2004), s. 89–120.
• „Paradoks Russella a początki mereologii”, Ruch Filozoficzny, tom LIX, nr 1 (2002), s. 123–129.
• „Tadeusza Czeżowskiego teoria zdań jednostkowych”, [w:] W. Tyburski i R. Wiśniewski (red.), Tadeusz Czeżowski (1989–1981): Dziedzictwo idei: logika – filozofia – etyka, s. 79–92. Toruń 2002: Wyd. UMK.
• „Kawałki mereologii”, [w:] J. Perzanowski i A. Pietruszczak (red.), Logika & Filozofia Logiczna: FLFL 1996–1998, s. 357–374. Toruń 2000: Wyd. UMK.
• „Charakterystyka systemów relacyjnych mających logikę równą czystej logice predykatów” (współautor G. Pietruszczak), [w:] J. Perzanowski i A. Pietruszczak (red.), Logika & Filozofia Logiczna: FLFL 1996–1998, s. 183–206. Toruń 2000: Wyd. UMK.
• „O teoriach pierwszego rzędu związanych z elementarnym fragmentem ontologii Leśniewskiego”, [w:] J. Perzanowski i A. Pietruszczak (red.), Logika & Filozofia Logiczna: FLFL 1996–1998, s. 127–168. Toruń 2000: Wyd. UMK.
• „Zur Axiomatisierung der strikten logischen Folgebeziehung Horst Wessels”, [w:] U. Shefler i K. Wuttich (red.), Terminigebrauch und Folgebeziehung: Festband zu Ehren von Professor Horst Wessel, s. 215–228. Berlin 1998: Logos Verlag.
• „O zbiorze możliwych światów w kracie sytuacji elementarnych”, [w:] M. Omyła (red.), Skłonność metafizyczna: Bogusławowi Wolniewiczowi w darze, s. 67–81. Warszawa 1997.
• „Co to jest mereologia”, [w:] C. Gorzka i R. Jadczak (red.), Studia z filozofii i logiki, s. 115–127. Toruń 1997: Wyd. UMK.
• „Aksjomatyzacja relacji ścisłego wynikania logicznego Horsta Wessla”, [w:] J. Perzanowski i A. Pietruszczak (red.), Byt, Logos, Matematyka, s. 281–297. Toruń 1997: Wyd. UMK.
• „Wynikanie zachowujące informację logiczną”, [w:] J. Perzanowski i A. Pietruszczak (red.), Byt, Logos, Matematyka, s. 251–280. Toruń 1997: Wyd. UMK.
• „ Próba formalizacji pojęcia noematu” (współautor W. Krysztofiak), [w:] J. Perzanowski i A. Pietruszczak (red.), Byt, Logos, Matematyka, s. 161–198. Toruń 1997: Wyd. UMK.
• „An elementary proof of equivalence of conditions in definition of conditionally distributive lattices” (współautor M. Nasieniewski), Bulletin of the Section of Logic, vol. 26, nr 4 (1997), s. 193–196.
• „Cardinalities of models for monadic predicate logic (with equality and individual constants)”, Reports on Mathematical Logic, nr 30 (1996), s. 49–64.
• „Mereological sets of distributive classes”, Logic and Logical Philosophy, nr 4 (1996), s. 105–122.
• „O pewnej interpretacji zdań warunkowych”, Ruch Filozoficzny, tom LII, nr 3–4 (1995), s. 437–442.
• „Mereologiczne zbiory klas dystrybucyjnych”, [w:] J. Perzanowski, A. Pietruszczak i C. Gorzka (red.), Filozofia/Logika: Filozofia Logiczna 1994, s. 97–114. Toruń 1995: Wyd. UMK.
• „Cardinalities of models for pure calculi of names”, Reports on Mathematical Logic, nr 28 (1994), s. 87–102.
• „Informacja logiczna i jej zastosowanie w teorii wynikania”, Ruch Filozoficzny, tom LI, nr 3–4 (1994), s. 341–350.
• „Stała Leśniewskiego w teoriach sylogistycznych: Semantyczne badania pewnych kwantyfikatorowych rachunków nazw”, Acta Universitatis Nicolai Copernici, Logika III (1992), s. 45–76.
• „Rozstrzygalność w bezkwantyfikatorowym rachunku nazw”, Acta Universitatis Nicolai Copernici, Logika III (1992), s. 21–43.
• „O ścisłym wynikaniu logicznym i jego modyfikacji”, Acta Universitatis Nicolai Copernici, Logika III (1992), s. 5–20.
• „Teoriomnogościowa formalizacja pewnej interpretacji formuł rachunku nazw z kwantyfikatorami”, Acta Universitatis Nicolai Copernici, Logika II (1991), s. 41–52.
• „Rachunek zdań z implikacją konektywną Reichenbacha”, Acta Universitatis Nicolai Copernici, Logika II (1991), s. 23–39.
• „O pewnym ujęciu logiki tradycyjnej”, Acta Universitatis Nicolai Copernici, Logika I (1991), s. 31–41.
• „Standardowe rachunki nazw z funktorem Leśniewskiego”, Acta Universitatis Nicolai Copernici, Logika I (1991), s. 5–29.
• „Rachunek nazw Wedberga a system S1 Iwanusia”, Ruch Filozoficzny, tom XLV (1988), nr 3, s. 275–282.
• „Pewien boole'owski rachunek nazw a elementarna algebra Boole'a”, Ruch Filozoficzny, tom XLV, nr 1 (1988), s. 59–66.
• „O logice tradycyjnej i rachunku nazw dopuszczającym podstawienia nazw pustych”, Ruch Filozoficzny, tom XLIV, nr 2 (1987), s. 158–166.