Projekty finansowane przez NCN

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

Reprezentacje semantyk algebraicznych dla logik podstrukturalnych

Konkurs: OPUS 24 (LAP) , panel: HS1

Kierownik: dr hab. Tomasz Kowalski

Uniwersytet Jagielloński, Wydział Filozoficzny

Struktura i algorytmy dla klas grafów definiowanych przez własności zamknięte na transdukcje

Konkurs: SONATA 18 , panel: ST6

Kierownik: dr Jakub Gajarský

Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

Na przecięciu etyki, filozofii przyrody i logiki. Woluntaryzm Ryszarda FitzRalpha i Ryszarda Kilvingtona

Konkurs: OPUS 24 , panel: HS1

Kierownik: dr hab. Monika Michałowska

Uniwersytet Medyczny w Łodzi, Wydział Nauk o Zdrowiu

Skończenie stanowe obliczenia wielomianowe

Konkurs: MAESTRO 14 , panel: ST6

Kierownik: prof. Mikołaj Bojańczyk

Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

Logiczne i epistemologiczne kryteria istotności w podstawach matematyki

Konkurs: SONATA BIS 12 , panel: HS1

Kierownik: dr Mateusz Łełyk

Uniwersytet Warszawski, Wydział Filozofii

Dynamiczna logika epistemiczna a problem logicznej wszechwiedzy

Konkurs: PRELUDIUM 21 , panel: HS1

Kierownik: Arkadiusz Wójcik

Uniwersytet w Białymstoku, Instytut Filozofii

Badanie użycia pojęcia "komunikacja" w biologii i naukach o poznaniu

Konkurs: PRELUDIUM 21 , panel: HS1

Kierownik: Wiktor Rorot

Instytut Filozofii i Socjologii Polskiej Akademii Nauk

Równoważność w logikach podstrukturalnych

Konkurs: OPUS 23 , panel: HS1

Kierownik: dr hab. Tomasz Kowalski

Uniwersytet Jagielloński, Wydział Filozoficzny

Wewnątrz Logiki I Rzędu i poza nią. Zagadki teorii baz danych.

Konkurs: OPUS 23 , panel: ST6

Kierownik: prof. Jerzy Marcinkowski

Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

Stan kwantowy: informacja, wolny wybór, losowość

Konkurs: OPUS 23 , panel: HS1

Kierownik: prof. Tomasz Placek

Uniwersytet Jagielloński, Wydział Filozoficzny

Rozwój protokołu komunikacyjnego z użyciem strukturyzowanych wiązek świetlnych

Konkurs: OPUS 23 , panel: ST7

Kierownik: dr Mateusz Szatkowski

Politechnika Wrocławska

Argumentacje transcendentalne. Modele i zastosowania

Konkurs: PRELUDIUM 21 , panel: HS1

Kierownik: Stanisław Jędrczak

Uniwersytet Warszawski, Wydział Filozofii

Pluralizm przesłanek w filozofii ekonomii

Konkurs: OPUS 23 , panel: HS1

Kierownik: dr Mariusz Maziarz

Uniwersytet Jagielloński, Wydział Filozoficzny

Jak zrozumieć niedorzeczność? Rola wyobraźni w Traktacie logiczno-filozoficznym Ludwiga Wittgensteina

Konkurs: SONATINA 6 , panel: HS1

Kierownik: dr Krystian Bogucki

Instytut Filozofii i Socjologii Polskiej Akademii Nauk

Filozoficzno-metalogiczne podstawy logiki nazw: semantyka, metody tablicowe i aksjomatyzacja

Konkurs: OPUS 22 , panel: HS1

Kierownik: prof. Andrzej Pietruszczak

Uniwersytet Mikołaja Kopernika w Toruniu, 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 Hohol

Uniwersytet Jagielloński, Centrum Kopernika Badań Interdyscyplinarnych

(Anti)Classification and invariants in dynamics

Konkurs: POLONEZ BIS 1 , panel: ST1

Kierownik: dr Philipp 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 Bigaj

Uniwersytet Warszawski, Wydział Filozofii

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

Konkurs: PRELUDIUM 20 , panel: HS1

Kierownik: Elżbieta Drozdowska

Katolicki Uniwersytet Lubelski Jana Pawła II

W stronę charakterystyki instytucji prawnych w kategoriach modeli

Konkurs: PRELUDIUM 20 , panel: HS1

Kierownik: Wojciech Graboń

Uniwersytet Warszawski, Wydział Prawa i Administracji

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

Konkurs: PRELUDIUM 20 , panel: HS1

Kierownik: Anna 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 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 Quinon

Politechnika Warszawska, Wydział Administracji i Nauk Społecznych

Ontologia ekstensjonalna i logika filozoficzna

Konkurs: OPUS 2 , panel: HS1

Kierownik: dr hab. Andrzej Biłat

Wyższa Szkoła Przedsiębiorczości i Administracji w Lublinie

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 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 Trepczyński

Uniwersytet Warszawski, Wydział Filozofii

Prawdopodobieństwo okresów warunkowych - model grafowy

Konkurs: OPUS 20 , panel: HS1

Kierownik: dr hab. Anna Wójtowicz

Uniwersytet Warszawski, Wydział Filozofii

Matematyzowane teorie naukowe i podstawy matematyki stosowanej

Konkurs: OPUS 20 , panel: HS1

Kierownik: dr Jeffrey Ketland

Uniwersytet Warszawski, Wydział Filozofii

Wnioskowanie ilościowe odporne na perturbacje

Konkurs: OPUS 20 , panel: ST6

Kierownik: dr Jakub Michaliszyn

Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

Procedury decyzyjne w weryfikacji

Konkurs: OPUS 2 , panel: ST6

Kierownik: prof. Witold Charatonik

Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

Czas, prawda i modalność

Konkurs: SONATA 16 , panel: HS1

Kierownik: dr Jacek 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 Malinowska

Uniwersytet im. Adama Mickiewicza w Poznaniu, Wydział Filozoficzny

Badanie strategii retorycznych w dialogu

Konkurs: OPUS 2 , panel: HS1

Kierownik: dr hab. Katarzyna Budzyńska

INSTYTUT FILOZOFII I SOCJOLOGII PAN

Inwersja globalna jako narzędzie jakościowej interpretacji profilowań oporności pomierzonych w cienkowarstwowych formacj...

Konkurs: PRELUDIUM 19 , panel: ST10

Kierownik: Michał Wilkosz

Akademia Górniczo-Hutnicza im. Stanisława Staszica w Krakowie, Wydział Geologii, Geofizyki i Ochrony Środowiska

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

Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki