This paper explores whether it is possible to reformulate or re-interpret Lewis’s theory of fundamental laws of nature—his “best system analysis”—in such a way that it becomes a useful theory for special science laws. One major step in this enterprise is to make plausible how law candidates within best system competitions can tolerate exceptions—this is crucial because we expect special science laws to be so called “ceteris paribus laws ”. I attempt to show how this is possible and also how (...) we can thereby make the first step towards a solution for the infamous difficulties surrounding the troublesome ceteris paribus clause. The paper outlines the general ideas of the theory but also points out some of its difficulties and background assumptions. (shrink)

One of the most fundamental questions in the philosophy of mathematics concerns the relation between truth and formal proof. The position according to which the two concepts are the same is called deflationism, and the opposing viewpoint substantialism. In an important result of mathematical logic, Kurt Gödel proved in his first incompleteness theorem that all consistent formal systems containing arithmetic include sentences that can neither be proved nor disproved within that system. However, such undecidable Gödel sentences can be established to (...) be true once we expand the formal system with Alfred Tarski s semantical theory of truth, as shown by Stewart Shapiro and Jeffrey Ketland in their semantical arguments for the substantiality of truth. According to them, in Gödel sentences we have an explicit case of true but unprovable sentences, and hence deflationism is refuted. -/- Against that, Neil Tennant has shown that instead of Tarskian truth we can expand the formal system with a soundness principle, according to which all provable sentences are assertable, and the assertability of Gödel sentences follows. This way, the relevant question is not whether we can establish the truth of Gödel sentences, but whether Tarskian truth is a more plausible expansion than a soundness principle. In this work I will argue that this problem is best approached once we think of mathematics as the full human phenomenon, and not just consisting of formal systems. When pre-formal mathematical thinking is included in our account, we see that Tarskian truth is in fact not an expansion at all. I claim that what proof is to formal mathematics, truth is to pre-formal thinking, and the Tarskian account of semantical truth mirrors this relation accurately. -/- However, the introduction of pre-formal mathematics is vulnerable to the deflationist counterargument that while existing in practice, pre-formal thinking could still be philosophically superfluous if it does not refer to anything objective. Against this, I argue that all truly deflationist philosophical theories lead to arbitrariness of mathematics. In all other philosophical accounts of mathematics there is room for a reference of the pre-formal mathematics, and the expansion of Tarkian truth can be made naturally. Hence, if we reject the arbitrariness of mathematics, I argue in this work, we must accept the substantiality of truth. Related subjects such as neo-Fregeanism will also be covered, and shown not to change the need for Tarskian truth. -/- The only remaining route for the deflationist is to change the underlying logic so that our formal languages can include their own truth predicates, which Tarski showed to be impossible for classical first-order languages. With such logics we would have no need to expand the formal systems, and the above argument would fail. From the alternative approaches, in this work I focus mostly on the Independence Friendly (IF) logic of Jaakko Hintikka and Gabriel Sandu. Hintikka has claimed that an IF language can include its own adequate truth predicate. I argue that while this is indeed the case, we cannot recognize the truth predicate as such within the same IF language, and the need for Tarskian truth remains. In addition to IF logic, also second-order logic and Saul Kripke s approach using Kleenean logic will be shown to fail in a similar fashion. (shrink)

In Pantsar (2014), an outline for an empirically feasible epistemological theory of arithmetic is presented. According to that theory, arithmetical knowledge is based on biological primitives but in the resulting empirical context develops an essentially a priori character. Such contextual a priori theory of arithmetical knowledge can explain two of the three characteristics that are usually associated with mathematical knowledge: that it appears to be a priori and objective. In this paper it is argued that it can also explain the (...) ... (shrink)

This chapter reviews empirical research on the rules governing assertion and retraction, with a focus on the normative role of truth. It examines whether truth is required for an assertion to be considered permissible, and whether there is an expectation that speakers retract statements that turn out to be false. Contrary to factive norms (such as the influential “knowledge norm”), empirical data suggests that there is no expectation that speakers only make true assertions. Additionally, contrary to truth-relativist accounts, there is (...) no requirement for speakers to retract statements that are false at the context of assessment. We conclude by suggesting that truth still plays a crucial role in the evaluation of assertions: as a standard for evaluating their success, rather than permissibility. (shrink)

The causal theory of action has been the standard view in the philosophy of action and mind. In this chapter, I will present responses to two challenges to the theory. The first says, basically, that there is no positive argument in favour of the causal theory, as the only reason that supports it consists in the apparent lack of tenable alternatives. The second challenge says that the theory fails to capture the phenomenon of agency, as it reduces activity to mere (...) happenings (events and event-causal processes). This is often referred to as the problem of "disappearing agency". My main aim is to show that there is no problem of disappearing agency, and we will see that my response to the first challenge will be conducive to this end. I will present a positive argument for the causal theory on the basis of considerations concerning the metaphysics of agency, and I will suggest that we "own" the agency that springs from our mental states and events "by default". (shrink)

Many philosophers of science think that most laws of nature (even those of fundamental physics) are so called ceteris paribus laws, i.e., roughly speaking, laws with exceptions. Yet, the ceteris paribus clause of these laws is problematic. Amongst the more infamous difficulties is the danger that 'For all x: Fx ⊃ Gx, ceteris paribus' may state no more than a tautology: 'For all x: Fx ⊃ Gx, unless not'. One of the major attempts to avoid this problem (and others concerning (...) ceteris paribus laws) is to claim that the subject matter of laws are ascriptions of dispositions, powers, capacities etc., and not the regular behaviour we find in nature. That we do not know whether the cetera are paria in a specific situation does not matter to the dispositionalist because the objects have the disposition regardless of the circumstances. The defence of the latter claim is that dispositions can be instantiated without being manifested. Hence, the laws that ascribe dispositions are strict and it looks as if they do not face the above mentioned problems of ceteris paribus laws. In this essay I attempt to show that these assumptions are wrong. I hope to illustrate that not only does the ceteris paribus clause reoccur inside the dispositions, moreover, there are laws—laws about non-fundamental entities with instable dispositions—which bear a ceteris paribus clause that cannot be hidden in a disposition. (shrink)

Previous research in Explainable Artificial Intelligence (XAI) suggests that a main aim of explainability approaches is to satisfy specific interests, goals, expectations, needs, and demands regarding artificial systems (we call these “stakeholders' desiderata”) in a variety of contexts. However, the literature on XAI is vast, spreads out across multiple largely disconnected disciplines, and it often remains unclear how explainability approaches are supposed to achieve the goal of satisfying stakeholders' desiderata. This paper discusses the main classes of stakeholders calling for explainability (...) of artificial systems and reviews their desiderata. We provide a model that explicitly spells out the main concepts and relations necessary to consider and investigate when evaluating, adjusting, choosing, and developing explainability approaches that aim to satisfy stakeholders' desiderata. This model can serve researchers from the variety of different disciplines involved in XAI as a common ground. It emphasizes where there is interdisciplinary potential in the evaluation and the development of explainability approaches. (shrink)

According to the standard view in philosophy, intentionality is the mark of genuine action. In psychology, human cognition and agency are now widely explained in terms of the workings of two distinct systems (or types of processes), and intentionality is not a central notion in this dual-system theory. Further, it is often claimed, in psychology, that most human actions are automatic, rather than consciously controlled. This raises pressing questions. Does the dual-system theory preserve the philosophical account of intentional action? How (...) much of our behavior is intentional according to this view? And what is the role of consciousness? I will propose here a revised account of intentional action within the dual-system framework, and we will see that most of our behavior can qualify as intentional, even if most of it is automatic. An important lesson will be that philosophical accounts of intentional action need to pay more attention to the role of consciousness in action. (shrink)

The idea of levels of organization plays a central role in the philosophy of the life sciences. In this article, I first examine the explanatory goals that have motivated accounts of levels of organization. I then show that the most state-of-the-art and scientifically plausible account of levels of organization, the account of levels of mechanism proposed by Bechtel and Craver, is fundamentally problematic. Finally, I argue that the explanatory goals can be reached by adopting a deflationary approach, where levels of (...) organization give way to more well-defined and fundamental notions, such as scale and composition. (shrink)

Intellectual humility can be broadly construed as being conscious of the limits of one’s existing knowledge and capable to acquire more knowledge, which makes it a key virtue of the information age. However, the claim “I am (intellectually) humble” seems paradoxical in that someone who has the disposition in question would not typically volunteer it. There is an explanatory gap between the meaning of the sentence and the meaning the speaker ex- presses by uttering it. We therefore suggest analyzing intellectual (...) humility semantically, using a psycholexical approach that focuses on both synonyms and antonyms of ‘intellectual humili- ty’. We present a thesaurus-based methodology to map the semantic space of intellectual hu- mility and the vices it opposes as a heuristic to support philosophical and psychological anal- ysis of this disposition. We performed the mapping both in English and German in order to test for possible cultural differences in the understanding of intellectual humility. In both lan- guages, we find basically the same three semantic dimensions of intellectual humility (sensi- bility, discreetness, and knowledge dimensions) as well as three dimensions of its related vic- es (self-overrating, other-underrating and dogmatism dimensions). The resulting semantic clusters were validated in an empirical study with English (n=276) and German (n=406) par- ticipants. We find medium to high correlations (0.54-0.72) between thesaurus similarity and perceived similarity, and we can validate the labels of the three dimensions identified in the study. But we also find indications of the limitations of the thesaurus methodology in terms of cluster plausibility. We conclude by discussing the importance of these findings for construct- ing psychometric scales for intellectual humility. (shrink)

I argue for the possibility of a proprioceptive art in addition to, for example, visual or auditory arts, where aspects of some martial arts will serve as examples of that art form. My argument is inspired by a thought of Ted Shawn’s, one of the pioneers of American modern dance: "Dance is the only art wherein we ourselves are the stuff in which it is made.” In a first step, I point out that in some practices of martial arts (in (...) the paper I will introduce “hyongs” & “katas”), we are, too, the stuff these performances are made of. Second, I show that we, as martial arts practitioners, are not in the first place visual or auditorial observers (as common in painting or music or ballet) but introspective, proprioceptive perceivers of our bodies and their movements. (As a corollary we get that we are, in such a case, necessarily our exclusive audience.) In an third crucial step, I show that the martial arts practices referred to, hyongs & katas, and especially the proprioceptive aspects thereof, can indeed count as art. Thus, proprioceptive art is possible because some practices of some martial arts are actual existing examples of that art form. (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)

The verification theory of meaning aims to characterise what it is for a sentence to be meaningful and also what kind of abstract object the meaning of a sentence is. A brief outline is given by Rudolph Carnap, one of the theory's most prominent defenders: If we knew what it would be for a given sentence to be found true then we would know what its meaning is. [...] thus the meaning of a sentence is in a certain sense identical (...) with the way we determine its truth or falsehood; and a sentence has meaning only if such a determination is possible. [4: 420] In short, the verification theory of meaning claims that the meaning of a sentence is the method of its verification. (shrink)

In this paper, I study the kind of questions we can ask about the existence of numbers. In addition to asking whether numbers exist, and how, I argue that there is also a third relevant question: why numbers exist. In platonist and nominalist accounts this question may not make sense, but in the psychologist account I develop, it is as well-placed as the other two questions. In fact, there are two such why-questions: the causal why-question asks what causes numbers to (...) exist and the teleological why-question asks for what purpose numbers exist. I argue that in a psychologist constructivist account, in which numbers are understood to exist as referents of a particular type of culturally shared concepts, both why-questions can get plausible answers. (shrink)

In this paper, I study how mathematicians are presented in western popular culture. I identify five stereotypes that I test on the best-known modern movies and television shows containing a significant amount of mathematics or important mathematician characters: (1) Mathematics is highly valued as an intellectual pursuit. (2) Little attention is given to the mathematical content. (3) Mathematical practice is portrayed in an unrealistic way. (4) Mathematicians are asocial and unable to enjoy normal life. (5) Higher mathematics is ...

The striking difference between the orthodox nomological necessitation view of laws and the claims made recently by Scientific Essentialism is that on the latter interpretation laws are metaphysically necessary while they are contingent on the basis of the former. This shift is usually perceived as an upgrading: essentialism makes the laws as robust as possible. The aim of my paper—in which I contrast Brian Ellis’s Scientific Essentialism and David Armstrong’s theory of nomological necessity—is threefold. (1) I first underline the familiar (...) fact that metaphysical necessity (of Kripkean “water is necessarily H2O” kind) is not a stronger kind of necessity than nomological necessity but an entirely different kind of thing: nomological, but not metaphysical necessity, is an intra-world necessitation which Armstrong (almost) identifies with causation; metaphysical, but not nomological necessitation, has a canonical link to possible world considerations and counterfactual reasoning. Hence, the change from one necessity to the other is not an upgrading but a substantial shift. (2) I will explain how the essentialists, who promote this shift, are nonetheless able to retain the features of nomological necessity. (3) I also explore, for both the essentialist and the Armstrongian, whether they could extract a modal force from intra-world nomological necessity which it does not have per se. I argue that such a modal force is, indeed, obtainable for them. I will close the paper with some remarks and questions about the relation between Kripkean metaphysical necessity and the modal version of nomological necessity as defined in (3). (shrink)

Like all causal theories in philosophy, the causal theory of action is plagued by the problem of deviant causal chains. I have proposed a solution on the basis of the assumption that mental states and events are causally efficacious in virtue of their contents. This solution has been questioned by Torbjörn Tännsjö (2009). First, I will reply to the objection, and then I will discuss Tännsjö’s alternative.

This paper proposes and defends an account of what it is to act for reasons. In the first part, I will discuss the desire-belief and the deliberative model of acting for reasons. I will argue that we can avoid the weaknesses and retain the strengths of both views, if we pursue an alternative according to which acting for reasons involves taking something as a reason. In the main part, I will develop an account of what it is to take something (...) as a reason for action. On the basis of this, I will then offer a new account of what it is to act for reasons. (shrink)

This paper is about the causal exclusion argument against non-reductive physicalism. Many philosophers think that this argument poses a serious problem for non-reductive theories of the mind — some think that it is decisive against them. In the first part I will outline non-reductive physicalism and the exclusion argument. Then I will distinguish between three versions of the argument that address three different versions of non-reductive physicalism. According to the first, the relation between mental and physical events is token-identity. According (...) to the second, mental events are distinct from physical events, but the latter metaphysically include and determine the former. And on the third version, mental and physical events are entirely distinct. I will argue that the causal exclusion argument is not decisive against non-reductive physicalism in any of the three versions. According to non-reductive physicalism, mental events are dependent on physical events. Causal exclusion and overdetermination, however, requires distinct and independent causes. I will argue that the burden of proof lies with the opponents of non-reductive physicalism, who have to explain how metaphysically dependent events can possibly overdetermine an effect or exclude each other from being causally efficacious. (shrink)

AI technology promises to be both the most socially important and the most profitable technology of a generation. At the same time, the control over – and profits from – the technology is highly concentrated to a handful of large tech companies. This chapter discusses whether bringing AI technology under collective ownership and control is an attractive way of counteracting this development. It discusses justice-based rationales for collective ownership, such as the claim that, since the training of AI systems relies (...) on a form of enclosing of the data commons, the value created by those systems should be fairly distributed. It also considers democracy-based rationales, like the suggestion that collective ownership is needed to ensure democratic control over the way this crucial technology is being developed and deployed. The paper also discusses possible forms of collective ownership, like publicly funded advanced AI research and democratically controlled AI companies. It concludes that the case for shifting to a model with collective ownership is the most compelling when based on the concern that the private model could come to concentrate economic and political power to such a degree that it threatens institutions designed to promote justice and democracy. (shrink)

Abstract In the new millennium there have been important empirical developments in the philosophy of mathematics. One of these is the so-called “Empirical Philosophy of Mathematics”(EPM) of Buldt, Löwe, Müller and Müller-Hill, which aims to complement the methodology of the philosophy of mathematics with empirical work. Among other things, this includes surveys of mathematicians, which EPM believes to give philosophically important results. In this paper I take a critical look at the sociological part of EPM as a case study of (...) ... (shrink)

Although there is an ongoing controversy in philosophy of science about so called ceteris paribus laws that is, roughly, about laws with exceptionsóa fundamental question about those laws has been neglected (ß2). This is due to the fact that this question becomes apparent only if two different readings of ceteris paribus clauses in laws have been separated. The first reading of ceteris paribus clauses, which I will call the epistemic reading, covers applications of laws: predictions, for example, might go wrong (...) because we do not know all the relevant factors which are causally effective in relevant situation. The second reading, which I will call the metaphysical reading, is concerned with the laws themselves and their possible exceptions (ß3). It is this latter readingóand the funda- mental question associated with itówhich has been neglected due to the confusion of the two readings (ß4): if we leave epistemic issues aside is there at all conceptual space left for a notion of laws of nature which allows the laws themselves to have exceptions? I call a law with exceptions in this sense, if such there is, a real ceteris paribus law. To tackle this question, I distinguish grounded laws from non-grounded laws (ß5). A grounded law is, roughly, a law about structured entities where the properties of the parts of that structure figure themselves in laws of nature (ß6). I will claim that, since the substructure of such an entity can be damaged, grounded laws themselves can face exceptions. Hence, they are candidates to be real (metaphysical) ceteris paribus laws in the sense of my central question. I will discuss grounded laws and their exceptions in detail (ß7, ß8, ß9). For reasons of space, the further question whether we can even have a notion of fun- damental (non-grounded) laws that allows for exceptions cannot be discussed here. I will, however, give a positive answer and also outline how I have argued for that claim elsewhere (ß10). (shrink)

In “How Art Teaches: A Lesson from Goodman”, Markus Lammenranta inquires if and how artworks can convey propositional knowledge about the world. Lammenranta argues that the cognitive role of art can be explained by revising Nelson Goodman’s theory of symbols. According to Lammenranta, the problem of Goodman’s theory is that, despite providing an account of art’s symbolic function, it denies art the possibility of mediating propositional knowledge. Lammenranta claims that Goodman’s theory can be augmented by enlarging it with an (...) account of direct reference developed by Bertrand Russell and contemporary philosophy of language. On this basis, an expanded version of Goodman’s theory can explain how artworks can express propositions even without being linguistic, representational, or non-fictive. Lammenranta explicates his theory by explaining how abstract paintings and literary fictions can mediate propositional claims about the actual, everyday world. (shrink)

The potential capacity for robots to deceive has received considerable attention recently. Many papers explore the technical possibility for a robot to engage in deception for beneficial purposes (e.g., in education or health). In this short experimental paper, I focus on a more paradigmatic case: robot lying (lying being the textbook example of deception) for nonbeneficial purposes as judged from the human point of view. More precisely, I present an empirical experiment that investigates the following three questions: (a) Are ordinary (...) people willing to ascribe deceptive intentions to artificial agents? (b) Are they as willing to judge a robot lie as a lie as they would be when human agents engage in verbal deception? (c) Do people blame a lying artificial agent to the same extent as a lying human agent? The response to all three questions is a resounding yes. This, I argue, implies that robot deception and its normative consequences deserve considerably more attention than they presently receive. (shrink)

In the first part I argue that Buddhism and Hinduism can be unified by a Pure Consciousness thesis, which says that the nature of ultimate reality is an unconditioned and pure consciousness and that the phenomenal world is a mere appearance of pure consciousness. In the second part I argue that the Pure Consciousness thesis can be supported by an argument from quantum physics. According to our best scientific theories, the fundamental nature of reality consists of quantum fields, and it (...) seems that quantum fields have merely particle-like appearances—particles seem to be mere epiphenomena. This interpretation can be generalized. There appear to be individual entities, small and large, and their ontological reality is precisely what it appears to be—they are mere appearances. (shrink)

Is justice (merely) an expression of particular values or is it to be understood as a (universal) cross-cultural standard of validity? Following the ideas of Jacques Derrida, this book provides a new answer to this question: Justice is to be explained as a process of deconstruction. To arrive at this conclusion, I proceed from a critical discussion of Martin Heidegger's approach to social philosophy in Being and Time which I connect with a detailed analysis of the implications of Derrida's writings (...) on practical philosophy aspiring to provide a variety of insights, both critical and constructive, into the cultural and normative foundations of democracy. Thematically, the book bridges the frontiers between the philosophy of law, cultural and social philosophy, ethics and political theory, focusing on fundamental questions of the constitution of normativity, responsibility and justification. In this way, my reading of Heidegger and Derrida aims to shed light on the nature of the political problems that concern our societies today. The file contains the table of contents and the first two (introductory) chapters, the introductions of the remaining chapters, as well as the concluding remarks (in German). (shrink)

The potential capacity for robots to deceive has received considerable attention recently. Many papers focus on the technical possibility for a robot to engage in deception for beneficial purposes (e.g. in education or health). In this short experimental paper, I focus on a more paradigmatic case: Robot lying (lying being the textbook example of deception) for nonbeneficial purposes as judged from the human point of view. More precisely, I present an empirical experiment with 399 participants which explores the following three (...) questions: (i) Are ordinary people willing to ascribe intentions to deceive to artificial agents? (ii) Are they as willing to judge a robot lie as a lie as they would be when human agents engage in verbal deception? (iii) Do they blame a lying artificial agent to the same extent as a lying human agent? The response to all three questions is a resounding yes. This, I argue, implies that robot deception and its normative consequences deserve considerably more attention than it presently attracts. (shrink)

Intellectual humility is an interesting but underexplored disposition. The claim “I am (intellectually) humble” seems paradoxical in that someone who has the disposition in question would not typically volunteer it. There is an explanatory gap between the meaning of the sentence and the meaning the speaker expresses by uttering it. We therefore suggest analyzing intellectual humility semantically, using a psycholexical approach that focuses on both synonyms and antonyms of ‘intellectual humility’. We present a thesaurus-based method to map the semantic space (...) of intellectual humility as a heuristic to support philosophical and psychological analysis of this disposition. We find three semantic clusters that compose intellectual humility: the sensible self, the discreet self, and the inquisitive self; likewise, we find three clusters that compose its contraries: the overrated self, the underrated other, and the underrated self. (shrink)

Benjamin Libet’s work paved the way for the neuroscientific study of free will. Other scientists have praised this research as groundbreaking. In philosophy, the reception has been more negative, often even dismissive. First, I will propose a diagnosis of this striking discrepancy. I will suggest that the experiments seem irrelevant, from the perspective of philosophy, due to the way in which they operationalize free will. In particular, I will argue that this operational definition does not capture free will properly and (...) that it is based on a false dichotomy between internal and external causes. However, I will also suggest that this problem could be overcome, as there are no obvious obstacles to an operationalization of free will that is in accord with the philosophical conception of free will. (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)

The basic human ability to treat quantitative information can be divided into two parts. With proto-arithmetical ability, based on the core cognitive abilities for subitizing and estimation, numerosities can be treated in a limited and/or approximate manner. With arithmetical ability, numerosities are processed (counted, operated on) systematically in a discrete, linear, and unbounded manner. In this paper, I study the theory of enculturation as presented by Menary (2015) as a possible explanation of how we make the move from the proto-arithmetical (...) ability to arithmetic proper. I argue that enculturation based on neural reuse provides a theoretically sound and fruitful framework for explaining this development. However, I show that a comprehensive explanation must be based on valid theoretical distinctions and involve several stages in the development of arithmetical knowledge. I provide an account that meets these challenges and thus leads to a better understanding of the subject of enculturation. (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)

It is widely thought that philosophical behaviorism is an untenable and outdated theory of mind. It is generally agreed, in particular, that the view generates a vicious circularity problem. There is a standard solution to this problem for functionalism, which utilizes the formulation of Ramsey sentences. I will show that this solution is also available for behaviorism if we allow quantification over the causal bases of behavioral dispositions. Then I will suggest that behaviorism differs from functionalism mainly in its commitment (...) to anti-representationalism, and I will offer two new objections to anti-representationalism. The first will be based on considerations concerning the contents of desires and intentions. The second objection concerns inner speech and mental imagery. We will see that the objections are of relevance to contemporary debates, as they apply with equal force to the currently popular anti-representationalist versions of embodied and enactive cognition. (shrink)

Buddhism and Hinduism appear to be separated by irreconcilable differences. I argue that this apparent gulf can be overcome. The argument has three main parts. First, I argue that the Buddhist doctrine of dependent arising is not a metaphysical principle of real causation, but a principle of fabrication. Second, I argue that this interpretation of dependent arising enables a unification of the main schools of Buddhism. Third, I argue that Buddhism can be unified fully with Advaita Vedānta, the most important (...) philosophical school of Hinduism, and I argue that a substantial unity can be established between Buddhism and the three main schools of Vedānta. In particular, Buddhism and Vedānta can agree that the highest aim and good consists in the direct realization of an unconditioned and pure mind or consciousness. (shrink)

Recent years have seen an explosion of empirical data concerning arithmetical cognition. In this paper that data is taken to be philosophically important and an outline for an empirically feasible epistemological theory of arithmetic is presented. The epistemological theory is based on the empirically well-supported hypothesis that our arithmetical ability is built on a protoarithmetical ability to categorize observations in terms of quantities that we have already as infants and share with many nonhuman animals. It is argued here that arithmetical (...) knowledge developed in such a way cannot be totally conceptual in the sense relevant to the philosophy of arithmetic, but neither can arithmetic understood to be empirical. Rather, we need to develop a contextual a priori notion of arithmetical knowledge that preserves the special mathematical characteristics without ignoring the roots of arithmetical cognition. Such a contextual a priori theory is shown not to require any ontologically problematic assumptions, in addition to fitting well within a standard framework of general epistemology. (shrink)

In the Metaphysics of Morals, Kant declares that virtue “can and must be taught.” This claim raises two problems. First, it is in tension with Kant’s emphasis on the absolute moral responsibility that each individual agent owes to her transcendental freedom. Second, it raises the question of how the empirical events that constitute moral education can have an impact on atemporal moral choices. Concerning the second issue, I argue that Kant has a coherent framework for representing how empirical conditions can (...) influence (“affect”) the noumenal will without determining it to action. Regarding the first problem, I argue that although a good moral education is mostly only a facilitating rather than a strictly necessary condition for moral virtue, there is one moral capacity that does require good moral teaching: namely, the practical power of judgment that correctly applies wide, general duties of virtue to particular cases. (shrink)

Increasingly complex and autonomous systems require machine ethics to maximize the benefits and minimize the risks to society arising from the new technology. It is challenging to decide which type of ethical theory to employ and how to implement it effectively. This survey provides a threefold contribution. First, it introduces a trimorphic taxonomy to analyze machine ethics implementations with respect to their object (ethical theories), as well as their nontechnical and technical aspects. Second, an exhaustive selection and description of relevant (...) works is presented. Third, applying the new taxonomy to the selected works, dominant research patterns, and lessons for the field are identified, and future directions for research are suggested. (shrink)

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.

Frames, i.e., recursive attribute-value structures, are a general format for the decomposition of lexical concepts. Attributes assign unique values to objects and thus describe functional relations. Concepts can be classified into four groups: sortal, individual, relational and functional concepts. The classification is reflected by different grammatical roles of the corresponding nouns. The paper aims at a cognitively adequate decomposition, particularly, of sortal concepts by means of frames. Using typed feature structures, an explicit formalism for the characterization of cognitive frames is (...) developed. The frame model can be extended to account for typicality effects. Applying the paradigm of object-related neural synchronization, furthermore, a biologically motivated model for the cortical implementation of frames is developed. Cortically distributed synchronization patterns may be regarded as the fingerprints of concepts. (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.

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)

We propose a multi-step evaluation schema designed to help procurement agencies and others to examine the ethical dimensions of autonomous systems to be applied in the security sector, including autonomous weapons systems.

It is widely believed that at least two developments in the last third of the 20th century have given dispositionalism—the view that powers, capacities, potencies, etc. are irreducible real properties—new credibility: (i) the many counterexamples launched against reductive analyses of dispositional predicates in terms of counterfactual conditionals and (ii) a new anti-Humean faith in necessary connections in nature which, it is said, owes a lot to Kripke’s arguments surrounding metaphysical necessity. I aim to show in this paper that necessity is, (...) in fact, of little help for the dispositionalists. My argument makes use of one of the above mentioned counterexamples against Humean reduction: antidotes. Turning the tables, I ask how the dispositionalists themselves can deal with antidotes. The result will be to show that if the dispositionalists are to demystify antidote cases, they must make plausible a conceptualisation of dispositions that does not invoke any kind of necessity. I will cautiously suggest that the anti-Humean link dispositions bring to the world has to be thought of in terms of (Newtonian) forces. (shrink)

Computer assisted theorem proving is an increasingly important part of mathematical methodology, as well as a long-standing topic in artificial intelligence (AI) research. However, the current generation of theorem proving software have limited functioning in terms of providing new proofs. Importantly, they are not able to discriminate interesting theorems and proofs from trivial ones. In order for computers to develop further in theorem proving, there would need to be a radical change in how the software functions. Recently, machine learning results (...) in solving mathematical tasks have shown early promise that deep artificial neural networks could learn symbolic mathematical processing. In this paper, I analyze the theoretical prospects of such neural networks in proving mathematical theorems. In particular, I focus on the question how such AI systems could be incorporated in practice to theorem proving and what consequences that could have. In the most optimistic scenario, this includes the possibility of autonomous automated theorem provers (AATP). Here I discuss whether such AI systems could, or should, become accepted as active agents in mathematical communities. (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)

I show that the recent account of levels in neuroscience proposed by Craver and Bechtel is unsatisfactory since it fails to provide a plausible criterion for being at the same level and is incompatible with Craver and Bechtel’s account of downward causation. Furthermore, I argue that no distinct notion of levels is needed for analyzing explanations and causal issues in neuroscience: it is better to rely on more well-defined notions such as composition and scale. One outcome of this is that (...) apparent cases of downward causation can be analyzed away. (shrink)

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)