Projekty finansowane przez NCN
Filozoficzno-metalogiczne podstawy logiki nazw: semantyka, metody tablicowe iaksjomatyzacja
2021/43/B/HS1/03187
Słowa kluczowe:
aksjomatyzacja logika nazw logika nazw "z logicznymi dziurami" logika nazw złożonych i relatywów logika nazw z prawdopodobieństwem logika modalna metody tablicowe nazwy nieklasyczna logika nazw sylogistyka sylogistyka numeryczna
Deskryptory:
- 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 - Fundamentalne pytania o naturę człowieka i otaczającej go rzeczywistości: filozofia, nauki o poznaniu, religioznawstwo, teologia
Jednostka realizująca:
Uniwersytet Mikołaja Kopernika w Toruniu, Wydział Filozofii i Nauk Społecznych
woj. kujawsko-pomorskie
Kierownik projektu (z jednostki realizującej):
Liczba wykonawców projektu: 3
Konkurs: OPUS 22 - ogłoszony 2021-09-15
Przyznana kwota: 786 900 PLN
Rozpoczęcie projektu: 2022-09-01
Zakończenie projektu: 2026-08-31
Planowany czas trwania projektu: 48 miesięcy (z wniosku)
Status projektu: Projekt w realizacji
Opis Projektu
Pobierz opis projektu w formacie .pdf
Uwaga - opisy projektów zostały sporządzone przez samych autorów wniosków i w niezmienionej formie umieszczone w systemie.
Dane z raportu końcowego/rocznego
- Publikacje w czasopismach (8)
- Russell's Theories of Events and Instants from the Perspective of Point-Free Ontologies in the Tradition of the Lvov-Warsaw SchoolAutorzy:Andrzej PietruszczakCzasopismo:History and Philosophy of Logic (rok: 2024, ), Wydawca: Taylor & FrancisStatus:OpublikowanaDoi:10.1080/01445340.2023.2293414 - link do publikacji
- Russell's Theories of Events and Instants from the Perspective of Point-Free Ontologies in the Tradition of the Lvov-Warsaw SchoolAutorzy:Andrzej PietruszczakCzasopismo:History and Philosophy of Logic (rok: 2024, ), Wydawca: Taylor & FrancisStatus:OpublikowanaDoi:10.1080/01445340.2023.2293414 - link do publikacji
- Różne teorie częściAutorzy:Andrzej PietruszczakCzasopismo:Przegląd Filozoficzny – Nowa Seria (rok: 2024, tom: 32, strony: 125-148), Wydawca: Komitet Nauk Filozoficznych PANStatus:OpublikowanaDoi:10.24425/pfns.2023.146786 - link do publikacji
- From the History of Leśniewski's MereologyAutorzy:Andrzej PietruszczakCzasopismo:Studia Humana (rok: 2023, ), Wydawca: the University of Information Technology and Management in RzeszówStatus:OpublikowanaDoi:10.2478/sh-2024-0002 - link do publikacji
- From the History of Leśniewski's MereologyAutorzy:Andrzej PietruszczakCzasopismo:Studia Humana (rok: 2023, ), Wydawca: the University of Information Technology and Management in RzeszówStatus:OpublikowanaDoi:10.2478/sh-2024-0002 - link do publikacji
- Modal discussive logicsAutorzy:Krystyna Mruczek-Nasieniewska, Marek Nasieniewski, Andrzej PietruszczakCzasopismo:Journal of Philosophical Logic (rok: 2025, tom: 54, strony: 99-112), Wydawca: SpringerStatus:OpublikowanaDoi:10.1007/s10992-024-09781-4 - link do publikacji
- The calculus of names--the legacy of Jan ŁukasiewiczAutorzy:Andrzej PietruszczakCzasopismo:Axioms (rok: 2025, tom: 14, strony: 11689), Wydawca: MDPIStatus:OpublikowanaDoi:10.3390/axioms14030160 - link do publikacji
- Some additional axioms for t-normal logics: Defining K45, KB4, KD45 and S5 without using modal rulesAutorzy:Andrzej PietruszczakCzasopismo:Bulletin of the Section of Logic (rok: 2024, tom: 53, strony: 511-533), Wydawca: Wydawnictwo Uniwersytetu ŁódzkiegoStatus:OpublikowanaDoi:10.18778/0138-0680.2024.12 - link do publikacji