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

39 projects found matching your search criteria :

  1. Formal theories of truth and nonstandard models of arithmetic

    Call: PRELUDIUM 7 , Panel: HS1

    Principal investigator: Michał Godziszewski

    Uniwersytet Warszawski, Wydział Filozofii i Socjologii

  2. Applications of mereology in systems of point-free geometry

    Call: OPUS 7 , Panel: HS1

    Principal investigator: dr Rafał Gruszczyński

    Uniwersytet Mikołaja Kopernika, Wydział Humanistyczny

  3. Formal truth theories

    Call: OPUS 7 , Panel: HS1

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

    Uniwersytet Warszawski, Wydział Filozofii i Socjologii

  4. Algorithmic Learning Theory and Computational Models of Cognitive Capabilities Acquisition

    Call: OPUS 6 , Panel: HS1

    Principal investigator: dr hab. Marcin Mostowski

    Uniwersytet Warszawski, Wydział Filozofii i Socjologii

  5. Tolerance relations in lattices and their applications

    Call: OPUS 1 , Panel: HS1

    Principal investigator: dr hab. Joanna Grygiel

    Akademia im. Jana Długosza w Częstochowie, Wydział Matematyczno-Przyrodniczy

  6. Empirical foundations and fringes of seventeenth-century philosophy

    Call: OPUS 4 , Panel: HS1

    Principal investigator: prof. Adam Grzeliński

    Uniwersytet Mikołaja Kopernika, Wydział Humanistyczny

  7. New Logical-Mathematical Methods in Applied Sciences and Modelling of Decision Making

    Call: OPUS 4 , Panel: HS1

    Principal investigator: prof. Jan Hertrich-Woleński

    Wyższa Szkoła Informatyki i Zarządzania w Rzeszowie, Wydział Administracji i Nauk Społecznych

  8. Positional logic - metatheory and applications

    Call: SONATA BIS 1 , Panel: HS1

    Principal investigator: dr hab. Marcin Tkaczyk

    TOWARZYSTWO NAUKOWE KATOLICKIEGO UNIWERSYTETU LUBELSKIEGO JANA PAWŁA II

  9. Cracow practicism and its metaphysical foundations

    Call: SONATA 3 , Panel: HS1

    Principal investigator: dr Magdalena Płotka

    Uniwersytet Kardynała Stefana Wyszyńskiego w Warszawie, Wydział Filozofii Chrześcijańskiej

  10. Erotetic logic in the modeling of ultimate and distributed question processing. Theoretical foundations and applications

    Call: MAESTRO 2 , Panel: HS1

    Principal investigator: prof. Andrzej Wiśniewski

    Uniwersytet im. Adama Mickiewicza, Wydział Nauk Społecznych

  11. De Interpretatione - Research in the Linguistic Foundations of Aristotle's Thought

    Call: OPUS 2 , Panel: HS1

    Principal investigator: dr Tomasz Tiuryn

    Uniwersytet Warszawski, Wydział Filozofii i Socjologii

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

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

    Call: OPUS 25 , Panel: HS1

    Principal investigator: dr Michał Godziszewski

    Uniwersytet Łódzki, Wydział Filozoficzno-Historyczny

  14. Post completeness vs neighborhood completeness in classical modal logics

    Call: PRELUDIUM 22 , Panel: HS1

    Principal investigator: Krzysztof Krawczyk

    Uniwersytet Jagielloński, Wydział Filozoficzny

  15. Computable structure theory, and philosophy of mathematical structuralism

    Call: OPUS 25 , Panel: HS1

    Principal investigator: dr Dariusz Kalociński

    Instytut Podstaw Informatyki Polskiej Akademii Nauk

  16. Representations of algebraic semantics for substructural logics

    Call: OPUS 24 (LAP) , Panel: HS1

    Principal investigator: dr hab. Tomasz Kowalski

    Uniwersytet Jagielloński, Wydział Filozoficzny

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

    Call: SONATA BIS 12 , Panel: HS1

    Principal investigator: dr Mateusz Łełyk

    Uniwersytet Warszawski, Wydział Filozofii

  18. Equivalence in Substructural Logics

    Call: OPUS 23 , Panel: HS1

    Principal investigator: dr hab. Tomasz Kowalski

    Uniwersytet Jagielloński, Wydział Filozoficzny

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

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

    Call: PRELUDIUM 20 , Panel: HS1

    Principal investigator: Elżbieta Drozdowska

    Katolicki Uniwersytet Lubelski Jana Pawła II

  21. Mathematicized Scientific Theories and The Foundations of Applied Mathematics

    Call: OPUS 20 , Panel: HS1

    Principal investigator: dr Jeffrey Ketland

    Uniwersytet Warszawski, Wydział Filozofii

  22. Logico-philosophical foundations of geometry and topology

    Call: OPUS 20 , Panel: HS1

    Principal investigator: dr hab. Rafał Gruszczyński

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

  23. Interpreting Euclid

    Call: PRELUDIUM 19 , Panel: HS1

    Principal investigator: Anna Petiurenko

    Uniwersytet Pedagogiczny im. Komisji Edukacji Narodowej w Krakowie

  24. Pious gifts in medieval Stockholm in the context of Baltic towns, c. 1315–1530

    Call: PRELUDIUM 19 , Panel: HS3

    Principal investigator: Piotr Kołodziejczak

    Uniwersytet Mikołaja Kopernika w Toruniu, Wydział Nauk Historycznych

  25. Logics for qualitative reasoning

    Call: MAESTRO 1 , Panel: HS1

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

    Uniwersytet Warszawski, Wydział Filozofii i Socjologii

  26. Truth: Between Disquotation and Compositionality.

    Call: SONATA 15 , Panel: HS1

    Principal investigator: dr Mateusz Łełyk

    Uniwersytet Warszawski

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

  28. Epistemic and semantic commitments of foundational theories

    Call: MAESTRO 11 , Panel: HS1

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

    Uniwersytet Warszawski

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

  30. Infinity and infinitesimals

    Call: OPUS 16 , Panel: HS1

    Principal investigator: dr hab. Piotr Błaszczyk

    Uniwersytet Komisji Edukacji Narodowej w Krakowie

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

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

  33. Opaqueness, ritualisation, anxiety: The cognitive foundations of ritual

    Call: OPUS 14 , Panel: HS1

    Principal investigator: dr hab. Konrad Talmont-Kamiński

    Uniwersytet w Białymstoku, Instytut Filozofii

  34. Truth theories and their strength

    Call: OPUS 14 , Panel: HS1

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

    Uniwersytet Warszawski, Wydział Filozofii

  35. Philosophical and formal analysis of qualitative spatial logics

    Call: SONATA 13 , Panel: HS1

    Principal investigator: dr Adam Trybus

    Uniwersytet Zielonogórski, Wydział Humanistyczny

  36. Logics of Situations

    Call: OPUS 13 , Panel: HS1

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

    Uniwersytet Warszawski, Wydział Filozofii

  37. Niestandardowe modele arytmetyki i formalne teorie prawdy

    Call: ETIUDA 5 , Panel: HS1

    Principal investigator: Michał Godziszewski

    Uniwersytet Warszawski, Wydział Filozofii

  38. Hybridizing Fragments of Halpern-Shoham Logic

    Call: PRELUDIUM 12 , Panel: HS1

    Principal investigator: Przemysław Wałęga

    Uniwersytet Warszawski, Wydział Filozofii i Socjologii

  39. Cognitive mechanisms of numeral reference

    Call: OPUS 1 , Panel: HS1

    Principal investigator: dr hab. Wojciech Krysztofiak

    Uniwersytet Szczeciński, Wydział Humanistyczny

O Narodowym Centrum Nauki

Finansowanie nauki

Współpraca zagraniczna

Centrum prasowe

Deklaracja dostępności
Przetwarzanie danych osobowych
Polityka cookies

Partnerzy