Department of Logic dr. habil. Andrzej Pietruszczak associate professor head of Department of Logic SPECIALIZATION: logic, ontology

• mereology, pointless geometry, pointless topology,
• modal logic, classical logic,
• Leśniewski's logical systems,
• calculus of names, Aristotelian Syllogistic,
• Stoic Logic,
• philosophy of logic.

• “Logika I” for students of philosophy,
• “Logic and its applications in philosophy” seminar for students of philosophy and doctoral students,
• “Mereology and its applications in ontoloy” for students of philosophy.

• M.Sc., Mathematics, University of Łódź.

  M.Sc. Thesis: “Twierdzenie Ekelanda i jego zastosowania w teorii optymalizacji” (Ekeland Theorem and its applications in theory of optimization).

  Supervisor: prof. Lech Włodarski.
• Ph.D., Philosophy (Logic), Nicolaus Copernicus University.

  Ph.D. Dissertation: “Logiczno-filozoficzne i formalne problemy w metodologii standardowego rachunku nazw. Systemy i ich metateoria” (Calculus of Names).

  Supervisor prof. Leon Gumański, referees: prof. Grzegorz Malinowski and prof. Wojciech Suchoń.

  Publication: Bezkwantyfikatorowy rachunek nazw: Systemy i ich metateoria (Calculus of Names. Systems and their Metatheory). Toruń 1991: Wyd. Adam Marszałek.

• Habilitation, Philosophy (Logic, Ontology), Nicolaus Copernicus University.

  Dissertation: Metamereologia (Metamereology)

  Referees: prof. Jacek Paśniczek, prof. Jerzy Perzanowski and prof. Jerzy Pogonowski.

Journal Editing:

• 1993–2002 editor of Logic and Logical Philosophy with prof. Jerzy Perzanowski. Since September 2004 editor of LLP with Marek Nasieniewski. Since 2006 the journal appears quarterly

Selected lectures presented during conferences:

• “A method of generating modal logics defining Jaśkowski's discussive logic D₂” (with M. Nasieniewski), Science, Truth and Consistency. CLE / AIPS Event, Campinas, Brazil, August 23–28, 2009.
• “On Grzegorczyk's pointless topology. Atomic structures” (with R. Gruszczyński), Topology, Algebra and Categories in Logic, Amsterdam, July 7–11, 2009.
• “Master Argument: time, determinism and branching structures” (with T. Jarmużek), Studia Logica International Conference, Logic and the Foundations of Physics: Space, Time and Quanta, Trends in Logic VI, Brussels, December 11–12, 2008.
• “On modal logics defining Jaśkowski's D₂-consequence” (with M. Nasieniewski), The Fourth World Congress of Paraconsistency, Melbourne, July 13–18, 2008.
• “Full development of Tarski's geometry of solids” (with R. Gruszczyński) Applications of Algebra XII, Zakopane, Poland, April 3–8, 2008.
• “Constructing topological spaces from mereological fields” (with R. Gruszczyński), Studia Logica International Conference, Many-valued Logic and Cognition, Trends in Logic V, Guangzhou, China, July 6–9, 2007.
• “Remarks on Tarski's geometry of solids” (with R. Gruszczyński), Studia Logica International Conference, Towards Mathematical Philosophy, Trends in Logic IV, Toruń, Poland, September 1–4, 2006.
• “Finite axiomatizability of elementary mereology”, 4th Flemish-Polish Workshop on the Ontological Foundations of Paraconsistency, Ghent University, Belgium, April 8–11, 2001.
• “The mereological sum of Leśniewski and the fusion of Leonard and Goodman”, 3rd Flemish-Polish Workshop on the Ontological Foundations of Paraconsistency, Free Universitety of Brussels, Belgium, October 11–14, 2000.
• “Problem of the fusion”, 2nd Flemish-Polish Workshop on the Ontological Foundations of Paraconsistency, Ghent University, Belgium, April 26–27, 2000.

Books:

• Essays in Logic and Ontology, Poznań Studies in the Philosophy of the Sciences and the Humanities, Vol. 91, Amsterdam/New York 2006, GA: Rodopi, pp. 400 (edited with Jacek Malinowski).
• Wokół filozofii logicznej, Toruń 2004, Nicolaus Copernicus University Press, pp. 412 (edited with Jacek Malinowski).
• Od teorii literatury do ontologii świata, Toruń 2003, Nicolaus Copernicus University Press, pp. 404 (edited with Jerzy Perzanowski).
• Metamereologia (Metamereology), Toruń 2000, Nicolaus Copernicus University Press, pp. 235.
• Logika & Filozofia Logiczna. FLFL 1996–1998, Toruń 2000, Nicolaus Copernicus University Press, pp. 499 (edited with Jerzy Perzanowski).
• Byt, Logos, Matematyka. Filozofia/Logika: Filozofia Logiczna 1995, Toruń 1998, Nicolaus Copernicus University Press, pp. 408 (edited with Jerzy Perzanowski).
• Filozofia/Logika: Filozofia Logiczna 1994, Toruń 1995, Nicolaus Copernicus University Press, pp. 336 (edited with Jerzy Perzanowski and Cezary Gorzka).
• Bezkwantyfikatorowy rachunek nazw. Systemy i ich metateoria (Calculus of Names. Systems and their Metatheory), Toruń 1991, Wyd. Adam Marszałek, pp. 129.

Articles:

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