Search results
180 projects found matching your search criteria:
-
Principal investigator: dr hab. Anna Zhyrkova
Akademia Ignatianum w Krakowie, Wydział Filozoficzny
Call: OPUS 3, Panel: HS1
-
52. Structural complexity measures for foundational theories
Principal investigator: dr Mateusz Zbigniew Łełyk
Uniwersytet Warszawski
Call: WEAVE-UNISONO, Panel: HS1
-
53. Mathematicized Scientific Theories and The Foundations of Applied Mathematics
Principal investigator: dr Jeffrey John Ketland
Uniwersytet Warszawski, Wydział Filozofii
Call: OPUS 20, Panel: HS1
-
54. Relation based semantics: axiomatic and tableaux proof-calculi
Principal investigator: dr hab. Tomasz Dariusz Jarmużek
Uniwersytet Mikołaja Kopernika, Wydział Filozofii i Nauk Społecznych
Call: OPUS 26, Panel: HS1
-
55. Transcendental Arguments. Models and Applications
Principal investigator: Stanisław Jędrczak
Uniwersytet Warszawski, Wydział Filozofii
Call: PRELUDIUM 21, Panel: HS1
-
56. Reasoning in Biblical Exegesis: from Stephen Langton to Thomas Aquinas
Principal investigator: dr Marcin Lech Trepczyński
Uniwersytet Warszawski, Wydział Filozofii
Call: SONATA 16, Panel: HS1
-
Principal investigator: dr hab. Piotr Łukowski
Uniwersytet Łódzki, Wydział Nauk o Wychowaniu
Call: OPUS 9, Panel: HS1
-
58. Permissions, Information and Institutional Dynamics, Obligations, and Rights
Principal investigator: dr hab. Piotr Wojciech Kulicki
Katolicki Uniwersytet Lubelski Jana Pawła II, Wydział Filozofii
Call: BEETHOVEN 1, Panel: HS1
-
59. Probabilism of Rudolf Carnap.
Principal investigator: Paweł Szymon Pruski
Uniwersytet Jagielloński, Wydział Filozoficzny
Call: PRELUDIUM 5, Panel: HS1
-
Principal investigator: dr hab. Rafał Urbaniak
Uniwersytet Gdański, Wydział Nauk Społecznych
Call: SONATA BIS 6, Panel: HS1
-
61. A unified logical framework for reasoning about deontic properties of actions and states of affairs
Principal investigator: dr Robert Trypuz
TOWARZYSTWO NAUKOWE KATOLICKIEGO UNIWERSYTETU LUBELSKIEGO JANA PAWŁA II
Call: OPUS 9, Panel: HS1
-
62. Algorithmic Learning Theory and Computational Models of Cognitive Capabilities Acquisition
Principal investigator: dr hab. Marcin Mostowski
Uniwersytet Warszawski, Wydział Filozofii i Socjologii
Call: OPUS 6, Panel: HS1
-
63. Goedel's ontological argument: history, modifications. extensions, and controversies
Principal investigator: dr hab. Kordula Świętorzecka
Uniwersytet Kardynała Stefana Wyszyńskiego w Warszawie, Wydział Filozofii Chrześcijańskiej
Call: HARMONIA 4, Panel: HS1
-
64. Analysis of logical and mathematical assumptions in Piero della Francesca's treatises
Principal investigator: dr hab. Ryszard Romuald Mirek
Uniwersytet Pedagogiczny im. Komisji Edukacji Narodowej w Krakowie, Wydział Humanistyczny
Call: OPUS 4, Panel: HS1
-
65. New Logical-Mathematical Methods in Applied Sciences and Modelling of Decision Making
Principal investigator: prof. Jan Hertrich-Woleński
Wyższa Szkoła Informatyki i Zarządzania w Rzeszowie, Wydział Administracji i Nauk Społecznych
Call: OPUS 4, Panel: HS1
-
66. 80 years of investigations on natural deduction and sequent calculi
Principal investigator: prof. Andrzej Indrzejczak
Uniwersytet Łódzki, Wydział Filozoficzno Historyczny
Call: OPUS 2, Panel: HS1
-
67. Insolubilia: The First Medieval Discussions of Logical Antinomies
Principal investigator: dr hab. Magdalena Ewa Bieniak-Nowak
Uniwersytet Warszawski
Call: OPUS 29, Panel: HS1
-
68. Attributive Use of Definite Descriptions
Principal investigator: Wojciech Andrzej Rostworowski
Uniwersytet Warszawski, Wydział Filozofii i Socjologii
Call: PRELUDIUM 5, Panel: HS1
-
69. 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
-
70. 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
-
71. Mechanisms of geometric cognition
Principal investigator: dr Mateusz Leszek Hohol
Instytut Filozofii i Socjologii Polskiej Akademii Nauk
Call: OPUS 10, Panel: HS1
-
72. 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
-
Principal investigator: Marcin Piotr Rabiza
Instytut Filozofii i Socjologii Polskiej Akademii Nauk, Szkoła Nauk Społecznych
Call: PRELUDIUM 22, Panel: HS1
-
74. Reception of French conventionalism in Polish philosophical tradition
Principal investigator: dr hab. Krzysztof Henryk Szlachcic
Uniwersytet Wrocławski, Wydział Nauk Społecznych
Call: OPUS 6, Panel: HS1
-
Principal investigator: dr Adrian Stencel
Uniwersytet Jagielloński, Wydział Filozoficzny
Call: OPUS 25, Panel: HS1
-
76. Causality and Social Determinants of Health and Illness
Principal investigator: dr Elena Popa
Uniwersytet Jagielloński, Wydział Filozoficzny
Call: OPUS 25, Panel: HS1
-
77. Cognitive artifacts on various time scales: An integrative approach
Principal investigator: dr hab. Mateusz Leszek Hohol
Uniwersytet Jagielloński, Centrum Kopernika Badań Interdyscyplinarnych
Call: OPUS 22, Panel: HS1
-
78. Network modelling of multispecies systems. Ontological and epistemological implications
Principal investigator: dr Javier Suárez
Uniwersytet Jagielloński, Wydział Filozoficzny
Call: OPUS 18, Panel: HS1
-
Principal investigator: prof. Jerzy Stelmach
Uniwersytet Jagielloński
Call: MAESTRO 2, Panel: HS5
-
80. Philosophical-logical foundations of mechanistic causation
Principal investigator: dr Michał Oleksowicz
Uniwersytet Mikołaja Kopernika
Call: SONATINA 8, Panel: HS1
-
81. The problem of explanation in mathematics
Principal investigator: prof. Krzysztof Piotr Wójtowicz
Uniwersytet Warszawski, Wydział Filozofii
Call: OPUS 11, Panel: HS1
-
82. Behavioral sciences in law - applications, philosophical implications, controversies.
Principal investigator: Magdalena Małecka
Instytut Filozofii i Socjologii Polskiej Akademii Nauk
Call: PRELUDIUM 4, Panel: HS1
-
83. Rethinking legal probabilism
Principal investigator: dr hab. Rafał Urbaniak
Uniwersytet Gdański, Wydział Nauk Społecznych
Call: OPUS 21, Panel: HS1
-
Principal investigator: dr Agnieszka Maria Proszewska
Uniwersytet Jagielloński, Wydział Filozoficzny
Call: ETIUDA 8, Panel: HS1
-
85. Comparative analysis of structural representation methods. Case study: Ontic Structural Realism
Principal investigator: dr Agnieszka Maria Proszewska
Uniwersytet Jagielloński, Wydział Filozoficzny
Call: PRELUDIUM 15, Panel: HS1
-
86. What is a population? A Darwinian perspective
Principal investigator: Adrian Krzysztof Stencel
Uniwersytet Jagielloński, Wydział Filozoficzny
Call: PRELUDIUM 8, Panel: HS1
-
Principal investigator: dr Rafał Robert Wodzisz
TOWARZYSTWO NAUKOWE KATOLICKIEGO UNIWERSYTETU LUBELSKIEGO JANA PAWŁA II
Call: PRELUDIUM 6, Panel: HS1
-
Principal investigator: dr Piotr Bylica
Uniwersytet Zielonogórski, Wydział Humanistyczny
Call: OPUS 5, Panel: HS1
-
89. The empirical sources of mathematical knowledge
Principal investigator: prof. Krzysztof Piotr Wójtowicz
Uniwersytet Warszawski, Wydział Filozofii i Socjologii
Call: OPUS 1, Panel: HS1
-
90. True but not (always) universal. On the nature of economic laws
Principal investigator: dr hab. Łukasz Hardt
Uniwersytet Warszawski, Wydział Nauk Ekonomicznych
Call: OPUS 6, Panel: HS4
-
Principal investigator: dr Paweł Maciej Jarnicki
Projekt Nauka. Fundacja na rzecz promocji nauki polskiej
Call: HARMONIA 3, Panel: HS2
-
92. Meta-theoretical and inter-theoretical reductions in foundations of mathematics
Principal investigator: Maciej Głowacki
Uniwersytet Warszawski
Call: OPUS 27, Panel: HS1
-
93. 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
-
94. Infinity and infinitesimals
Principal investigator: dr hab. Piotr Błaszczyk
Uniwersytet Pedagogiczny im. Komisji Edukacji Narodowej w Krakowie
Call: OPUS 16, Panel: HS1
-
95. Niestandardowe modele arytmetyki i formalne teorie prawdy
Principal investigator: Michał Tomasz Godziszewski
Uniwersytet Warszawski, Wydział Filozofii
Call: ETIUDA 5, Panel: HS1
-
96. 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
-
Principal investigator: dr Anna Petiurenko
Uniwersytet Pedagogiczny im. Komisji Edukacji Narodowej w Krakowie
Call: PRELUDIUM 19, Panel: HS1
-
98. Truth: Between Disquotation and Compositionality.
Principal investigator: dr Mateusz Zbigniew Łełyk
Uniwersytet Warszawski
Call: SONATA 15, Panel: HS1
-
99. Epistemic and semantic commitments of foundational theories
Principal investigator: dr hab. Cezary Cieśliński
Uniwersytet Warszawski
Call: MAESTRO 11, Panel: HS1
-
100. Bernard Bolzano and cognitive science
Principal investigator: dr Marlena Fila
Uniwersytet Pedagogiczny im. Komisji Edukacji Narodowej w Krakowie
Call: PRELUDIUM 17, Panel: HS1