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. Fundamental laws of nature and their roles in metaphysics

    Call: SONATA 19 , Panel: HS1

    Principal investigator: dr Joanna Luc

    Uniwersytet Jagielloński, Wydział Filozoficzny

  2. Forcing axioms, inner models and determinacy

    Call: MAESTRO 15 , Panel: ST1

    Principal investigator: dr Grigor Sargsyan

    Instytut Matematyczny Polskiej Akademii Nauk

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

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

  5. Free and iterative operators on fields

    Call: PRELUDIUM 22 , Panel: ST1

    Principal investigator: Jakub Gogolok

    Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

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

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

  8. Policy of promoting healthy eating - an international comparative analysis and research on the conditions of effectivene...

    Call: OPUS 25 , Panel: HS5

    Principal investigator: dr hab. Paweł Bryła

    Uniwersytet Łódzki, Wydział Studiów Międzynarodowych i Politologicznych

  9. Post completeness vs neighborhood completeness in classical modal logics

    Call: PRELUDIUM 22 , Panel: HS1

    Principal investigator: Krzysztof Krawczyk

    Uniwersytet Jagielloński, Wydział Filozoficzny

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

  11. Metaphilosophy of Legal Interpretation

    Call: OPUS 25 , Panel: HS5

    Principal investigator: dr hab. Adam Dyrda

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

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

    Call: OPUS 25 , Panel: ST1

    Principal investigator: dr hab. Leszek Kołodziejczyk

    Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

  13. Philosophy of Science for the Replication Crisis

    Call: OPUS 25 , Panel: HS1

    Principal investigator: dr Mariusz Maziarz

    Uniwersytet Jagielloński, Wydział Filozoficzny

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

    Call: PRELUDIUM 22 , Panel: HS1

    Principal investigator: Marcin Rabiza

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

  15. 80 years of investigations on natural deduction and sequent calculi

    Call: OPUS 2 , Panel: HS1

    Principal investigator: prof. Andrzej Indrzejczak

    UNIWERSYTET ŁÓDZKI, Wydział Filozoficzno Historyczny

  16. Automation of the Problem of Unification in Description Logics

    Call: POLONEZ BIS 3 , Panel: ST6

    Principal investigator: dr hab. Barbara Morawska

    Uniwersytet Opolski, Wydział Matematyki, Fizyki i Informatyki

  17. Epistemic inaccuracy -- what's next?

    Call: OPUS 24 , Panel: HS1

    Principal investigator: dr hab. Leszek Wroński

    Uniwersytet Jagielloński, Wydział Filozoficzny

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

  19. Representations of algebraic semantics for substructural logics

    Call: OPUS 24 (LAP) , Panel: HS1

    Principal investigator: dr hab. Tomasz Kowalski

    Uniwersytet Jagielloński, Wydział Filozoficzny

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

  21. 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 Michałowska

    Uniwersytet Medyczny w Łodzi, Wydział Nauk o Zdrowiu

  22. Polynomial finite state computation

    Call: MAESTRO 14 , Panel: ST6

    Principal investigator: prof. Mikołaj Bojańczyk

    Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

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

  24. Dynamic epistemic logic and the problem of logical omniscience

    Call: PRELUDIUM 21 , Panel: HS1

    Principal investigator: Arkadiusz Wójcik

    Uniwersytet w Białymstoku, Instytut Filozofii

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

    Call: PRELUDIUM 21 , Panel: HS1

    Principal investigator: Wiktor Rorot

    Instytut Filozofii i Socjologii Polskiej Akademii Nauk

  26. Equivalence in Substructural Logics

    Call: OPUS 23 , Panel: HS1

    Principal investigator: dr hab. Tomasz Kowalski

    Uniwersytet Jagielloński, Wydział Filozoficzny

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

  28. Quantum State: Information, Free Choice, Randomness

    Call: OPUS 23 , Panel: HS1

    Principal investigator: prof. Tomasz Placek

    Uniwersytet Jagielloński, Wydział Filozoficzny

  29. The development of a simultaneous message-passing protocol with structured light

    Call: OPUS 23 , Panel: ST7

    Principal investigator: dr Mateusz Szatkowski

    Politechnika Wrocławska

  30. Transcendental Arguments. Models and Applications

    Call: PRELUDIUM 21 , Panel: HS1

    Principal investigator: Stanisław Jędrczak

    Uniwersytet Warszawski, Wydział Filozofii

  31. Evidential Pluralism in Philosophy of Economics

    Call: OPUS 23 , Panel: HS1

    Principal investigator: dr Mariusz Maziarz

    Uniwersytet Jagielloński, Wydział Filozoficzny

  32. How to understand nonsense? The role of imagination in Ludwig Wittgenstein's Tractatus Logico-Philosophicus

    Call: SONATINA 6 , Panel: HS1

    Principal investigator: dr Krystian Bogucki

    Instytut Filozofii i Socjologii Polskiej Akademii Nauk

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

  34. Continuous logic and its algebraic applications

    Call: OPUS 1 , Panel: ST1

    Principal investigator: prof. Aleksander Iwanow

    Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

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

    Call: OPUS 22 , Panel: HS1

    Principal investigator: dr hab. Mateusz Hohol

    Uniwersytet Jagielloński, Centrum Kopernika Badań Interdyscyplinarnych

  36. (Anti)Classification and invariants in dynamics

    Call: POLONEZ BIS 1 , Panel: ST1

    Principal investigator: dr Philipp Kunde

    Uniwersytet Jagielloński, Wydział Matematyki i Informatyki

  37. Arithmetic and geometry of fields with operators

    Call: OPUS 22 , Panel: ST1

    Principal investigator: prof. Piotr Kowalski

    Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

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

    Call: POLONEZ BIS 1 , Panel: HS1

    Principal investigator: dr Elena Popa

    Uniwersytet Jagielloński, Wydział Filozoficzny

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

    Call: OPUS 22 , Panel: HS1

    Principal investigator: prof. Tomasz Bigaj

    Uniwersytet Warszawski, Wydział Filozofii

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

  41. Extensional Ontology and Philosophical Logic

    Call: OPUS 2 , Panel: HS1

    Principal investigator: dr hab. Andrzej Biłat

    Wyższa Szkoła Przedsiębiorczości i Administracji w Lublinie

  42. Towards a Modelling-Based Account of Legal Institutions

    Call: PRELUDIUM 20 , Panel: HS1

    Principal investigator: Wojciech Graboń

    Uniwersytet Warszawski, Wydział Prawa i Administracji

  43. Henri Bergson and the theory of special relativity

    Call: PRELUDIUM 20 , Panel: HS1

    Principal investigator: Anna Kuszmiruk

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

  44. Reinterpreting anaphora: towards ambiguity-first approach

    Call: PRELUDIUM 20 , Panel: HS1

    Principal investigator: Antonina Jamrozik

    Uniwersytet Warszawski, Wydział Filozofii

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

    Call: PRELUDIUM 20 , Panel: ST1

    Principal investigator: Damian Głodkowski

    Instytut Matematyczny Polskiej Akademii Nauk

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

    Call: OPUS 21 , Panel: HS1

    Principal investigator: dr Paula Quinon

    Politechnika Warszawska, Wydział Administracji i Nauk Społecznych

  47. 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 Kieroński

    Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

  48. Rethinking legal probabilism

    Call: OPUS 21 , Panel: HS1

    Principal investigator: dr hab. Rafał Urbaniak

    Uniwersytet Gdański, Wydział Nauk Społecznych

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

    Call: SONATA 16 , Panel: HS1

    Principal investigator: dr Marcin Trepczyński

    Uniwersytet Warszawski, Wydział Filozofii

  50. Decision procedures in verification

    Call: OPUS 2 , Panel: ST6

    Principal investigator: prof. Witold Charatonik

    Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

O Narodowym Centrum Nauki

Finansowanie nauki

Współpraca zagraniczna

Centrum prasowe

Deklaracja dostępności
Przetwarzanie danych osobowych
Polityka cookies

Partnerzy