Zmiana języka

Projects search

Change search criteria ↓

Search results

180 projects found matching your search criteria:

  1. 1. At the Intersections of Ethics, Philosophy of Nature, and Logic. Richard FitzRalph's and Richard Kilvington's Voluntaris…

    Principal investigator: dr hab. Monika Izabela Michałowska

    Uniwersytet Medyczny w Łodzi, Wydział Nauk o Zdrowiu

    Call: OPUS 24, Panel: HS1

  2. 2. Temporal Logic and Philosophy of Cyclic Non-deterministic World

    Principal investigator: dr Marcin Łyczak

    Uniwersytet Warmińsko-Mazurski w Olsztynie, Wydział Humanistyczny

    Call: OPUS 25, Panel: HS1

  3. 3. Relationships between algebraic, modal and many-valued quantum logics

    Principal investigator: Elżbieta Jennifer Drozdowska

    Katolicki Uniwersytet Lubelski Jana Pawła II

    Call: PRELUDIUM 20, Panel: HS1

  4. 4. Higher-order logic and absoluteness phenomena in set theory

    Principal investigator: dr Bartosz Wcisło

    Uniwersytet Gdański, Wydział Nauk Społecznych

    Call: SONATA 19, Panel: HS1

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

  6. 6. Logic of language experience

    Principal investigator: dr Konrad Zdanowski

    Uniwersytet Warszawski, Wydział Filozofii i Socjologii

    Call: OPUS 2, Panel: HS1

  7. 7. Philosophical and formal analysis of qualitative spatial logics

    Principal investigator: dr Adam Trybus

    Uniwersytet Zielonogórski, Wydział Humanistyczny

    Call: SONATA 13, Panel: HS1

  8. 8. Philosophical and metalogical foundations of logic of names: semantics, tableaumethods and axiomatization

    Principal investigator: prof. Andrzej Pietruszczak

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

    Call: OPUS 22, Panel: HS1

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

  10. 10. Hybridizing Fragments of Halpern-Shoham Logic

    Principal investigator: Przemysław Andrzej Wałęga

    Uniwersytet Warszawski, Wydział Filozofii i Socjologii

    Call: PRELUDIUM 12, Panel: HS1

  11. 11. Non-Fregean approach to Dunn-Epstein's content relationship logic

    Principal investigator: dr Mateusz Klonowski

    Uniwersytet Mikołaja Kopernika

    Call: OPUS 29, Panel: HS1

  12. 12. Dynamic epistemic logic and the problem of logical omniscience

    Principal investigator: Arkadiusz Jerzy Wójcik

    Uniwersytet w Białymstoku, Wydział Filozofii i Kognitywistyki

    Call: PRELUDIUM 21, Panel: HS1

  13. 13. Theories of epistemic and ontic modalities with the primitive concept of change. Extensions of Logic of Change LC

    Principal investigator: Marcin Łyczak

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

    Call: PRELUDIUM 13, Panel: HS1

  14. 14. Reminiscences on Jaśkowski - logico-philosophical investigations inspired by works on discussive logic

    Principal investigator: dr hab. Marek Nasieniewski

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

    Call: OPUS 12, Panel: HS1

  15. 15. Equivalence in Substructural Logics

    Principal investigator: prof. Tomasz Stanisław Kowalski

    Uniwersytet Jagielloński, Wydział Filozoficzny

    Call: OPUS 23, Panel: HS1

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

  17. 17. Logics of Situations

    Principal investigator: dr hab. Joanna Golińska-Pilarek

    Uniwersytet Warszawski, Wydział Filozofii

    Call: OPUS 13, Panel: HS1

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

  19. 19. On finitely branching Kripke frames in modal logics

    Principal investigator: dr hab. Zofia Jadwiga Kostrzycka

    Politechnika Opolska, Wydział Inżynierii Produkcji i Logistyki

    Call: OPUS 5, Panel: HS1

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

    Principal investigator: dr hab. Jarosław Pykacz

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

    Call: OPUS 2, Panel: HS1

  21. 21. Deductive systems and decidability problem for hybrid logics

    Principal investigator: dr Michał Ksawery Zawidzki

    Uniwersytet Łódzki, Wydział Filozoficzno-Historyczny

    Call: PRELUDIUM 1, Panel: HS1

  22. 22. Post completeness vs neighborhood completeness in classical modal logics

    Principal investigator: Krzysztof Aleksander Krawczyk

    Uniwersytet Jagielloński, Wydział Filozoficzny

    Call: PRELUDIUM 22, Panel: HS1

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

  24. 24. Positional logic - metatheory and applications

    Principal investigator: dr hab. Marcin Tkaczyk

    TOWARZYSTWO NAUKOWE KATOLICKIEGO UNIWERSYTETU LUBELSKIEGO JANA PAWŁA II

    Call: SONATA BIS 1, Panel: HS1

  25. 25. Logics for qualitative reasoning

    Principal investigator: dr hab. Joanna Golińska-Pilarek

    Uniwersytet Warszawski, Wydział Filozofii i Socjologii

    Call: MAESTRO 1, Panel: HS1

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

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

  28. 28. Erotetic logic in the modeling of ultimate and distributed question processing. Theoretical foundations and applications

    Principal investigator: prof. Andrzej Wiśniewski

    Uniwersytet im. Adama Mickiewicza w Poznaniu, Wydział Nauk Społecznych

    Call: MAESTRO 2, Panel: HS1

  29. 29. Logico-philosophical foundations of geometry and topology

    Principal investigator: dr hab. Rafał Gruszczyński

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

    Call: OPUS 20, Panel: HS1

  30. 30. Computable structure theory, and philosophy of mathematical structuralism

    Principal investigator: dr Dariusz Kalociński

    Instytut Podstaw Informatyki PAN

    Call: OPUS 25, Panel: HS1

  31. 31. A problem of the interrelations between analytic philosophy and phenomenology from the perspective of Lviv-Warsaw School

    Principal investigator: Aleksandra Szczęsna Gomułczak

    Uniwersytet im. Adama Mickiewicza w Poznaniu, Wydział Filozoficzny

    Call: PRELUDIUM 19, Panel: HS1

  32. 32. Category of race in the philosophy of medicine: conceptualisation and application of the category of race in biomedical …

    Principal investigator: dr Joanna Karolina Malinowska

    Uniwersytet im. Adama Mickiewicza w Poznaniu, Wydział Filozoficzny

    Call: SONATA 16, Panel: HS1

  33. 33. Philosophy of Science for the Replication Crisis

    Principal investigator: dr Mariusz Łukasz Maziarz

    Uniwersytet Jagielloński, Wydział Filozoficzny

    Call: OPUS 25, Panel: HS1

  34. 34. Kazimierz Twardowski's place in Polish culture and European philosophy

    Principal investigator: prof. Jacek Juliusz Jadacki

    Uniwersytet Warszawski, Wydział Filozofii

    Call: OPUS 12, Panel: HS1

  35. 35. Philosophy from Methodological Point of View. Condition and Prospect of Philosophical Disciplines in View of the Paradig…

    Principal investigator: prof. Anna Magdalena Brożek

    Uniwersytet Warszawski, Wydział Filozofii i Socjologii

    Call: SONATA BIS 5, Panel: HS1

  36. 36. Meta-analyses in experimental philosophy

    Principal investigator: dr Bartosz Maćkiewicz

    Uniwersytet Warszawski, Wydział Filozofii

    Call: OPUS 26, Panel: HS1

  37. 37. Vitalism in Early Modern Medical Philosophy - Thomas Willis and Material Soul

    Principal investigator: Marcin Jerzy Leszczyński

    Uniwersytet Łódzki, Centrum Filozofii Przyrody

    Call: PRELUDIUM 16, Panel: HS1

  38. 38. Empirical foundations and fringes of seventeenth-century philosophy

    Principal investigator: prof. Adam Jerzy Grzeliński

    Uniwersytet Mikołaja Kopernika, Wydział Humanistyczny

    Call: OPUS 4, Panel: HS1

  39. 39. Evidential Pluralism in Philosophy of Economics

    Principal investigator: dr Mariusz Łukasz Maziarz

    Uniwersytet Jagielloński, Wydział Filozoficzny

    Call: OPUS 23, Panel: HS1

  40. 40. Thought experiments in philosophy: orgin, structure, functions

    Principal investigator: Piotr Paweł Biłgorajski

    TOWARZYSTWO NAUKOWE KATOLICKIEGO UNIWERSYTETU LUBELSKIEGO JANA PAWŁA II

    Call: PRELUDIUM 13, Panel: HS1

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

    Principal investigator: dr Adrian Andrzej Ziółkowski

    Uniwersytet Warszawski, Wydział Filozofii i Socjologii

    Call: PRELUDIUM 3, Panel: HS1

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

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

  44. 44. Eksperymenty myślowe w filozofii: geneza, struktura, funkcje

    Principal investigator: Piotr Paweł Biłgorajski

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

    Call: ETIUDA 6, Panel: HS1

  45. 45. Solving the paradoxes of naive validity and informal provability through non-deterministic and truth-maker semantics

    Principal investigator: Paweł Pawłowski

    Uniwersytet Gdański, Wydział Nauk Społecznych

    Call: SONATINA 2, Panel: HS1

  46. 46. Logical and Philosophical Aspects of Pluralism and Potentialism in Set-Theory and Arithmetic

    Principal investigator: dr Michał Tomasz Godziszewski

    Uniwersytet Łódzki, Wydział Filozoficzno-Historyczny

    Call: OPUS 25, Panel: HS1

  47. 47. Ontology of metaphysics

    Principal investigator: dr hab. Paweł Rafał Garbacz

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

    Call: OPUS 4, Panel: HS1

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

    Principal investigator: dr Stefano Pietro Redaelli

    Uniwersytet Warszawski, Wydział Artes Liberales

    Call: SONATA 4, Panel: HS2

  49. 49. Robert Halifax's Theory of the Will and Its Impact on Vienna's Voluntarism in the 15th Century

    Principal investigator: dr hab. Monika Izabela Michałowska

    Uniwersytet Medyczny w Łodzi

    Call: WEAVE-UNISONO, Panel: HS1

  50. 50. Modeling of abductive reasoning

    Principal investigator: dr hab. Mariusz Paweł Urbański

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

    Call: SONATA BIS 3, Panel: HS1

Graphic design and implementation: Jakub Piotrowski