Projects funded by the NCN

Information on the principal investigator and host institution

Information of the project and the call

Keywords

Equipment

Delete all

Search results

279 projects found matching your search criteria :

  1. Non-Fregean approach to Dunn-Epstein's content relationship logic

    Call: OPUS 29 , Panel: HS1

    Principal investigator: dr Mateusz Klonowski

    Uniwersytet Mikołaja Kopernika

  2. From Games to Algorithms: Exploring Reasoning in Description Logics

    Call: OPUS 29 , Panel: ST6

    Principal investigator: dr hab. Barbara Morawska

    Uniwersytet Opolski

  3. Everything I know: a syntactical approach to only-knowing

    Call: OPUS 29 , Panel: ST6

    Principal investigator: dr hab. Lidia Zofia Tendera

    Uniwersytet Opolski

  4. Polishability of analytic equivalence relations and generalized Scott analysis

    Call: PRELUDIUM 24 , Panel: ST1

    Principal investigator: Mateusz Lichman

    Politechnika Łódzka

  5. Insolubilia: The First Medieval Discussions of Logical Antinomies

    Call: OPUS 29 , Panel: HS1

    Principal investigator: dr hab. Magdalena Ewa Bieniak-Nowak

    Uniwersytet Warszawski

  6. Integrated perovskite-polariton circuits for spin logic

    Call: OPUS 28 , Panel: ST3

    Principal investigator: dr Helgi Sigurdsson

    Uniwersytet Warszawski

  7. What could we know about the global structure of black hole spacetimes?

    Call: OPUS 28 , Panel: HS1

    Principal investigator: dr Juliusz Doboszewski

    Uniwersytet Jagielloński

  8. Reflection principles and their epistemic warrant

    Call: OPUS 28 (LAP) , Panel: HS1

    Principal investigator: prof. Cezary Wiesław Cieśliński

    Uniwersytet Warszawski

  9. Reasons of the others: concession and counterargument in polylogues

    Call: WEAVE-UNISONO , Panel: HS1

    Principal investigator: dr hab. Marcin Jan Koszowy

    Politechnika Warszawska

  10. Structural complexity measures for foundational theories

    Call: WEAVE-UNISONO , Panel: HS1

    Principal investigator: dr Mateusz Zbigniew Łełyk

    Uniwersytet Warszawski

  11. Analysis of quantitative models of computation

    Call: SONATA BIS 14 , Panel: ST6

    Principal investigator: dr hab. Lorenzo Clemente

    Uniwersytet Warszawski

  12. Probabilistic aspects of Fraïssé limits

    Call: PRELUDIUM 23 , Panel: ST1

    Principal investigator: Agnieszka Maria Widz

    Politechnika Łódzka

  13. Decision Problems for Logics with Weak Forms of Recursion

    Call: PRELUDIUM 23 , Panel: ST6

    Principal investigator: Bartosz Jan Bednarczyk

    Uniwersytet Wrocławski

  14. Mathematical justification and entitlement in the foundations of mathematics

    Call: OPUS 27 , Panel: HS1

    Principal investigator: dr Matteo Zicchetti

    Uniwersytet Warszawski

  15. Borel complexity of ideals on countable sets and sets of limit points

    Call: OPUS 27 , Panel: ST1

    Principal investigator: dr hab. Adam Marek Kwela

    Uniwersytet Gdański

  16. Meta-theoretical and inter-theoretical reductions in foundations of mathematics

    Call: OPUS 27 , Panel: HS1

    Principal investigator: Maciej Głowacki

    Uniwersytet Warszawski

  17. Time in Quantum Mechanics: Comparing Interpretations of Quantum Mechanics through the Problem of Time

    Call: PRELUDIUM 23 , Panel: HS1

    Principal investigator: Jakub Róg

    Uniwersytet Warszawski

  18. Robert Halifax's Theory of the Will and Its Impact on Vienna's Voluntarism in the 15th Century

    Call: WEAVE-UNISONO , Panel: HS1

    Principal investigator: dr hab. Monika Izabela Michałowska

    Uniwersytet Medyczny w Łodzi

  19. The Puzzles of Modal Variation

    Call: SONATINA 8 , Panel: HS1

    Principal investigator: dr Aleksander Jędrzej Domosławski

    Uniwersytet im. Adama Mickiewicza w Poznaniu

  20. Philosophical-logical foundations of mechanistic causation

    Call: SONATINA 8 , Panel: HS1

    Principal investigator: dr Michał Oleksowicz

    Uniwersytet Mikołaja Kopernika

  21. Meta-analyses in experimental philosophy

    Call: OPUS 26 , Panel: HS1

    Principal investigator: dr Bartosz Maćkiewicz

    Uniwersytet Warszawski, Wydział Filozofii

  22. Relation based semantics: axiomatic and tableaux proof-calculi

    Call: OPUS 26 , Panel: HS1

    Principal investigator: dr hab. Tomasz Dariusz Jarmużek

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

  23. Agents in Evolutionary Biology. Case study: the concept of Unity-of-Purpose

    Call: OPUS 26 , Panel: HS1

    Principal investigator: dr Adrian Krzysztof Stencel

    Uniwersytet Jagielloński, Wydział Filozoficzny

  24. Higher-order logic and absoluteness phenomena in set theory

    Call: SONATA 19 , Panel: HS1

    Principal investigator: dr Bartosz Wcisło

    Uniwersytet Gdański, Wydział Nauk Społecznych

  25. Practice-based research: investigating research practices, outputs and impacts in Belgium-Flanders, Poland, and Switzerl...

    Call: OPUS 26 (LAP) , Panel: HS2

    Principal investigator: dr Kamila Lewandowska

    Uniwersytet Warszawski, Instytut Ameryk i Europy

  26. The Paradox of Analysis

    Call: OPUS 26 , Panel: HS1

    Principal investigator: dr hab. Maciej Dawid Sendłak

    Uniwersytet Warszawski, Wydział Filozofii

  27. Generic large cardinals and determinacy

    Call: WEAVE-UNISONO , Panel: ST1

    Principal investigator: dr hab. Grigor Sargsyan

    Instytut Matematyczny Polskiej Akademii Nauk

  28. Fundamental laws of nature and their roles in metaphysics

    Call: SONATA 19 , Panel: HS1

    Principal investigator: dr Joanna Luc

    Uniwersytet Jagielloński, Wydział Filozoficzny

  29. Forcing axioms, inner models and determinacy

    Call: MAESTRO 15 , Panel: ST1

    Principal investigator: dr Grigor Sargsyan

    Instytut Matematyczny Polskiej Akademii Nauk

  30. Logical and Philosophical Aspects of Pluralism and Potentialism in Set-Theory and Arithmetic

    Call: OPUS 25 , Panel: HS1

    Principal investigator: dr Michał Tomasz Godziszewski

    Uniwersytet Łódzki, Wydział Filozoficzno-Historyczny

  31. Temporal Logic and Philosophy of Cyclic Non-deterministic World

    Call: OPUS 25 , Panel: HS1

    Principal investigator: dr Marcin Łyczak

    Uniwersytet Warmińsko-Mazurski w Olsztynie, Wydział Humanistyczny

  32. A Machian framework for quantum physics

    Call: OPUS 25 , Panel: HS1

    Principal investigator: dr Antonio Vassallo

    Politechnika Warszawska

  33. Free and iterative operators on fields

    Call: PRELUDIUM 22 , Panel: ST1

    Principal investigator: dr Jakub Gogolok

    Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

  34. Sustainable Business Model (SBM) for Small and Medium-Sized Enterprises (SMEs): South Asian Perspective

    Call: PRELUDIUM 22 , Panel: HS4

    Principal investigator: Binayak Malla

    Uniwersytet Warszawski, Wydział Zarządzania

  35. BIOlogical Perspectivism and Individualisation (BIOPI).Understanding What a Perspective Isfor Organisms, Species, and Ec...

    Call: OPUS 25 , Panel: HS1

    Principal investigator: dr Adrian Stencel

    Uniwersytet Jagielloński, Wydział Filozoficzny

  36. Post completeness vs neighborhood completeness in classical modal logics

    Call: PRELUDIUM 22 , Panel: HS1

    Principal investigator: Krzysztof Aleksander Krawczyk

    Uniwersytet Jagielloński, Wydział Filozoficzny

  37. Computable structure theory, and philosophy of mathematical structuralism

    Call: OPUS 25 , Panel: HS1

    Principal investigator: dr Dariusz Kalociński

    Instytut Podstaw Informatyki PAN

  38. Metaphilosophy of Legal Interpretation

    Call: OPUS 25 , Panel: HS5

    Principal investigator: dr hab. Adam Michał Dyrda

    Uniwersytet Jagielloński, Jagiellońskie Centrum Badawcze "Prawo – Język – Filozofia"

  39. Between proof theory, reverse mathematics, and the model theory of arithmetic

    Call: OPUS 25 , Panel: ST1

    Principal investigator: dr hab. Leszek Aleksander Kołodziejczyk

    Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

  40. Philosophy of Science for the Replication Crisis

    Call: OPUS 25 , Panel: HS1

    Principal investigator: dr Mariusz Łukasz Maziarz

    Uniwersytet Jagielloński, Wydział Filozoficzny

  41. Philosophical Analysis of the Black Box Problem: Scientific Understanding and Explainable Artificial Intelligence

    Call: PRELUDIUM 22 , Panel: HS1

    Principal investigator: Marcin Piotr Rabiza

    Instytut Filozofii i Socjologii Polskiej Akademii Nauk, Szkoła Nauk Społecznych

  42. Causality and Social Determinants of Health and Illness

    Call: OPUS 25 , Panel: HS1

    Principal investigator: dr Elena Popa

    Uniwersytet Jagielloński, Wydział Filozoficzny

  43. Automation of the Problem of Unification in Description Logics

    Call: POLONEZ BIS 3 , Panel: ST6

    Principal investigator: dr hab. Barbara Joanna Morawska

    Uniwersytet Opolski, Instytut Informatyki

  44. Epistemic inaccuracy -- what's next?

    Call: OPUS 24 , Panel: HS1

    Principal investigator: dr hab. Leszek Jerzy Wroński

    Uniwersytet Jagielloński, Wydział Filozoficzny

  45. Side Conditions and the Saturation of the Non-stationary Ideal

    Call: POLONEZ BIS 3 , Panel: ST1

    Principal investigator: dr Rahman Mohammadpour

    Instytut Matematyczny Polskiej Akademii Nauk

  46. Representations of algebraic semantics for substructural logics

    Call: OPUS 24 (LAP) , Panel: HS1

    Principal investigator: prof. Tomasz Stanisław Kowalski

    Uniwersytet Jagielloński, Wydział Filozoficzny

  47. Structure and algorithms for graph classes defined by transduction-closed properties

    Call: SONATA 18 , Panel: ST6

    Principal investigator: dr Jakub Gajarský

    Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

  48. At the Intersections of Ethics, Philosophy of Nature, and Logic. Richard FitzRalph's and Richard Kilvington's Voluntaris...

    Call: OPUS 24 , Panel: HS1

    Principal investigator: dr hab. Monika Izabela Michałowska

    Uniwersytet Medyczny w Łodzi, Wydział Nauk o Zdrowiu

  49. Polynomial finite state computation

    Call: MAESTRO 14 , Panel: ST6

    Principal investigator: prof. Mikołaj Bojańczyk

    Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

  50. Logical and epistemological criteria of salience in the foundations of mathematics

    Call: SONATA BIS 12 , Panel: HS1

    Principal investigator: dr Mateusz Zbigniew Łełyk

    Uniwersytet Warszawski, Wydział Filozofii

O Narodowym Centrum Nauki

Finansowanie nauki

Współpraca zagraniczna

Centrum prasowe

Deklaracja dostępności
Przetwarzanie danych osobowych
Polityka cookies

Partnerzy