česky | in English
Název anglicky: Philosophy beyond events horizon I 2020
RIV/00216224:14210/20:00129910 Uspořádání konference. čeština. Česká republika.
Raclavský, Jiří (203 Česká republika, garant, domácí) -- Špelda, Daniel (203 Česká republika, domácí) -- Picha, Marek (203 Česká republika, domácí) -- Pezlar, Ivo (203 Česká republika, domácí)
Klíčová slova anglicky: systematic philosophy; history of philosophy; ethics
Recenzováno: ano
Změnila: Mgr. Kateřina Urubková, učo 425917. Změněno: 13. 3. 2024 15:36.
Název anglicky: Explicit/Implicit Belief and Derivation System
RIV/00216224:14210/19:00107332 Článek v odborném periodiku. čeština. Česká republika.
Raclavský, Jiří (203 Česká republika, garant, domácí) -- Pezlar, Ivo (203 Česká republika, domácí)
Klíčová slova anglicky: paradox of logical omniscience; substitution; explicit belief; implicit belief; knowledge; transparent hyperintensional logic
Recenzováno: ano
Změnil: Mgr. Igor Hlaváč, učo 342491. Změněno: 31. 3. 2020 15:18.
RIV/00216224:14210/18:00101000 Článek v odborném periodiku. angličtina. Belgie.
Pezlar, Ivo (203 Česká republika, garant, domácí)
Klíčová slova anglicky: proof-theoretic semantics; hyperintensionality; granularity of meaning
Mezinárodní význam: ano
Recenzováno: ano
Změnil: Mgr. Igor Hlaváč, učo 342491. Změněno: 30. 4. 2019 08:49.
RIV/00216224:14210/17:00100708 Článek v odborném periodiku. Filosofie a náboženství. angličtina. Polsko.
Pezlar, Ivo (203 Česká republika, garant, domácí)
Klíčová slova anglicky: logic of problems; algorithmic semantics; procedural semantics; Constructive Type Theory; Transparent Intensional Logic
Mezinárodní význam: ano
Recenzováno: ano
Změnil: Mgr. Igor Hlaváč, učo 342491. Změněno: 30. 4. 2019 08:44.
RIV/00216224:14210/17:00098624 Uspořádání konference. Filosofie a náboženství. angličtina. Česká republika.
Ondráček, Tomáš (203 Česká republika, garant, domácí) -- Stránský, Michal (203 Česká republika) -- Štěpánek, Jan (203 Česká republika, domácí) -- Ježová, Danica (703 Slovensko, domácí) -- Svačinová, Iva (203 Česká republika, domácí) -- Prokop, Martin (203 Česká republika, domácí) -- Trávníček, Zdeněk (203 Česká republika) -- Pezlar, Ivo (203 Česká republika, domácí) -- Hynčica, Václav (203 Česká republika, domácí) -- Brázdil, Jan (203 Česká republika, domácí) -- Pačut, Oliver (703 Slovensko, domácí)
Klíčová slova anglicky: cognition; language
Mezinárodní význam: ano
Recenzováno: ano
Změnila: Ing. Mgr. Zdeňka Jastrzembská, Ph.D., učo 11408. Změněno: 16. 4. 2018 15:27.
RIV/00216224:14210/17:00113942 Konferenční abstrakt. Filosofie a náboženství. angličtina. Německo.
Raclavský, Jiří (203 Česká republika, garant, domácí) -- Pezlar, Ivo (203 Česká republika)
Klíčová slova anglicky: knowledge; belief; hyperintensional contexts; logical omniscience problem; epistemic logic
Druh účasti: aktivní účast
Mezinárodní význam: ano
Recenzováno: ano
Změnil: prof. PhDr. BcA. Jiří Raclavský, Ph.D., učo 7593. Změněno: 12. 3. 2024 15:28.
Filosofie a náboženství. angličtina. Velká Británie a Severní Irsko.
Mezinárodní význam: ano
Recenzováno: ano
Změnila: Ing. Mgr. Zdeňka Jastrzembská, Ph.D., učo 11408. Změněno: 31. 1. 2018 11:57.
RIV/00216224:14210/16:00087923 Prezentace na konferencích. Filosofie a náboženství. angličtina. Polsko.
Pezlar, Ivo (203 Česká republika, garant, domácí)
Klíčová slova anglicky: lambda calculus; computation; transparent intensional logic
Druh účasti: aktivní účast
Mezinárodní význam: ano
Recenzováno: ano
Změnila: Mgr. Vendula Hromádková, učo 108933. Změněno: 3. 4. 2017 17:49.
RIV/00216224:14210/15:00082118 Stať ve sborníku. Filosofie a náboženství. angličtina. Švýcarsko.
Pezlar, Ivo (203 Česká republika, garant, domácí)
Klíčová slova anglicky: desires; dummy-desires; desire statement; desire engine; reasoning engine; humean machine; Transparent Intensional Logic
Mezinárodní význam: ano
Recenzováno: ano
Změnila: Mgr. Marie Skřivanová, učo 262124. Změněno: 24. 2. 2016 16:17.
Filosofie a náboženství. čeština. Česká republika.
Klíčová slova anglicky: epistemic logic; modal logic; logical omniscience
Recenzováno: ano
Změnila: Ing. Mgr. Zdeňka Jastrzembská, Ph.D., učo 11408. Změněno: 17. 2. 2016 10:24.
Filosofie a náboženství. čeština. Česká republika.
Klíčová slova anglicky: epistemic logic; modal logic; logical omniscience
Recenzováno: ano
Změnila: Ing. Mgr. Zdeňka Jastrzembská, Ph.D., učo 11408. Změněno: 18. 1. 2016 16:00.
RIV/00216224:14210/15:00083749 Prezentace na konferencích. Filosofie a náboženství. angličtina. Turecko.
Pezlar, Ivo (203 Česká republika, garant, domácí)
Klíčová slova anglicky: proof-theoretic semantics; natural language; proof theory
Druh účasti: aktivní účast
Mezinárodní význam: ano
Recenzováno: ano
Změnila: Mgr. Marie Skřivanová, učo 262124. Změněno: 24. 2. 2016 17:37.
Název anglicky: Survival of the most elegant. Why representation of logical system also matters (BRAK, 23. 11. 2015, Brno)
Filosofie a náboženství. čeština. Česká republika.
Změnila: Ing. Mgr. Zdeňka Jastrzembská, Ph.D., učo 11408. Změněno: 17. 2. 2016 11:13.
Název anglicky: Transparent intensional logic a characteristica universalis and calculus ratiocinator
RIV/00216224:14210/15:00114957 Odborná kniha. Filosofie a náboženství. čeština. Česká republika.
Raclavský, Jiří (203 Česká republika, garant, domácí) -- Kuchyňka, Petr (203 Česká republika) -- Pezlar, Ivo (203 Česká republika)
Klíčová slova anglicky: type theory; ramified type theory; hyperintensional logic; transparent intensional logic
Recenzováno: ano
Změnil: prof. PhDr. BcA. Jiří Raclavský, Ph.D., učo 7593. Změněno: 19. 6. 2020 12:16.
Název anglicky: Transparent Intensional Logic as Characteristica Universalis and Calculus Ratiocinator
Recenzováno: ano
Změnila: Ing. Mgr. Zdeňka Jastrzembská, Ph.D., učo 11408. Změněno: 28. 11. 2016 15:03.
RIV/00216224:14210/15:00083750 Prezentace na konferencích. Filosofie a náboženství. angličtina. Finsko.
Pezlar, Ivo (203 Česká republika, garant, domácí)
Klíčová slova anglicky: constructive type theory; transparent intensional logic; logic of problems
Druh účasti: aktivní účast
Mezinárodní význam: ano
Recenzováno: ano
Změnila: Mgr. Marie Skřivanová, učo 262124. Změněno: 23. 2. 2016 16:59.
RIV/00216224:14210/14:00076635 Prezentace na konferencích. Filosofie a náboženství. angličtina. Polsko.
Pezlar, Ivo (203 Česká republika, garant, domácí)
Klíčová slova anglicky: Jaśkowski; Calculus of Suppositions; Natural Deduction; Suppositional Logic
Mezinárodní význam: ano
Recenzováno: ano
Změnila: Mgr. Vendula Hromádková, učo 108933. Změněno: 18. 2. 2015 10:10.
Název anglicky: Functional Interpretation of Jaśkowski’s Calculus
RIV/00216224:14210/14:00076634 Prezentace na konferencích. Filosofie a náboženství. čeština. Česká republika.
Pezlar, Ivo (203 Česká republika, garant, domácí)
Klíčová slova anglicky: logic; composite system; Jaśkowski
Změnila: Ing. Mgr. Zdeňka Jastrzembská, Ph.D., učo 11408. Změněno: 16. 3. 2015 11:20.
Filosofie a náboženství. angličtina. Česká republika.
Klíčová slova anglicky: logic, logic as a toolbox, labelled deductive systems, Gabbay
Recenzováno: ano
Změnila: Ing. Mgr. Zdeňka Jastrzembská, Ph.D., učo 11408. Změněno: 16. 3. 2015 10:37.
Název česky: Paralely vědy a filozofie
Název anglicky: Parallels of Science and Philosophy
Filosofie a náboženství. čeština. Česká republika.
Klíčová slova anglicky: Science; philosophy; interdisciplinarity; disciplinary discourse
Změnila: Ing. Mgr. Zdeňka Jastrzembská, Ph.D., učo 11408. Změněno: 28. 11. 2016 21:18.
RIV/00216224:14210/14:00078220 Vyžádané přednášky. Filosofie a náboženství. angličtina. Německo.
Pezlar, Ivo (203 Česká republika, garant, domácí)
Klíčová slova anglicky: problems; solutions; procedural semantics; Constructive Type Theory; Transparent Intensioanl Logic
Druh účasti: vyžádaná přednáška
Mezinárodní význam: ano
Změnila: Mgr. Vendula Hromádková, učo 108933. Změněno: 18. 2. 2015 12:44.
RIV/00216224:14210/14:00076637 Článek v odborném periodiku. Filosofie a náboženství. angličtina. Švýcarsko.
Pezlar, Ivo (203 Česká republika, garant, domácí)
Klíčová slova anglicky: proof theory; inference; two-dimensional inference; 2D inference; inference rule; natural deduction; sequent calculus; Tichý; Frege
Mezinárodní význam: ano
Recenzováno: ano
Změnila: Mgr. Vendula Hromádková, učo 108933. Změněno: 19. 2. 2015 10:47.
RIV/00216224:14210/14:00076636 Prezentace na konferencích. Filosofie a náboženství. angličtina. Nizozemské království.
Pezlar, Ivo (203 Česká republika, garant, domácí)
Klíčová slova anglicky: Transparent Intensional Logic; logical analysis of natural language; ramified type theory
Mezinárodní význam: ano
Recenzováno: ano
Změnil: Mgr. Ivo Pezlar, Ph.D., učo 261588. Změněno: 12. 1. 2015 14:44.
Název česky: Workshop: Technika filozofie. Experimentální týmová argumentace
Název anglicky: Workshop: A Technique of Philosophy. Experimental Team Argumentation
Filosofie a náboženství. čeština. Česká republika.
Klíčová slova anglicky: Workshop; philosophy; technique of philosophy; communication; presentation; argumentation
Změnil: Mgr. Michal Stránský, Ph.D., učo 263643. Změněno: 20. 1. 2015 12:08.
Název česky: Workshop: Technika filozofie. Simulace filozofického diskurzu
Název anglicky: Workshop: A Technique of Philosophy. Philosophical Discussion Simulation
Filosofie a náboženství. čeština. Česká republika.
Klíčová slova anglicky: Workshop; philosophy; technique of philosophy; communication; presentation; argumentation
Změnila: Ing. Mgr. Zdeňka Jastrzembská, Ph.D., učo 11408. Změněno: 28. 11. 2016 21:18.
Název anglicky: Constructions and Proofs
RIV/00216224:14210/13:00067954 Prezentace na konferencích. Filosofie a náboženství. čeština. Slovensko.
Pezlar, Ivo (203 Česká republika, garant, domácí)
Klíčová slova anglicky: constructions; proofs; intuitionistic logic; Brouwer; Heyting
Druh účasti: aktivní účast
Změnila: Mgr. Vendula Hromádková, učo 108933. Změněno: 19. 3. 2014 11:30.
RIV/00216224:14210/13:00069439 Článek v odborném periodiku. Filosofie a náboženství. angličtina. Slovensko.
Pezlar, Ivo (203 Česká republika, garant, domácí)
Klíčová slova anglicky: deduction; Frege; Gentzen; indirect proofs; Tichý; TIL; two-dimensional inference
Mezinárodní význam: ano
Recenzováno: ano
Změnila: Mgr. Vendula Hromádková, učo 108933. Změněno: 21. 4. 2014 19:42.
RIV/00216224:14210/13:00069428 Vyžádané přednášky. Filosofie a náboženství. angličtina. Německo.
Pezlar, Ivo (203 Česká republika, garant, domácí)
Klíčová slova anglicky: two-dimensional inference; natural deduction; sequent calculus
Druh účasti: vyžádaná přednáška
Změnila: Mgr. Vendula Hromádková, učo 108933. Změněno: 26. 3. 2014 08:38.
RIV/00216224:14210/13:00068078 Prezentace na konferencích. Filosofie a náboženství. angličtina. Brazílie.
Pezlar, Ivo (203 Česká republika, garant, domácí)
Klíčová slova anglicky: two-dimensional inference; inference step; theory of deduction
Recenzováno: ano
Změnila: Mgr. Vendula Hromádková, učo 108933. Změněno: 26. 3. 2014 08:54.
Název česky: Workshop: Technika filozofie. Přednáška s částečně anonymní diskuzí
Název anglicky: Workshop: A Technique of Philosophy. Lecture With Partially Anonymous Discussion
Filosofie a náboženství. čeština. Česká republika.
Klíčová slova anglicky: Workshop; philosophy; technique of philosophy; communication; presentation; argumentation
Změnila: Ing. Mgr. Zdeňka Jastrzembská, Ph.D., učo 11408. Změněno: 3. 1. 2017 13:55.
Název česky: Workshop: Technika filozofie. Slabě moderovaná diskuze
Název anglicky: Workshop: A Technique of Philosophy. Moderately Moderated Discussion
Filosofie a náboženství. čeština. Česká republika.
Klíčová slova anglicky: Workshop; philosophy; technique of philosophy; communication; presentation; argumentation
Změnila: Ing. Mgr. Zdeňka Jastrzembská, Ph.D., učo 11408. Změněno: 3. 1. 2017 13:54.
RIV/00216224:14210/12:00061786 Stať ve sborníku. Filosofie a náboženství. angličtina. Česká republika.
Pezlar, Ivo (203 Česká republika, garant, domácí)
Klíčová slova anglicky: desires; dummy-desires; motivational attitudes; formal models of desire; humean machine
Recenzováno: ano
Změnila: Mgr. Vendula Hromádková, učo 108933. Změněno: 10. 4. 2013 21:45.
Název česky: Je nemonotónní logika logikou?
Název anglicky: Is a nonmonotonic logic really a logic?
RIV/00216224:14210/12:00061563 Článek v odborném periodiku. Filosofie a náboženství. čeština. Česká republika.
Pezlar, Ivo (203 Česká republika, garant, domácí)
Klíčová slova anglicky: nonmonotonic logic; nonmonotonic reasoning; defeasible reasoning; classical logic
Změnila: Mgr. Vendula Hromádková, učo 108933. Změněno: 11. 4. 2013 09:21.
Filosofie a náboženství. angličtina. Rakousko.
Klíčová slova anglicky: truth; modal logic; relational semantics, Kripke
Změnil: Mgr. Ivo Pezlar, Ph.D., učo 261588. Změněno: 8. 11. 2012 19:49.
Název anglicky: Russell’s Original Sin: Therefore-relation as the Predecessor of Logical Implication?
Filosofie a náboženství. čeština. Česká republika.
Změnil: Mgr. Ivo Pezlar, Ph.D., učo 261588. Změněno: 8. 11. 2012 20:00.
Název anglicky: Tichý's Two-Dimensional Conception of Inference
Filosofie a náboženství. čeština. Slovensko.
Klíčová slova anglicky: Pavel Tichý; inference; deduction; two-dimensional inference
Změnil: Mgr. Ivo Pezlar, Ph.D., učo 261588. Změněno: 11. 9. 2013 17:26.
Název anglicky: What is Epistemic Proposition?
Filosofie a náboženství. čeština. Česká republika.
Klíčová slova anglicky: epistemic proposition; epistemology; epistemic logic
Změnil: Mgr. Ivo Pezlar, Ph.D., učo 261588. Změněno: 11. 11. 2012 19:52.
Název anglicky: Svoboda, V. a kol. Logika a přirozený jazyk (review)
Filosofie a náboženství. čeština. Česká republika.
Klíčová slova anglicky: natural language; logic; logical analysis
Změnil: Mgr. Ivo Pezlar, Ph.D., učo 261588. Změněno: 8. 11. 2012 19:16.