Projekty finansowane przez NCN

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

Algorytmiczne modele predykcji: własności formalne i konsekwencje filozoficzne

Konkurs: OPUS 16 , panel: HS1

Kierownik: dr Dariusz Kalociński

Instytut Podstaw Informatyki PAN

Działania grup i teoria modeli

Konkurs: OPUS 16 , panel: ST1

Kierownik: prof. Piotr Kowalski

Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

Opracowanie naukowe i wydanie krytyczne z rękopisów łacińskich komentarza Ryszarda Kilvingtona do "Fizyki" Arystotelesa...

Konkurs: OPUS 16 , panel: HS1

Kierownik: prof. Elżbieta Irena Jung

Uniwersytet Łódzki, Centrum Filozofii Przyrody

Wyzwania dla automatycznego wnioskowania w rozstrzygalnych fragmentach logiki pierwszego rzędu: drzewa, porządki i licze...

Konkurs: OPUS 16 , panel: ST6

Kierownik: dr hab. Lidia Zofia Tendera

Uniwersytet Opolski, Wydział Nauk Społecznych, Wydział Matematyki, Fizyki i Informatyki

Nieskończoność we wnioskowaniu o danych i wiedzy

Konkurs: SONATA BIS 8 , panel: ST6

Kierownik: dr hab. Filip Marek Murlak

Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

Geometryczna i Miarowa Teoria Grup 2

Konkurs: HARMONIA 10 , panel: ST1

Kierownik: dr Damian Osajda

Instytut Matematyczny Polskiej Akademii Nauk

Semantyczne i epistemologiczne aspekty ostensji: od procedur wskazujących do eksploatacji okoliczności użycia wyrażeń...

Konkurs: OPUS 15 , panel: HS1

Kierownik: dr hab. Tadeusz Andrzej Ciecierski

Uniwersytet Warszawski, Wydział Filozofii

Uczenie maszynowe i automatyczne dowodzenie twierdzeń

Konkurs: OPUS 15 , panel: ST6

Kierownik: dr hab. Henryk Michalewski

Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

Metody teoriomodelowe w logice oraz w podstawach matematyki i nauk empirycznych

Konkurs: OPUS 15 , panel: HS1

Kierownik: dr Jeffrey Ketland

Uniwersytet Warszawski, Wydział Filozofii

Analiza porównawcza metod reprezentacji strukturalnej na przykładzie debaty wokół Ontycznego Realizmu Strukturalnego

Konkurs: PRELUDIUM 15 , panel: HS1

Kierownik: dr Agnieszka Maria Proszewska

Uniwersytet Jagielloński, Wydział Filozoficzny

Abstrakcyjne metody w teorii przestrzeni Banacha.

Konkurs: OPUS 15 , panel: ST1

Kierownik: prof. Grzegorz Plebanek

Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

Badania metod intensyfikacji procesów sorpcyjnych w modyfikowanych konstrukcjach złóż adsorpcyjnych

Konkurs: OPUS 15 , panel: ST8

Kierownik: prof. Jarosław Marek Krzywański

Akademia im. Jana Długosza w Częstochowie, Wydział Nauk Ścisłych, Przyrodniczych i Technicznych

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

Konkurs: ETIUDA 6 , panel: HS1

Kierownik: Piotr Paweł Biłgorajski

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

Efektywne obliczenia w predykatywnej matematyce

Konkurs: SONATINA 2 , panel: ST6

Kierownik: dr Michał Roman 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 Krzysztof Stencel

Uniwersytet Jagielloński, Wydział Filozoficzny

Dodatniość wiązek liniowych na powierzchniach algebraicznych

Konkurs: SONATINA 2 , panel: ST1

Kierownik: dr Łucja Farnik

Uniwersytet Pedagogiczny im. Komisji Edukacji Narodowej w Krakowie

Badania przyczynowości we współczesnej ekonomii

Konkurs: ETIUDA 6 , panel: HS1

Kierownik: Mariusz Łukasz 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 Aleksander 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 Krzysztof Stencel

Uniwersytet Jagielloński, Wydział Filozoficzny

Wsparcie analityki procesów biznesowych oparte na modelach koncepcyjnych dzienników zdarzeń

Konkurs: UNISONO , panel: ST6

Kierownik: prof. Grzegorz Nalepa

Akademia Górniczo-Hutnicza im. Stanisława Staszica w Krakowie

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

Konkurs: OPUS 14 , panel: HS1

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

Deformacje i degeneracje rozmaitości algebraicznych

Konkurs: SONATA 13 , panel: ST1

Kierownik: dr Piotr Achinger

Instytut Matematyczny Polskiej Akademii Nauk

Logika deontyczna na potrzeby samochodów autonomicznych

Konkurs: HARMONIA 9 , panel: HS1

Kierownik: prof. Piotr Wojciech 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 Paweł 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 Bogusław 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 Krzysztof Szymanik

Instytut Podstaw Informatyki PAN

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

Testy adaptacyjne dla danych cenzurowanych

Konkurs: OPUS 13 , panel: ST1

Kierownik: dr Grzegorz Wyłupek

Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

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ł 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

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, Wydział Filozofii i Nauk Społecznych

Hybrydyzacja fragmentów logiki Halperna-Shohama

Konkurs: PRELUDIUM 12 , panel: HS1

Kierownik: Przemysław Andrzej 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 Grzegorz Placek

Uniwersytet Jagielloński, Wydział Filozoficzny

Miejsce Kazimierza Twardowskiego w kulturze polskiej i filozofii europejskiej

Konkurs: OPUS 12 , panel: HS1

Kierownik: prof. Jacek Juliusz 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