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

277 projects found matching your search criteria :

  1. Probability of conditionals - a stochastic graph model

    Call: OPUS 20 , Panel: HS1

    Principal investigator: dr hab. Anna Wójtowicz

    Uniwersytet Warszawski, Wydział Filozofii

  2. Mathematicized Scientific Theories and The Foundations of Applied Mathematics

    Call: OPUS 20 , Panel: HS1

    Principal investigator: dr Jeffrey Ketland

    Uniwersytet Warszawski, Wydział Filozofii

  3. Robust Formalisms for Quantitative Reasoning

    Call: OPUS 20 , Panel: ST6

    Principal investigator: dr Jakub Michaliszyn

    Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

  4. Time, Truth and modality

    Call: SONATA 16 , Panel: HS1

    Principal investigator: dr Jacek Wawer

    Uniwersytet Jagielloński, Wydział Filozoficzny

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

  6. 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 Malinowska

    Uniwersytet im. Adama Mickiewicza w Poznaniu, Wydział Filozoficzny

  7. Exploring rhetorical strategies in a dialogue

    Call: OPUS 2 , Panel: HS1

    Principal investigator: dr hab. Katarzyna Budzyńska

    INSTYTUT FILOZOFII I SOCJOLOGII PAN

  8. Global inversion as a tool of quantitative interpretation of resistivity logs in thin-bedded rock formations

    Call: PRELUDIUM 19 , Panel: ST10

    Principal investigator: Michał Wilkosz

    Akademia Górniczo-Hutnicza im. Stanisława Staszica w Krakowie, Wydział Geologii, Geofizyki i Ochrony Środowiska

  9. Hybrid models of reasoning

    Call: OPUS 19 , Panel: HS1

    Principal investigator: dr hab. Maciej Malicki

    Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

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

    Call: OPUS 19 , Panel: HS1

    Principal investigator: dr Hans-Joachim Greif

    Politechnika Warszawska, Wydział Administracji i Nauk Społecznych

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

    Call: OPUS 19 , Panel: ST6

    Principal investigator: dr Michał Wrona

    Uniwersytet Jagielloński, Wydział Matematyki i Informatyki

  12. 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 Gomułczak

    Uniwersytet im. Adama Mickiewicza w Poznaniu, Wydział Filozoficzny

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

    Call: OPUS 19 , Panel: ST1

    Principal investigator: prof. Witold Marciszewski

    Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

  14. Category-theoretic framework for the Fraissé-Jónsson construction

    Call: OPUS 2 , Panel: ST1

    Principal investigator: dr hab. Wiesław Kubiś

    Uniwersytet Jana Kochanowskiego w Kielcach, Wydział Matematyczno-Przyrodniczy

  15. Around Modal Logics - Decidability and Complexity

    Call: PRELUDIUM 2 , Panel: ST6

    Principal investigator: Jakub Michaliszyn

    Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

  16. Interpreting Euclid

    Call: PRELUDIUM 19 , Panel: HS1

    Principal investigator: Anna Petiurenko

    Uniwersytet Pedagogiczny im. Komisji Edukacji Narodowej w Krakowie

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

    Call: ETIUDA 8 , Panel: HS1

    Principal investigator: Agnieszka Proszewska

    Uniwersytet Jagielloński, Wydział Filozoficzny

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

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

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

  21. Logics for qualitative reasoning

    Call: MAESTRO 1 , Panel: HS1

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

    Uniwersytet Warszawski, Wydział Filozofii i Socjologii

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

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

  24. Truth: Between Disquotation and Compositionality.

    Call: SONATA 15 , Panel: HS1

    Principal investigator: dr Mateusz Łełyk

    Uniwersytet Warszawski

  25. Scientific Progress in Jurisprudence

    Call: OPUS 18 , Panel: HS5

    Principal investigator: dr Mateusz Klinowski

    Uniwersytet Jagielloński, Wydział Prawa i Administracji

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

  27. Set theoretic methods in dynamics and number theory

    Call: SONATA BIS 9 , Panel: ST1

    Principal investigator: dr hab. William Mance

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

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

  29. Epistemic and semantic commitments of foundational theories

    Call: MAESTRO 11 , Panel: HS1

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

    Uniwersytet Warszawski

  30. Self-subsisting structures in quantum gravity

    Call: OPUS 17 , Panel: HS1

    Principal investigator: dr Antonio Vassallo

    Uniwersytet Warszawski, Wydział Filozofii i Socjologii

  31. Logic operations in spin-polarized semi-magnetic exciton-polariton condensates

    Call: PRELUDIUM 17 , Panel: ST3

    Principal investigator: Rafał Mirek

    Uniwersytet Warszawski, Wydział Fizyki

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

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

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

  35. Infinity and infinitesimals

    Call: OPUS 16 , Panel: HS1

    Principal investigator: dr hab. Piotr Błaszczyk

    Uniwersytet Komisji Edukacji Narodowej w Krakowie

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

  37. Group actions and model theory

    Call: OPUS 16 , Panel: ST1

    Principal investigator: prof. Piotr Kowalski

    Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

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

  39. 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 Tendera

    Uniwersytet Opolski, Wydział Matematyki, Fizyki i Informatyki

  40. Infinity in reasoning about data and knowledge

    Call: SONATA BIS 8 , Panel: ST6

    Principal investigator: dr hab. Filip Murlak

    Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

  41. Geometric and Measured Group Theory 2

    Call: HARMONIA 10 , Panel: ST1

    Principal investigator: dr Damian Osajda

    Instytut Matematyczny Polskiej Akademii Nauk

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

  43. Machine learning and automatic theorem proving

    Call: OPUS 15 , Panel: ST6

    Principal investigator: dr hab. Henryk Michalewski

    Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

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

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

  46. Deductive systems and decidability problem for hybrid logics

    Call: PRELUDIUM 1 , Panel: HS1

    Principal investigator: dr Michał Zawidzki

    Uniwersytet Łódzki, Wydział Filozoficzno-Historyczny

  47. Abstract methods in Banach space theory.

    Call: OPUS 15 , Panel: ST1

    Principal investigator: prof. Grzegorz Plebanek

    Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

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

    Call: OPUS 15 , Panel: ST8

    Principal investigator: dr hab. Jarosław Krzywański

    Uniwersytet Humanistyczno-Przyrodniczy im. Jana Długosza w Częstochowie, Wydział Nauk Ścisłych, Przyrodniczych i Technicznych

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

  50. Effective computations in predicative mathematics

    Call: SONATINA 2 , Panel: ST6

    Principal investigator: dr Michał Przybyłek

    Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki