Projekty finansowane przez NCN

Empiryczne źródła wiedzy matematycznej

Konkurs: OPUS 1 , panel: HS1

Kierownik: prof. Krzysztof Wójtowicz

Uniwersytet Warszawski, Wydział Filozofii i Socjologii

Zastosowanie modelu poziomów analizy w badaniach nad twierdzeniami współczesnego teizmu naturalistycznego na temat relac...

Konkurs: OPUS 5 , panel: HS1

Kierownik: dr Piotr Bylica

Uniwersytet Zielonogórski, Wydział Humanistyczny

Istnienie Boga. Badania dotyczące ontologicznych dowodów.

Konkurs: OPUS 4 , panel: HS1

Kierownik: dr hab. Mirosław Szatkowski

Instytut Filozofii i Socjologii PAN

Ciężar dowodu w prawie pracy

Konkurs: PRELUDIUM 3 , panel: HS5

Kierownik: Aneta Tyc

Uniwersytet Łódzki, Wydział Prawa i Administracji

Logika erotetyczna w modelowaniu liniowego i dystrybutywnego przetwarzania pytań. Podstawy teoretyczne i zastosowania

Konkurs: MAESTRO 2 , panel: HS1

Kierownik: prof. Andrzej Wiśniewski

Uniwersytet im. Adama Mickiewicza, Wydział Nauk Społecznych

Między teorią dowodu, matematyką odwrotną i teorią modeli arytmetyki

Konkurs: OPUS 25 , panel: ST1

Kierownik: dr hab. Leszek Kołodziejczyk

Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

Filozofia nauki dla kryzysu replikacji

Konkurs: OPUS 25 , panel: HS1

Kierownik: dr Mariusz Maziarz

Uniwersytet Jagielloński, Wydział Filozoficzny

80 lat badań nad dedukcją naturalną i rachunkami sekwentowymi

Konkurs: OPUS 2 , panel: HS1

Kierownik: prof. Andrzej Indrzejczak

UNIWERSYTET ŁÓDZKI, Wydział Filozoficzno Historyczny

Dowody eksperckie z perspektywy interdyscyplinarnej

Konkurs: SONATA 18 , panel: HS5

Kierownik: dr Bartłomiej Kucharzyk

Uniwersytet Jagielloński, Wydział Prawa i Administracji

Rekonceptualizacja probabilizmu w kontekstach prawnych

Konkurs: OPUS 21 , panel: HS1

Kierownik: dr hab. Rafał Urbaniak

Uniwersytet Gdański, Wydział Nauk Społecznych

Systemy dedukcyjne oraz problem rozstrzygalności dla logik hybrydowych

Konkurs: PRELUDIUM 1 , panel: HS1

Kierownik: dr Michał Zawidzki

Uniwersytet Łódzki, Wydział Filozoficzno-Historyczny

Dystrybutywne systemy dedukcyjne dla logiki klasycznej i pewnych logik nieklasycznych. Teoria dowodu wspomagana wybranym...

Konkurs: SONATA BIS 7 , panel: HS1

Kierownik: dr hab. Dorota Leszczyńska-Jasion

Uniwersytet im. Adama Mickiewicza w Poznaniu, Wydział Psychologii i Kognitywistyki

Swobodna ocena dowodów – analiza teoretycznoprawna

Konkurs: ETIUDA 5 , panel: HS5

Kierownik: Bartłomiej Kucharzyk

Uniwersytet Jagielloński, Wydział Prawa i Administracji

Prejudycjalność w polskim i rosyjskim procesie karnym. Analiza prawonoporównawcza

Konkurs: PRELUDIUM 11 , panel: HS5

Kierownik: dr Joanna Machlańska

Uniwersytet Jagielloński, Wydział Prawa i Administracji