• LMU Munich
    Faculty of Philosophy, Philosophy of Science and Religious Studies
    Researcher
Munich, Bavaria, Germany
  • On the cognitive link between space and number: A meta-analysis of the SNARC effect
    with Guilherme Wood, Klaus Willmes, and Hans-Christoph Nuerk
    Psychology Science Quarterly 50 (4). 2008.
  •  40
    Another Look at Reflection
    Erkenntnis 88 (2): 479-509. 2021.
    Reflection principles are of central interest in the development of axiomatic theories. Whereas they are independent statements they appear to have a specific epistemological status. Our trust in those principles is as warranted as our trust in the axioms of the system itself. This paper is an attempt in clarifying this special epistemic status. We provide a motivation for the adoption of uniform reflection principles by their analogy to a form of the constructive \(\omega \) -rule. Additionally…Read more
  •  21
    Cross-Disciplinary Research on Learning and Instruction – Coming to Terms
    with Nicole Heitzmann, Ansgar Opitz, Matthias Stadler, Daniel Sommerhoff, Maximilian C. Fink, Andreas Obersteiner, Ralf Schmidmaier, Birgit J. Neuhaus, Stefan Ufer, Tina Seidel, and Frank Fischer
    Frontiers in Psychology 11. 2021.
    no abstract for opinion paper.
  •  9
    Cognitive Foundations of Human Number Representations and Mental Arithmetic
    with Oliver Lindemann
    In Roi Cohen Kadosh & Ann Dowker (eds.), The Oxford Handbook of Numerical Cognition, Oxford University Press Uk. 2015.
    The chapters in this section of the volume reveal the striking variety of human numerical cognition. The section comprises four chapters that focus on different aspects of the representation of numerical knowledge, as well as three chapters that examine the several cognitive processes involved in the manipulation of numbers during simple mental arithmetic. They show how chronometric analyses, in combination with clever experimental designs, can reveal the cognitive processes and representations …Read more
  •  36
    Iterated reflection over full disquotational truth
    Journal of Logic and Computation 27 (8): 2631-2651. 2017.
    Iterated reflection principles have been employed extensively to unfold epistemic commitments that are incurred by accepting a mathematical theory. Recently this has been applied to theories of truth. The idea is to start with a collection of Tarski-biconditionals and arrive by iterated reflection at strong compositional truth theories. In the context of classical logic, it is incoherent to adopt an initial truth theory in which A and ‘A is truen’ are inter-derivable. In this article, we show ho…Read more
  •  33
    This article investigates the connection and dependence between the definiteness of the totalities involved in mathematical structures and the determinateness of statements about that structure. From a logical perspective, we investigate whether logical principles expressing the definiteness of totalities license the use of classical logic. From a philosophical perspective, this article provides a reconstruction of Solomon Feferman’s claim that the definiteness of the natural number conception i…Read more
  •  28
    Breathing shifts visuo-spatial attention
    with Francesco Belli
    Cognition 243 (C): 105685. 2024.
  •  53
    Questions concerning the proof-theoretic strength of classical versus nonclassical theories of truth have received some attention recently. A particularly convenient case study concerns classical and nonclassical axiomatizations of fixed-point semantics. It is known that nonclassical axiomatizations in four- or three-valued logics are substantially weaker than their classical counterparts. In this paper we consider the addition of a suitable conditional to First-Degree Entailment—a logic recentl…Read more
  •  209
    Hypatia's silence
    Noûs 55 (1): 62-85. 2021.
    Hartry Field distinguished two concepts of type‐free truth: scientific truth and disquotational truth. We argue that scientific type‐free truth cannot do justificatory work in the foundations of mathematics. We also present an argument, based on Crispin Wright's theory of cognitive projects and entitlement, that disquotational truth can do justificatory work in the foundations of mathematics. The price to pay for this is that the concept of disquotational truth requires non‐classical logical tre…Read more
  •  83
    Internal Categoricity, Truth and Determinacy
    Journal of Philosophical Logic 52 (5): 1295-1325. 2023.
    This paper focuses on the categoricity of arithmetic and determinacy of arithmetical truth. Several ‘internal’ categoricity results have been discussed in the recent literature. Against the background of the philosophical position called internalism, we propose and investigate truth-theoretic versions of internal categoricity based on a primitive truth predicate. We argue for the compatibility of a primitive truth predicate with internalism and provide a novel argument for (and proof of) a truth…Read more
  •  11
    Theologische Männerforschung?: Zur Frage der Relevanz von Männerforschung in der Theologie
    Zeitschrift Für Evangelische Ethik 50 (1): 138-144. 2006.
  •  72
    The Expressive Power of Truth
    Review of Symbolic Logic 8 (2): 345-369. 2015.
    There are two perspectives from which formal theories can be viewed. On the one hand, one can take a theory to be about some privileged models. On the other hand, one can take all models of a theory to be on a par. In contrast with what is usually done in philosophical debates, we adopt the latter viewpoint. Suppose that from this perspective we want to add an adequate truth predicate to a background theory. Then on the one hand the truth theory ought to be semantically conservative over the bac…Read more
  •  11
    Editorial
    with Thomas Binder and Jörn Nilsson
    AI and Society 10 (1): 1-5. 1996.
  •  158
    Axiomatizing semantic theories of truth?
    Review of Symbolic Logic 8 (2): 257-278. 2015.
    We discuss the interplay between the axiomatic and the semantic approach to truth. Often, semantic constructions have guided the development of axiomatic theories and certain axiomatic theories have been claimed to capture a semantic construction. We ask under which conditions an axiomatic theory captures a semantic construction. After discussing some potential criteria, we focus on the criterion of ℕ-categoricity and discuss its usefulness and limits
  •  62
    Paradoxes of Interaction?
    Journal of Philosophical Logic 44 (3): 287-308. 2015.
    Since Montague’s work it is well known that treating a single modality as a predicate may lead to paradox. In their paper “No Future”, Horsten and Leitgeb show that if the two temporal modalities are treated as predicates paradox might arise as well. In our paper we investigate whether paradoxes of multiple modalities, such as the No Future paradox, are genuinely new paradoxes or whether they “reduce” to the paradoxes of single modalities. In order to address this question we develop a notion of…Read more
  •  36
    More is Better: English Language Statistics are Biased Toward Addition
    with Bodo Winter, Christoph Scheepers, and Andriy Myachykov
    Cognitive Science 47 (4). 2023.
    We have evolved to become who we are, at least in part, due to our general drive to create new things and ideas. When seeking to improve our creations, ideas, or situations, we systematically overlook opportunities to perform subtractive changes. For example, when tasked with giving feedback on an academic paper, reviewers will tend to suggest additional explanations and analyses rather than delete existing ones. Here, we show that this addition bias is systematically reflected in English langua…Read more
  •  15
    Truth, Partial Logic and Infinitary Proof Systems
    Studia Logica 106 (3): 515-540. 2018.
    In this paper we apply proof theoretic methods used for classical systems in order to obtain upper bounds for systems in partial logic. We focus on a truth predicate interpreted in a Kripke style way via strong Kleene; whereas the aim is to connect harmoniously the partial version of Kripke–Feferman with its intended semantics. The method we apply is based on infinitary proof systems containing an ω\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \use…Read more
  •  90
    Is Handwriting Performance Affected by the Writing Surface? Comparing Preschoolers', Second Graders', and Adults' Writing Performance on a Tablet vs. Paper
    with Sabrina Gerth, Annegret Klassert, Thomas Dolk, Michael Fliesser, Guido Nottbusch, and Julia Festman
    Frontiers in Psychology 7. 2016.
  •  19
    Sequent Calculi for the Propositional Logic of HYPE
    Studia Logica 110 (3): 643-677. 2021.
    In this paper we discuss sequent calculi for the propositional fragment of the logic of HYPE. The logic of HYPE was recently suggested by Leitgeb as a logic for hyperintensional contexts. On the one hand we introduce a simple \-system employing rules of contraposition. On the other hand we present a \-system with an admissible rule of contraposition. Both systems are equivalent as well as sound and complete proof-system of HYPE. In order to provide a cut-elimination procedure, we expand the calc…Read more
  •  47
    Is the HYPE about strength warranted?
    Synthese 200 (3): 1-25. 2022.
    In comparing classical and non-classical solutions to the semantic paradoxes arguments relying on strength have been influential. In this paper I argue that non-classical solutions should preserve the proof-theoretic strength of classical solutions. Leitgeb’s logic of HYPE is then presented as an interesting possibility to strengthen FDE with a suitable conditional. It is shown that HYPE allows for a non-classical Kripkean theory of truth, called KFL, that is strong enough for the relevant purpo…Read more
  •  17
    Separation/connection procedures: From cleansing behavior to numerical cognition
    with Arianna Felisatti, Elena Kulkova, Katharina Kühne, and Alexej Michirev
    Behavioral and Brain Sciences 44. 2021.
    Lee and Schwarz suggest that separation is the grounded procedure underlying cleansing effects in different psychological domains. Here, we interpret L&S's account from a hierarchical view of cognition that considers the influence of physical properties and sensorimotor constraints on mental representations. This approach allows theoretical integration and generalization of L&S's account to the domain of formal quantitative reasoning.
  •  32
    The Force of Numbers: Investigating Manual Signatures of Embodied Number Processing
    with Alex Miklashevsky and Oliver Lindemann
    Frontiers in Human Neuroscience 14. 2021.
    The study has two objectives: to introduce grip force recording as a new technique for studying embodied numerical processing; and to demonstrate how three competing accounts of numerical magnitude representation can be tested by using this new technique: the Mental Number Line, A Theory of Magnitude and Embodied Cognition account. While 26 healthy adults processed visually presented single digits in a go/no-go n-back paradigm, their passive holding forces for two small sensors were recorded in …Read more
  •  18
    Diagnostic Activities and Diagnostic Practices in Medical Education and Teacher Education: An Interdisciplinary Comparison
    with Elisabeth Bauer, Frank Fischer, Jan Kiesewetter, David Williamson Shaffer, Jan M. Zottmann, and Michael Sailer
    Frontiers in Psychology 11. 2020.
  •  60
    Commentary: A mental number line in human newborns
    with Arianna Felisatti, Jochen Laubrock, and Samuel Shaki
    Frontiers in Human Neuroscience 14 511395. 2020.
  •  43
    The Use of Social Robots and the Uncanny Valley Phenomenon
    with Melinda A. Mende and Katharina Kühne
    In Yuefang Zhou & Martin H. Fischer (eds.), Ai Love You : Developments in Human-Robot Intimate Relationships, Springer Verlag. 2019.
    Social robots are increasingly used in different areas of society such as public health, elderly care, education, and commerce. They have also been successfully employed in autism spectrum disorders therapy with children. Humans strive to find in them not only assistants but also friends. Although forms and functionalities of such robots vary, there is a strong tendency to anthropomorphize artificial agents, making them look and behave as human as possible and imputing human attributes to them. …Read more
  •  37
    Sex robots are humanoid robots with artificial intelligence, designed to interact sexually with humans. They have received much attention in recent discussions about technology, human relationships and the future of human sexuality. Based on available evidence so far, this outlook aims to give tentative answers to two fundamental questions surrounding the topic of human–robot intimate relationships. First, whether intelligent humanoid robots are technologically ready to be our intimate partners.…Read more
  •  24
    Cross-Representational Interactions: Interface and Overlap Mechanisms
    with Andriy Myachykov and Ashley J. Chapman
    Frontiers in Psychology 7. 2017.
  •  19
    Idioms in the World: A Focus on Processing
    with Elena S. Kulkova
    Frontiers in Psychology 10. 2019.