Projects funded by the NCN

Towards a cognitively plausible compositional model for natural language quantification

Call: OPUS 18 , Panel: HS1

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

Uniwersytet Warszawski, Wydział Filozofii i Socjologii

Logics for qualitative reasoning

Call: MAESTRO 1 , Panel: HS1

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

Uniwersytet Warszawski, Wydział Filozofii i Socjologii

Sāṁkhya Epistemology: Perception and Inference in Classical and Postclassical Sāṁkhya

Call: OPUS 18 , Panel: HS1

Principal investigator: dr Ołena Łucyszyna

Akademia Humanistyczno-Ekonomiczna w Łodzi

Network modelling of multispecies systems. Ontological and epistemological implications

Call: OPUS 18 , Panel: HS1

Principal investigator: dr Javier Suárez

Uniwersytet Jagielloński, Wydział Filozoficzny

Truth: Between Disquotation and Compositionality.

Call: SONATA 15 , Panel: HS1

Principal investigator: dr Mateusz Łełyk

Uniwersytet Warszawski

Scientific Progress in Jurisprudence

Call: OPUS 18 , Panel: HS5

Principal investigator: dr Mateusz Klinowski

Uniwersytet Jagielloński, Wydział Prawa i Administracji

Epistemic inaccuracy and foundational issues in formal epistemology

Call: SONATA BIS 9 , Panel: HS1

Principal investigator: dr hab. Leszek Wroński

Uniwersytet Jagielloński, Wydział Filozoficzny

Epistemic and semantic commitments of foundational theories

Call: MAESTRO 11 , Panel: HS1

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

Uniwersytet Warszawski

Self-subsisting structures in quantum gravity

Call: OPUS 17 , Panel: HS1

Principal investigator: dr Antonio Vassallo

Uniwersytet Warszawski, Wydział Filozofii i Socjologii

Bernard Bolzano and cognitive science

Call: PRELUDIUM 17 , Panel: HS1

Principal investigator: Marlena Fila

Uniwersytet Pedagogiczny im. Komisji Edukacji Narodowej w Krakowie, Wydział Matematyczno-Fizyczno-Techniczny

Ethnography as personal experiance. Generation ground of methodology and fieldwork practice transformation

Call: PRELUDIUM 1 , Panel: HS3

Principal investigator: Filip Wróblewski

Uniwersytet Jagielloński, Wydział Historyczny

Vitalism in Early Modern Medical Philosophy - Thomas Willis and Material Soul

Call: PRELUDIUM 16 , Panel: HS1

Principal investigator: dr Marcin Leszczyński

Uniwersytet Łódzki, Centrum Filozofii Przyrody

Infinity and infinitesimals

Call: OPUS 16 , Panel: HS1

Principal investigator: dr hab. Piotr Błaszczyk

Uniwersytet Komisji Edukacji Narodowej w Krakowie

Algorithmic models of prediction: formal properties and philosophical implications

Call: OPUS 16 , Panel: HS1

Principal investigator: dr Dariusz Kalociński

Instytut Podstaw Informatyki Polskiej Akademii Nauk

Critical Study and Edition from Latin Manuscripts Richard Kilvington's Commentary on the "Physics" of Aristotle

Call: OPUS 16 , Panel: HS1

Principal investigator: prof. Elżbieta Jung

Uniwersytet Łódzki, Centrum Filozofii Przyrody

Semantic and epistemological aspects of ostension: from demonstrating procedures to exploitation of the context of utter...

Call: OPUS 15 , Panel: HS1

Principal investigator: dr hab. Tadeusz Ciecierski

Uniwersytet Warszawski, Wydział Filozofii

Model-theoretic methods in logic and the foundations of mathematics and science

Call: OPUS 15 , Panel: HS1

Principal investigator: dr Jeffrey Ketland

Uniwersytet Warszawski, Wydział Filozofii

Comparative analysis of structural representation methods. Case study: Ontic Structural Realism

Call: PRELUDIUM 15 , Panel: HS1

Principal investigator: Agnieszka Proszewska

Uniwersytet Jagielloński, Wydział Filozoficzny

Deductive systems and decidability problem for hybrid logics

Call: PRELUDIUM 1 , Panel: HS1

Principal investigator: dr Michał Zawidzki

Uniwersytet Łódzki, Wydział Filozoficzno-Historyczny

Eksperymenty myślowe w filozofii: geneza, struktura, funkcje

Call: ETIUDA 6 , Panel: HS1

Principal investigator: Piotr Biłgorajski

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

Rekonceptualizacja podstaw biologii populacyjnej; przypadek interakcji zwierząt z mikroorganizmami

Call: ETIUDA 6 , Panel: HS1

Principal investigator: Adrian Stencel

Uniwersytet Jagielloński, Wydział Filozoficzny

Positivity of line bundles on algebraic surfaces

Call: SONATINA 2 , Panel: ST1

Principal investigator: dr Łucja Farnik

Uniwersytet Komisji Edukacji Narodowej w Krakowie

Badania przyczynowości we współczesnej ekonomii

Call: ETIUDA 6 , Panel: HS1

Principal investigator: Mariusz Maziarz

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

Solving the paradoxes of naive validity and informal provability through non-deterministic and truth-maker semantics

Call: SONATINA 2 , Panel: HS1

Principal investigator: Paweł Pawłowski

Uniwersytet Gdański, Wydział Nauk Społecznych

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

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

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

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

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

How innocent is the concept of truth? Philosophical and logical analysis of deflationism

Call: OPUS 1 , Panel: HS1

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

Uniwersytet Warszawski, Wydział Filozofii i Socjologii

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

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