a pietruszczak

prof. dr hab. Andrzej Pietruszczak

profesor

Katedra Logiki

SPECJALIZACJA: logika, ontologia

g Andrzej.Pietruszczak(at)uni.torun.pl

4 56 611 46 88

Zainteresowania naukowe:

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

Tytuły i stopnie naukowe

Tytuł naukowy

  • profesor nauk humanistycznych

Stopnie naukowe

  • doktor habilitowany nauk humanistycznych; 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.

  • doktor nauk humanistycznych; 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

Tytuły zawodowe

  • magister matematyki, matematyka (teoretyczna), Uniwersytet Łódzki, praca magisterska: „Twierdzenie Ekelanda i jego zastosowania w teorii optymalizacji”, promotor: prof. Lech Włodarski
  • technik, elektromechanika ogólna, Technikum Elektryczne w Koluszkach

Promotor przewodów doktorskich

  • dr hab. 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
  • dr Grzegorz Sitek, „Konstrukcje nowych pojęć w Tarskiego geometrii brył i ich zastosowanie w metaarytmetyce”, Wydział Humanistyczny UMK, Toruń 2016 (doktorat z wyróżnieniem)

Redagowanie czasopisma naukowego

LLP7 LLP244

Współzałożyciel (wspólnie z prof. Jerzym Perzanowskim) międzynarodowego czasopisma Logic and Logical Philosophy. W latach 1993–2002 współredaktor pierwszych dziesięciu zeszytów. Od września 2004 ponownie współredaktor LLP. Od 2006 r. LLP jest kwartalnikiem.
Linki: Üstrona LLP i ÜAkademicka Platforma Czasopism (Open Journal Systems).

Logic and Logical Philosophy znajduje się w wykazie czasopism punktowanych Ministerstwa Nauki i Szkolnictwa Wyższego. Na mocy rozporządzenia ministra z dnia 31 lipca 2019 r. prace opublikowane w LLP otrzymują 100 punktów.





Publikacje naukowe


book3 book3

Monografie

  • Foundations of the Theory of Parthood. A Study of Mereology, Trends in Logic, vol. 54; 2020, Springer International Publishing, xiii+285 ss. https://link.springer.com/book/10.1007/978-3-030-36533-2. DOI: https://doi.org/10.1007/978-3-030-36533-2
    Recenzja: Studia Logica, vol. 109, nr 3 (2021), s. 683–686. DOI: https://doi.org/10.1007/s11225-020-09918-x
    Za tę monografię autor został laureatem IV edycji konkursu o Nagrodę Naukową im. Jana Łukasiewicza organizowanego przez Polskie Towarzystwo Logiki i Filozofii Nauki. Nagroda przyznawana jest za wybitną monografię naukową z zakresu logiki, filozofii nauki oraz zastosowań logiki w podstawach matematyki, informatyce i lingwistyce.
  • Metamereology, Toruń 2018, The Nicolaus Copernicus University Scientific Publishing House, 328 ss. PDF (open access). DOI: 10.12775/3961-4
    Recenzja: Studia Logica, vol. 109, nr 6 (2021), s. 1463–1466. DOI: https://doi.org/10.1007/s11225-021-09947-0
  • Podstawy teorii części, Toruń 2013, Wyd. Naukowe UMK, 287 ss. Link
  • Metamereologia, Toruń 2000, Wyd. UMK, 235 ss. Link
  • Bezkwantyfikatorowy rachunek nazw. Systemy i ich metateoria, Toruń 1991, Wyd. Adam Marszałek, 129 ss. PDF
book1 book1 book2 book3

Redakcja naukowa monografii

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




RSL NDJFL SL BSL BSLL IGPL HPL JPL


Artykuły w czasopismach naukowych (od 2000 r.)

  • „The Calculus of Names—The Legacy of Jan Łukasiewicz”, Axioms, 2025, 14(3), s. 1–32. DOI: 10.3390/axioms14030160 (open access)
  • „Modal discussive logics” (współautorzy K. Mruczek-Nasiewniewska i M. Nasieniewski), Journal of Philosophical Logic, 2025, 44 ss. (online first articles). Tekst: https://rdcu.be/d84fk DOI: 10.1007/s10992-024-09781-4
  • „Różne teorie części”, Przegląd Filozoficzny – Nowa Seria, vol. 32, nr 1, s. 125–148 (2023; (opublikowane 024). DOI: 10.24425/pfns.2023.146786 (open access)
  • „Some additional axioms for t-normal logics. Defining K45, KB4, KD45 and S5 without using modal rules”, Bulletin of the Section of Logic, vol. 53, nr 4 (2024), s. 511–533. DOI: 10.18778/0138-0680.2024.12 (open access)
  • „Russell's theories of events and instants from the perspective of point-free ontologies in the tradition of the Lvov-Warsaw school”, History and Philosophy of Logic, vol. 45, nr 2 (2024), s. 161 5–195. DOI: 10.10.2478/sh-2024-0002
  • „From the history of Leśniewski's mereology”, Studia Humana, vol. 13, nr 1 (2024), s. 5–16. Opublikowane online: 2023. DOI: 10.10.2478/sh-2024-0002 (open access)
  • „Grzegorczyk points and filters in Boolean contact algebras” (współautor R. Gruszczyński), The Review of Symbolic Logic, vol. 16, nr 2 (2023), s. 509–528. Opublikowane online: 2021-09-27. DOI: 10.1017/S1755020321000459 (open access)
  • „Simplified Kripke-style semantics for some normal modal logics” (współautorzy M. Klonowski i Y. Petrukhin), Studia Logica, vol. 108, nr 3 (2020), s. 451–476. Opublikowane online: 2019-03-20. DOI: 10.1007/s11225-019-09849-2 (open access)
  • „A modal extension of Jaśkowski's discussive logic D2” (współautorzy K. Mruczek-Nasieniewska i M. Nasieniewski), Logic Journal of the IGPL, vol. 27, nr 4 (2019), s. 451–477. DOI: 10.1093/jigpal/jzz014
  • „Study in Grzegorczyk point-free topology. Part II: Spaces of points” (współautor R. Gruszczyński), Studia Logica, vol. 107, nr 4 (2019), s. 809–843. Opublikowane online: 2018-08-23. DOI: 10.1007/s11225-018-9822-8 (open access)
  • „On the definability of Leśniewski's copula `is' in some ontology-like theories” (współautor M. Łyczak), Bulletin of the Section of Logic, vol. 47, nr 4 (2018), s. 233–263. DOI: 10.18778/0138-0680.47.4.02 (open access)
  • „A comparison of two systems of point-free topology” (współautor R. Gruszczyński), Bulletin of the Section of Logic, vol. 47, nr 3 (2018), s. 187–200. DOI: 10.18778/0138-0680.47.3.4.04 (link, open access)
  • „Study in Grzegorczyk point-free topology. Part I: Separation and Grzegorczyk structures” (współautor R. Gruszczyński), Studia Logica, vol. 106, nr 6 (2018), s. 1197–1238. Opublikowane online: 2018-02-20. DOI: 10.1007/s11225-018-9786-8 (open access)
  • „Pure modal logic of names and tableau systems” (współautor T. Jarmużek), Studia Logica, vol. 106, nr 6 (2018), s. 1261–1289. Opublikowane online: 2018-03-17. DOI: 10.1007/s11225-018-9788-6 (open access)
  • „Simplified Kripke style semantics without possible worlds for some modal logics” (współautorzy M. Klonowski i Y. Petrukhin), Logiko-Filosofskie Studii, vol. 16, nr 1–2 (2018), s. 117–118. PDF
  • „On theses without iterated modalities of modal logics between C1 and S5. Part 2”, Bulletin of the Section of Logic, vol. 46, nr 3–4 (2017), s. 197–218. DOI: 10.18778/0138-0680.46.3.4.03 (open access)
  • „On theses without iterated modalities of modal logics between C1 and S5. Part 1”, Bulletin of the Section of Logic, vol. 46, nr 1–2 (2017), s. 111–133. DOI: 10.18778/0138-0680.46.1.2.09 (open access)
  • „Classical mereology is not elementarily axiomatizable”, Logic and Logical Philosophy, vol. 24, nr 4 (2015), s. 485–498. DOI: 10.12775/LLP.2015.017
  • „A general concept of being a part of a whole”, Notre Dame Journal of Formal Logic, vol. 55, nr 3 (2014), s. 359–381. DOI: 10.1215/00294527-2688069
  • „Semantical investigations on some weak modal logics. Part II”, Bulletin of the Section of Logic, vol. 41, nr 3/4 (2012), s. 109–130. http://repozytorium.umk.pl/handle/item/6987
  • „Semantical investigations on some weak modal logics. Part I”, Bulletin of the Section of Logic, vol. 41, nr 1/2 (2012), s. 33–50. http://repozytorium.umk.pl/handle/item/6986
  • „On the weakest modal logics defining Jaśkowski's logic D2 and the D2-consequence ” (współautor M. Nasieniewski), Bulletin of the Section of Logic, vol. 41, nr 3/4 (2012), s. 215–232. PDF
  • „Laudacja na 90-lecie profesora Leona Gumańskiego – redaktora Ruchu Filozoficznego w latach 1981–2008”, Ruch Filozoficzny, tom. 68, nr 4 (2011), s.  683–685.
  • „A method of generating modal logics defining Jaśkowski's discussive logic D2” (współautor M. Nasieniewski), Studia Logica, vol. 97, nr 1 (2011), s. 161–182 (zeszyt specjalny „The Legacy of Newton da Costa”). DOI: 10.1007/s11225-010-9302-2
  • „How to define a mereological (collective) set” (współautor R. Gruszczyński), Logic and Logical Philosophy, vol. 19, nr 4 (2010), s. 309–328. DOI: 10.12775/LLP.2010.011
  • „Simplified Kripke style semantics for some very weak modal logics”, Logic and Logical Philosophy, vol. 18, nr 3–4 (2009), s. 271–296. DOI: 10.12775/LLP.2009.013
  • „Semantics for regular logics connected with Jaśkowski's D2” (współautor M. Nasieniewski), Bulletin of the Section of Logic, vol. 38, nr 3/4 (2009), s. 173–188. PDF
  • „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. http://repozytorium.umk.pl/handle/item/6988
  • „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. DOI: 10.12775/LLP.2009.009
  • „New axiomatizations of the weakest regular modal logic defining Jaśkowski's logic D2” (współautor M. Nasieniewski), Bulletin of the Section of Logic, vol. 38, nr 1/2 (2009), s. 45–50. PDF
  • „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. DOI: 10.1007/s11225-009-9187-0
  • „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. PS    DOI: 10.2178/bsl/1231081462
  • „The weakest regular modal logic defining Jaśkowski's logic D2” (współautor M. Nasieniewski), Bulletin of the Section of Logic, vol. 37, nr 3/4 (2008), s. 197–210. PDF
  • „Pieri's structures” (współautor R. Gruszczyński), Fundamenta Informaticae, vol. 81, nr 1–3 (2007), s. 139–154. Link PDF (strona 1)
  • „Pieces of mereology”, Logic and Logical Philosophy, vol. 14, nr 2 (2005), s.  211–234. MathSciNet DOI: 10.12775/LLP.2005.014
  • „Completeness of minimal positional calculus” (współautor T. Jarmużek), Logic and Logical Philosophy, vol. 13 (2004), s. 147–162. DOI: 10.12775/LLP.2004.009
  • „The axiomatization of Horst Wessel's strict logical consequence relation”, Logic and Logical Philosophy, vol. 13 (2004), s. 121–138. DOI: 10.12775/LLP.2004.007
  • „The consequence relation preserving logical information”, Logic and Logical Philosophy, vol. 13 (2004), s. 89–120. DOI: 10.12775/LLP.2004.006
  • „Paradoks Russella a początki mereologii”, Ruch Filozoficzny, tom LIX, nr 1 (2002), s. 123–129.

LRR M&S Paraconsistency T13 Bcw NDPL

Rozdziały w monografiach (od 2000 r.)

  • „Ontologia bezpunktowa na przykładzie formalizacji teorii zdarzeń Bertranda Russella”, strony 143–182 w Bóg, czas i wolność. Wokół problemu przyszłych zdarzeń przygodnych, Anna Maria Karczewska i Anna Starościc (red.), Lublin: TN KUL 2020. link
  • „Metamathematics of mereology”, strony 361–367 w Handbook of Mereology, H. Burkhardt, J. Seibt, G. Imaguire i S. Gerogiorgakis (red.), Munich: Philosophia Verlag, 2017.
  • „Modal logics defining Jaskowski's and Jaskowski-like discussive logics” (współautor M. Nasieniewski), strony 100–104 w Desâtye Smirnovskie čteniâ po logike: Materialy meždunarodnoj naučnoj konferencii, 15–17 iunâ 2017 g., V. I. Markin (ed.), Moskva: Sovremennye Tetradi, 2017. Link
  • „On modal logics defining Jaśkowski-like discussive logics” (współautor M. Nasieniewski), rozdział 9, s. 213–228, w New Directions in Paraconsistent Logic, J.-Y. Beziau, M. Chakraborty i S. Dutta (red.), vol. 152 serii „Springer Proceedings in Mathematics & Statistics”, Springer Indie, 2015. DOI: 10.1007/978-81-322-2719-9_9
  • „A method of generating modal logics defining Jaśkowski's discussive D2-consequence” (współautor M. Nasieniewski), rozdział 6, s. 95–123 w Logic, Reasoning & Rationality, E. Weber, D. Wouters i J.  Meheus (red.), seria „Logic, Argumentation & Reasoning”, vol. 5, Springer, 2014. DOI: 10.1007/978-94-017-9011-6_6
  • „The relations of supremum and mereological sum in partially ordered sets” (współautor R. Gruszczyński), rozdział 6, s. 123–140, w Mereology and the Sciences. Parts and Wholes in the Contemporary Scientific Context, C. Calosi i P. Graziani (red.), vol. 371 serii Synthese Library „Studies in Epistemology, Logic, Methodology, and Philosophy of Science”, Springer 2014. DOI: 10.1007/978-3-319-05356-1_6
  • „Decidability methods for modal syllogisms” (współautor T. Jarmużek), s. 95–112 w Trends in Logic XIII, A. Indrzejczak, J. Kaczmarek i M. Zawidzki (red.), Wydawnictwo Uniwersytetu Łódzkiego, Łódź 2014.
  • „Axiomatisations of minimal modal logics defining Jaśkowski-like discussive logics” (współautor M. Nasieniewski), s. 149–163 w Trends in Logic XIII, A. Indrzejczak, J. Kaczmarek i M. Zawidzki (red.), Wydawnictwo Uniwersytetu Łódzkiego, Łódź 2014.
  • „On modal logics defining Jaśkowski's D2-consequence” (współautor M. Nasieniewski), rozdział 9, s. 141–160, w Paraconsistency: Logic and Applications, K. Tanaka, F. Berto, E. Mares i F. Paoli (red.), tom 26 serii „Logic, Epistemology and the Unity of Science”, Vol. 26, Springer 2013. DOI: 10.1007/978-94-007-4438-7_9
  • „Ogólna koncepcja bycia częścią całości. Mereologia a nieprzechodnia relacja bycia częścią”, s. 205–228 w Identyczność znaku czy znak identyczności?, J. Golińska-Pilarek i A. Wójtowicz (red.), Wydawnictwa Uniwersytetu Warszawskiego, Warszawa 2012.
  • „An outline of the Anselmian theory of God” (współautorzy T. Jarmużek i M.  Nowicki), s. 317–330 w Essays in Logic and Ontology, J. Malinowski i A. Pietruszczak (red.), Amsterdam/New York 2006, GA: Rodopi DOI: 10.1163/9789004332966_021.
  • „On applications of truth-value connectives for testing arguments with natural connectives”, s. 143–156 w Essays in Logic and Ontology, J. Malinowski i A. Pietruszczak (red.), Amsterdam/New York 2006, GA: Rodopi. DOI: 10.1163/9789004332966_010
  • „Editorial introduction. Logic in Toruń (współautor J. Malinowski)”, s. 9–16 w Essays in Logic and Ontology, J. Malinowski i A. Pietruszczak (red.), Amsterdam/New York 2006, GA: Rodopi. DOI: 10.1163/9789004332966_002
  • „Tadeusza Czeżowskiego teoria zdań jednostkowych”, s. 79–92 w Tadeusz Czeżowski (1989–1981): Dziedzictwo idei: logika – filozofia – etyka, W. Tyburski i R. Wiśniewski (red.), Toruń 2002: Wyd. UMK.
  • „Kawałki mereologii”, s. 357–374 w Logika & Filozofia Logiczna: FLFL 1996–1998, J. Perzanowski i A. Pietruszczak (red.), Toruń 2000: Wyd. UMK.
  • „Charakterystyka systemów relacyjnych mających logikę równą czystej logice predykatów” (współautor G. Pietruszczak), s. 183–206 w Logika & Filozofia Logiczna: FLFL 1996–1998, J. Perzanowski i A. Pietruszczak (red.), Toruń 2000: Wyd. UMK.
  • „O teoriach pierwszego rzędu związanych z elementarnym fragmentem ontologii Leśniewskiego”, s. 127–168 w Logika ↦ Filozofia Logiczna: FLFL 1996–1998, J. Perzanowski i A. Pietruszczak (red.), Toruń 2000: Wyd. UMK.


Abstrakty (od 2000 r.)

  • „Towards a correspondence theory in region-based theories of space" (” (współautor R. Gruszczyński), strony 46–47 w Volume of Abstracts, BLAST, New Mexico State University, Las Cruces, NM, 2021.
  • „Modal logics obtained by means of Jaśkowski's model of discussion” (współautorzy M. Nasieniewski i K. Mruczek-Nasieniewska), strony 438–439 w Handbook of the 6th World Congress and School on Universal Logic, J.-Y. Beziau, A. Buchsbaum i Ch. Rey (red.), Université Clermont Auvergne, Vichy, France, 2018. ISBN: 978-2-9544948-1-4. PDF
  • „Modal syllogistic de re: Semantics, tableaus, estimations and square of oppositions” (współautor T. Jarmużek), strony 28–29 w Fifth World Congress on the Square of Opposition. Handbook of Abstracts, J.-Y. Beziau, A. Buchsbaum i M. Correia (red.), Pontificia Universidad Catótlica de Chile, 2016.
  • „Tableaus for numerical syllogistic” (współautor T. Jarmużek), w Handbook of the World Congress on the Square of Opposition IV, J-Y. Béziau i K. Gan-Krzywoszyńska (red.), Pontifical Lateran University, Watykan 2014.
  • „Modal logics connected to Jaśkowski's logic D2” (współautor M.  Nasieniewski), strony 31–32 w Handbook of the 5th World Congress on Paraconsistency, J-Y. Béziau, A. Buchsbaum i A. Altair (red.), Indian Statistical Institute, Kolkata 2014. PDF
  • „On modal logics defining a Jaśkowski-like discussive logic” (współautor M. Nasieniewski), strony 67–68 w Handbook of the 5th World Congress on Paraconsistency, J-Y. Béziau, A. Buchsbaum i A. Altair (red.), Indian Statistical Institute, Kolkata 2014. PDF
  • „Semantics and tableaus for modal syllogistic de re” (współautor T. Jarmużek), w Handbook of 4th World Congress and School on Universal Logic, J-Y. Béziau, A. Buchsbaum i A. Costa-Leite (red.), Editora Kelps, Goiânia 2013.


Pozostałe prace (przed 2000 r.)

  • „Zur Axiomatisierung der strikten logischen Folgebeziehung Horst Wessels”, s. 215–228 w Terminigebrauch und Folgebeziehung: Festband zu Ehren von Professor Horst Wessel, U. Shefler i K. Wuttich (red.), Berlin 1998: Logos Verlag.
  • „O zbiorze możliwych światów w kracie sytuacji elementarnych”, s. 67–81 w Skłonność metafizyczna: Bogusławowi Wolniewiczowi w darze, M. Omyła (red.), Warszawa 1997.
  • „Co to jest mereologia”, s. 115–127 w Studia z filozofii i logiki, C.  Gorzka i R. Jadczak (red.), Toruń 1997: Wyd. UMK.
  • „Aksjomatyzacja relacji ścisłego wynikania logicznego Horsta Wessla”, s. 281–297 w Byt, Logos, Matematyka, J. Perzanowski i A. Pietruszczak (red.), Toruń 1997: Wyd. UMK.
  • „Wynikanie zachowujące informację logiczną”, s. 251–280 w Byt, Logos, Matematyka, J. Perzanowski i A. Pietruszczak (red.), Toruń 1997: Wyd. UMK.
  • „Próba formalizacji pojęcia noematu” (współautor W. Krysztofiak), s. 161–198 w Byt, Logos, Matematyka, J. Perzanowski i A. Pietruszczak (red.), Toruń 1997: Wyd. UMK. PDF
  • „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. PDF
  • „Cardinalities of models for monadic predicate logic (with equality and individual constants)”, Reports on Mathematical Logic, nr 30 (1996), s. 49–64. PDF
  • „Mereological sets of distributive classes”, Logic and Logical Philosophy, vol. 4 (1996), s. 105–122. DOI: 10.12775/LLP.1996.005
  • „O pewnej interpretacji zdań warunkowych”, Ruch Filozoficzny, tom LII, nr 3–4 (1995), s. 437–442.
  • „Mereologiczne zbiory klas dystrybucyjnych”, s. 97–114 w Filozofia/Logika: Filozofia Logiczna 1994, J. Perzanowski, A. Pietruszczak i C. Gorzka (red.), 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.

 

Wybrane referaty na konferencjach:

  • „Towards a correspondence theory in region-based theories of space” (wspólnie z R. Gruszczyńskim), BLAST, New Mexico State University, Las Cruces, NM, online, 9–13 czerwca 2021.
  • „Grzegorczyk points and filters in Grzegorczyk contact algebras” (wspólnie z R. Gruszczyńskim), Applications of Algebra, Zakopane, 9–15 marca 2020.
  • „On a modal discussive logic corresponding to the extended model of discussion” (wspólnie z K. Mruczek-Nasieniewską i M. Nasieniewskim), Creativity 2019, 1st World Congress of the Brazilian Academy of Philosophy in Honor of Newton da Costa 90th Birthday, Rio de Janeiro, Brazil, 8–13 grudnia 2019.
  • „Non-standard Kripke-style semantics for the logics CD, CT, KD and KT. A few bimodal logics with models having one accessibility relation”, Advances in Philosophical Logic, XI Autumn Conference in Logic, Lublin, 29–30 November, 2019.
  • „Uproszczona semantyka Kripkego dla pewnych normalnych logik modalnych”, XI Polski Zjazd Filozoficzny, Lublin, 10 września 2019.
  • „Representation theorems for Grzegorczyk contact algebras” (wspólnie z R. Gruszczyńskim), Syntax Meets Semantics 2019 (SYSMICS 2019), 21–25 January 2019, University of Amsterdam.
  • „Modal logics obtained by means of Jaśkowski's model of discussion” (wspólnie z M. Nasieniewskim i K. Mruczek-Nasieniewską), 6th World Congress and School on Universal Logic, Vichy, 21–26 czerwca 2018.
  • „Logic of Anselmian ontological proof” (wspólnie z T. Jarmużkiem), Chinese-Polish Workshop on Applied Logic, Pekin, School of Philosophy at Beijing Normal University, 9–10.12.2017.
  • „Modal logics defining Jaskowski's and Jaskowski-like discussive logics” (wspólnie z M. Nasieniewskim), The Tenth Smirnov Readings in Logic, Moscow, Lomonosov Moscow State University, 15–17.06.2017.
  • „On Jaśkowski's discussive logic and Jaśkowski's discussive consequence” (wspólnie z M. Nasieniewskim), Formal Methods and Science in Philosophy II, Dubrownik (Chorwacja), 4–6.05.2017.
  • „O tezach bez iterowanych modalności logik znajdujących się pomiędzy S0.5o a S5”, X Polski Zjazd Filozoficzny, Poznań, 17.09.2015.
  • „A modal logic over Jaśkowski's discussive logic D2” (współnie z M. Nasieniewskim), Formal Methods and Science in Philosophy, Dubrownik (Chorwacja), 26–28.03.2015.
  • „A formalization of Anselmian ontological argument” (współnie z T. Jarmużkiem), Formal Methods and Science in Philosophy, Dubrownik (Chorwacja), 26–28.03.2015.
  • „Decidability methods for modal syllogisms” (współnie z T. Jarmużkiem), Trends in Logic XIII, Łódź, 2–5.07.2014.
  • „Axiomatisations of minimal modal logics defining Jaśkowski-like discussive logics” (współnie z M. Nasieniewskim), Trends in Logic XIII, Łódź, 2–5.07.2014.
  • „Tableaus for numerical syllogistic” (współnie z T. Jarmużkiem), Fourth World Congress on the Square of Opposition, Watykan, 5–9.05.2014.
  • „On modal logics defining a Jaśkowski-like discussive logic” (współnie z M. Nasieniewskim), 5th World Congress on Paraconsistency, Kolkata (Indie), 13–17.02.2014.
  • „Modal logics connected to Jaśkowski's logic D2” (współnie z M.  Nasieniewskim), 5th World Congress on Paraconsistency, Kolkata (Indie), 13–17.02.2014.
  • „Semantics and tableaus for modal syllogistic de re” (współnie z T. Jarmużkiem), 4th World Congress and School on Universal Logic, Rio de Janeiro, 29.03.–7.04.2013.
  • „On some non-classical systems of mereology” (współnie z R. Gruszczyńskim), The Fifth Conference: Non-Classical Logic. Theory and Applications, Toruń, 27–29.09.2012.
  • „On the weakest modal logics defining Jaśkowski's logic D2 and D2-consequence” (współnie z M. Nasieniewskim), 4th Conference: Non-Classical Logic. Theory and Applications, Łódź, 27–29.09.2011.
  • „Sums, fusions and aggregates in theories of parthood” (współnie z R. Gruszczyńskim), Applications of Algebra in Logic and Computer Science XV, Zakopane, 7–12.03.2011.
  • „Logical consequence and logical information” (współnie z R. Gruszczyńskim), Applications of Algebra in Logic and Computer Science XIV, Zakopane, 8–14.03.2010.
  • „A method of generating modal logics defining Jaśkowski's discussive logic D2” (współnie z M. Nasieniewskim), Science, Truth and Consistency. CLE / AIPS Event, Campinas, Brazil, 23–28.08.2009.
  • „On Grzegorczyk's pointless topology. Atomic structures” (współnie z R. Gruszczyńskim), Topology, Algebra and Categories in Logic, Amsterdam, 7–11.07.2009.
  • „Master Argument: time, determinism and branching structures” (współnie z T.  Jarmużkiem), Studia Logica International Conference, Logic and the Foundations of Physics: Space, Time and Quanta, Trends in Logic VI, Brussels, 11–12.12.2008.
  • „On modal logics defining Jaśkowski's D2-consequence” (współnie z M. Nasieniewskim), The Fourth World Congress of Paraconsistency, Melbourne, 13–18.07.2008.
  • „Full development of Tarski's geometry of solids” (współnie z R. Gruszczyńskim) Applications of Algebra XII, Zakopane, Poland, 3–8.03.2008.
  • „Constructing topological spaces from mereological fields” (współnie z R. Gruszczyńskim), Studia Logica International Conference, Many-valued Logic and Cognition, Trends in Logic V, Guangzhou, China, 6–9.07.2007.
  • „Remarks on Tarski's geometry of solids” (współnie z R. Gruszczyńskim), Studia Logica International Conference, Towards Mathematical Philosophy, Trends in Logic IV, Toruń, Poland, 1–4.08.2006.



english Katedra Logiki Wydział Humanistyczny UMK Logic and Logical Philosophy Copyright