Projects funded by the NCN

Deductive systems and decidability problem for hybrid logics

Call: PRELUDIUM 1 , Panel: HS1

Principal investigator: dr Michał Zawidzki

Uniwersytet Łódzki, Wydział Filozoficzno-Historyczny

Methodological renewal of dogamtic theology.

Call: OPUS 14 , Panel: HS1

Principal investigator: dr hab. Robert Woźniak

Uniwersytet Papieski Jana Pawła II w Krakowie, Wydział Teologiczny

Atom. Substance. System. Investigations into Topological Ontology

Call: OPUS 14 , Panel: HS1

Principal investigator: dr hab. Janusz Kaczmarek

Uniwersytet Łódzki, Wydział Filozoficzno-Historyczny

Provability, computation and combinatorics at the lower and intermediate levels of the Gödel hierarchy

Call: OPUS 14 , Panel: ST1

Principal investigator: dr hab. Leszek Kołodziejczyk

Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

Log-concave Measures and Geometry of Convex Bodies

Call: PRELUDIUM 1 , Panel: ST1

Principal investigator: Piotr Nayar

Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

A Philosophical Analysis of Fitness Commensurability. Case study: Evolutionary Transitions in Individuality

Call: OPUS 14 , Panel: HS1

Principal investigator: Adrian Stencel

Uniwersytet Jagielloński, Wydział Filozoficzny

Process-aware Analytics Support based on Conceptual Models for Event Logs

Call: UNISONO , Panel: ST6

Principal investigator: prof. Grzegorz Nalepa

Akademia Górniczo-Hutnicza im. Stanisława Staszica w Krakowie, Wydział Elektrotechniki, Automatyki, Informatyki i Inżynierii Biomedycznej

Towards theoretical integration of naturalised phenomenology and mechanistic explanations in cognitive sciences

Call: OPUS 14 , Panel: HS1

Principal investigator: dr hab. Marek Pokropski

Uniwersytet Warszawski, Wydział Filozofii

Truth theories and their strength

Call: OPUS 14 , Panel: HS1

Principal investigator: dr hab. Cezary Cieśliński

Uniwersytet Warszawski, Wydział Filozofii

The pragmatic and epistemic value of information. Decision-theoretic, probabilistic, and empirical aspects

Call: SONATA 13 , Panel: HS1

Principal investigator: dr Patryk Dziurosz-Serafinowicz

Uniwersytet Gdański, Wydział Nauk Społecznych

Deformations and degenerations of algebraic varieties

Call: SONATA 13 , Panel: ST1

Principal investigator: dr Piotr Achinger

Instytut Matematyczny Polskiej Akademii Nauk

Deontic logic for autonomous vehicles

Call: HARMONIA 9 , Panel: HS1

Principal investigator: prof. Piotr Kulicki

Katolicki Uniwersytet Lubelski Jana Pawła II, Wydział Filozofii

Philosophical and formal analysis of qualitative spatial logics

Call: SONATA 13 , Panel: HS1

Principal investigator: dr Adam Trybus

Uniwersytet Zielonogórski, Wydział Humanistyczny

Distributed deductive systems for classical and non-classical logics. Proof theory supported with computational methods

Call: SONATA BIS 7 , Panel: HS1

Principal investigator: dr hab. Dorota Leszczyńska-Jasion

Uniwersytet im. Adama Mickiewicza w Poznaniu, Wydział Psychologii i Kognitywistyki

Thought experiments in philosophy: orgin, structure, functions

Call: PRELUDIUM 13 , Panel: HS1

Principal investigator: Piotr Biłgorajski

Towarzystwo Naukowe Katolickiego Uniwersytetu Lubelskiego Jana Pawła II

Sequent- and tableau-based proof systems for nonclassical logics

Call: OPUS 13 , Panel: HS1

Principal investigator: prof. Andrzej Indrzejczak

Uniwersytet Łódzki, Wydział Filozoficzno-Historyczny

Open problems in valuation theory in positive characteristic

Call: OPUS 13 , Panel: ST1

Principal investigator: prof. Franz-Viktor Kuhlmann

Uniwersytet Szczeciński, Wydział Matematyczno-Fizyczny

Quantifiers in Language: Use and Meaning

Call: OPUS 13 , Panel: HS1

Principal investigator: dr Jakub Szymanik

Instytut Podstaw Informatyki Polskiej Akademii Nauk

Dispositional Properties, Acceleration, and Physical Forces

Call: OPUS 13 , Panel: HS1

Principal investigator: dr hab. Jan Hauska

Uniwersytet Jagielloński, Wydział Filozoficzny

Fundamental ontological issues and contemporary physics

Call: OPUS 13 , Panel: HS1

Principal investigator: dr hab. Tomasz Bigaj

Uniwersytet Warszawski, Wydział Filozofii

Logics of Situations

Call: OPUS 13 , Panel: HS1

Principal investigator: dr hab. Joanna Golińska-Pilarek

Uniwersytet Warszawski, Wydział Filozofii

Ontological and methodological status of symmetries in physics

Call: PRELUDIUM 13 , Panel: HS1

Principal investigator: dr Joanna Luc

Uniwersytet Jagielloński, Wydział Filozoficzny

Data-driven tests for censored data

Call: OPUS 13 , Panel: ST1

Principal investigator: dr Grzegorz Wyłupek

Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

Theories of epistemic and ontic modalities with the primitive concept of change. Extensions of Logic of Change LC

Call: PRELUDIUM 13 , Panel: HS1

Principal investigator: Marcin Łyczak

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

Niestandardowe modele arytmetyki i formalne teorie prawdy

Call: ETIUDA 5 , Panel: HS1

Principal investigator: Michał Godziszewski

Uniwersytet Warszawski, Wydział Filozofii

Is general relativity deterministic? Some case studies

Call: ETIUDA 5 , Panel: HS1

Principal investigator: Juliusz Doboszewski

Uniwersytet Jagielloński, Wydział Filozoficzny

Ograniczone, niezmiennicze relacje równoważności

Call: ETIUDA 5 , Panel: ST1

Principal investigator: Tomasz Rzepecki

Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

Scalable reasoning about concurrent imperative programs

Call: SONATA 12 , Panel: ST6

Principal investigator: dr Filip Sieczkowski

Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

Reminiscences on Jaśkowski - logico-philosophical investigations inspired by works on discussive logic

Call: OPUS 12 , Panel: HS1

Principal investigator: dr hab. Marek Nasieniewski

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

Acceleration of information searching in large data sets by means of hardware methods

Call: OPUS 1 , Panel: ST6

Principal investigator: prof. Kazimierz Wiatr

Akademia Górniczo-Hutnicza im. Stanisława Staszica w Krakowie, Wydział Informatyki, Elektroniki i Telekomunikacji

Hybridizing Fragments of Halpern-Shoham Logic

Call: PRELUDIUM 12 , Panel: HS1

Principal investigator: Przemysław Wałęga

Uniwersytet Warszawski, Wydział Filozofii i Socjologii

Real possibilities: what they are and how they are represented in physics?

Call: OPUS 12 , Panel: HS1

Principal investigator: prof. Tomasz Placek

Uniwersytet Jagielloński, Wydział Filozoficzny

Kazimierz Twardowski's place in Polish culture and European philosophy

Call: OPUS 12 , Panel: HS1

Principal investigator: prof. Jacek Jadacki

Uniwersytet Warszawski, Wydział Filozofii

Descriptive set theory: structure and dynamics of Polish groups

Call: SONATA 12 , Panel: ST1

Principal investigator: dr Aleksandra Kwiatkowska

Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

Semantics with continuations and dependent types: exploring mechanisms of natural language quantification

Call: OPUS 12 , Panel: HS1

Principal investigator: dr hab. Justyna Grudzińska-Zawadowska

Uniwersytet Warszawski, Wydział Filozofii i Socjologii

Algebraic and topological methods in model theory

Call: SONATA BIS 6 , Panel: ST1

Principal investigator: prof. Krzysztof Krupiński

Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

Conceptual, formal and practical aspects of forensic and judicial applications of probabilistic tools.

Call: SONATA BIS 6 , Panel: HS1

Principal investigator: dr hab. Rafał Urbaniak

Uniwersytet Gdański, Wydział Nauk Społecznych

Spatiotemporal histories: theory and applications

Call: HARMONIA 8 , Panel: HS1

Principal investigator: prof. Tomasz Placek

Uniwersytet Jagielloński, Wydział Filozoficzny

The problem of explanation in mathematics

Call: OPUS 11 , Panel: HS1

Principal investigator: prof. Krzysztof Wójtowicz

Uniwersytet Warszawski, Wydział Filozofii

Model-theoretic and algebraic properties of separably closed G-fields.

Call: PRELUDIUM 11 , Panel: ST1

Principal investigator: Daniel Hoffmann

Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

Symbolic computations on first-order definable objects

Call: OPUS 11 , Panel: ST6

Principal investigator: prof. Sławomir Lasota

Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

Hybrid materials on the verge of fuzzy logic systems and neuromorphic computing devices

Call: PRELUDIUM 11 , Panel: ST3

Principal investigator: Kacper Pilarczyk

Akademia Górniczo-Hutnicza im. Stanisława Staszica w Krakowie, Akademickie Centrum Materiałów i Nanotechnologii

Separability problem in automata theory

Call: SONATA 11 , Panel: ST6

Principal investigator: dr Wojciech Czerwiński

Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

Phenomenological mechanisms of prefabricating mental spaces

Call: OPUS 11 , Panel: HS1

Principal investigator: dr hab. Wojciech Krysztofiak

Uniwersytet Szczeciński, Wydział Humanistyczny

A quest for new computer logics

Call: OPUS 11 , Panel: ST6

Principal investigator: dr hab. Emanuel Kieroński

Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

Quantitative aspects of computational complexity in lambda calculus

Call: PRELUDIUM 11 , Panel: ST6

Principal investigator: dr Maciej Bendkowski

Uniwersytet Jagielloński, Wydział Matematyki i Informatyki

Definition and analysis of absolute structures with regards to the problem of background independence of physical theori...

Call: PRELUDIUM 11 , Panel: HS1

Principal investigator: Kamil Łacina

Uniwersytet Jagielloński, Wydział Filozoficzny

Presentism and the Notion of Existence

Call: OPUS 11 , Panel: HS1

Principal investigator: dr hab. Jerzy Gołosz

Uniwersytet Jagielloński, Wydział Filozoficzny

Does the language of economics limit its explanatory power? Analyzing the impact of unrealistic assumptions, mathematica...

Call: SONATA 1 , Panel: HS4

Principal investigator: dr Łukasz Hardt

Uniwersytet Warszawski, Wydział Nauk Ekonomicznych

Critical analysis of existing systems of deontic action logic, their comparison, study of their cognitive and practical ...

Call: SONATA 1 , Panel: HS1

Principal investigator: dr Robert Trypuz

TOWARZYSTWO NAUKOWE KATOLICKIEGO UNIWERSYTETU LUBELSKIEGO JANA PAWŁA II