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

Ontology of metaphysics

Call: OPUS 4 , Panel: HS1

Principal investigator: dr hab. Paweł Rafał Garbacz

Towarzystwo Naukowe Katolickiego Uniwersytetu Lubelskiego Jana Pawła II, Towarzystwo Naukowe Katolickiego Uniwersytetu Lubelskiego Jana Pawla II

Modelling of dynamic spatial phenomena, combining static / spatial representation and dynamic / temporal context, for su...

Call: PRELUDIUM 3 , Panel: HS4

Principal investigator: Jaromar Marceli Łukowicz

Uniwersytet Przyrodniczy we Wrocławiu, Wydział Inżynierii Kształtowania Środowiska i Geodezji

Decision Problems for Logics with Weak Forms of Recursion

Call: PRELUDIUM 23 , Panel: ST6

Principal investigator: Bartosz Jan Bednarczyk

Uniwersytet Wrocławski

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

Atom. Substance. System. Investigations into Topological Ontology

Call: OPUS 14 , Panel: HS1

Principal investigator: dr hab. Janusz Kaczmarek

Uniwersytet Łódzki, Wydział Filozoficzno-Historyczny

Perception Based Computing

Call: SONATA 1 , Panel: ST6

Principal investigator: dr Piotr Tomasz Wasilewski

Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki