Projekty finansowane przez NCN

Formalne teorie prawdy i niestandardowe modele arytmetyki

Konkurs: PRELUDIUM 7 , panel: HS1

Kierownik: Michał 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

Empiryczne źródła wiedzy matematycznej

Konkurs: OPUS 1 , panel: HS1

Kierownik: prof. Krzysztof Wójtowicz

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

Relacje tolerancji w kratach i ich wykorzystanie

Konkurs: OPUS 1 , panel: HS1

Kierownik: dr hab. Joanna Grygiel

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

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

Konkurs: OPUS 4 , panel: HS1

Kierownik: dr hab. Ryszard 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

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

Konkurs: OPUS 25 , panel: HS1

Kierownik: dr Michał 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 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 Polskiej Akademii Nauk

Reprezentacje semantyk algebraicznych dla logik podstrukturalnych

Konkurs: OPUS 24 (LAP) , panel: HS1

Kierownik: dr hab. Tomasz Kowalski

Uniwersytet Jagielloński, Wydział Filozoficzny

Logiczne i epistemologiczne kryteria istotności w podstawach matematyki

Konkurs: SONATA BIS 12 , panel: HS1

Kierownik: dr Mateusz Łełyk

Uniwersytet Warszawski, Wydział Filozofii

Równoważność w logikach podstrukturalnych

Konkurs: OPUS 23 , panel: HS1

Kierownik: dr hab. Tomasz Kowalski

Uniwersytet Jagielloński, Wydział Filozoficzny

Matematyzowane teorie naukowe i podstawy matematyki stosowanej

Konkurs: OPUS 20 , panel: HS1

Kierownik: dr Jeffrey 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 w Toruniu, 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 Łełyk

Uniwersytet Warszawski

Logiki dla wnioskowań jakościowych

Konkurs: MAESTRO 1 , panel: HS1

Kierownik: dr hab. Joanna Golińska-Pilarek

Uniwersytet Warszawski, Wydział Filozofii i Socjologii

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: Marlena Fila

Uniwersytet Pedagogiczny im. Komisji Edukacji Narodowej w Krakowie, Wydział Matematyczno-Fizyczno-Techniczny

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

Konkurs: OPUS 16 , panel: HS1

Kierownik: dr hab. Piotr Błaszczyk

Uniwersytet 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 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ł 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 Wałęga

Uniwersytet Warszawski, Wydział Filozofii i Socjologii

Problem wyjaśniania w matematyce

Konkurs: OPUS 11 , panel: HS1

Kierownik: prof. Krzysztof Wójtowicz

Uniwersytet Warszawski, Wydział Filozofii

Mechanizmy poznania geometrycznego

Konkurs: OPUS 10 , panel: HS1

Kierownik: dr Mateusz Hohol

Instytut Filozofii i Socjologii Polskiej Akademii Nauk

Kognitywne mechanizmy referencji liczebnikowej

Konkurs: OPUS 1 , panel: HS1

Kierownik: dr hab. Wojciech Krysztofiak

Uniwersytet Szczeciński, Wydział Humanistyczny