Robustness is often presented as a guideline for distinguishing the true or real from mere appearances or artifacts. Most of recent discussions of robustness have focused on the kind of derivational robustness analysis introduced by Levins, while the related but distinct idea of robustness as multiple accessibility, defended by Wimsatt, has received less attention. In this paper, I argue that the latter kind of robustness, when properly understood, can provide justification for ontological commitments. The idea is that we are justified (...) in believing that things studied by science are real insofar as we have robust evidence for them. I develop and analyze this idea in detail, and based on concrete examples show that it plays an important role in science. Finally, I demonstrate how robustness can be used to clarify the debate on scientific realism and to formulate new arguments. (shrink)

The paper develops an account of minimal traces devoid of representational content and exploits an analogy to a predictive processing framework of perception. As perception can be regarded as a prediction of the present on the basis of sparse sensory inputs without any representational content, episodic memory can be conceived of as a “prediction of the past” on the basis of a minimal trace, i.e., an informationally sparse, merely causal link to a previous experience. The resulting notion of episodic memory (...) will be validated as a natural kind distinct from imagination. This trace minimalist view contrasts with two theory camps dominating the philosophical debate on memory. On one side, we face versions of the Causal Theory that hold on to the idea that episodic remembering requires a memory trace that causally links the event of remembering to the event of experience and carries over representational content from the content of experience to the content of remembering. The Causal Theory, however, fails to account for the epistemic generativity of episodic memory and is psychologically and information-theoretically implausible. On the other side, a new camp of simulationists is currently forming up. Motivated by empirical and conceptual deficits of the Causal Theory, they reject not only the necessity of preserving representational content, but also the necessity of a causal link between experience and memory. They argue that remembering is nothing but a peculiar form of imagination, peculiar only in that it has been reliably produced and is directed towards an episode of one’s personal past. Albeit sharing their criticism of the Causal Theory and, in particular, rejecting its demand for an intermediary carrier of representational content, the paper argues that a causal connection to experience is still necessary to fulfill even the minimal requirements of past-directedness and reliability. (shrink)

In this paper I develop a philosophical account of actual mathematical infinity that does not demand ontologically or epistemologically problematic assumptions. The account is based on a simple metaphor in which we think of indefinitely continuing processes as defining objects. It is shown that such a metaphor is valid in terms of mathematical practice, as well as in line with empirical data on arithmetical cognition.

Although Kant is often considered the founding father of the controversial principle ‘Ought Implies Can’ (OIC), it is not at all clear how Kant himself understands and defends this principle. This essay provides a substained interpretation of Kant's views on OIC. I argue that Kant endorses two versions of OIC: a version that is concerned with our physical capacities, and a version that posits a link between moral obligation and a volitional power of choice. I show that although there are (...) important senses in which Kant's conception of OIC differs from the way in which OIC is discussed in recent philosophy, his account raises important issues for contemporary theory: for instance, it highlights the extent to which acceptance or rejection of OIC reflects convictions about the sources of normativity. (shrink)

I identify two reasons for believing in the objectivity of mathematical knowledge: apparent objectivity and applications in science. Focusing on arithmetic, I analyze platonism and cognitive nativism in terms of explaining these two reasons. After establishing that both theories run into difficulties, I present an alternative epistemological account that combines the theoretical frameworks of enculturation and cumulative cultural evolution. I show that this account can explain why arithmetical knowledge appears to be objective and has scientific applications. Finally, I will argue (...) that, while this account is compatible with platonist metaphysics, it does not require postulating mind-independent mathematical objects. (shrink)

Linnebo in 2018 argues that abstract objects like numbers are “thin” because they are only required to be referents of singular terms in abstraction principles, such as Hume's principle. As the specification of existence claims made by analytic truths (the abstraction principles), their existence does not make any substantial demands of the world; however, as Linnebo notes, there is a potential counter-argument concerning infinite regress against introducing objects this way. Against this, he argues that vicious regress is avoided in the (...) account of arithmetic based on Hume's principle because we are specifying numbers in terms of the concept of equinumerosity, or its ordinal equivalent. But far from being only a matter for philosophy, this implies a distinct empirical prediction: in cognitive development, the principle of equinumerosity is primary to number concepts. However, by analysing and expanding on the bootstrapping theory of Carey in 2009, I argue in this paper that there are good reasons to think that the development could be the other way around: possessing numerosity concepts may precede grasping the principle of equinumerosity. I propose that this analysis of early numerical cognition can also help us understand what numbers as thin objects are like, moving away from Platonist interpretations. (shrink)

Beck presents an outline of the procedure of bootstrapping of integer concepts, with the purpose of explicating the account of Carey. According to that theory, integer concepts are acquired through a process of inductive and analogous reasoning based on the object tracking system, which allows individuating objects in a parallel fashion. Discussing the bootstrapping theory, Beck dismisses what he calls the "deviant-interpretation challenge"—the possibility that the bootstrapped integer sequence does not follow a linear progression after some point—as being general to (...) any account of inductive learning. While the account of Carey and Beck focuses on the OTS, in this paper I want to reconsider the importance of another empirically well-established cognitive core system for treating numerosities, namely the approximate number system. Since the ANS-based account offers a potential alternative for integer concept acquisition, I show that it provides a good reason to revisit the deviant-interpretation challenge. Finally, I will present a hybrid OTS-ANS model as the foundation of integer concept acquisition and the framework of enculturation as a solution to the challenge. (shrink)

Leading linguists and philosophers report on all aspects of compositionality, the notion that the meaning of an expression can be derived from its parts. This book explores every dimension of this field, reporting critically on different lines of research, revealing connections between them, and highlighting current problems and opportunities.

In this paper I study the development of arithmetical cognition with the focus on metaphorical thinking. In an approach developing on Lakoff and Núñez, I propose one particular conceptual metaphor, the Process → Object Metaphor, as a key element in understanding the development of mathematical thinking.

Why would we want to develop artificial human-like arithmetical intelligence, when computers already outperform humans in arithmetical calculations? Aside from arithmetic consisting of much more than mere calculations, one suggested reason is that AI research can help us explain the development of human arithmetical cognition. Here I argue that this question needs to be studied already in the context of basic, non-symbolic, numerical cognition. Analyzing recent machine learning research on artificial neural networks, I show how AI studies could potentially shed (...) light on the development of human numerical abilities, from the proto-arithmetical abilities of subitizing and estimating to counting procedures. Although the current results are far from conclusive and much more work is needed, I argue that AI research should be included in the interdisciplinary toolbox when we try to explain the development and character of numerical cognition and arithmetical intelligence. This makes it relevant also for the epistemology of mathematics. (shrink)

Traditional compatibilism about free will is widely considered to be untenable. In particular, the conditional analysis of the ability to do otherwise appears to be subject to clear counterexamples. I will propose a new version of traditional compatibilism that provides a conditional account of both the ability to do otherwise and the ability to choose to do otherwise, and I will argue that this view withstands the standard objections to traditional compatibilism. For this, I will assume with incompatibilists that the (...) mere possession of a general ability to do otherwise is not sufficient for having the ability that is required for free will. This concession distinguishes the view from the traditional conditional analysis and from recent dispositional accounts of the ability to do otherwise, and we will see that this concession enables a straightforward response to the counterexamples. This, in turn, will play a crucial role in my response to the strongest version of the consequence argument for incompatibilism. (shrink)

Although we frequently acquire knowledge and skills through social interactions, the focus of most research on learning is on individual learning. Here we characterize Interaction Based Learning, which represents the acquisition of knowledge or skill through social interactions, and compare it to Observational Learning —learning by observation. To that end, we designed a movement synchronization paradigm whereby participants learned Tai-Chi inspired movement sequences from trained teachers in two separated sessions. We used a motion capture system to track the movement of (...) 40 dyads comprised of a teacher and learner, who were randomly divided into OL or IBL groups, and calculated time-varying synchrony of three-dimensional movement velocity. While in the IBL group both the learner and the teacher could see each other through a transparent glass, in the OL group dyads interacted through a one-way mirror, such that the learners observed the teacher, but the teacher could not see the learners. Results show that although the number of movements recalled was not different between groups, we found improved movement smoothness in the IBL compared to the OL group, indicating movement acquisition was better in the IBL group. In addition, we found that motor synchronization levels in dyads improved over time, indicating that movement synchronization can be learned and retained. In the first session, the IBL group, but not the OL group, showed a significant improvement in synchronization. This suggests that dyadic interaction is important for learning movement sequences, and that bidirectional communication of signals and mutual feedback are essential for the consolidation of motor learning. (shrink)

In computational complexity theory, decision problems are divided into complexity classes based on the amount of computational resources it takes for algorithms to solve them. In theoretical computer science, it is commonly accepted that only functions for solving problems in the complexity class P, solvable by a deterministic Turing machine in polynomial time, are considered to be tractable. In cognitive science and philosophy, this tractability result has been used to argue that only functions in P can feasibly work as computational (...) models of human cognitive capacities. One interesting area of computational complexity theory is descriptive complexity, which connects the expressive strength of systems of logic with the computational complexity classes. In descriptive complexity theory, it is established that only first-order (classical) systems are connected to P, or one of its subclasses. Consequently, second-order systems of logic are considered to be computationally intractable, and may therefore seem to be unfit to model human cognitive capacities. This would be problematic when we think of the role of logic as the foundations of mathematics. In order to express many important mathematical concepts and systematically prove theorems involving them, we need to have a system of logic stronger than classical first-order logic. But if such a system is considered to be intractable, it means that the logical foundation of mathematics can be prohibitively complex for human cognition. In this paper I will argue, however, that this problem is the result of an unjustified direct use of computational complexity classes in cognitive modelling. Placing my account in the recent literature on the topic, I argue that the problem can be solved by considering computational complexity for humanly relevant problem solving algorithms and input sizes. (shrink)

Following Marr’s famous three-level distinction between explanations in cognitive science, it is often accepted that focus on modeling cognitive tasks should be on the computational level rather than the algorithmic level. When it comes to mathematical problem solving, this approach suggests that the complexity of the task of solving a problem can be characterized by the computational complexity of that problem. In this paper, I argue that human cognizers use heuristic and didactic tools and thus engage in cognitive processes that (...) make their problem solving algorithms computationally suboptimal, in contrast with the optimal algorithms studied in the computational approach. Therefore, in order to accurately model the human cognitive tasks involved in mathematical problem solving, we need to expand our methodology to also include aspects relevant to the algorithmic level. This allows us to study algorithms that are cognitively optimal for human problem solvers. Since problem solving methods are not universal, I propose that they should be studied in the framework of enculturation, which can explain the expected cultural variance in the humanly optimal algorithms. While mathematical problem solving is used as the case study, the considerations in this paper concern modeling of cognitive tasks in general. (shrink)

How is knowledge of geometry developed and acquired? This central question in the philosophy of mathematics has received very different answers. Spelke and colleagues argue for a “core cognitivist”, nativist, view according to which geometric cognition is in an important way shaped by genetically determined abilities for shape recognition and orientation. Against the nativist position, Ferreirós and García-Pérez have argued for a “culturalist” account that takes geometric cognition to be fundamentally a culturally developed phenomenon. In this paper, I argue that (...) when understood as moderate versions supported by the state-of-the-art research, the nativist and culturalist views are in fact possible to reconcile. While Ferreirós and García-Pérez present the work of Spelke and colleagues as implying that geometric cognition is genetically determined, I argue that they fail to appreciate the role that Spelke and colleagues see for cultural factors. On this basis, I provide theoretical and terminological clarifications and show that moderate versions of the nativist and culturalist view are in fact consistent with each other. I then propose a unifying theoretical framework for future study that can integrate the two accounts in ontogeny by moving beyond the crude nature (nativism) vs. nurture (culturalism) dichotomy. (shrink)

Many commentators hold that in addition to the categorical imperative of morality, Kant also posits an objective law of non-moral practical rationality, 'the' Hypothetical Imperative. On this view, the appeal to the Hypothetical Imperative increases the dialectical options that Kantians have vis-a-vis Humean skepticism about the authority of reason, and it allows for a systematic explanation of the possibility of non-moral weakness of will. I argue that despite its appeal, this interpretation cannot be sustained: for Kant the only objective, universally (...) valid a priori principle of practical reason that governs transcendentally free agents is the moral law. All non-moral practical rules are mere “precepts” that lack genuine objectivity, certainty, and intersubjective validity. I suggest that for Kant the rejection of the possibility of non-moral practical laws plays an important part in his argument for the supreme rational authority of moral norms over prudential precepts of happiness. (shrink)

This paper describes the interventions by the International Committee of the Red Cross to support a hospital in Afghanistan during the mid 1990s. We present elements of the interventions introduced in Ghazni, Afghanistan, and consider a number of ethical issues stimulated by this analysis. Ethical challenges arise whenever humanitarian interventions to deal with complex political emergencies are undertaken: among those related to the case study presented are questions concerning: a) whether humanitarian support runs the risk of propping up repressive and (...) irresponsible governments; b) whether humanitarian relief activities can legitimately focus on a narrow range of interventions, or need to broaden to address the range of challenges facing the health system; and c) whether sustainability and quality of care should be routinely considered in such settings. The paper concludes by highlighting the value of case studies, suggesting mechanisms for extending transparency and accountability in humanitarian health interventions, and highlighting the need of contextualising humanitarian work if the interventions are to be successful. (shrink)

"Die anthropologische Differenz" befasst sich mit dem Geist der Tiere in der frühneuzeitlichen Philosophie und dem Problem der anthropologischen Differenz zwischen Mensch und Tier. Anhand des Gemäldes Las Meninas werden einleitend die Antwortstrategien auf die Frage nach der Mensch-Tier-Unterscheidung aufgezeigt. Montaignes Verteidigung der Tiervernunft setzt sich skeptisch von einem aristotelischen Hintergrund ab. Descartes schlägt eine folgenreiche Betrachtungsweise vor: Tiere als Maschinen. Humes naturalistischer Betrachtungsweise unseres Geistes setzt sich von Descartes ab und greift auf montaignesche Überlegungen zurück. In der Neuzeit etablieren (...) sich zwei grundsätzliche Positionen, die Tier und Mensch entweder weit voneinander entfernt oder eng zusammenführt. Diese Positionen beherrschen auch einen wichtigen Teil der gegenwärtigen Debatte. Der Geist der Tiere ist philosophisch kein Seitenthema, im Gegenteil. (shrink)

Hutto and Myin have proposed an account of radically enactive (or embodied) cognition (REC) as an explanation of cognitive phenomena, one that does not include mental representations or mental content in basic minds. Recently, Zahidi and Myin have presented an account of arithmetical cognition that is consistent with the REC view. In this paper, I first evaluate the feasibility of that account by focusing on the evolutionarily developed proto-arithmetical abilities and whether empirical data on them support the radical enactivist view. (...) I argue that although more research is needed, it is at least possible to develop the REC position consistently with the state-of-the-art empirical research on the development of arithmetical cognition. After this, I move the focus to the question whether the radical enactivist account can explain the objectivity of arithmetical knowledge. Against the realist view suggested by Hutto, I argue that objectivity is best explained through analyzing the way universal proto-arithmetical abilities determine the development of arithmetical cognition. (shrink)

One main challenge of non-platonist philosophy of mathematics is to account for the apparent objectivity of mathematical knowledge. Cole and Feferman have proposed accounts that aim to explain objectivity through the intersubjectivity of mathematical knowledge. In this paper, focusing on arithmetic, I will argue that these accounts as such cannot explain the apparent objectivity of mathematical knowledge. However, with support from recent progress in the empirical study of the development of arithmetical cognition, a stronger argument can be provided. I will (...) show that since the development of arithmetic is (partly) determined by biologically evolved proto-arithmetical abilities, arithmetical knowledge can be understood as maximally intersubjective. This maximal intersubjectivity, I argue, can lead to the experience of objectivity, thus providing a solution to the problem of reconciling non-platonist philosophy of mathematics with the (apparent) objectivity of mathematical knowledge. (shrink)

This paper presents the Constraint Language for Lambda Structures(CLLS), a first-order language for semantic underspecification thatconservatively extends dominance constraints. It is interpreted overlambda structures, tree-like structures that encode -terms. Based onCLLS, we present an underspecified, uniform analysis of scope,ellipsis, anaphora, and their interactions. CLLS solves a variablecapturing problem that is omnipresent in scope underspecification andcan be processed efficiently.

The doctrine that meanings are entitieswith a determinate and independent reality is often believed tohave been undermined by Quine's thought experiment of radicaltranslation, which results in an argument for the indeterminacy oftranslation. This paper argues to the contrary. Starting fromQuine's assumption that the meanings of observation sentences arestimulus meanings, i.e., set-theoretical constructions of neuronalstates uniquely determined by inter-subjectively observable facts,the paper shows that this meaning assignment, up to isomorphism,is uniquely extendable to all expressions that occur inobservation sentences. To do so, (...) a theorem recently proven byHodges is used. To derive the conclusion, one only has to assumethat languages are compositional, abide by a generalized contextprinciple and by what I call the category principle. Theseassumptions originating in Frege and Husserl are coherent withQuine's overall position. It is concluded that Quine'snaturalistic approach does not justify scepticism with regard tomeaning, but should rather result in a view that affiliatessemantics with neuroscience. (shrink)

The paper argues that cognitive states of biological systems are inherently temporal. Three adequacy conditions for neuronal models of representation are vindicated: the compositionality of meaning, the compositionality of content, and the co-variation with content. Classicist and connectionist approaches are discussed and rejected. Based on recent neurobiological data, oscillatory networks are introduced as a third alternative. A mathematical description in a Hilbert space framework is developed. The states of this structure can be regarded as conceptual representations satisfying the three conditions.

The articles in this special issue of the yearbook Logical Analysis and History of Philosophy all concern, in one way or another, Hume’s epistemology and metaphysics. There are discussions of our knowledge of causal powers, the extent to which conceivability is a guide to modality, and testimony; there are also discussions of our ideas of space and time, the role in Hume’s thought of the psychological mechanism of ‘completing the union’, the role of impressions, and Hume’s argument against the claim (...) that our perceptions are ‘locally conjoined’ with any entity (namely, a soul). (shrink)

Recently the functional model of reduction has become something like the standard model of reduction in philosophy of mind. In this paper, I argue that the functional model fails as an account of reduction due to problems related to three key concepts: functionalization, realization and causation. I further argue that if we try to revise the model in order to make it more coherent and scientifically plausible, the result is merely a simplified version of what in philosophy of science is (...) known as mechanistic explanation. Hence, instead of analyzing reduction in philosophy of mind in terms of functional reduction, it should be analyzed in terms of mechanistic explanation. (shrink)

In a recent paper in 'Social Epistemology' Dimitri Ginev aims to show that Ludwik Fleck uses transcendental arguments in two contexts in his work that are closely intertwined: the context of comparative cognitive sociology and the context of socio-historical epistemology. I am skeptical about Ginev’s interpretation and my aim is to show that at least the part of Ginev’s argument in which he aims to show Fleck’s use of transcendental arguments in the context of socio-historical epistemology is not convincing. To (...) my mind, a much better interpretation of Fleck’s argument in this context is to see Fleck as using scientisticinstead of transcendental arguments. (shrink)

A systems theory for chemistry is proposed in order to provide a general framework, which covers different theoretical approaches used in the molecular sciences.The basic elements of systems theory are introduced and discussed.By construction, this systems chemistry offers classification and categorizationschemes that will help to identify the range of applicability of certain theoretical approachesas well as to find yet unanswered fundamental questions. Consequently, it will be of value not only to thosewho want to understand and study the structure of chemistry, (...) but it might also be of importance to daily research in chemistry. (shrink)

A fundamental and bold claim of Portmann’s philosophy of biology is a thesis about the autonomy of self-representation of all living beings: “Self-presentation has to be understood as a basic fact of life, on a par with self-maintenance and the preservation of the species.” In other words, the perceivable appearance of organisms cannot be reduced to its chemical, physiological, morphological or functional causes, but must be understood as a phenomenon in its own right. The aim of the following contribution is (...) threefold. First, it aims at establishing the relevant context for the bold claim by embedding the claim in Portmann’s broader view of biology. Secondly, it aims at reconstructing Portmann’s rather scattered argument for the bold claim by recasting it as an appeal to what Portmann calls “unaddressed authentic appearances”. Finally, it presents Portmann’s partly phenomenological approach to biological phenomena as a reluctant relative of Goethe’s approach, thereby claiming that Portmann is no advocate of a genuine Goethean science of nature. (shrink)

1. Bd. Die Grundlagen. Die spezielle Relativitätstheorie.- 2. Bd. Die allgemeine Relativitätstheorie.

In early analytic philosophy, one of the most central questions concerned the status of arithmetical objects. Frege argued against the popular conception that we arrive at natural numbers with a psychological process of abstraction. Instead, he wanted to show that arithmetical truths can be derived from the truths of logic, thus eliminating all psychological components. Meanwhile, Dedekind and Peano developed axiomatic systems of arithmetic. The differences between the logicist and axiomatic approaches turned out to be philosophical as well as mathematical. (...) In this paper, I will argue that Dedekind’s approach can be seen as a precursor to modern structuralism and as such, it enjoys many advantages over Frege’s logicism. I also show that from a modern perspective, Frege’s criticism of abstraction and psychologism is one-sided and fails against the psychological processes that modern research suggests to be at the heart of numerical cognition. The approach here is twofold. First, through historical analysis, I will try to build a clear image of what Frege’s and Dedekind’s views on arithmetic were. Then, I will consider those views from the perspective of modern philosophy of mathematics, and in particular, the empirical study of arithmetical cognition. I aim to show that there is nothing to suggest that the axiomatic Dedekind approach could not provide a perfectly adequate basis for philosophy of arithmetic. (shrink)

The Southern Journal of Philosophy, EarlyView.