Zmiana języka

Projects search

Change search criteria ↓

Search results

279 projects found matching your search criteria:

  1. 101. Existence of God. Research concerning ontological proofs.

    Principal investigator: dr hab. Mirosław Szatkowski

    Instytut Filozofii i Socjologii Polskiej Akademii Nauk

    Call: OPUS 4, Panel: HS1

  2. 102. parameters of finite models

    Principal investigator: dr Eryk Kopczyński

    Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

    Call: SONATA 4, Panel: ST6

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

    Principal investigator: dr hab. Anna Zhyrkova

    Akademia Ignatianum w Krakowie, Wydział Filozoficzny

    Call: OPUS 3, Panel: HS1

  4. 104. Constraint Satisfaction Problems and Quantified Constraint Satisfaction Problems in the context of Temporal Reasoning.

    Principal investigator: dr Michał Wrona

    Politechnika Wrocławska, Wydział Podstawowych Problemów Techniki

    Call: SONATA 1, Panel: ST6

  5. 105. Development and implementation of model checking methods for real-time and multi-agent systems

    Principal investigator: dr hab. Bożena Woźna-Szcześniak

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

    Call: OPUS 1, Panel: ST6

  6. 106. Advanced Reasoning Methods and Optimization Techniques for the Problems of Ontology Classification and Consistency Check…

    Principal investigator: dr hab. Anh Linh Nguyen

    Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

    Call: OPUS 1, Panel: ST6

  7. 107. Meta-theoretical and inter-theoretical reductions in foundations of mathematics

    Principal investigator: Maciej Głowacki

    Uniwersytet Warszawski

    Call: OPUS 27, Panel: HS1

  8. 108. Computable structure theory, and philosophy of mathematical structuralism

    Principal investigator: dr Dariusz Kalociński

    Instytut Podstaw Informatyki PAN

    Call: OPUS 25, Panel: HS1

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

    Principal investigator: dr hab. Leszek Aleksander Kołodziejczyk

    Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

    Call: OPUS 25, Panel: ST1

  10. 110. Logical and epistemological criteria of salience in the foundations of mathematics

    Principal investigator: dr Mateusz Zbigniew Łełyk

    Uniwersytet Warszawski, Wydział Filozofii

    Call: SONATA BIS 12, Panel: HS1

  11. 111. Interpreting Euclid

    Principal investigator: dr Anna Petiurenko

    Uniwersytet Pedagogiczny im. Komisji Edukacji Narodowej w Krakowie

    Call: PRELUDIUM 19, Panel: HS1

  12. 112. Truth: Between Disquotation and Compositionality.

    Principal investigator: dr Mateusz Zbigniew Łełyk

    Uniwersytet Warszawski

    Call: SONATA 15, Panel: HS1

  13. 113. Epistemic and semantic commitments of foundational theories

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

    Uniwersytet Warszawski

    Call: MAESTRO 11, Panel: HS1

  14. 114. Bernard Bolzano and cognitive science

    Principal investigator: dr Marlena Fila

    Uniwersytet Pedagogiczny im. Komisji Edukacji Narodowej w Krakowie

    Call: PRELUDIUM 17, Panel: HS1

  15. 115. Infinity and infinitesimals

    Principal investigator: dr hab. Piotr Błaszczyk

    Uniwersytet Pedagogiczny im. Komisji Edukacji Narodowej w Krakowie

    Call: OPUS 16, Panel: HS1

  16. 116. Truth theories and their strength

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

    Uniwersytet Warszawski, Wydział Filozofii

    Call: OPUS 14, Panel: HS1

  17. 117. Niestandardowe modele arytmetyki i formalne teorie prawdy

    Principal investigator: Michał Tomasz Godziszewski

    Uniwersytet Warszawski, Wydział Filozofii

    Call: ETIUDA 5, Panel: HS1

  18. 118. Formal theories of truth and nonstandard models of arithmetic

    Principal investigator: Michał Tomasz Godziszewski

    Uniwersytet Warszawski, Wydział Filozofii i Socjologii

    Call: PRELUDIUM 7, Panel: HS1

  19. 119. Applications of mereology in systems of point-free geometry

    Principal investigator: dr Rafał Gruszczyński

    Uniwersytet Mikołaja Kopernika, Wydział Humanistyczny

    Call: OPUS 7, Panel: HS1

  20. 120. Formal truth theories

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

    Uniwersytet Warszawski, Wydział Filozofii i Socjologii

    Call: OPUS 7, Panel: HS1

  21. 121. Tolerance relations in lattices and their applications

    Principal investigator: dr hab. Joanna Ewa Grygiel

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

    Call: OPUS 1, Panel: HS1

  22. 122. Polishability of analytic equivalence relations and generalized Scott analysis

    Principal investigator: Mateusz Lichman

    Politechnika Łódzka

    Call: PRELUDIUM 24, Panel: ST1

  23. 123. What could we know about the global structure of black hole spacetimes?

    Principal investigator: dr Juliusz Doboszewski

    Uniwersytet Jagielloński

    Call: OPUS 28, Panel: HS1

  24. 124. Reflection principles and their epistemic warrant

    Principal investigator: prof. Cezary Wiesław Cieśliński

    Uniwersytet Warszawski

    Call: OPUS 28 (LAP), Panel: HS1

  25. 125. Reasons of the others: concession and counterargument in polylogues

    Principal investigator: dr hab. Marcin Jan Koszowy

    Politechnika Warszawska

    Call: WEAVE-UNISONO, Panel: HS1

  26. 126. Probabilistic aspects of Fraïssé limits

    Principal investigator: Agnieszka Maria Widz

    Politechnika Łódzka

    Call: PRELUDIUM 23, Panel: ST1

  27. 127. Mathematical justification and entitlement in the foundations of mathematics

    Principal investigator: dr Matteo Zicchetti

    Uniwersytet Warszawski

    Call: OPUS 27, Panel: HS1

  28. 128. Borel complexity of ideals on countable sets and sets of limit points

    Principal investigator: dr hab. Adam Marek Kwela

    Uniwersytet Gdański

    Call: OPUS 27, Panel: ST1

  29. 129. Time in Quantum Mechanics: Comparing Interpretations of Quantum Mechanics through the Problem of Time

    Principal investigator: Jakub Róg

    Uniwersytet Warszawski

    Call: PRELUDIUM 23, Panel: HS1

  30. 130. The Puzzles of Modal Variation

    Principal investigator: dr Aleksander Jędrzej Domosławski

    Uniwersytet im. Adama Mickiewicza w Poznaniu

    Call: SONATINA 8, Panel: HS1

  31. 131. Philosophical-logical foundations of mechanistic causation

    Principal investigator: dr Michał Oleksowicz

    Uniwersytet Mikołaja Kopernika

    Call: SONATINA 8, Panel: HS1

  32. 132. Meta-analyses in experimental philosophy

    Principal investigator: dr Bartosz Maćkiewicz

    Uniwersytet Warszawski, Wydział Filozofii

    Call: OPUS 26, Panel: HS1

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

    Principal investigator: dr Adrian Krzysztof Stencel

    Uniwersytet Jagielloński, Wydział Filozoficzny

    Call: OPUS 26, Panel: HS1

  34. 134. Practice-based research: investigating research practices, outputs and impacts in Belgium-Flanders, Poland, and Switzerl…

    Principal investigator: dr Kamila Lewandowska

    Uniwersytet Warszawski, Instytut Ameryk i Europy

    Call: OPUS 26 (LAP), Panel: HS2

  35. 135. The Paradox of Analysis

    Principal investigator: dr hab. Maciej Dawid Sendłak

    Uniwersytet Warszawski, Wydział Filozofii

    Call: OPUS 26, Panel: HS1

  36. 136. Generic large cardinals and determinacy

    Principal investigator: dr hab. Grigor Sargsyan

    Instytut Matematyczny Polskiej Akademii Nauk

    Call: WEAVE-UNISONO, Panel: ST1

  37. 137. Fundamental laws of nature and their roles in metaphysics

    Principal investigator: dr Joanna Luc

    Uniwersytet Jagielloński, Wydział Filozoficzny

    Call: SONATA 19, Panel: HS1

  38. 138. Forcing axioms, inner models and determinacy

    Principal investigator: dr Grigor Sargsyan

    Instytut Matematyczny Polskiej Akademii Nauk

    Call: MAESTRO 15, Panel: ST1

  39. 139. A Machian framework for quantum physics

    Principal investigator: dr Antonio Vassallo

    Politechnika Warszawska

    Call: OPUS 25, Panel: HS1

  40. 140. Free and iterative operators on fields

    Principal investigator: dr Jakub Gogolok

    Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

    Call: PRELUDIUM 22, Panel: ST1

  41. 141. Sustainable Business Model (SBM) for Small and Medium-Sized Enterprises (SMEs): South Asian Perspective

    Principal investigator: Binayak Malla

    Uniwersytet Warszawski, Wydział Zarządzania

    Call: PRELUDIUM 22, Panel: HS4

  42. 142. BIOlogical Perspectivism and Individualisation (BIOPI).Understanding What a Perspective Isfor Organisms, Species, and Ec…

    Principal investigator: dr Adrian Stencel

    Uniwersytet Jagielloński, Wydział Filozoficzny

    Call: OPUS 25, Panel: HS1

  43. 143. Metaphilosophy of Legal Interpretation

    Principal investigator: dr hab. Adam Michał Dyrda

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

    Call: OPUS 25, Panel: HS5

  44. 144. Philosophy of Science for the Replication Crisis

    Principal investigator: dr Mariusz Łukasz Maziarz

    Uniwersytet Jagielloński, Wydział Filozoficzny

    Call: OPUS 25, Panel: HS1

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

    Principal investigator: Marcin Piotr Rabiza

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

    Call: PRELUDIUM 22, Panel: HS1

  46. 146. Causality and Social Determinants of Health and Illness

    Principal investigator: dr Elena Popa

    Uniwersytet Jagielloński, Wydział Filozoficzny

    Call: OPUS 25, Panel: HS1

  47. 147. Epistemic inaccuracy -- what's next?

    Principal investigator: dr hab. Leszek Jerzy Wroński

    Uniwersytet Jagielloński, Wydział Filozoficzny

    Call: OPUS 24, Panel: HS1

  48. 148. Side Conditions and the Saturation of the Non-stationary Ideal

    Principal investigator: dr Rahman Mohammadpour

    Instytut Matematyczny Polskiej Akademii Nauk

    Call: POLONEZ BIS 3, Panel: ST1

  49. 149. Investigation of the use of the concept communication" in biology and cognitive sciences

    Principal investigator: Wiktor Marcin Rorot

    Instytut Filozofii i Socjologii Polskiej Akademii Nauk

    Call: PRELUDIUM 21, Panel: HS1

  50. 150. Quantum State: Information, Free Choice, Randomness

    Principal investigator: prof. Tomasz Grzegorz Placek

    Uniwersytet Jagielloński, Wydział Filozoficzny

    Call: OPUS 23, Panel: HS1

Graphic design and implementation: Jakub Piotrowski