Zmiana języka

Projects search

Change search criteria ↓

Search results

196 projects found matching your search criteria:

  1. 101. Rozumowania hipotetyczne i okresy warunkowe

    Principal investigator: dr Maciej Dawid Sendłak

    Uniwersytet Warszawski, Wydział Filozofii i Socjologii

    Call: FUGA 5, Panel: HS1

  2. 102. Tableau systems of relating logics motivated by philosophical interpretations of natural language connectives

    Principal investigator: Mateusz Klonowski

    Uniwersytet Mikołaja Kopernika, Wydział Humanistyczny

    Call: PRELUDIUM 10, Panel: HS1

  3. 103. Metatheory of Tableau Systems

    Principal investigator: dr hab. Tomasz Dariusz Jarmużek

    Uniwersytet Mikołaja Kopernika, Wydział Humanistyczny

    Call: OPUS 10, Panel: HS1

  4. 104. Epistemological aspects of the application of content implication as instrument of formalization of the expressions of n…

    Principal investigator: dr hab. Piotr Łukowski

    Uniwersytet Łódzki, Wydział Nauk o Wychowaniu

    Call: OPUS 9, Panel: HS1

  5. 105. New Perspectives on Aristotle's "Prior and Posterior Analytics". A new Polish Translation of the "Analytics" with Introd…

    Principal investigator: prof. Marian Wesoły

    Uniwersytet im. Adama Mickiewicza w Poznaniu, Wydział Filozoficzny

    Call: OPUS 8, Panel: HS1

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

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

  8. 108. Structures of Dialogue in Debate and Financial Discourse: Modelling an 'Ore' for Argument Mining (Struktury dialogowe w …

    Principal investigator: Olena Yaskorska

    Instytut Filozofii i Socjologii Polskiej Akademii Nauk

    Call: ETIUDA 2, Panel: HS1

  9. 109. Branching time and the semantics of future contingents

    Principal investigator: dr Jacek Marcin Wawer

    Uniwersytet Jagielloński, Wydział Filozoficzny

    Call: PRELUDIUM 6, Panel: HS1

  10. 110. Probabilism of Rudolf Carnap.

    Principal investigator: Paweł Szymon Pruski

    Uniwersytet Jagielloński, Wydział Filozoficzny

    Call: PRELUDIUM 5, Panel: HS1

  11. 111. Indefinites. Two-dimensional system with types

    Principal investigator: dr Justyna Grudzińska-Zawadowska

    Uniwersytet Warszawski, Wydział Filozofii i Socjologii

    Call: OPUS 4, Panel: HS1

  12. 112. The methods of formalization and criteria for the rationality of reasoning

    Principal investigator: dr hab. Anna Wójtowicz

    Uniwersytet Warszawski, Wydział Filozofii i Socjologii

    Call: OPUS 3, Panel: HS1

  13. 113. Extensional Ontology and Philosophical Logic

    Principal investigator: dr hab. Andrzej Paweł Biłat

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

    Call: OPUS 2, Panel: HS1

  14. 114. Exploring rhetorical strategies in a dialogue

    Principal investigator: dr hab. Katarzyna Budzyńska

    Instytut Filozofii i Socjologii Polskiej Akademii Nauk

    Call: OPUS 2, Panel: HS1

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

    Principal investigator: dr Robert Trypuz

    TOWARZYSTWO NAUKOWE KATOLICKIEGO UNIWERSYTETU LUBELSKIEGO JANA PAWŁA II

    Call: SONATA 1, Panel: HS1

  16. 116. Reflection principles and their epistemic warrant

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

    Uniwersytet Warszawski

    Call: OPUS 28 (LAP), Panel: HS1

  17. 117. Reasons of the others: concession and counterargument in polylogues

    Principal investigator: dr hab. Marcin Jan Koszowy

    Politechnika Warszawska

    Call: WEAVE-UNISONO, Panel: HS1

  18. 118. Structural complexity measures for foundational theories

    Principal investigator: dr Mateusz Zbigniew Łełyk

    Uniwersytet Warszawski

    Call: WEAVE-UNISONO, Panel: HS1

  19. 119. PRIMA: Procedures for Interpreting Multimodal Argumentation

    Principal investigator: dr hab. Martin Hinton

    Uniwersytet Łódzki

    Call: SONATA BIS 14, Panel: HS1

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

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

  22. 122. Fundamental laws of nature and their roles in metaphysics

    Principal investigator: dr Joanna Luc

    Uniwersytet Jagielloński, Wydział Filozoficzny

    Call: SONATA 19, Panel: HS1

  23. 123. A Machian framework for quantum physics

    Principal investigator: dr Antonio Vassallo

    Politechnika Warszawska

    Call: OPUS 25, Panel: HS1

  24. 124. Post completeness vs neighborhood completeness in classical modal logics

    Principal investigator: Krzysztof Aleksander Krawczyk

    Uniwersytet Jagielloński, Wydział Filozoficzny

    Call: PRELUDIUM 22, Panel: HS1

  25. 125. Representations of algebraic semantics for substructural logics

    Principal investigator: prof. Tomasz Stanisław Kowalski

    Uniwersytet Jagielloński, Wydział Filozoficzny

    Call: OPUS 24 (LAP), Panel: HS1

  26. 126. Equivalence in Substructural Logics

    Principal investigator: prof. Tomasz Stanisław Kowalski

    Uniwersytet Jagielloński, Wydział Filozoficzny

    Call: OPUS 23, Panel: HS1

  27. 127. Quantum State: Information, Free Choice, Randomness

    Principal investigator: prof. Tomasz Grzegorz Placek

    Uniwersytet Jagielloński, Wydział Filozoficzny

    Call: OPUS 23, Panel: HS1

  28. 128. Values, Trust, and Decision Making in Public Health

    Principal investigator: dr Elena Popa

    Uniwersytet Jagielloński, Wydział Filozoficzny

    Call: POLONEZ BIS 1, Panel: HS1

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

    Principal investigator: prof. Tomasz Franciszek Bigaj

    Uniwersytet Warszawski, Wydział Filozofii

    Call: OPUS 22, Panel: HS1

  30. 130. Mathematicized Scientific Theories and The Foundations of Applied Mathematics

    Principal investigator: dr Jeffrey John Ketland

    Uniwersytet Warszawski, Wydział Filozofii

    Call: OPUS 20, Panel: HS1

  31. 131. Hybrid models of reasoning

    Principal investigator: dr hab. Maciej Malicki

    Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

    Call: OPUS 19, Panel: HS1

  32. 132. Turing, Ashby, and "the Action of the Brain"

    Principal investigator: dr hab. Hans-Joachim Greif

    Politechnika Warszawska, Wydział Administracji i Nauk Społecznych

    Call: OPUS 19, Panel: HS1

  33. 133. Interpreting Euclid

    Principal investigator: dr Anna Petiurenko

    Uniwersytet Pedagogiczny im. Komisji Edukacji Narodowej w Krakowie

    Call: PRELUDIUM 19, Panel: HS1

  34. 134. Truth: Between Disquotation and Compositionality.

    Principal investigator: dr Mateusz Zbigniew Łełyk

    Uniwersytet Warszawski

    Call: SONATA 15, Panel: HS1

  35. 135. Scientific Progress in Jurisprudence

    Principal investigator: dr Mateusz Michał Klinowski

    Uniwersytet Jagielloński, Wydział Prawa i Administracji

    Call: OPUS 18, Panel: HS5

  36. 136. Epistemic and semantic commitments of foundational theories

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

    Uniwersytet Warszawski

    Call: MAESTRO 11, Panel: HS1

  37. 137. Self-subsisting structures in quantum gravity

    Principal investigator: dr Antonio Vassallo

    Politechnika Warszawska, Wydział Administracji i Nauk Społecznych

    Call: OPUS 17, Panel: HS1

  38. 138. Bernard Bolzano and cognitive science

    Principal investigator: dr Marlena Fila

    Uniwersytet Pedagogiczny im. Komisji Edukacji Narodowej w Krakowie

    Call: PRELUDIUM 17, Panel: HS1

  39. 139. Algorithmic models of prediction: formal properties and philosophical implications

    Principal investigator: dr Dariusz Kalociński

    Instytut Podstaw Informatyki PAN

    Call: OPUS 16, Panel: HS1

  40. 140. Model-theoretic methods in logic and the foundations of mathematics and science

    Principal investigator: dr Jeffrey Ketland

    Uniwersytet Warszawski, Wydział Filozofii

    Call: OPUS 15, Panel: HS1

  41. 141. Rekonceptualizacja podstaw biologii populacyjnej; przypadek interakcji zwierząt z mikroorganizmami

    Principal investigator: Adrian Krzysztof Stencel

    Uniwersytet Jagielloński, Wydział Filozoficzny

    Call: ETIUDA 6, Panel: HS1

  42. 142. Badania przyczynowości we współczesnej ekonomii

    Principal investigator: Mariusz Łukasz Maziarz

    Uniwersytet Ekonomiczny we Wrocławiu, Wydział Ekonomii i Finansów

    Call: ETIUDA 6, Panel: HS1

  43. 143. Atom. Substance. System. Investigations into Topological Ontology

    Principal investigator: dr hab. Janusz Kaczmarek

    Uniwersytet Łódzki, Wydział Filozoficzno-Historyczny

    Call: OPUS 14, Panel: HS1

  44. 144. A Philosophical Analysis of Fitness Commensurability. Case study: Evolutionary Transitions in Individuality

    Principal investigator: Adrian Krzysztof Stencel

    Uniwersytet Jagielloński, Wydział Filozoficzny

    Call: OPUS 14, Panel: HS1

  45. 145. Towards theoretical integration of naturalised phenomenology and mechanistic explanations in cognitive sciences

    Principal investigator: dr hab. Marek Stefan Pokropski

    Uniwersytet Warszawski, Wydział Filozofii

    Call: OPUS 14, Panel: HS1

  46. 146. Truth theories and their strength

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

    Uniwersytet Warszawski, Wydział Filozofii

    Call: OPUS 14, Panel: HS1

  47. 147. Deontic logic for autonomous vehicles

    Principal investigator: prof. Piotr Wojciech Kulicki

    Katolicki Uniwersytet Lubelski Jana Pawła II, Wydział Filozofii

    Call: HARMONIA 9, Panel: HS1

  48. 148. Distributed deductive systems for classical and non-classical logics. Proof theory supported with computational methods

    Principal investigator: dr hab. Dorota Leszczyńska-Jasion

    Uniwersytet im. Adama Mickiewicza w Poznaniu, Wydział Psychologii i Kognitywistyki

    Call: SONATA BIS 7, Panel: HS1

  49. 149. Sequent- and tableau-based proof systems for nonclassical logics

    Principal investigator: prof. Andrzej Bogusław Indrzejczak

    Uniwersytet Łódzki, Wydział Filozoficzno-Historyczny

    Call: OPUS 13, Panel: HS1

  50. 150. Dispositional Properties, Acceleration, and Physical Forces

    Principal investigator: dr hab. Jan Hauska

    Uniwersytet Jagielloński, Wydział Filozoficzny

    Call: OPUS 13, Panel: HS1

Graphic design and implementation: Jakub Piotrowski