Projekty finansowane przez NCN

Eksperymenty myślowe w filozofii: geneza, struktura, funkcje

Konkurs: ETIUDA 6 , panel: HS1

Kierownik: Piotr Biłgorajski

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

Efektywne obliczenia w predykatywnej matematyce

Konkurs: SONATINA 2 , panel: ST6

Kierownik: dr Michał Przybyłek

Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

Rekonceptualizacja podstaw biologii populacyjnej; przypadek interakcji zwierząt z mikroorganizmami

Konkurs: ETIUDA 6 , panel: HS1

Kierownik: Adrian Stencel

Uniwersytet Jagielloński, Wydział Filozoficzny

Dodatniość wiązek liniowych na powierzchniach algebraicznych

Konkurs: SONATINA 2 , panel: ST1

Kierownik: dr Łucja Farnik

Uniwersytet Komisji Edukacji Narodowej w Krakowie

Badania przyczynowości we współczesnej ekonomii

Konkurs: ETIUDA 6 , panel: HS1

Kierownik: Mariusz Maziarz

Uniwersytet Ekonomiczny we Wrocławiu, Wydział Ekonomii i Finansów

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

Metodologiczna odnowa teologii dogmatycznej.

Konkurs: OPUS 14 , panel: HS1

Kierownik: dr hab. Robert Woźniak

Uniwersytet Papieski Jana Pawła II w Krakowie, Wydział Teologiczny

Atom. Substancja. System. Badania z zakresu ontologii topologicznej

Konkurs: OPUS 14 , panel: HS1

Kierownik: dr hab. Janusz Kaczmarek

Uniwersytet Łódzki, Wydział Filozoficzno-Historyczny

Dowodliwość, obliczenia i kombinatoryka na niskich i średnich poziomach hierarchii Gödla

Konkurs: OPUS 14 , panel: ST1

Kierownik: dr hab. Leszek Kołodziejczyk

Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

Filozoficzna Analiza Współmierności Dostosowania. Case Study: Ewolucja Indywidualności

Konkurs: OPUS 14 , panel: HS1

Kierownik: Adrian Stencel

Uniwersytet Jagielloński, Wydział Filozoficzny

Naturalizacja fenomenologii a wyjaśnienia mechanicystyczne w kognitywistyce. Próba integracji teoretycznej

Konkurs: OPUS 14 , panel: HS1

Kierownik: dr hab. Marek Pokropski

Uniwersytet Warszawski, Wydział Filozofii

Teorie prawdy i ich siła

Konkurs: OPUS 14 , panel: HS1

Kierownik: dr hab. Cezary Cieśliński

Uniwersytet Warszawski, Wydział Filozofii

Pragmatyczna i epistemiczna wartość informacji. Aspekty teorio-decyzyjne, probabilistyczne oraz empiryczne

Konkurs: SONATA 13 , panel: HS1

Kierownik: dr Patryk Dziurosz-Serafinowicz

Uniwersytet Gdański, Wydział Nauk Społecznych

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

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

Eksperymenty myślowe w filozofii: geneza, struktura, funkcje

Konkurs: PRELUDIUM 13 , panel: HS1

Kierownik: Piotr Biłgorajski

Towarzystwo Naukowe Katolickiego Uniwersytetu Lubelskiego Jana Pawła II

Sekwentowe i tablicowe systemy dedukcyjne dla logik nieklasycznych

Konkurs: OPUS 13 , panel: HS1

Kierownik: prof. Andrzej Indrzejczak

Uniwersytet Łódzki, Wydział Filozoficzno-Historyczny

Otwarte problemy teorii waluacji w charakterystyce dodatniej

Konkurs: OPUS 13 , panel: ST1

Kierownik: prof. Franz-Viktor Kuhlmann

Uniwersytet Szczeciński, Wydział Matematyczno-Fizyczny

Kwantyfikatory w języku: użycie i znaczenie

Konkurs: OPUS 13 , panel: HS1

Kierownik: dr Jakub Szymanik

Instytut Podstaw Informatyki Polskiej Akademii Nauk

Własności dyspozycyjne, przyspieszenie i siły fizyczne

Konkurs: OPUS 13 , panel: HS1

Kierownik: dr hab. Jan Hauska

Uniwersytet Jagielloński, Wydział Filozoficzny

Fundamentalne zagadnienia ontologiczne a fizyka współczesna

Konkurs: OPUS 13 , panel: HS1

Kierownik: dr hab. Tomasz Bigaj

Uniwersytet Warszawski, Wydział Filozofii

Logiki sytuacji

Konkurs: OPUS 13 , panel: HS1

Kierownik: dr hab. Joanna Golińska-Pilarek

Uniwersytet Warszawski, Wydział Filozofii

Ontologiczny i metodologiczny status symetrii w fizyce

Konkurs: PRELUDIUM 13 , panel: HS1

Kierownik: dr Joanna Luc

Uniwersytet Jagielloński, Wydział Filozoficzny

Teorie modalności epistemicznych i ontycznych z pierwotnym pojęciem zmiany. Rozszerzenia logiki zmiany LC

Konkurs: PRELUDIUM 13 , panel: HS1

Kierownik: Marcin Łyczak

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

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

Ograniczone, niezmiennicze relacje równoważności

Konkurs: ETIUDA 5 , panel: ST1

Kierownik: Tomasz Rzepecki

Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

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

Reminiscencje na temat Jaśkowskiego - logiczno-filozoficzne badania inspirowane pracami na temat logiki dyskusyjnej

Konkurs: OPUS 12 , panel: HS1

Kierownik: dr hab. Marek Nasieniewski

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

Hybrydyzacja fragmentów logiki Halperna-Shohama

Konkurs: PRELUDIUM 12 , panel: HS1

Kierownik: Przemysław Wałęga

Uniwersytet Warszawski, Wydział Filozofii i Socjologii

Realne możliwości: czym są i jak są reprezentowane w fizyce?

Konkurs: OPUS 12 , panel: HS1

Kierownik: prof. Tomasz Placek

Uniwersytet Jagielloński, Wydział Filozoficzny

Miejsce Kazimierza Twardowskiego w kulturze polskiej i filozofii europejskiej

Konkurs: OPUS 12 , panel: HS1

Kierownik: prof. Jacek Jadacki

Uniwersytet Warszawski, Wydział Filozofii

Deskryptywna teoria mnogości: struktura i dynamika grup polskich

Konkurs: SONATA 12 , panel: ST1

Kierownik: dr Aleksandra Kwiatkowska

Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

Semantyka z kontynuacjami i typami zależnymi: badanie mechanizmów kwantyfikacji w języku naturalnym

Konkurs: OPUS 12 , panel: HS1

Kierownik: dr hab. Justyna Grudzińska-Zawadowska

Uniwersytet Warszawski, Wydział Filozofii i Socjologii

Algebraiczne i topologiczne metody w teorii modeli

Konkurs: SONATA BIS 6 , panel: ST1

Kierownik: prof. Krzysztof Krupiński

Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

Pojęciowe, formalne i praktyczne aspekty kryminologicznych i prawniczych zastosowań narzędzi probabilistycznych.

Konkurs: SONATA BIS 6 , panel: HS1

Kierownik: dr hab. Rafał Urbaniak

Uniwersytet Gdański, Wydział Nauk Społecznych

Czasoprzestrzenne historie - teoria i zastosowania

Konkurs: HARMONIA 8 , panel: HS1

Kierownik: prof. Tomasz Placek

Uniwersytet Jagielloński, Wydział Filozoficzny

Problem wyjaśniania w matematyce

Konkurs: OPUS 11 , panel: HS1

Kierownik: prof. Krzysztof Wójtowicz

Uniwersytet Warszawski, Wydział Filozofii

Teorio-modelowe i algebraiczne własności rozdzielczo domkniętych G-ciał.

Konkurs: PRELUDIUM 11 , panel: ST1

Kierownik: Daniel Hoffmann

Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

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

Materiały hybrydowe - na pograniczu urządzeń neuromorficznych oraz układów logiki rozmytej

Konkurs: PRELUDIUM 11 , panel: ST3

Kierownik: Kacper Pilarczyk

Akademia Górniczo-Hutnicza im. Stanisława Staszica w Krakowie, Akademickie Centrum Materiałów i Nanotechnologii

Problem separacji w teorii automatów

Konkurs: SONATA 11 , panel: ST6

Kierownik: dr Wojciech Czerwiński

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

W poszukiwaniu nowych logik komputerowych

Konkurs: OPUS 11 , panel: ST6

Kierownik: dr hab. Emanuel Kieroński

Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

Ilościowe aspekty złożoności obliczeniowej w rachunku lambda

Konkurs: PRELUDIUM 11 , panel: ST6

Kierownik: dr Maciej Bendkowski

Uniwersytet Jagielloński, Wydział Matematyki i Informatyki

Definicja i analiza struktur absolutnych w kontekście problemu niezależności od tła teorii fizycznych

Konkurs: PRELUDIUM 11 , panel: HS1

Kierownik: Kamil Łacina

Uniwersytet Jagielloński, Wydział Filozoficzny

Prezentyzm i pojęcie istnienia

Konkurs: OPUS 11 , panel: HS1

Kierownik: dr hab. Jerzy Gołosz

Uniwersytet Jagielloński, Wydział Filozoficzny

Teoria modeli z działaniem grupy skończonej

Konkurs: ETIUDA 4 , panel: ST1

Kierownik: Daniel Hoffmann

Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

Rozumowania hipotetyczne i okresy warunkowe

Konkurs: FUGA 5 , panel: HS1

Kierownik: dr Maciej Sendłak

Uniwersytet Warszawski, Wydział Filozofii i Socjologii