Projekty finansowane przez NCN

Związki między algebraicznymi, modalnymi i wielowartościowymi logikami kwantowymi

Konkurs: PRELUDIUM 20 , panel: HS1

Kierownik: Elżbieta Jennifer Drozdowska

Katolicki Uniwersytet Lubelski Jana Pawła II

W stronę charakterystyki instytucji prawnych w kategoriach modeli

Konkurs: PRELUDIUM 20 , panel: HS1

Kierownik: Wojciech Jerzy Graboń

Uniwersytet Warszawski, Wydział Prawa i Administracji

Henri Bergson a szczególna teoria względności

Konkurs: PRELUDIUM 20 , panel: HS1

Kierownik: Anna Zofia Kuszmiruk

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

Reinterpretując anaforę: w stronę podejścia opartego na wieloznaczności

Konkurs: PRELUDIUM 20 , panel: HS1

Kierownik: Antonina Weronika Jamrozik

Uniwersytet Warszawski, Wydział Filozofii

Wybrane zagadnienia w zastosowaniach teorii mnogości w analizie funkcjonalnej

Konkurs: PRELUDIUM 20 , panel: ST1

Kierownik: Damian Głodkowski

Instytut Matematyczny Polskiej Akademii Nauk

Struktura pojęciowa liczb naturalnych. Modelowanie kognitywnych systemów przetwarzania informacji ilościowej, numeryczne...

Konkurs: OPUS 21 , panel: HS1

Kierownik: dr Paula Dominika Quinon

Politechnika Warszawska, Wydział Administracji i Nauk Społecznych

Od silnych logik deskrypcyjnych do fragmentów logiki pierwszego rzędu z wieloma zmiennymi: wnioskowania w strukturach sk...

Konkurs: OPUS 21 , panel: ST6

Kierownik: dr hab. Emanuel Grzegorz Kieroński

Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

Rekonceptualizacja probabilizmu w kontekstach prawnych

Konkurs: OPUS 21 , panel: HS1

Kierownik: dr hab. Rafał Urbaniak

Uniwersytet Gdański, Wydział Nauk Społecznych

Rozumowanie w egzegezie biblijnej: od Stefana Langtona do Tomasza z Akwinu

Konkurs: SONATA 16 , panel: HS1

Kierownik: dr Marcin Lech Trepczyński

Uniwersytet Warszawski, Wydział Filozofii

Prawdopodobieństwo okresów warunkowych - model grafowy

Konkurs: OPUS 20 , panel: HS1

Kierownik: dr hab. Anna Maria Wójtowicz

Uniwersytet Warszawski, Wydział Filozofii

Matematyzowane teorie naukowe i podstawy matematyki stosowanej

Konkurs: OPUS 20 , panel: HS1

Kierownik: dr Jeffrey John Ketland

Uniwersytet Warszawski, Wydział Filozofii

Wnioskowanie ilościowe odporne na perturbacje

Konkurs: OPUS 20 , panel: ST6

Kierownik: dr Jakub Dawid Michaliszyn

Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

Czas, prawda i modalność

Konkurs: SONATA 16 , panel: HS1

Kierownik: dr Jacek Marcin Wawer

Uniwersytet Jagielloński, Wydział Filozoficzny

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

Kategoria rasy w filozofii medycyny: konceptualizacja i użycie kategorii rasy w badaniach biomedycznych i opiece zdrowot...

Konkurs: SONATA 16 , panel: HS1

Kierownik: dr Joanna Karolina Malinowska

Uniwersytet im. Adama Mickiewicza w Poznaniu, Wydział Filozoficzny

Hybrydowe modele rozumowania

Konkurs: OPUS 19 , panel: HS1

Kierownik: dr hab. Maciej Malicki

Instytut Matematyczny Polskiej Akademii Nauk, Wydział Matematyki, Informatyki i Mechaniki

Turing, Ashby i "aktywność mózgu"

Konkurs: OPUS 19 , panel: HS1

Kierownik: dr Hans-Joachim Greif

Politechnika Warszawska, Wydział Administracji i Nauk Społecznych

Problemy spełnialności więzów dla nieskończonych struktur jednorodnych: w stronę algorytmów

Konkurs: OPUS 19 , panel: ST6

Kierownik: dr hab. Michał Maria Wrona

Uniwersytet Jagielloński, Wydział Matematyki i Informatyki

Problematyka relacji zachodzących pomiędzy filozofią analityczną a fenomenologią z perspektywy Szkoły Lwowsko-Warszawski...

Konkurs: PRELUDIUM 19 , panel: HS1

Kierownik: Aleksandra Szczęsna Gomułczak

Uniwersytet im. Adama Mickiewicza w Poznaniu, Wydział Filozoficzny

Metody teoriomnogościowe w topologii analitycznej: od zbieżności punktowej i przestrzeni Banacha do algebr operatorowych...

Konkurs: OPUS 19 , panel: ST1

Kierownik: prof. Witold Michał Marciszewski

Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

Interpretując Euklidesa

Konkurs: PRELUDIUM 19 , panel: HS1

Kierownik: Anna Petiurenko

Uniwersytet 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: dr Agnieszka Maria Proszewska

Uniwersytet Jagielloński, Wydział Filozoficzny

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

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 Anna Grudzińska-Zawadowska

Uniwersytet Warszawski, Wydział Filozofii

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

Konkurs: OPUS 18 , panel: HS1

Kierownik: dr hab. Ołena Łucyszyna

Instytut Kultur Śródziemnomorskich i Orientalnych Polskiej Akademii Nauk

Modelowanie sieciowe systemów wielogatunkowych. Implikacje ontologiczne i epistemologiczne

Konkurs: OPUS 18 , panel: HS1

Kierownik: dr Javier Suárez

Uniwersytet Jagielloński, Wydział Filozoficzny

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

Konkurs: SONATA 15 , panel: HS1

Kierownik: dr Mateusz Zbigniew Łełyk

Uniwersytet Warszawski

Postęp naukowy w prawoznawstwie

Konkurs: OPUS 18 , panel: HS5

Kierownik: dr Mateusz Michał Klinowski

Uniwersytet Jagielloński, Wydział Prawa i Administracji

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 Andrew 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 Jerzy 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

Politechnika Warszawska, Wydział Administracji i Nauk Społecznych

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

Konkurs: PRELUDIUM 17 , panel: ST3

Kierownik: Rafał Wiesław Mirek

Uniwersytet Warszawski, Wydział Fizyki

Bernard Bolzano i nauki kognitywne

Konkurs: PRELUDIUM 17 , panel: HS1

Kierownik: dr Marlena Fila

Uniwersytet 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

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