Zmiana języka

Projects search

Change search criteria ↓

Search results

1 010 projects found matching your search criteria:

  1. 351. Hybrid models of reasoning

    Principal investigator: dr hab. Maciej Malicki

    Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

    Call: OPUS 19, Panel: HS1

  2. 352. Interpreting Euclid

    Principal investigator: dr Anna Petiurenko

    Uniwersytet Pedagogiczny im. Komisji Edukacji Narodowej w Krakowie

    Call: PRELUDIUM 19, Panel: HS1

  3. 353. Truth: Between Disquotation and Compositionality.

    Principal investigator: dr Mateusz Zbigniew Łełyk

    Uniwersytet Warszawski

    Call: SONATA 15, Panel: HS1

  4. 354. Scientific Progress in Jurisprudence

    Principal investigator: dr Mateusz Michał Klinowski

    Uniwersytet Jagielloński, Wydział Prawa i Administracji

    Call: OPUS 18, Panel: HS5

  5. 355. Epistemic and semantic commitments of foundational theories

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

    Uniwersytet Warszawski

    Call: MAESTRO 11, Panel: HS1

  6. 356. Self-subsisting structures in quantum gravity

    Principal investigator: dr Antonio Vassallo

    Politechnika Warszawska, Wydział Administracji i Nauk Społecznych

    Call: OPUS 17, Panel: HS1

  7. 357. Algorithmic models of prediction: formal properties and philosophical implications

    Principal investigator: dr Dariusz Kalociński

    Instytut Podstaw Informatyki PAN

    Call: OPUS 16, Panel: HS1

  8. 358. 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

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

  10. 360. Methodological renewal of dogamtic theology.

    Principal investigator: dr hab. Robert Woźniak

    Uniwersytet Papieski Jana Pawła II w Krakowie, Wydział Teologiczny

    Call: OPUS 14, Panel: HS1

  11. 361. Atom. Substance. System. Investigations into Topological Ontology

    Principal investigator: dr hab. Janusz Kaczmarek

    Uniwersytet Łódzki, Wydział Filozoficzno-Historyczny

    Call: OPUS 14, Panel: HS1

  12. 362. 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

  13. 363. 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

  14. 364. Truth theories and their strength

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

    Uniwersytet Warszawski, Wydział Filozofii

    Call: OPUS 14, Panel: HS1

  15. 365. 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

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

  17. 367. 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

  18. 368. Quantifiers in Language: Use and Meaning

    Principal investigator: dr Jakub Krzysztof Szymanik

    Instytut Podstaw Informatyki PAN

    Call: OPUS 13, Panel: HS1

  19. 369. Dispositional Properties, Acceleration, and Physical Forces

    Principal investigator: dr hab. Jan Hauska

    Uniwersytet Jagielloński, Wydział Filozoficzny

    Call: OPUS 13, Panel: HS1

  20. 370. Fundamental ontological issues and contemporary physics

    Principal investigator: dr hab. Tomasz Bigaj

    Uniwersytet Warszawski, Wydział Filozofii

    Call: OPUS 13, Panel: HS1

  21. 371. Logics of Situations

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

    Uniwersytet Warszawski, Wydział Filozofii

    Call: OPUS 13, Panel: HS1

  22. 372. Ontological and methodological status of symmetries in physics

    Principal investigator: dr Joanna Luc

    Uniwersytet Jagielloński, Wydział Filozoficzny

    Call: PRELUDIUM 13, Panel: HS1

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

  24. 374. 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

  25. 375. Hybridizing Fragments of Halpern-Shoham Logic

    Principal investigator: Przemysław Andrzej Wałęga

    Uniwersytet Warszawski, Wydział Filozofii i Socjologii

    Call: PRELUDIUM 12, Panel: HS1

  26. 376. Real possibilities: what they are and how they are represented in physics?

    Principal investigator: prof. Tomasz Grzegorz Placek

    Uniwersytet Jagielloński, Wydział Filozoficzny

    Call: OPUS 12, Panel: HS1

  27. 377. Conceptual, formal and practical aspects of forensic and judicial applications of probabilistic tools.

    Principal investigator: dr hab. Rafał Urbaniak

    Uniwersytet Gdański, Wydział Nauk Społecznych

    Call: SONATA BIS 6, Panel: HS1

  28. 378. Spatiotemporal histories: theory and applications

    Principal investigator: prof. Tomasz Grzegorz Placek

    Uniwersytet Jagielloński, Wydział Filozoficzny

    Call: HARMONIA 8, Panel: HS1

  29. 379. Definition and analysis of absolute structures with regards to the problem of background independence of physical theori…

    Principal investigator: Kamil Łacina

    Uniwersytet Jagielloński, Wydział Filozoficzny

    Call: PRELUDIUM 11, Panel: HS1

  30. 380. Presentism and the Notion of Existence

    Principal investigator: dr hab. Jerzy Gołosz

    Uniwersytet Jagielloński, Wydział Filozoficzny

    Call: OPUS 11, Panel: HS1

  31. 381. Causal investigations in the current economic research

    Principal investigator: Mariusz Łukasz Maziarz

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

    Call: PRELUDIUM 10, Panel: HS1

  32. 382. Jerzy Neyman's Conception of Scientific Inference

    Principal investigator: Adam Paweł Kubiak

    TOWARZYSTWO NAUKOWE KATOLICKIEGO UNIWERSYTETU LUBELSKIEGO JANA PAWŁA II

    Call: PRELUDIUM 9, Panel: HS1

  33. 383. Extremal axioms: logical, mathematical and cognitive aspects

    Principal investigator: prof. Jerzy Pogonowski

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

    Call: OPUS 9, Panel: HS1

  34. 384. 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

  35. 385. Methodological principles of inferences in mixed-methods research

    Principal investigator: dr hab. Paweł Stanisław Kawalec

    TOWARZYSTWO NAUKOWE KATOLICKIEGO UNIWERSYTETU LUBELSKIEGO JANA PAWŁA II

    Call: OPUS 8, Panel: HS1

  36. 386. Cognitive Science in Search of Unity: Unification and Integration of Interdisciplinary Research

    Principal investigator: dr hab. Marcin Tomasz Miłkowski

    Instytut Filozofii i Socjologii Polskiej Akademii Nauk

    Call: SONATA BIS 4, Panel: HS1

  37. 387. 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

  38. 388. Formal truth theories

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

    Uniwersytet Warszawski, Wydział Filozofii i Socjologii

    Call: OPUS 7, Panel: HS1

  39. 389. Poznawanie jako wewnętrzne modelowanie. Rola pojęcia modeli i symulacji wewnętrznych w filozoficznych i kognitywistyczny…

    Principal investigator: dr Paweł Gładziejewski

    Instytut Filozofii i Socjologii Polskiej Akademii Nauk

    Call: FUGA 3, Panel: HS1

  40. 390. 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

  41. 391. The implications of the selected elements of theory of evolution for defining life

    Principal investigator: dr Krzysztof Chodasewicz

    Instytut Filozofii i Socjologii Polskiej Akademii Nauk

    Call: SONATA 6, Panel: HS1

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

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

  44. 394. Czy możemy poznać Boga naprawdę? Epistemologiczne uzasadnienia nieśmiertelności jednostkowej duszy ludzkiej w "Teologii …

    Principal investigator: dr Joanna Papiernik

    Uniwersytet Warszawski, Wydział Filozofii i Socjologii

    Call: FUGA 2, Panel: HS1

  45. 395. 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

  46. 396. 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

  47. 397. 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

  48. 398. 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

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

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

Graphic design and implementation: Jakub Piotrowski