Projekty finansowane przez NCN

Ontologiczny argument Goedla: historia, modyfikacje, rozszerzenia i kontrowersje

Konkurs: HARMONIA 4 , panel: HS1

Kierownik: dr hab. Kordula Świętorzecka

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

Związki teorii modeli z topologią i algebrą

Konkurs: OPUS 4 , panel: ST1

Kierownik: dr hab. Krzysztof Krupiński

Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

Ontologia metafizyki

Konkurs: OPUS 4 , panel: HS1

Kierownik: dr hab. Paweł Garbacz

TOWARZYSTWO NAUKOWE KATOLICKIEGO UNIWERSYTETU LUBELSKIEGO JANA PAWŁA II, Towarzystwo Naukowe Katolickiego Uniwersytetu Lubelskiego Jana Pawla II

Ontologia ekstensjonalna i logika filozoficzna

Konkurs: OPUS 2 , panel: HS1

Kierownik: dr hab. Andrzej Biłat

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

Reinterpretując anaforę: w stronę podejścia opartego na wieloznaczności

Konkurs: PRELUDIUM 20 , panel: HS1

Kierownik: Antonina Jamrozik

Uniwersytet Warszawski, Wydział Filozofii

Rekonceptualizacja probabilizmu w kontekstach prawnych

Konkurs: OPUS 21 , panel: HS1

Kierownik: dr hab. Rafał Urbaniak

Uniwersytet Gdański, Wydział Nauk Społecznych

Atom. Substancja. System. Badania z zakresu ontologii topologicznej

Konkurs: OPUS 14 , panel: HS1

Kierownik: dr hab. Janusz Kaczmarek

Uniwersytet Łódzki, Wydział Filozoficzno-Historyczny

Logika deontyczna na potrzeby samochodów autonomicznych

Konkurs: HARMONIA 9 , panel: HS1

Kierownik: prof. Piotr Kulicki

Katolicki Uniwersytet Lubelski Jana Pawła II, Wydział Filozofii

Filozoficzna i formalna analiza jakościowych logik przestrzeni

Konkurs: SONATA 13 , panel: HS1

Kierownik: dr Adam Trybus

Uniwersytet Zielonogórski, Wydział Humanistyczny

Skalowalne metody wnioskowania o imperatywnych programach współbieżnych

Konkurs: SONATA 12 , panel: ST6

Kierownik: dr Filip Sieczkowski

Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

Obliczenia symboliczne na obiektach definiowalnych w logice pierwszego rzędu

Konkurs: OPUS 11 , panel: ST6

Kierownik: prof. Sławomir Lasota

Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

Fenomenologiczne mechanizmy prefabrykowania przestrzeni mentalnych

Konkurs: OPUS 11 , panel: HS1

Kierownik: dr hab. Wojciech Krysztofiak

Uniwersytet Szczeciński, Wydział Humanistyczny

Epistemologiczne aspekty zastosowania implikacji treściowej jako narzędzia formalizacji wyrażeń języka naturalnego.

Konkurs: OPUS 9 , panel: HS1

Kierownik: dr hab. Piotr Łukowski

Uniwersytet Łódzki, Wydział Nauk o Wychowaniu