Výsledky vyhledávání
- 1.0511795 - FLÚ 2020 RIV GB eng C - Konferenční příspěvek (zahraniční konf.)
Arazim, Pavel
Is Logic Exceptional?
The Logica Yearbook 2018. London: College Publications, 2019 - (Sedlár, I.; Blicha, M.), s. 13-30. ISBN 978-1-84890-307-4.
[Logica 2018. Hejnice (CZ), 18.06.2018-22.06.2018]
Grant CEP: GA ČR(CZ) GA17-15645S
Institucionální podpora: RVO:67985955
Klíčová slova: exceptionalism * holism * meaning * logical expressions * Quine
Obor OECD: Philosophy, History and Philosophy of science and technology
Trvalý link: http://hdl.handle.net/11104/0302043 - 2.0511623 - FLÚ 2020 RIV GB eng C - Konferenční příspěvek (zahraniční konf.)
Peregrin, Jaroslav
Logic as a (natural) science.
The Logica Yearbook 2018. London: College Publications, 2019 - (Sedlár, I.; Blicha, M.), s. 177-196. ISBN 978-1-84890-307-4.
[Logica 2018. Hejnice (CZ), 18.06.2018-22.06.2018]
Grant CEP: GA ČR(CZ) GA17-15645S
Institucionální podpora: RVO:67985955
Klíčová slova: logical laws * excluded middle * modus ponens * nature of logic * logical validity * reasoning
Obor OECD: Philosophy, History and Philosophy of science and technology
Trvalý link: http://hdl.handle.net/11104/0301865 - 3.0508816 - FLÚ 2020 RIV GB eng C - Konferenční příspěvek (zahraniční konf.)
Klev, Ansten
The Name of the Sinus Function.
The Logica Yearbook 2018. London: College Publications, 2019 - (Sedlár, I.; Blicha, M.), s. 149-159. ISBN 978-1-84890-307-4.
[Logica 2018. Hejnice (CZ), 18.06.2018-22.06.2018]
Grant CEP: GA ČR(CZ) GJ17-18344Y
Institucionální podpora: RVO:67985955
Klíčová slova: Functions * Mathematical notation * Type theory * Gottlob Frege
Obor OECD: Philosophy, History and Philosophy of science and technology
Trvalý link: http://hdl.handle.net/11104/0299626 - 4.0508538 - FLÚ 2020 RIV GB eng C - Konferenční příspěvek (zahraniční konf.)
Pezlar, Ivo
Non-Constructive Procedural Theory of Propositional Problems and the Equivalence of Solutions.
The Logica Yearbook 2018. London: College Publications, 2019 - (Sedlár, I.; Blicha, M.), s. 197-210. ISBN 978-1-84890-307-4.
[Logica 2018. Hejnice (CZ), 18.06.2018-22.06.2018]
Grant CEP: GA ČR(CZ) GJ17-18344Y
Institucionální podpora: RVO:67985955
Klíčová slova: Transparent Intensional Logic * procedural semantics * logic of problems * procedural isomorphism
Obor OECD: Philosophy, History and Philosophy of science and technology
Trvalý link: http://hdl.handle.net/11104/0299549