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

275 projects found matching your search criteria :

  1. Algorithmic models of prediction: formal properties and philosophical implications

    Call: OPUS 16 , Panel: HS1

    Principal investigator: dr Dariusz Kalociński

    Instytut Podstaw Informatyki PAN

  2. Group actions and model theory

    Call: OPUS 16 , Panel: ST1

    Principal investigator: prof. Piotr Kowalski

    Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

  3. 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 Irena Jung

    Uniwersytet Łódzki, Centrum Filozofii Przyrody

  4. Challenges to automated reasoning in decidable fragments of first-order logic: trees, orders and numerals

    Call: OPUS 16 , Panel: ST6

    Principal investigator: dr hab. Lidia Zofia Tendera

    Uniwersytet Opolski, Wydział Nauk Społecznych, Wydział Matematyki, Fizyki i Informatyki

  5. Infinity in reasoning about data and knowledge

    Call: SONATA BIS 8 , Panel: ST6

    Principal investigator: dr hab. Filip Marek Murlak

    Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

  6. Geometric and Measured Group Theory 2

    Call: HARMONIA 10 , Panel: ST1

    Principal investigator: dr Damian Osajda

    Instytut Matematyczny Polskiej Akademii Nauk

  7. 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 Andrzej Ciecierski

    Uniwersytet Warszawski, Wydział Filozofii

  8. Machine learning and automatic theorem proving

    Call: OPUS 15 , Panel: ST6

    Principal investigator: dr hab. Henryk Michalewski

    Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

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

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

    Call: PRELUDIUM 15 , Panel: HS1

    Principal investigator: dr Agnieszka Maria Proszewska

    Uniwersytet Jagielloński, Wydział Filozoficzny

  11. Abstract methods in Banach space theory.

    Call: OPUS 15 , Panel: ST1

    Principal investigator: prof. Grzegorz Plebanek

    Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

  12. Research on sorption processes intensification methods in modified constructions of adsorbent beds

    Call: OPUS 15 , Panel: ST8

    Principal investigator: prof. Jarosław Marek Krzywański

    Akademia im. Jana Długosza w Częstochowie, Wydział Nauk Ścisłych, Przyrodniczych i Technicznych

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

    Call: ETIUDA 6 , Panel: HS1

    Principal investigator: Piotr Paweł Biłgorajski

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

  14. Effective computations in predicative mathematics

    Call: SONATINA 2 , Panel: ST6

    Principal investigator: dr Michał Roman Przybyłek

    Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

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

    Call: ETIUDA 6 , Panel: HS1

    Principal investigator: Adrian Krzysztof Stencel

    Uniwersytet Jagielloński, Wydział Filozoficzny

  16. Positivity of line bundles on algebraic surfaces

    Call: SONATINA 2 , Panel: ST1

    Principal investigator: dr Łucja Farnik

    Uniwersytet Pedagogiczny im. Komisji Edukacji Narodowej w Krakowie

  17. Badania przyczynowości we współczesnej ekonomii

    Call: ETIUDA 6 , Panel: HS1

    Principal investigator: Mariusz Łukasz Maziarz

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

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

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

  20. Atom. Substance. System. Investigations into Topological Ontology

    Call: OPUS 14 , Panel: HS1

    Principal investigator: dr hab. Janusz Kaczmarek

    Uniwersytet Łódzki, Wydział Filozoficzno-Historyczny

  21. 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 Aleksander Kołodziejczyk

    Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

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

    Call: OPUS 14 , Panel: HS1

    Principal investigator: Adrian Krzysztof Stencel

    Uniwersytet Jagielloński, Wydział Filozoficzny

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

    Call: OPUS 14 , Panel: HS1

    Principal investigator: dr hab. Marek Stefan Pokropski

    Uniwersytet Warszawski, Wydział Filozofii

  24. Truth theories and their strength

    Call: OPUS 14 , Panel: HS1

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

    Uniwersytet Warszawski, Wydział Filozofii

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

  26. Deontic logic for autonomous vehicles

    Call: HARMONIA 9 , Panel: HS1

    Principal investigator: prof. Piotr Wojciech Kulicki

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

  27. Philosophical and formal analysis of qualitative spatial logics

    Call: SONATA 13 , Panel: HS1

    Principal investigator: dr Adam Trybus

    Uniwersytet Zielonogórski, Wydział Humanistyczny

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

  29. Thought experiments in philosophy: orgin, structure, functions

    Call: PRELUDIUM 13 , Panel: HS1

    Principal investigator: Piotr Paweł Biłgorajski

    TOWARZYSTWO NAUKOWE KATOLICKIEGO UNIWERSYTETU LUBELSKIEGO JANA PAWŁA II

  30. Sequent- and tableau-based proof systems for nonclassical logics

    Call: OPUS 13 , Panel: HS1

    Principal investigator: prof. Andrzej Bogusław Indrzejczak

    Uniwersytet Łódzki, Wydział Filozoficzno-Historyczny

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

  32. Quantifiers in Language: Use and Meaning

    Call: OPUS 13 , Panel: HS1

    Principal investigator: dr Jakub Krzysztof Szymanik

    Instytut Podstaw Informatyki PAN

  33. Dispositional Properties, Acceleration, and Physical Forces

    Call: OPUS 13 , Panel: HS1

    Principal investigator: dr hab. Jan Hauska

    Uniwersytet Jagielloński, Wydział Filozoficzny

  34. Fundamental ontological issues and contemporary physics

    Call: OPUS 13 , Panel: HS1

    Principal investigator: dr hab. Tomasz Bigaj

    Uniwersytet Warszawski, Wydział Filozofii

  35. Logics of Situations

    Call: OPUS 13 , Panel: HS1

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

    Uniwersytet Warszawski, Wydział Filozofii

  36. Ontological and methodological status of symmetries in physics

    Call: PRELUDIUM 13 , Panel: HS1

    Principal investigator: dr Joanna Luc

    Uniwersytet Jagielloński, Wydział Filozoficzny

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

  38. Niestandardowe modele arytmetyki i formalne teorie prawdy

    Call: ETIUDA 5 , Panel: HS1

    Principal investigator: Michał Tomasz Godziszewski

    Uniwersytet Warszawski, Wydział Filozofii

  39. Is general relativity deterministic? Some case studies

    Call: ETIUDA 5 , Panel: HS1

    Principal investigator: Juliusz Doboszewski

    Uniwersytet Jagielloński, Wydział Filozoficzny

  40. Ograniczone, niezmiennicze relacje równoważności

    Call: ETIUDA 5 , Panel: ST1

    Principal investigator: Tomasz Rzepecki

    Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

  41. Scalable reasoning about concurrent imperative programs

    Call: SONATA 12 , Panel: ST6

    Principal investigator: dr Filip Sieczkowski

    Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

  42. 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, Wydział Filozofii i Nauk Społecznych

  43. Hybridizing Fragments of Halpern-Shoham Logic

    Call: PRELUDIUM 12 , Panel: HS1

    Principal investigator: Przemysław Andrzej Wałęga

    Uniwersytet Warszawski, Wydział Filozofii i Socjologii

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

    Call: OPUS 12 , Panel: HS1

    Principal investigator: prof. Tomasz Grzegorz Placek

    Uniwersytet Jagielloński, Wydział Filozoficzny

  45. Kazimierz Twardowski's place in Polish culture and European philosophy

    Call: OPUS 12 , Panel: HS1

    Principal investigator: prof. Jacek Juliusz Jadacki

    Uniwersytet Warszawski, Wydział Filozofii

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

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

    Call: OPUS 12 , Panel: HS1

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

    Uniwersytet Warszawski, Wydział Filozofii i Socjologii

  48. Algebraic and topological methods in model theory

    Call: SONATA BIS 6 , Panel: ST1

    Principal investigator: prof. Krzysztof Cyprian Krupiński

    Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

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

  50. Spatiotemporal histories: theory and applications

    Call: HARMONIA 8 , Panel: HS1

    Principal investigator: prof. Tomasz Grzegorz Placek

    Uniwersytet Jagielloński, Wydział Filozoficzny

O Narodowym Centrum Nauki

Finansowanie nauki

Współpraca zagraniczna

Centrum prasowe

Deklaracja dostępności
Przetwarzanie danych osobowych
Polityka cookies

Partnerzy