Philosophical and metalogical foundations of logic of names: semantics, tableaumethods and axiomatization
2021/43/B/HS1/03187
Keywords
Descriptors
- HS1_004: Logika, metodologia nauk, filozofia nauki
- HS1_003: Epistemologia (w tym: źródła poznania, kryteria prawdy, filozofia języka)
- HS1_002: Ontologia i metafizyka, ontologie szczegółowe
Panel
HS1 – Fundamental questions of human existence and the nature of reality: philosophy, cognition, religious studies, theology
Host institution
Uniwersytet Mikołaja Kopernika, Wydział Filozofii i Nauk Społecznych
Voivodeship: kujawsko-pomorskie
Principal investigator (from the host institution)
Number of co-investigators in the project: 3
Call
OPUS 22 – announced on 2021-09-15
- Amount awarded
- 786 900 PLN
- Project start date
- 2022-09-01
- Project end date
- 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 (6)
-
Różne teorie części
- Authors:
- Andrzej Pietruszczak
- Academic press:
- Przegląd Filozoficzny – Nowa Seria (year: 2024, volume: 32, pages: 125-148), Publisher: Komitet Nauk Filozoficznych PAN
- Status:
- Published
- DOI:
- 10.24425/pfns.2023.146786 – link to the publication
-
From the History of Leśniewski's Mereology
- Authors:
- Andrzej Pietruszczak
- Academic press:
- Studia Humana (year: 2023, volume: 0, pages: 46034), Publisher: the University of Information Technology and Management in Rzeszów
- Status:
- Published
- DOI:
- 10.2478/sh-2024-0002 – link to the publication
-
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 (year: 2024, volume: 0, pages: 12785), Publisher: Taylor & Francis
- Status:
- Published
- DOI:
- 10.1080/01445340.2023.2293414 – link to the publication
-
The calculus of names--the legacy of Jan Łukasiewicz
- Authors:
- Andrzej Pietruszczak
- Academic press:
- Axioms (year: 2025, volume: 14, pages: 11689), Publisher: MDPI
- Status:
- Published
- DOI:
- 10.3390/axioms14030160 – link to the publication
-
Modal discussive logics
- Authors:
- Krystyna Mruczek-Nasieniewska, Marek Nasieniewski, Andrzej Pietruszczak
- Academic press:
- Journal of Philosophical Logic (year: 2025, volume: 54, pages: 99-112), Publisher: Springer
- Status:
- Published
- DOI:
- 10.1007/s10992-024-09781-4 – link to the publication
-
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 (year: 2024, volume: 53, pages: 511-533), Publisher: Wydawnictwo Uniwersytetu Łódzkiego
- Status:
- Published
- DOI:
- 10.18778/0138-0680.2024.12 – link to the publication