Projekty finansowane przez NCN

Klasyfikowanie modeli Pochodnych Aksjomatu Determinacji

Konkurs: WEAVE-UNISONO , panel: ST1

Kierownik: dr Grigor Sargsyan

Instytut Matematyczny Polskiej Akademii Nauk

Filozoficzno-metalogiczne podstawy logiki nazw: semantyka, metody tablicowe iaksjomatyzacja

Konkurs: OPUS 22 , panel: HS1

Kierownik: prof. Andrzej Pietruszczak

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

Artefakty poznawcze w różnych skalach czasowych: Podejście integracyjne

Konkurs: OPUS 22 , panel: HS1

Kierownik: dr hab. Mateusz Leszek Hohol

Uniwersytet Jagielloński, Centrum Kopernika Badań Interdyscyplinarnych

(Anti)Classification and invariants in dynamics

Konkurs: POLONEZ BIS 1 , panel: ST1

Kierownik: dr Philipp Christopher Kunde

Uniwersytet Jagielloński, Wydział Matematyki i Informatyki

Arytmetyka i geometria ciał z operatorami

Konkurs: OPUS 22 , panel: ST1

Kierownik: prof. Piotr Kowalski

Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

Values, Trust, and Decision Making in Public Health

Konkurs: POLONEZ BIS 1 , panel: HS1

Kierownik: dr Elena Popa

Uniwersytet Jagielloński, Wydział Filozoficzny

Kategorie jakościowości i indywidualności w logice, ontologii i fizyce

Konkurs: OPUS 22 , panel: HS1

Kierownik: prof. Tomasz Franciszek Bigaj

Uniwersytet Warszawski, Wydział Filozofii

Analityczne P-ideały, przestrzenie Banacha i algebry miarowe.

Konkurs: WEAVE-UNISONO , panel: ST1

Kierownik: dr hab. Piotr Tadeusz Borodulin-Nadzieja

Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

Teoriomnogościowe aspekty selekcji topologicznych

Konkurs: WEAVE-UNISONO , panel: ST1

Kierownik: dr Piotr Jan Szewczak

Uniwersytet Kardynała Stefana Wyszyńskiego w Warszawie, Wydział Matematyczno-Przyrodniczy. Szkoła Nauk Ścisłych

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

Jednorodność i generyczność struktur metrycznych: grup, układów dynamicznych, przestrzeni Banacha i algebr C*.

Konkurs: WEAVE-UNISONO , panel: ST1

Kierownik: dr hab. Maciej Malicki

Instytut Matematyczny Polskiej Akademii Nauk

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

Uniwersytet Warszawski, 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 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: 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 PAN

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 Pedagogiczny im. Komisji Edukacji Narodowej w Krakowie

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

Konkurs: PRELUDIUM 16 , panel: HS1

Kierownik: Marcin Jerzy 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 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