Projekty finansowane przez NCN

Interpretując Euklidesa

Konkurs: PRELUDIUM 19 , panel: HS1

Kierownik: Anna Petiurenko

Uniwersytet Pedagogiczny im. Komisji Edukacji Narodowej w Krakowie

Czy struktura semantyczna musi być strukturą teoriomnogościową? Metody reprezentacji w ontycznej wersji realizmu struktu...

Konkurs: ETIUDA 8 , panel: HS1

Kierownik: Agnieszka Proszewska

Uniwersytet Jagielloński, Wydział Filozoficzny

Kategoryjne ujęcie konstrukcji Fraisségo-Jónssona

Konkurs: OPUS 2 , panel: ST1

Kierownik: dr hab. Wiesław Kubiś

Uniwersytet Jana Kochanowskiego w Kielcach, Wydział Matematyczno-Przyrodniczy

Konstrukcja teorii w empirycznych naukach społecznych i naukach behawioralnych

Konkurs: OPUS 18 , panel: HS1

Kierownik: dr hab. Frank Zenker

Politechnika Warszawska, Wydział Administracji i Nauk Społecznych

Wokół logik modalnych - rozstrzygalność i złożoność

Konkurs: PRELUDIUM 2 , panel: ST6

Kierownik: Jakub Michaliszyn

Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

Inteligentne podejścia do rozmieszczania obiektów w zarządzaniu, produkcji i logistyce

Konkurs: OPUS 18 , panel: HS4

Kierownik: dr hab. Rafał Michalski

Politechnika Wrocławska

W stronę kognitywnie wiarygodnego, kompozycyjnego modelu kwantyfikacji w języku naturalnym

Konkurs: OPUS 18 , panel: HS1

Kierownik: dr hab. Justyna Grudzińska-Zawadowska

Uniwersytet Warszawski, Wydział Filozofii i Socjologii

Epistemologia sankhji: spostrzeżenie i wnioskowanie w klasycznej i poklasycznej sankhji

Konkurs: OPUS 18 , panel: HS1

Kierownik: dr Ołena Łucyszyna

Akademia Humanistyczno-Ekonomiczna w Łodzi

Modelowanie sieciowe systemów wielogatunkowych. Implikacje ontologiczne i epistemologiczne

Konkurs: OPUS 18 , panel: HS1

Kierownik: dr Javier Suárez

Uniwersytet Jagielloński, Wydział Filozoficzny

Logika ciągła i jej algebraiczne zastosowania

Konkurs: OPUS 1 , panel: ST1

Kierownik: prof. Aleksander Iwanow

Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

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

Konkurs: SONATA 15 , panel: HS1

Kierownik: dr Mateusz Łełyk

Uniwersytet Warszawski

Postęp naukowy w prawoznawstwie

Konkurs: OPUS 18 , panel: HS5

Kierownik: dr Mateusz Klinowski

Uniwersytet Jagielloński, Wydział Prawa i Administracji

Logiki dla wnioskowań jakościowych

Konkurs: MAESTRO 1 , panel: HS1

Kierownik: dr hab. Joanna Golińska-Pilarek

Uniwersytet Warszawski, Wydział Filozofii i Socjologii

Problemy klasyfikacji w dynamice topologicznej i teorii ergodycznej

Konkurs: PRELUDIUM BIS 1 , panel: ST1

Kierownik: dr hab. Dominik Kwietniak

Uniwersytet Jagielloński, Wydział Matematyki i Informatyki

Metody teoriomnogościowe w dynamice i teorii liczb

Konkurs: SONATA BIS 9 , panel: ST1

Kierownik: dr hab. William Mance

Uniwersytet im. Adama Mickiewicza w Poznaniu, Wydział Matematyki i Informatyki

Nietrafność epistemiczna a podstawowe problemy epistemologii formalnej

Konkurs: SONATA BIS 9 , panel: HS1

Kierownik: dr hab. Leszek Wroński

Uniwersytet Jagielloński, Wydział Filozoficzny

Epistemiczne i semantyczne zobowiązania fundamentalnych teorii matematycznych

Konkurs: MAESTRO 11 , panel: HS1

Kierownik: dr hab. Cezary Cieśliński

Uniwersytet Warszawski

Samoistne struktury w grawitacji kwantowej

Konkurs: OPUS 17 , panel: HS1

Kierownik: dr Antonio Vassallo

Uniwersytet Warszawski, Wydział Filozofii i Socjologii

Logiczne operacje w spinowo-spolaryzowanych kondensatach półmagnetycznych polarytonów ekscytonowych

Konkurs: PRELUDIUM 17 , panel: ST3

Kierownik: Rafał Mirek

Uniwersytet Warszawski, Wydział Fizyki

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

Witalizm w nowożytnej filozofii medycyny - Thomas Willis i dusza materialna

Konkurs: PRELUDIUM 16 , panel: HS1

Kierownik: dr Marcin Leszczyński

Uniwersytet Łódzki, Centrum Filozofii Przyrody

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

Konkurs: OPUS 16 , panel: HS1

Kierownik: dr hab. Piotr Błaszczyk

Uniwersytet 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 Polskiej Akademii Nauk

Etnografia jako doświadczenie osobiste. Generacyjne uwarunkowania przemian metodologii i praktyk badawczych

Konkurs: PRELUDIUM 1 , panel: HS3

Kierownik: Filip Wróblewski

Uniwersytet Jagielloński, Wydział Historyczny

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

Uniwersytet Opolski, Wydział Matematyki, Fizyki i Informatyki

Nieskończoność we wnioskowaniu o danych i wiedzy

Konkurs: SONATA BIS 8 , panel: ST6

Kierownik: dr hab. Filip 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 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: Agnieszka 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: dr hab. Jarosław Krzywański

Uniwersytet Humanistyczno-Przyrodniczy 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 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

Systemy dedukcyjne oraz problem rozstrzygalności dla logik hybrydowych

Konkurs: PRELUDIUM 1 , panel: HS1

Kierownik: dr Michał Zawidzki

Uniwersytet Łódzki, Wydział Filozoficzno-Historyczny

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

Miary log-wklęsłe i geometria ciał wypukłych

Konkurs: PRELUDIUM 1 , panel: ST1

Kierownik: Piotr Nayar

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

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, Wydział Elektrotechniki, Automatyki, Informatyki i Inżynierii Biomedycznej

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