Projects funded by the NCN

Goedel's ontological argument: history, modifications. extensions, and controversies

Call: HARMONIA 4 , Panel: HS1

Principal investigator: dr hab. Kordula Świętorzecka

Uniwersytet Kardynała Stefana Wyszyńskiego w Warszawie, Wydział Filozofii Chrześcijańskiej

Relation based semantics: axiomatic and tableaux proof-calculi

Call: OPUS 26 , Panel: HS1

Principal investigator: dr hab. Tomasz Dariusz Jarmużek

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

Logical and Philosophical Aspects of Pluralism and Potentialism in Set-Theory and Arithmetic

Call: OPUS 25 , Panel: HS1

Principal investigator: dr Michał Tomasz Godziszewski

Uniwersytet Łódzki, Wydział Filozoficzno-Historyczny

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

Call: OPUS 22 , Panel: HS1

Principal investigator: prof. Andrzej Pietruszczak

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

Extensional Ontology and Philosophical Logic

Call: OPUS 2 , Panel: HS1

Principal investigator: dr hab. Andrzej Paweł Biłat

Wyższa Szkoła Przedsiębiorczości i Administracji w Lublinie

Logico-philosophical foundations of geometry and topology

Call: OPUS 20 , Panel: HS1

Principal investigator: dr hab. Rafał Gruszczyński

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

Philosophical and formal analysis of qualitative spatial logics

Call: SONATA 13 , Panel: HS1

Principal investigator: dr Adam Trybus

Uniwersytet Zielonogórski, Wydział Humanistyczny

Reminiscences on Jaśkowski - logico-philosophical investigations inspired by works on discussive logic

Call: OPUS 12 , Panel: HS1

Principal investigator: dr hab. Marek Nasieniewski

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

Tableau systems of relating logics motivated by philosophical interpretations of natural language connectives

Call: PRELUDIUM 10 , Panel: HS1

Principal investigator: Mateusz Klonowski

Uniwersytet Mikołaja Kopernika w Toruniu, Wydział Humanistyczny