Projects funded by the NCN


Information on the principal investigator and host institution

Information of the project and the call

Keywords

Equipment

Delete all

Philosophical and metalogical foundations of logic of names: semantics, tableaumethods and axiomatization

2021/43/B/HS1/03187

Keywords:

axiomatization logic of names logic of names with logical gaps logic of names complex names and relative names logic of names with probability non-classical logic numerical syllogistic modal logic semantics term logic tableau methods

Descriptors:

  • HS1_004:
  • HS1_003:
  • HS1_002:

Panel:

HS1 - Fundamental questions of human existence and the nature of reality: philosophy, cognition, religious studies, theology

Host institution :

Uniwersytet Mikołaja Kopernika w Toruniu, Wydział Filozofii i Nauk Społecznych

woj. kujawsko-pomorskie

Other projects carried out by the institution 

Principal investigator (from the host institution):

prof. Andrzej Pietruszczak 

Number of co-investigators in the project: 3

Call: OPUS 22 - announced on 2021-09-15

Amount awarded: 786 900 PLN

Project start date (Y-m-d): 2022-09-01

Project end date (Y-m-d): 2026-08-31

Project duration:: 48 months (the same as in the proposal)

Project status: Pending project

Project description

Download the project description in a pdf file

Note - project descriptions were prepared by the authors of the applications themselves and placed in the system in an unchanged form.

Information in the final report

  • Publication in academic press/journals (8)
  1. Russell's Theories of Events and Instants from the Perspective of Point-Free Ontologies in the Tradition of the Lvov-Warsaw School
    Authors:
    Andrzej Pietruszczak
    Academic press:
    History and Philosophy of Logic (rok: 2024, ), Wydawca: Taylor & Francis
    Status:
    Published
    DOI:
    10.1080/01445340.2023.2293414 - link to the publication
  2. Russell's Theories of Events and Instants from the Perspective of Point-Free Ontologies in the Tradition of the Lvov-Warsaw School
    Authors:
    Andrzej Pietruszczak
    Academic press:
    History and Philosophy of Logic (rok: 2024, ), Wydawca: Taylor & Francis
    Status:
    Published
    DOI:
    10.1080/01445340.2023.2293414 - link to the publication
  3. Różne teorie części
    Authors:
    Andrzej Pietruszczak
    Academic press:
    Przegląd Filozoficzny – Nowa Seria (rok: 2024, tom: 32, strony: 125-148), Wydawca: Komitet Nauk Filozoficznych PAN
    Status:
    Published
    DOI:
    10.24425/pfns.2023.146786 - link to the publication
  4. From the History of Leśniewski's Mereology
    Authors:
    Andrzej Pietruszczak
    Academic press:
    Studia Humana (rok: 2023, ), Wydawca: the University of Information Technology and Management in Rzeszów
    Status:
    Published
    DOI:
    10.2478/sh-2024-0002 - link to the publication
  5. From the History of Leśniewski's Mereology
    Authors:
    Andrzej Pietruszczak
    Academic press:
    Studia Humana (rok: 2023, ), Wydawca: the University of Information Technology and Management in Rzeszów
    Status:
    Published
    DOI:
    10.2478/sh-2024-0002 - link to the publication
  6. Modal discussive logics
    Authors:
    Krystyna Mruczek-Nasieniewska, Marek Nasieniewski, Andrzej Pietruszczak
    Academic press:
    Journal of Philosophical Logic (rok: 2025, tom: 54, strony: 99-112), Wydawca: Springer
    Status:
    Published
    DOI:
    10.1007/s10992-024-09781-4 - link to the publication
  7. The calculus of names--the legacy of Jan Łukasiewicz
    Authors:
    Andrzej Pietruszczak
    Academic press:
    Axioms (rok: 2025, tom: 14, strony: 11689), Wydawca: MDPI
    Status:
    Published
    DOI:
    10.3390/axioms14030160 - link to the publication
  8. Some additional axioms for t-normal logics: Defining K45, KB4, KD45 and S5 without using modal rules
    Authors:
    Andrzej Pietruszczak
    Academic press:
    Bulletin of the Section of Logic (rok: 2024, tom: 53, strony: 511-533), Wydawca: Wydawnictwo Uniwersytetu Łódzkiego
    Status:
    Published
    DOI:
    10.18778/0138-0680.2024.12 - link to the publication