Projekty finansowane przez NCN

Miary złożoności strukturalnej dla teorii podstaw matematyki

Konkurs: WEAVE-UNISONO , panel: HS1

Kierownik: dr Mateusz Zbigniew Łełyk

Uniwersytet Warszawski

Metateoretyczne i międzyteoretyczne redukcje w podstawach matematyki

Konkurs: OPUS 27 , panel: HS1

Kierownik: Maciej Głowacki

Uniwersytet Warszawski

Logiki wyższych rzędów a zjawisko absolutności w teorii mnogości

Konkurs: SONATA 19 , panel: HS1

Kierownik: dr Bartosz Wcisło

Uniwersytet Gdański, Wydział Nauk Społecznych

Logiczne i filozoficzne aspekty pluralizmu i potencjalizmu w teorii mnogości i arytmetyce

Konkurs: OPUS 25 , panel: HS1

Kierownik: dr Michał Tomasz Godziszewski

Uniwersytet Łódzki, Wydział Filozoficzno-Historyczny

Zupełność w sensie Posta a zupełność względem semantyki sąsiedztwa w klasycznych logikach modalnych

Konkurs: PRELUDIUM 22 , panel: HS1

Kierownik: Krzysztof Aleksander Krawczyk

Uniwersytet Jagielloński, Wydział Filozoficzny

Obliczalna teoria modeli i filozofia strukturalizmu matematycznego

Konkurs: OPUS 25 , panel: HS1

Kierownik: dr Dariusz Kalociński

Instytut Podstaw Informatyki PAN

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

Konkurs: OPUS 25 , panel: ST1

Kierownik: dr hab. Leszek Aleksander Kołodziejczyk

Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

Reprezentacje semantyk algebraicznych dla logik podstrukturalnych

Konkurs: OPUS 24 (LAP) , panel: HS1

Kierownik: dr hab. Tomasz Stanisław Kowalski

Uniwersytet Jagielloński, Wydział Filozoficzny

Logiczne i epistemologiczne kryteria istotności w podstawach matematyki

Konkurs: SONATA BIS 12 , panel: HS1

Kierownik: dr Mateusz Zbigniew Łełyk

Uniwersytet Warszawski, Wydział Filozofii

Równoważność w logikach podstrukturalnych

Konkurs: OPUS 23 , panel: HS1

Kierownik: dr hab. Tomasz Stanisław Kowalski

Uniwersytet Jagielloński, Wydział Filozoficzny

Matematyzowane teorie naukowe i podstawy matematyki stosowanej

Konkurs: OPUS 20 , panel: HS1

Kierownik: dr Jeffrey John Ketland

Uniwersytet Warszawski, Wydział Filozofii

Logiczno-filozoficzne podstawy geometrii i topologii

Konkurs: OPUS 20 , panel: HS1

Kierownik: dr hab. Rafał Gruszczyński

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

Interpretując Euklidesa

Konkurs: PRELUDIUM 19 , panel: HS1

Kierownik: Anna Petiurenko

Uniwersytet Pedagogiczny im. Komisji Edukacji Narodowej w Krakowie

Prawda: pomiędzy dyskwotacją i kompozycyjnością.

Konkurs: SONATA 15 , panel: HS1

Kierownik: dr Mateusz Zbigniew Łełyk

Uniwersytet Warszawski

Epistemiczne i semantyczne zobowiązania fundamentalnych teorii matematycznych

Konkurs: MAESTRO 11 , panel: HS1

Kierownik: dr hab. Cezary Cieśliński

Uniwersytet Warszawski

Bernard Bolzano i nauki kognitywne

Konkurs: PRELUDIUM 17 , panel: HS1

Kierownik: dr Marlena Fila

Uniwersytet Pedagogiczny im. Komisji Edukacji Narodowej w Krakowie

Nieskończoność i nieskończenie małe

Konkurs: OPUS 16 , panel: HS1

Kierownik: dr hab. Piotr Błaszczyk

Uniwersytet Pedagogiczny im. Komisji Edukacji Narodowej w Krakowie

Metody teoriomodelowe w logice oraz w podstawach matematyki i nauk empirycznych

Konkurs: OPUS 15 , panel: HS1

Kierownik: dr Jeffrey Ketland

Uniwersytet Warszawski, Wydział Filozofii

Dodatniość wiązek liniowych na powierzchniach algebraicznych

Konkurs: SONATINA 2 , panel: ST1

Kierownik: dr Łucja Farnik

Uniwersytet Pedagogiczny im. Komisji Edukacji Narodowej w Krakowie

Przezwyciężenie paradoksów naiwnej poprawności logicznej i nieformalnej dowodliwości poprzez semantykę niedeterministycz...

Konkurs: SONATINA 2 , panel: HS1

Kierownik: Paweł Pawłowski

Uniwersytet Gdański, Wydział Nauk Społecznych

Teorie prawdy i ich siła

Konkurs: OPUS 14 , panel: HS1

Kierownik: dr hab. Cezary Cieśliński

Uniwersytet Warszawski, Wydział Filozofii

Filozoficzna i formalna analiza jakościowych logik przestrzeni

Konkurs: SONATA 13 , panel: HS1

Kierownik: dr Adam Trybus

Uniwersytet Zielonogórski, Wydział Humanistyczny

Logiki sytuacji

Konkurs: OPUS 13 , panel: HS1

Kierownik: dr hab. Joanna Golińska-Pilarek

Uniwersytet Warszawski, Wydział Filozofii

Niestandardowe modele arytmetyki i formalne teorie prawdy

Konkurs: ETIUDA 5 , panel: HS1

Kierownik: Michał Tomasz Godziszewski

Uniwersytet Warszawski, Wydział Filozofii

Is general relativity deterministic? Some case studies

Konkurs: ETIUDA 5 , panel: HS1

Kierownik: Juliusz Doboszewski

Uniwersytet Jagielloński, Wydział Filozoficzny

Hybrydyzacja fragmentów logiki Halperna-Shohama

Konkurs: PRELUDIUM 12 , panel: HS1

Kierownik: Przemysław Andrzej Wałęga

Uniwersytet Warszawski, Wydział Filozofii i Socjologii

Problem wyjaśniania w matematyce

Konkurs: OPUS 11 , panel: HS1

Kierownik: prof. Krzysztof Piotr Wójtowicz

Uniwersytet Warszawski, Wydział Filozofii

Mechanizmy poznania geometrycznego

Konkurs: OPUS 10 , panel: HS1

Kierownik: dr Mateusz Leszek Hohol

Instytut Filozofii i Socjologii Polskiej Akademii Nauk

Formalne teorie prawdy i niestandardowe modele arytmetyki

Konkurs: PRELUDIUM 7 , panel: HS1

Kierownik: Michał Tomasz Godziszewski

Uniwersytet Warszawski, Wydział Filozofii i Socjologii

Uczenie się semantyki kwantyfikatorów języka naturalnego

Konkurs: PRELUDIUM 7 , panel: HS1

Kierownik: Dariusz Kalociński

Uniwersytet Warszawski, Wydział Filozofii i Socjologii

Zastosowania mereologii w systemach geometrii bezpunktowych

Konkurs: OPUS 7 , panel: HS1

Kierownik: dr Rafał Gruszczyński

Uniwersytet Mikołaja Kopernika, Wydział Humanistyczny

Formalne teorie prawdy

Konkurs: OPUS 7 , panel: HS1

Kierownik: dr hab. Cezary Cieśliński

Uniwersytet Warszawski, Wydział Filozofii i Socjologii

Analiza logicznych i matematycznych założeń w traktatach Piero della Francesca

Konkurs: OPUS 4 , panel: HS1

Kierownik: dr hab. Ryszard Romuald Mirek

Uniwersytet Pedagogiczny im. Komisji Edukacji Narodowej w Krakowie, Wydział Humanistyczny

Logiki pozycyjne - metateoria i zastosowania

Konkurs: SONATA BIS 1 , panel: HS1

Kierownik: dr hab. Marcin Tkaczyk

TOWARZYSTWO NAUKOWE KATOLICKIEGO UNIWERSYTETU LUBELSKIEGO JANA PAWŁA II

Logiki dla wnioskowań jakościowych

Konkurs: MAESTRO 1 , panel: HS1

Kierownik: dr hab. Joanna Golińska-Pilarek

Uniwersytet Warszawski, Wydział Filozofii i Socjologii

Kognitywne mechanizmy referencji liczebnikowej

Konkurs: OPUS 1 , panel: HS1

Kierownik: dr hab. Wojciech Sławomir Krysztofiak

Uniwersytet Szczeciński, Wydział Humanistyczny

Empiryczne źródła wiedzy matematycznej

Konkurs: OPUS 1 , panel: HS1

Kierownik: prof. Krzysztof Piotr Wójtowicz

Uniwersytet Warszawski, Wydział Filozofii i Socjologii

Relacje tolerancji w kratach i ich wykorzystanie

Konkurs: OPUS 1 , panel: HS1

Kierownik: dr hab. Joanna Ewa Grygiel

Akademia im. Jana Długosza w Częstochowie, Wydział Matematyczno-Przyrodniczy