Help

Klev Ansten

ASEP Publications

Select all / Display all years / Unmark

Select all / Display all / Unmark

Records found: 12

0464469 - FLÚ 2017 RIV SE eng J - Journal Article
Klev, Ansten
A proof-theoretic account of the miners paradox.
Theoria. Roč. 82, č. 4 (2016), s. 351-369. ISSN 1755-2567
Institutional Support: RVO:67985955
Keywords: miners paradox * proof theory * Ramsey conditionals * Fitch's Paradox
Subject RIV: AA - Philosophy & Religion
http://onlinelibrary.wiley.com/doi/10.1111/theo.12090/full
Permanent link: http://hdl.handle.net/11104/0264882

0494429 - FLÚ 2019 RIV US eng J - Journal Article
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
R&D Projects: GA ČR(CZ) GJ17-18344Y
Institutional Support: RVO:67985955
Keywords: Infinity * Richard Dedekind * Philosophy of Mathematics
Subject RIV: AA - Philosophy & Religion
Obor OECD: Philosophy, History and Philosophy of science and technology
Permanent link: http://hdl.handle.net/11104/0287621

0461554 - FLÚ 2017 RIV GB eng J - Journal Article
Klev, Ansten
Carnap on unified science.
Studies in History and Philosophy of Science. -, č. 59 (2016), s. 53-67. ISSN 0039-3681
Institutional Support: RVO:67985955
Keywords: Rudolf Carnap * Unity of Science * Logical Empiricism
Subject RIV: AA - Philosophy & Religion
Impact factor: 0.723, year: 2016
http://www.sciencedirect.com/science/article/pii/S0039368116300206
Permanent link: http://hdl.handle.net/11104/0262794

0497086 - FLÚ 2019 RIV FR eng J - Journal Article
Klev, Ansten
Carnap’s Turn to the Thing Language.
Philosophia Scientiae. Roč. 22, č. 3 (2018), s. 179-198. ISSN 1281-2463
Institutional Support: RVO:67985955
Keywords: Rudolf Carnap * unity of science * logical empiricism
Subject RIV: AA - Philosophy & Religion
Obor OECD: Philosophy, History and Philosophy of science and technology
https://doi.org/10.4000/philosophiascientiae.1615
Permanent link: http://hdl.handle.net/11104/0289683

0480511 - FLÚ 2018 RIV GB eng J - Journal Article
Klev, Ansten
Dedekind’s logicism.
Philosophia Mathematica. Roč. 25, č. 3 (2017), s. 341-368. ISSN 0031-8019
Institutional Support: RVO:67985955
Keywords: Philosophy of mathematics * logicism * Richard Dedekind
Subject RIV: AA - Philosophy & Religion
Obor OECD: Philosophy, History and Philosophy of science and technology
Impact factor: 0.438, year: 2017
Permanent link: http://hdl.handle.net/11104/0276284

0480514 - FLÚ 2018 RIV NL eng M - Monograph chapter
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
Institutional Support: RVO:67985955
Keywords: Edmund Husserl * Rudolf Carnap * categories
Subject RIV: AA - Philosophy & Religion
Obor OECD: Philosophy, History and Philosophy of science and technology
Permanent link: http://hdl.handle.net/11104/0276286

0493112 - FLÚ 2019 RIV GB eng J - Journal Article
Klev, Ansten
Husserl’s Logical Grammar.
History and Philosophy of Logic. Roč. 39, č. 3 (2018), s. 232-269. ISSN 0144-5340
R&D Projects: GA ČR(CZ) GJ17-18344Y
Institutional Support: RVO:67985955
Keywords: Edmund Husserl * logic * categorial grammar
Subject RIV: AA - Philosophy & Religion
Obor OECD: Philosophy, History and Philosophy of science and technology
Impact factor: 0.359, year: 2018
Permanent link: http://hdl.handle.net/11104/0286590

0473533 - FLÚ 2018 RIV NL eng J - Journal Article
Klev, Ansten
Identity and sortals (and Caesar).
Erkenntnis. Roč. 82, č. 1 (2017), s. 1-16. ISSN 0165-0106
Institutional Support: RVO:67985955
Keywords: identity * neo-logicism * type theory * Julius Caesar problem
Subject RIV: AA - Philosophy & Religion
Obor OECD: Philosophy, History and Philosophy of science and technology
Permanent link: http://hdl.handle.net/11104/0271304

0494317 - FLÚ 2019 RIV GB eng J - Journal Article
Klev, Ansten
The concept horse is a concept.
Review of Symbolic Logic. Roč. 11, č. 3 (2018), s. 547-572. ISSN 1755-0203
Institutional Support: RVO:67985955
Keywords: Gottlob Frege * type theory * predication
Subject RIV: AA - Philosophy & Religion
Obor OECD: Philosophy, History and Philosophy of science and technology
Impact factor: 0.731, year: 2018
Permanent link: http://hdl.handle.net/11104/0287506

0493122 - FLÚ 2019 RIV GB eng C - Proceedings Paper (International conf.)
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]
R&D Projects: GA ČR(CZ) GJ17-18344Y
Institutional Support: RVO:67985955
Keywords: Criteria of identity * Logical form * Neo-Logicism * Type theory
Subject RIV: AA - Philosophy & Religion
Obor OECD: Philosophy, History and Philosophy of science and technology
Permanent link: http://hdl.handle.net/11104/0290853

0480515 - FLÚ 2018 RIV GB eng C - Proceedings Paper (International conf.)
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]
Institutional Support: RVO:67985955
Keywords: truthmaker semantics * intuitionistic logic * type theory
Subject RIV: AA - Philosophy & Religion
Obor OECD: Philosophy, History and Philosophy of science and technology
Permanent link: http://hdl.handle.net/11104/0276285

0493009 - FLÚ 2019 RIV CH eng B - Monograph 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
Institutional Support: RVO:67985955
Keywords: Constructive Type Theory * Dialogical Logic * Argumentation and Logic * Lorenzen's Games * Logic and Logic * Philosophy of Logic * Philosophy of Mathematics * Logic and Interaction
Subject RIV: AA - Philosophy & Religion
Obor OECD: Philosophy, History and Philosophy of science and technology
Permanent link: http://hdl.handle.net/11104/0286528