Projects funded by the NCN

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

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

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

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

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

Investigation of electricity as scientific practice and the origin of metaphors in popular science press and messianic p...

Call: PRELUDIUM 12 , Panel: HS2

Principal investigator: Piotr Urbanowicz

Uniwersytet Jagielloński, Wydział Polonistyki

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

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

Medicalization of categories of hermeneutical phenomenology in psychotherapeutical practice. Germany and United States 1...

Call: SONATA 1 , Panel: HS1

Principal investigator: dr Marcin Moskalewicz

Uniwersytet Medyczny im. Karola Marcinkowskiego w Poznaniu, Wydział Lekarski I

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

The concept of norm in sexology - analysis of origins of diagnostic criteria and their social and ethical consequences

Call: SONATA 11 , Panel: HS1

Principal investigator: dr Katarzyna Grunt-Mejer

SWPS Uniwersytet Humanistycznospołeczny w Warszawie, Wydział Zamiejscowy w Poznaniu

Phenomenological mechanisms of prefabricating mental spaces

Call: OPUS 11 , Panel: HS1

Principal investigator: dr hab. Wojciech Krysztofiak

Uniwersytet Szczeciński, Wydział Humanistyczny

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

Rozumowania hipotetyczne i okresy warunkowe

Call: FUGA 5 , Panel: HS1

Principal investigator: dr Maciej Sendłak

Uniwersytet Warszawski, Wydział Filozofii i Socjologii

Causal investigations in the current economic research

Call: PRELUDIUM 10 , Panel: HS1

Principal investigator: Mariusz Maziarz

Uniwersytet Ekonomiczny we Wrocławiu, Wydział Ekonomii i Finansów

Scientific laws in evolutionary biology

Call: OPUS 10 , Panel: HS1

Principal investigator: dr Krzysztof Chodasewicz

Instytut Filozofii i Socjologii Polskiej Akademii Nauk

Mechanisms of geometric cognition

Call: OPUS 10 , Panel: HS1

Principal investigator: dr Mateusz Hohol

Instytut Filozofii i Socjologii Polskiej Akademii Nauk

Tableau systems of relating logics motivated by philosophical interpretations of natural language connectives

Call: PRELUDIUM 10 , Panel: HS1

Principal investigator: Mateusz Klonowski

Uniwersytet Mikołaja Kopernika, Wydział Humanistyczny

Metatheory of Tableau Systems

Call: OPUS 10 , Panel: HS1

Principal investigator: dr hab. Tomasz Jarmużek

Uniwersytet Mikołaja Kopernika, Wydział Humanistyczny

Philosophy from Methodological Point of View. Condition and Prospect of Philosophical Disciplines in View of the Paradig...

Call: SONATA BIS 5 , Panel: HS1

Principal investigator: prof. Anna Brożek

Uniwersytet Warszawski, Wydział Filozofii i Socjologii

Jerzy Neyman's Conception of Scientific Inference

Call: PRELUDIUM 9 , Panel: HS1

Principal investigator: Adam Kubiak

Towarzystwo Naukowe Katolickiego Uniwersytetu Lubelskiego Jana Pawła II

Extremal axioms: logical, mathematical and cognitive aspects

Call: OPUS 9 , Panel: HS1

Principal investigator: prof. Jerzy Pogonowski

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

Epistemological aspects of the application of content implication as instrument of formalization of the expressions of n...

Call: OPUS 9 , Panel: HS1

Principal investigator: dr hab. Piotr Łukowski

Uniwersytet Łódzki, Wydział Nauk o Wychowaniu