Klev Ansten

Publikace ASEP

Označit vše / Zobrazit vše / Zrušit označení

Nalezeno záznamů: 6

0464469 - FLU-F 2017 RIV SE eng J - Článek v odborném periodiku
Klev, Ansten
A proof-theoretic account of the miners paradox.
Theoria. Roč. 82, č. 4 (2016), s. 351-369 ISSN 1755-2567
Institucionální podpora: RVO:67985955
Klíčová slova: miners paradox * proof theory * Ramsey conditionals * Fitch's Paradox
Kód oboru RIV: AA - Filosofie a náboženství
http://onlinelibrary.wiley.com/doi/10.1111/theo.12090/full
Trvalý odkaz: http://hdl.handle.net/11104/0264882

0461554 - FLU-F 2017 RIV GB eng J - Článek v odborném periodiku
Klev, Ansten
Carnap on unified science.
Studies in History and Philosophy of Science. -, č. 59 (2016), s. 53-67 ISSN 0039-3681
Institucionální podpora: RVO:67985955
Klíčová slova: Rudolf Carnap * Unity of Science * Logical Empiricism
Kód oboru RIV: AA - Filosofie a náboženství
Impakt faktor: 0.723, rok: 2016
http://www.sciencedirect.com/science/article/pii/S0039368116300206
Trvalý odkaz: http://hdl.handle.net/11104/0262794

0480511 - FLU-F 2018 RIV GB eng J - Článek v odborném periodiku
Klev, Ansten
Dedekind’s logicism.
Philosophia Mathematica. Roč. 25, č. 3 (2017), s. 341-368 ISSN 0031-8019
Institucionální podpora: RVO:67985955
Klíčová slova: Philosophy of mathematics * logicism * Richard Dedekind
Kód oboru RIV: AA - Filosofie a náboženství
Obor OECD: Philosophy, History and Philosophy of science and technology
Impakt faktor: 0.438, rok: 2017
Trvalý odkaz: http://hdl.handle.net/11104/0276284

0480514 - FLU-F 2018 RIV NL eng M - Část monografie knihy
Klev, Ansten
Husserl and Carnap on regions and formal categories.
Essays on Husserl’s Logic and Philosophy of Mathematics. Dordrecht: Springer, 2017 - (Centrone, S.), s. 409-429. Synthese Library. Studies in Epistemology, Logic, Methodology, and Philosophy of Science, 384. ISBN 978-94-024-1130-0
Institucionální podpora: RVO:67985955
Klíčová slova: Edmund Husserl * Rudolf Carnap * categories
Kód oboru RIV: AA - Filosofie a náboženství
Obor OECD: Philosophy, History and Philosophy of science and technology
Trvalý odkaz: http://hdl.handle.net/11104/0276286

0473533 - FLU-F 2018 RIV NL eng J - Článek v odborném periodiku
Klev, Ansten
Identity and sortals (and Caesar).
Erkenntnis. Roč. 82, č. 1 (2017), s. 1-16 ISSN 0165-0106
Institucionální podpora: RVO:67985955
Klíčová slova: identity * neo-logicism * type theory * Julius Caesar problem
Kód oboru RIV: AA - Filosofie a náboženství
Obor OECD: Philosophy, History and Philosophy of science and technology
Trvalý odkaz: http://hdl.handle.net/11104/0271304

0480515 - FLU-F 2018 RIV GB eng C - Konferenční příspěvek (zahraniční konf.)
Klev, Ansten
Truthmaker semantics. Fine versus Martin-Löf.
The Logica Yearbook 2016. London: College Publications, 2017 - (Arazim, P.; Lávička, T.), s. 87-108. ISBN 978-1-84890-243-5.
[Logica 2016. Hejnice (CZ), 20.06.2016-24.06.2016]
Institucionální podpora: RVO:67985955
Klíčová slova: truthmaker semantics * intuitionistic logic * type theory
Kód oboru RIV: AA - Filosofie a náboženství
Obor OECD: Philosophy, History and Philosophy of science and technology
Trvalý odkaz: http://hdl.handle.net/11104/0276285