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. Dynamic epistemic logic and the problem of logical omniscience

    Call: PRELUDIUM 21 , Panel: HS1

    Principal investigator: Arkadiusz Jerzy Wójcik

    Uniwersytet w Białymstoku, Wydział Filozofii i Kognitywistyki

  2. Investigation of the use of the concept communication" in biology and cognitive sciences

    Call: PRELUDIUM 21 , Panel: HS1

    Principal investigator: Wiktor Marcin Rorot

    Instytut Filozofii i Socjologii Polskiej Akademii Nauk

  3. Equivalence in Substructural Logics

    Call: OPUS 23 , Panel: HS1

    Principal investigator: prof. Tomasz Stanisław Kowalski

    Uniwersytet Jagielloński, Wydział Filozoficzny

  4. First Order Logic and Beyond. Some Puzzles in Database Theory.

    Call: OPUS 23 , Panel: ST6

    Principal investigator: prof. Jerzy Marcinkowski

    Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

  5. Quantum State: Information, Free Choice, Randomness

    Call: OPUS 23 , Panel: HS1

    Principal investigator: prof. Tomasz Grzegorz Placek

    Uniwersytet Jagielloński, Wydział Filozoficzny

  6. Transcendental Arguments. Models and Applications

    Call: PRELUDIUM 21 , Panel: HS1

    Principal investigator: Stanisław Jędrczak

    Uniwersytet Warszawski, Wydział Filozofii

  7. Evidential Pluralism in Philosophy of Economics

    Call: OPUS 23 , Panel: HS1

    Principal investigator: dr Mariusz Łukasz Maziarz

    Uniwersytet Jagielloński, Wydział Filozoficzny

  8. Classifying Derived Models of the Axiom of Determinacy

    Call: WEAVE-UNISONO , Panel: ST1

    Principal investigator: dr Grigor Sargsyan

    Instytut Matematyczny Polskiej Akademii Nauk

  9. Philosophical and metalogical foundations of logic of names: semantics, tableaumethods and axiomatization

    Call: OPUS 22 , Panel: HS1

    Principal investigator: prof. Andrzej Pietruszczak

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

  10. Cognitive artifacts on various time scales: An integrative approach

    Call: OPUS 22 , Panel: HS1

    Principal investigator: dr hab. Mateusz Leszek Hohol

    Uniwersytet Jagielloński, Centrum Kopernika Badań Interdyscyplinarnych

  11. (Anti)Classification and invariants in dynamics

    Call: POLONEZ BIS 1 , Panel: ST1

    Principal investigator: dr Philipp Christopher Kunde

    Uniwersytet Jagielloński, Wydział Matematyki i Informatyki

  12. Arithmetic and geometry of fields with operators

    Call: OPUS 22 , Panel: ST1

    Principal investigator: prof. Piotr Kowalski

    Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

  13. Values, Trust, and Decision Making in Public Health

    Call: POLONEZ BIS 1 , Panel: HS1

    Principal investigator: dr Elena Popa

    Uniwersytet Jagielloński, Wydział Filozoficzny

  14. The categories of qualitativeness and individuality in logic, ontology and physics

    Call: OPUS 22 , Panel: HS1

    Principal investigator: prof. Tomasz Franciszek Bigaj

    Uniwersytet Warszawski, Wydział Filozofii

  15. Analytic P-ideals, Banach spaces and measure algebras.

    Call: WEAVE-UNISONO , Panel: ST1

    Principal investigator: dr hab. Piotr Tadeusz Borodulin-Nadzieja

    Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

  16. Set-theoretic aspects of topological selections

    Call: WEAVE-UNISONO , Panel: ST1

    Principal investigator: dr Piotr Jan Szewczak

    Uniwersytet Kardynała Stefana Wyszyńskiego w Warszawie, Wydział Matematyczno-Przyrodniczy. Szkoła Nauk Ścisłych

  17. Relationships between algebraic, modal and many-valued quantum logics

    Call: PRELUDIUM 20 , Panel: HS1

    Principal investigator: Elżbieta Jennifer Drozdowska

    Katolicki Uniwersytet Lubelski Jana Pawła II

  18. Towards a Modelling-Based Account of Legal Institutions

    Call: PRELUDIUM 20 , Panel: HS1

    Principal investigator: Wojciech Jerzy Graboń

    Uniwersytet Warszawski, Wydział Prawa i Administracji

  19. Henri Bergson and the theory of special relativity

    Call: PRELUDIUM 20 , Panel: HS1

    Principal investigator: Anna Zofia Kuszmiruk

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

  20. Reinterpreting anaphora: towards ambiguity-first approach

    Call: PRELUDIUM 20 , Panel: HS1

    Principal investigator: Antonina Weronika Jamrozik

    Uniwersytet Warszawski, Wydział Filozofii

  21. Selected topics in applications of set theory in functional analysis

    Call: PRELUDIUM 20 , Panel: ST1

    Principal investigator: dr Damian Głodkowski

    Instytut Matematyczny Polskiej Akademii Nauk

  22. Conceptual structure of natural numbers. Modeling numerical cognition by conceptual spaces

    Call: OPUS 21 , Panel: HS1

    Principal investigator: dr Paula Dominika Quinon

    Politechnika Warszawska, Wydział Administracji i Nauk Społecznych

  23. From expressive description logics to mulit-variable fragments of first-order logic: resoning in finite structures

    Call: OPUS 21 , Panel: ST6

    Principal investigator: dr hab. Emanuel Grzegorz Kieroński

    Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

  24. Rethinking legal probabilism

    Call: OPUS 21 , Panel: HS1

    Principal investigator: dr hab. Rafał Urbaniak

    Uniwersytet Gdański, Wydział Nauk Społecznych

  25. Homogeneity and Genericity of Metric Structures: Groups, Dynamical Systems, Banach Spaces and C*-Algebras.

    Call: WEAVE-UNISONO , Panel: ST1

    Principal investigator: dr hab. Maciej Malicki

    Instytut Matematyczny Polskiej Akademii Nauk

  26. Reasoning in Biblical Exegesis: from Stephen Langton to Thomas Aquinas

    Call: SONATA 16 , Panel: HS1

    Principal investigator: dr Marcin Lech Trepczyński

    Uniwersytet Warszawski, Wydział Filozofii

  27. Probability of conditionals - a stochastic graph model

    Call: OPUS 20 , Panel: HS1

    Principal investigator: dr hab. Anna Maria Wójtowicz

    Uniwersytet Warszawski, Wydział Filozofii

  28. Mathematicized Scientific Theories and The Foundations of Applied Mathematics

    Call: OPUS 20 , Panel: HS1

    Principal investigator: dr Jeffrey John Ketland

    Uniwersytet Warszawski, Wydział Filozofii

  29. Robust Formalisms for Quantitative Reasoning

    Call: OPUS 20 , Panel: ST6

    Principal investigator: dr Jakub Dawid Michaliszyn

    Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

  30. Time, Truth and modality

    Call: SONATA 16 , Panel: HS1

    Principal investigator: dr Jacek Marcin Wawer

    Uniwersytet Jagielloński, Wydział Filozoficzny

  31. Logico-philosophical foundations of geometry and topology

    Call: OPUS 20 , Panel: HS1

    Principal investigator: dr hab. Rafał Gruszczyński

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

  32. Category of race in the philosophy of medicine: conceptualisation and application of the category of race in biomedical ...

    Call: SONATA 16 , Panel: HS1

    Principal investigator: dr Joanna Karolina Malinowska

    Uniwersytet im. Adama Mickiewicza w Poznaniu, Wydział Filozoficzny

  33. Hybrid models of reasoning

    Call: OPUS 19 , Panel: HS1

    Principal investigator: dr hab. Maciej Malicki

    Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

  34. Turing, Ashby, and "the Action of the Brain"

    Call: OPUS 19 , Panel: HS1

    Principal investigator: dr hab. Hans-Joachim Greif

    Politechnika Warszawska, Wydział Administracji i Nauk Społecznych

  35. Constraint Satisfaction Problems for infinite homogeneous structures: towards algorithms

    Call: OPUS 19 , Panel: ST6

    Principal investigator: dr hab. Michał Maria Wrona

    Uniwersytet Jagielloński, Wydział Matematyki i Informatyki

  36. A problem of the interrelations between analytic philosophy and phenomenology from the perspective of Lviv-Warsaw School

    Call: PRELUDIUM 19 , Panel: HS1

    Principal investigator: Aleksandra Szczęsna Gomułczak

    Uniwersytet im. Adama Mickiewicza w Poznaniu, Wydział Filozoficzny

  37. Set theoretic methods in analytic topology: from pointwise convergence and Banach spaces to operator algebras

    Call: OPUS 19 , Panel: ST1

    Principal investigator: prof. Witold Michał Marciszewski

    Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

  38. Interpreting Euclid

    Call: PRELUDIUM 19 , Panel: HS1

    Principal investigator: dr Anna Petiurenko

    Uniwersytet Pedagogiczny im. Komisji Edukacji Narodowej w Krakowie

  39. Is semantic structuralism necessarily set-theoretic structuralism? Methods of representation in Steven French's ontic st...

    Call: ETIUDA 8 , Panel: HS1

    Principal investigator: dr Agnieszka Maria Proszewska

    Uniwersytet Jagielloński, Wydział Filozoficzny

  40. Theory Construction and the Empirical Social and Behavioral Sciences

    Call: OPUS 18 , Panel: HS1

    Principal investigator: dr hab. Frank Zenker

    Politechnika Warszawska, Wydział Administracji i Nauk Społecznych

  41. Intelligent approaches for facility layout problems in management, production, and logistics

    Call: OPUS 18 , Panel: HS4

    Principal investigator: dr hab. Rafał Michalski

    Politechnika Wrocławska

  42. Towards a cognitively plausible compositional model for natural language quantification

    Call: OPUS 18 , Panel: HS1

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

    Uniwersytet Warszawski, Wydział Filozofii

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

    Call: OPUS 18 , Panel: HS1

    Principal investigator: dr hab. Ołena Łucyszyna

    Instytut Kultur Śródziemnomorskich i Orientalnych PAN

  44. 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

  45. Truth: Between Disquotation and Compositionality.

    Call: SONATA 15 , Panel: HS1

    Principal investigator: dr Mateusz Zbigniew Łełyk

    Uniwersytet Warszawski

  46. Scientific Progress in Jurisprudence

    Call: OPUS 18 , Panel: HS5

    Principal investigator: dr Mateusz Michał Klinowski

    Uniwersytet Jagielloński, Wydział Prawa i Administracji

  47. Classification problems in topological dynamics and ergodic theory

    Call: PRELUDIUM BIS 1 , Panel: ST1

    Principal investigator: dr hab. Dominik Kwietniak

    Uniwersytet Jagielloński, Wydział Matematyki i Informatyki

  48. Set theoretic methods in dynamics and number theory

    Call: SONATA BIS 9 , Panel: ST1

    Principal investigator: dr hab. William Andrew Mance

    Uniwersytet im. Adama Mickiewicza w Poznaniu, Wydział Matematyki i Informatyki

  49. Epistemic inaccuracy and foundational issues in formal epistemology

    Call: SONATA BIS 9 , Panel: HS1

    Principal investigator: dr hab. Leszek Jerzy Wroński

    Uniwersytet Jagielloński, Wydział Filozoficzny

  50. Epistemic and semantic commitments of foundational theories

    Call: MAESTRO 11 , Panel: HS1

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

    Uniwersytet Warszawski