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

266 projects found matching your search criteria :

  1. Probabilism of Rudolf Carnap.

    Call: PRELUDIUM 5 , Panel: HS1

    Principal investigator: Paweł Pruski

    Uniwersytet Jagielloński, Wydział Filozoficzny

  2. Goedel's ontological argument: history, modifications. extensions, and controversies

    Call: HARMONIA 4 , Panel: HS1

    Principal investigator: dr hab. Kordula Świętorzecka

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

  3. Behavioral sciences in law - applications, philosophical implications, controversies.

    Call: PRELUDIUM 4 , Panel: HS1

    Principal investigator: Magdalena Małecka

    Instytut Filozofii i Socjologii PAN

  4. Freedom and independence in algebra and topology

    Call: SONATA 4 , Panel: ST1

    Principal investigator: dr hab. Szymon Głąb

    Politechnika Łódzka, Wydział Fizyki Technicznej, Informatyki i Matematyki Stosowanej

  5. Critical analysis of existing systems of deontic action logic, their comparison, study of their cognitive and practical ...

    Call: SONATA 1 , Panel: HS1

    Principal investigator: dr Robert Trypuz

    TOWARZYSTWO NAUKOWE KATOLICKIEGO UNIWERSYTETU LUBELSKIEGO JANA PAWŁA II

  6. Interactions between model theory, topology and algebra

    Call: OPUS 4 , Panel: ST1

    Principal investigator: dr hab. Krzysztof Krupiński

    Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

  7. Topological properties of function spaces

    Call: PRELUDIUM 4 , Panel: ST1

    Principal investigator: dr Mikołaj Krupski

    Instytut Matematyczny PAN

  8. Theoretical foundations of interactive theorem provers with unrestricted recursive definitions

    Call: PRELUDIUM 4 , Panel: ST6

    Principal investigator: Łukasz Czajka

    Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

  9. Analysis of logical and mathematical assumptions in Piero della Francesca's treatises

    Call: OPUS 4 , Panel: HS1

    Principal investigator: dr hab. Ryszard Mirek

    Uniwersytet Pedagogiczny im. Komisji Edukacji Narodowej w Krakowie, Wydział Humanistyczny

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

  11. Existence of God. Research concerning ontological proofs.

    Call: OPUS 4 , Panel: HS1

    Principal investigator: dr hab. Mirosław Szatkowski

    Instytut Filozofii i Socjologii PAN

  12. Automatisation of constructive logic

    Call: OPUS 4 , Panel: ST6

    Principal investigator: dr hab. Aleksy Schubert

    Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

  13. parameters of finite models

    Call: SONATA 4 , Panel: ST6

    Principal investigator: dr Eryk Kopczyński

    Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

  14. Combinatorial and descriptive properties of ideals on countable sets.

    Call: PRELUDIUM 4 , Panel: ST1

    Principal investigator: dr Adam Kwela

    Instytut Matematyczny PAN

  15. Indefinites. Two-dimensional system with types

    Call: OPUS 4 , Panel: HS1

    Principal investigator: dr Justyna Grudzińska-Zawadowska

    Uniwersytet Warszawski, Wydział Filozofii i Socjologii

  16. Ontology of metaphysics

    Call: OPUS 4 , Panel: HS1

    Principal investigator: dr hab. Paweł Garbacz

    TOWARZYSTWO NAUKOWE KATOLICKIEGO UNIWERSYTETU LUBELSKIEGO JANA PAWŁA II, Towarzystwo Naukowe Katolickiego Uniwersytetu Lubelskiego Jana Pawla II

  17. Topological structure of function spaces

    Call: OPUS 4 , Panel: ST1

    Principal investigator: prof. Witold Marciszewski

    Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

  18. Literature and Science: dialogue, beyond the metaphors, between the two cultures in Italian contemporary literature

    Call: SONATA 4 , Panel: HS2

    Principal investigator: dr Stefano Redaelli

    Uniwersytet Warszawski, Wydział "Artes Liberales"

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

  20. Philological analysis of Ludwik Fleck's philosophical works and it's translations in Polish, English and German

    Call: HARMONIA 3 , Panel: HS2

    Principal investigator: dr Paweł Jarnicki

    Projekt Nauka. Fundacja na rzecz promocji nauki polskiej

  21. Re-introducing the Early Byzantine Metaphysics: Leontius of Byzantium, Maximus the Confessor, Anastasius Sinaita, Theodo...

    Call: OPUS 3 , Panel: HS1

    Principal investigator: dr hab. Anna Zhyrkova

    Akademia Ignatianum w Krakowie, Wydział Filozoficzny

  22. Analytic equivalence relations and Polish group actions

    Call: SONATA 3 , Panel: ST1

    Principal investigator: dr Marcin Sabok

    Instytut Matematyczny PAN

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

  24. Realization of logic gates in chiral nematic liquid crystals in a wedge-shaped cell

    Call: SONATA 3 , Panel: ST7

    Principal investigator: dr Urszula Laudyn

    Politechnika Warszawska, Wydział Fizyki

  25. Economy and literature. Relationships between logic of the economy and literary mimesis.

    Call: PRELUDIUM 3 , Panel: HS2

    Principal investigator: Michał Sowiński

    Uniwersytet Jagielloński, Wydział Polonistyki

  26. Hierarchy-type Problems for Automata on Infinite Words and Trees

    Call: PRELUDIUM 3 , Panel: ST6

    Principal investigator: dr Michał Skrzypczak

    Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

  27. Small Polish structures

    Call: PRELUDIUM 3 , Panel: ST1

    Principal investigator: dr Jan Dobrowolski

    Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

  28. The methods of formalization and criteria for the rationality of reasoning

    Call: OPUS 3 , Panel: HS1

    Principal investigator: dr hab. Anna Wójtowicz

    Uniwersytet Warszawski, Wydział Filozofii i Socjologii

  29. Advanced Reasoning Methods and Optimization Techniques for the Problems of Ontology Classification and Consistency Check...

    Call: OPUS 1 , Panel: ST6

    Principal investigator: dr hab. Anh Linh Nguyen

    Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

  30. Applications of infinitary combinatorics and analytic topology in Banach spaces and related structures.

    Call: OPUS 1 , Panel: ST1

    Principal investigator: prof. Piotr Koszmider

    Instytut Matematyczny Polskiej Akademii Nauk

  31. Basic literature of the discipline and the state of contemporary political science. Political science, Politische Wissen...

    Call: OPUS 3 , Panel: HS5

    Principal investigator: dr hab. Janusz Wiśniewski

    Uniwersytet im. Adama Mickiewicza w Poznaniu, Wydział Nauk Politycznych i Dziennikarstwa

  32. Modeling cooperation of agents by multivalued logics and parallel processing

    Call: OPUS 3 , Panel: ST6

    Principal investigator: prof. Adam Borkowski

    Instytut Podstawowych Problemów Techniki PAN

  33. Methods of experimental philosophy - analysis, evaluation and recommendations

    Call: PRELUDIUM 3 , Panel: HS1

    Principal investigator: dr Adrian Ziółkowski

    Uniwersytet Warszawski, Wydział Filozofii i Socjologii

  34. Kazimierz Ajdukiewicz - u źródeł systematycznej aksjologii dynamiki wiedzy naukowej

    Call: FUGA 1 , Panel: HS1

    Principal investigator: dr Katarzyna Gan-Krzywoszyńska

    Uniwersytet Jagielloński, Wydział Filozoficzny

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

  36. Naturalization of law

    Call: MAESTRO 2 , Panel: HS5

    Principal investigator: prof. Jerzy Stelmach

    UNIWERSYTET JAGIELLOŃSKI

  37. Logic of language experience

    Call: OPUS 2 , Panel: HS1

    Principal investigator: dr Konrad Zdanowski

    Uniwersytet Warszawski, Wydział Filozofii i Socjologii

  38. Many-valued logic of Jan Łukasiewicz as a basis for a new interpretation of quantum mechanics

    Call: OPUS 2 , Panel: HS1

    Principal investigator: dr hab. Jarosław Pykacz

    Uniwersytet Gdański, Wydział Matematyki, Fizyki i Informatyki

  39. Composite materials for molecular optoelectronics

    Call: OPUS 2 , Panel: ST5

    Principal investigator: prof. Konrad Szaciłowski

    Akademia Górniczo-Hutnicza im. Stanisława Staszica w Krakowie, Wydział Metali Nieżelaznych

  40. Flexible algorithms for facility layout problems in production management and logistics

    Call: OPUS 2 , Panel: HS4

    Principal investigator: dr hab. Jerzy Grobelny

    Politechnika Wrocławska, Wydział Informatyki i Zarządzania

  41. Meta-analyses in experimental philosophy

    Call: OPUS 26 , Panel: HS1

    Principal investigator: dr Bartosz Maćkiewicz

    Uniwersytet Warszawski, Wydział Filozofii

  42. Relation based semantics: axiomatic and tableaux proof-calculi

    Call: OPUS 26 , Panel: HS1

    Principal investigator: dr hab. Tomasz Jarmużek

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

  43. Agents in Evolutionary Biology. Case study: the concept of Unity-of-Purpose

    Call: OPUS 26 , Panel: HS1

    Principal investigator: dr Adrian Stencel

    Uniwersytet Jagielloński, Wydział Filozoficzny

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

  45. Dynamics modeling of four-wheeled mobile robot and tracking control of its motion with limitation of wheels slip

    Call: OPUS 2 , Panel: ST7

    Principal investigator: dr hab. Maciej Trojnacki

    Przemysłowy Instytut Automatyki i Pomiarów "PIAP"

  46. The Paradox of Analysis

    Call: OPUS 26 , Panel: HS1

    Principal investigator: dr Maciej Sendłak

    Uniwersytet Warszawski, Wydział Filozofii

  47. Fundamental laws of nature and their roles in metaphysics

    Call: SONATA 19 , Panel: HS1

    Principal investigator: dr Joanna Luc

    Uniwersytet Jagielloński, Wydział Filozoficzny

  48. Forcing axioms, inner models and determinacy

    Call: MAESTRO 15 , Panel: ST1

    Principal investigator: dr Grigor Sargsyan

    Instytut Matematyczny Polskiej Akademii Nauk

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

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

O Narodowym Centrum Nauki

Finansowanie nauki

Współpraca zagraniczna

Centrum prasowe

Deklaracja dostępności
Przetwarzanie danych osobowych
Polityka cookies

Partnerzy