z

Klev Ansten

Publikace ASEP

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

Nalezeno záznamů: 12

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

0494429 - FLU-F 2019 RIV US eng J - Článek v odborném periodiku
Klev, Ansten
A road map of Dedekind’s Theorem 66.
HOPOS: The Journal of the International Society for the History of Philosophy of Science. Roč. 8, č. 2 (2018), s. 214-277. ISSN 2152-5188
Grant CEP: GA ČR(CZ) GJ17-18344Y
Institucionální podpora: RVO:67985955
Klíčová slova: Infinity * Richard Dedekind * Philosophy of Mathematics
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/0287621

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

0497086 - FLU-F 2019 RIV FR eng J - Článek v odborném periodiku
Klev, Ansten
Carnap’s Turn to the Thing Language.
Philosophia Scientiae. Roč. 22, č. 3 (2018), s. 179-198. ISSN 1281-2463
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í
Obor OECD: Philosophy, History and Philosophy of science and technology
Trvalý odkaz: http://hdl.handle.net/11104/0289683

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

0493112 - FLU-F 2019 RIV GB eng J - Článek v odborném periodiku
Klev, Ansten
Husserl’s Logical Grammar.
History and Philosophy of Logic. Roč. 39, č. 3 (2018), s. 232-269. ISSN 0144-5340
Grant CEP: GA ČR(CZ) GJ17-18344Y
Institucionální podpora: RVO:67985955
Klíčová slova: Edmund Husserl * logic * categorial grammar
Kód oboru RIV: AA - Filosofie a náboženství
Obor OECD: Philosophy, History and Philosophy of science and technology
Impakt faktor: 0.359, rok: 2018
Trvalý odkaz: http://hdl.handle.net/11104/0286590

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

0494317 - FLU-F 2019 RIV GB eng J - Článek v odborném periodiku
Klev, Ansten
The concept horse is a concept.
Review of Symbolic Logic. Roč. 11, č. 3 (2018), s. 547-572. ISSN 1755-0203
Institucionální podpora: RVO:67985955
Klíčová slova: Gottlob Frege * type theory * predication
Kód oboru RIV: AA - Filosofie a náboženství
Obor OECD: Philosophy, History and Philosophy of science and technology
Impakt faktor: 0.731, rok: 2018
Trvalý odkaz: http://hdl.handle.net/11104/0287506

0493122 - FLU-F 2019 RIV GB eng C - Konferenční příspěvek (zahraniční konf.)
Klev, Ansten
The Logical Form of Identity Criteria.
The logica yearbook 2017. London: College Publications, 2018 - (Arazim, P.; Lávička, T.), s. 181-195. ISBN 978-1-84890-281-7.
[Logica 2017. Hejnice (CZ), 19.06.2017-23.06.2017]
Grant CEP: GA ČR(CZ) GJ17-18344Y
Institucionální podpora: RVO:67985955
Klíčová slova: Criteria of identity * Logical form * Neo-Logicism * 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/0290853

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

0493009 - FLU-F 2019 RIV CH eng B - Monografie kniha jako celek
Rahman, S. - McConaughey, Z. - Klev, Ansten - Clerbout, N.
Immanent Reasoning or Equality in Action: A Plaidoyer for the Play Level.
Cham: Springer International Publishing, 2018. 332 s. Logic, Argumentation & Reasoning. Interdisciplinary Perspectives from the Humanities and Social Sciences, 18. ISBN 978-3-319-91148-9. ISSN 2214-9120
Institucionální podpora: RVO:67985955
Klíčová slova: Constructive Type Theory * Dialogical Logic * Argumentation and Logic * Lorenzen's Games * Logic and Logic * Philosophy of Logic * Philosophy of Mathematics * Logic and Interaction
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/0286528