Projekty finansowane przez NCN

Probabilizm Rudolfa Carnapa.

Konkurs: PRELUDIUM 5 , panel: HS1

Kierownik: Paweł Pruski

Uniwersytet Jagielloński, Wydział Filozoficzny

Ontologiczny argument Goedla: historia, modyfikacje, rozszerzenia i kontrowersje

Konkurs: HARMONIA 4 , panel: HS1

Kierownik: dr hab. Kordula Świętorzecka

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

Ideały i działania grup na przestrzeniach polskich

Konkurs: OPUS 1 , panel: ST1

Kierownik: prof. Michał Morayne

Politechnika Wrocławska, Wydział Podstawowych Problemów Techniki

Nauki behawioralne w prawie - zastosowania, filozoficzne implikacje, kontrowersje

Konkurs: PRELUDIUM 4 , panel: HS1

Kierownik: Magdalena Małecka

Instytut Filozofii i Socjologii PAN

Wolność i niezależność w algebrze i topologii

Konkurs: SONATA 4 , panel: ST1

Kierownik: dr hab. Szymon Głąb

Politechnika Łódzka, Wydział Fizyki Technicznej, Informatyki i Matematyki Stosowanej

Związki teorii modeli z topologią i algebrą

Konkurs: OPUS 4 , panel: ST1

Kierownik: dr hab. Krzysztof Krupiński

Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

Topologiczne własności przestrzeni funkcji ciągłych

Konkurs: PRELUDIUM 4 , panel: ST1

Kierownik: dr Mikołaj Krupski

Instytut Matematyczny PAN

Podstawy teoretyczne systemów wspomagania dowodzenia zezwalających na nieograniczone definicje rekurencyjne.

Konkurs: PRELUDIUM 4 , panel: ST6

Kierownik: Łukasz Czajka

Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

Analiza logicznych i matematycznych założeń w traktatach Piero della Francesca

Konkurs: OPUS 4 , panel: HS1

Kierownik: dr hab. Ryszard Mirek

Uniwersytet Pedagogiczny im. Komisji Edukacji Narodowej w Krakowie, Wydział Humanistyczny

Empiryczne podstawy i obrzeża filozofii siedemnastego wieku

Konkurs: OPUS 4 , panel: HS1

Kierownik: prof. Adam Grzeliński

Uniwersytet Mikołaja Kopernika, Wydział Humanistyczny

Istnienie Boga. Badania dotyczące ontologicznych dowodów.

Konkurs: OPUS 4 , panel: HS1

Kierownik: dr hab. Mirosław Szatkowski

Instytut Filozofii i Socjologii PAN

Automatyzacja wnioskowania konstruktywnego

Konkurs: OPUS 4 , panel: ST6

Kierownik: dr hab. Aleksy Schubert

Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

parametry modeli skończonych

Konkurs: SONATA 4 , panel: ST6

Kierownik: dr Eryk Kopczyński

Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

Kombinatoryczne i deskryptywne własności ideałów na zbiorach przeliczalnych.

Konkurs: PRELUDIUM 4 , panel: ST1

Kierownik: dr Adam Kwela

Instytut Matematyczny PAN

Deskrypcje nieokreślone. Dwuwymiarowy model znaczenia z typami

Konkurs: OPUS 4 , panel: HS1

Kierownik: dr Justyna Grudzińska-Zawadowska

Uniwersytet Warszawski, Wydział Filozofii i Socjologii

Ontologia metafizyki

Konkurs: OPUS 4 , panel: HS1

Kierownik: dr hab. Paweł Garbacz

TOWARZYSTWO NAUKOWE KATOLICKIEGO UNIWERSYTETU LUBELSKIEGO JANA PAWŁA II, Towarzystwo Naukowe Katolickiego Uniwersytetu Lubelskiego Jana Pawla II

Struktura topologiczna przestrzeni funkcyjnych

Konkurs: OPUS 4 , panel: ST1

Kierownik: prof. Witold Marciszewski

Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

Literatura i nauki ścisłe: dialog dwóch kultur ponad metaforami we współczesnej literaturze włoskiej

Konkurs: SONATA 4 , panel: HS2

Kierownik: dr Stefano Redaelli

Uniwersytet Warszawski, Wydział "Artes Liberales"

Nowe metody logiczno-matematyczne w naukach stosowanych i modelowaniu procesów podejmowania decyzji

Konkurs: OPUS 4 , panel: HS1

Kierownik: prof. Jan Hertrich-Woleński

Wyższa Szkoła Informatyki i Zarządzania w Rzeszowie, Wydział Administracji i Nauk Społecznych

Filologiczna analiza filozoficznych dzieł Ludwika Flecka oraz ich tłumaczeń w językach: polskim, niemieckim i angielskim...

Konkurs: HARMONIA 3 , panel: HS2

Kierownik: dr Paweł Jarnicki

Projekt Nauka. Fundacja na rzecz promocji nauki polskiej

Zapomniane korzenie średniowiecznej kwestii uniwersaliów i indywiduacji. Próba rekonstrukcji metafizyki autorów wczesnob...

Konkurs: OPUS 3 , panel: HS1

Kierownik: dr hab. Anna Zhyrkova

Akademia Ignatianum w Krakowie, Wydział Filozoficzny

Analityczne relacje równoważności i działania grup polskich

Konkurs: SONATA 3 , panel: ST1

Kierownik: dr Marcin Sabok

Instytut Matematyczny PAN

Logiki pozycyjne - metateoria i zastosowania

Konkurs: SONATA BIS 1 , panel: HS1

Kierownik: dr hab. Marcin Tkaczyk

TOWARZYSTWO NAUKOWE KATOLICKIEGO UNIWERSYTETU LUBELSKIEGO JANA PAWŁA II

Realizacja bramki logicznej w chiralnym nematycznym ciekłym krysztale o geometrii klina

Konkurs: SONATA 3 , panel: ST7

Kierownik: dr Urszula Laudyn

Politechnika Warszawska, Wydział Fizyki

Ekonomia i literatura. Związki między logiką ekonomii a literacką mimesis.

Konkurs: PRELUDIUM 3 , panel: HS2

Kierownik: Michał Sowiński

Uniwersytet Jagielloński, Wydział Polonistyki

Problemy typu hierarchicznego dla automatów na nieskończonych słowach i drzewach

Konkurs: PRELUDIUM 3 , panel: ST6

Kierownik: dr Michał Skrzypczak

Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

Małe struktury polskie

Konkurs: PRELUDIUM 3 , panel: ST1

Kierownik: dr Jan Dobrowolski

Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

Metody formalizacji i kryteria racjonalności wnioskowań zawodnych

Konkurs: OPUS 3 , panel: HS1

Kierownik: dr hab. Anna Wójtowicz

Uniwersytet Warszawski, Wydział Filozofii i Socjologii

Podstawowa literatura przedmiotu a kształt współczesnej politologii. Political science, Politische Wissenschaft i polito...

Konkurs: OPUS 3 , panel: HS5

Kierownik: dr hab. Janusz Wiśniewski

Uniwersytet im. Adama Mickiewicza w Poznaniu, Wydział Nauk Politycznych i Dziennikarstwa

Modelowanie współpracy agentów z wykorzystaniem logiki wielowartościowej i równoległego przetwarzania informacji

Konkurs: OPUS 3 , panel: ST6

Kierownik: prof. Adam Borkowski

Instytut Podstawowych Problemów Techniki PAN

Metody filozofii eksperymentalnej - analiza, ewaluacja i rekomendacje

Konkurs: PRELUDIUM 3 , panel: HS1

Kierownik: dr Adrian Ziółkowski

Uniwersytet Warszawski, Wydział Filozofii i Socjologii

Zaawasowane metody wnioskowania i techniki optymalizacyjne dla problemów klasyfikacji ontologii i sprawdzenia spójności ...

Konkurs: OPUS 1 , panel: ST6

Kierownik: dr hab. Anh Linh Nguyen

Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

Zastosowania kombinatoryki nieskończonej i topologii analitycznej w przestrzeniach Banacha i w związanych z nimi struktu...

Konkurs: OPUS 1 , panel: ST1

Kierownik: prof. Piotr Koszmider

Instytut Matematyczny Polskiej Akademii Nauk

Kazimierz Ajdukiewicz - u źródeł systematycznej aksjologii dynamiki wiedzy naukowej

Konkurs: FUGA 1 , panel: HS1

Kierownik: dr Katarzyna Gan-Krzywoszyńska

Uniwersytet Jagielloński, Wydział Filozoficzny

Logika erotetyczna w modelowaniu liniowego i dystrybutywnego przetwarzania pytań. Podstawy teoretyczne i zastosowania

Konkurs: MAESTRO 2 , panel: HS1

Kierownik: prof. Andrzej Wiśniewski

Uniwersytet im. Adama Mickiewicza, Wydział Nauk Społecznych

Naturalizacja prawa

Konkurs: MAESTRO 2 , panel: HS5

Kierownik: prof. Jerzy Stelmach

UNIWERSYTET JAGIELLOŃSKI

Logika językowego doświadczenia

Konkurs: OPUS 2 , panel: HS1

Kierownik: dr Konrad Zdanowski

Uniwersytet Warszawski, Wydział Filozofii i Socjologii

Wielowartościowa logika Jana Łukasiewicza jako podstawa nowej interpretacji mechaniki kwantowej

Konkurs: OPUS 2 , panel: HS1

Kierownik: dr hab. Jarosław Pykacz

Uniwersytet Gdański, Wydział Matematyki, Fizyki i Informatyki

Materiały kompozytowe dla optoelektroniki molekularnej

Konkurs: OPUS 2 , panel: ST5

Kierownik: prof. Konrad Szaciłowski

Akademia Górniczo-Hutnicza im. Stanisława Staszica w Krakowie, Wydział Metali Nieżelaznych

Elastyczne algorytmy problemu rozmieszczania obiektów w zarządzaniu produkcją i logistyce

Konkurs: OPUS 2 , panel: HS4

Kierownik: dr hab. Jerzy Grobelny

Politechnika Wrocławska, Wydział Informatyki i Zarządzania

Modelowanie dynamiki mobilnego robota czterokołowego i sterowanie jego ruchem nadążnym z ograniczeniem poślizgu kół jezd...

Konkurs: OPUS 2 , panel: ST7

Kierownik: dr hab. Maciej Trojnacki

Przemysłowy Instytut Automatyki i Pomiarów "PIAP"

Aksjomaty forsingowe, modele wewnętrzne i determinacja

Konkurs: MAESTRO 15 , panel: ST1

Kierownik: dr Grigor Sargsyan

Instytut Matematyczny Polskiej Akademii Nauk

Logiczne i filozoficzne aspekty pluralizmu i potencjalizmu w teorii mnogości i arytmetyce

Konkurs: OPUS 25 , panel: HS1

Kierownik: dr Michał Godziszewski

Uniwersytet Łódzki, Wydział Filozoficzno-Historyczny

Wolne i iteratywne operatory na ciałach

Konkurs: PRELUDIUM 22 , panel: ST1

Kierownik: Jakub Gogolok

Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

Zupełność w sensie Posta a zupełność względem semantyki sąsiedztwa w klasycznych logikach modalnych

Konkurs: PRELUDIUM 22 , panel: HS1

Kierownik: Krzysztof Krawczyk

Uniwersytet Jagielloński, Wydział Filozoficzny

Obliczalna teoria modeli i filozofia strukturalizmu matematycznego

Konkurs: OPUS 25 , panel: HS1

Kierownik: dr Dariusz Kalociński

Instytut Podstaw Informatyki Polskiej Akademii Nauk

80 lat badań nad dedukcją naturalną i rachunkami sekwentowymi

Konkurs: OPUS 2 , panel: HS1

Kierownik: prof. Andrzej Indrzejczak

UNIWERSYTET ŁÓDZKI, Wydział Filozoficzno Historyczny

Automation of the Problem of Unification in Description Logics

Konkurs: POLONEZ BIS 3 , panel: ST6

Kierownik: dr hab. Barbara Morawska

Uniwersytet Opolski, Wydział Matematyki, Fizyki i Informatyki

Nietrafność epistemiczna -- co dalej?

Konkurs: OPUS 24 , panel: HS1

Kierownik: dr hab. Leszek Wroński

Uniwersytet Jagielloński, Wydział Filozoficzny

Side Conditions and the Saturation of the Non-stationary Ideal

Konkurs: POLONEZ BIS 3 , panel: ST1

Kierownik: dr Rahman Mohammadpour

Instytut Matematyczny Polskiej Akademii Nauk