Projekty finansowane przez NCN

Uznawanie świętych w pełnym średniowieczu. Nowe spojrzenie na lokalną i papieską formalizację kultów

Konkurs: SONATA BIS 13 , panel: HS3

Kierownik: dr hab. Grzegorz Pac

Uniwersytet Warszawski, Wydział Historii

Metateoria systemów tablicowych

Konkurs: OPUS 10 , panel: HS1

Kierownik: dr hab. Tomasz Jarmużek

Uniwersytet Mikołaja Kopernika, 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

Zintegrowana formalizacja rozumowań normatywnych dotyczących własności deontycznych działań i stanów rzeczy

Konkurs: OPUS 9 , panel: HS1

Kierownik: dr Robert Trypuz

Towarzystwo Naukowe Katolickiego Uniwersytetu Lubelskiego Jana Pawła II

SYNAMET - mikrokorpus metafor synestezyjnych. Formalizacja opisu i wypracowanie efektywnych metod analizy metafor w dysk...

Konkurs: OPUS 8 , panel: HS2

Kierownik: dr hab. Magdalena Zawisławska

Uniwersytet Warszawski, Wydział Polonistyki

Metody formalizacji i kryteria racjonalności wnioskowań zawodnych

Konkurs: OPUS 3 , panel: HS1

Kierownik: dr hab. Anna Wójtowicz

Uniwersytet Warszawski, Wydział Filozofii i Socjologii

Czy język ekonomii ogranicza jej moc wyjaśniającą? Analiza wpływu nierealistycznych założeń, matematycznego formalizmu i...

Konkurs: SONATA 1 , panel: HS4

Kierownik: dr Łukasz Hardt

Uniwersytet Warszawski, Wydział Nauk Ekonomicznych