Recent research shows – somewhat astonishingly – that people are willing to ascribe moral blame to AI-driven systems when they cause harm [1]–[4]. In this paper, we explore the moral- psychological underpinnings of these findings. Our hypothesis was that the reason why people ascribe moral blame to AI systems is that they consider them capable of entertaining inculpating mental states (what is called mens rea in the law). To explore this hypothesis, we created a scenario in which an AI system (...) runs a risk of poisoning people by using a novel type of fertilizer. Manipulating the computational (or quasi-cognitive) abilities of the AI system in a between-subjects design, we tested whether people’s willingness to ascribe knowledge of a substantial risk of harm (i.e., recklessness) and blame to the AI system. Furthermore, we investigated whether the ascription of recklessness and blame to the AI system would influence the perceived blameworthiness of the system’s user (or owner). In an experiment with 347 participants, we found (i) that people are willing to ascribe blame to AI systems in contexts of recklessness, (ii) that blame ascriptions depend strongly on the willingness to attribute recklessness and (iii) that the latter, in turn, depends on the perceived “cognitive” capacities of the system. Furthermore, our results suggest (iv) that the higher the computational sophistication of the AI system, the more blame is shifted from the human user to the AI system. (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.

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)

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)

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)

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)

Empirical evidence challenges many of the assumptions that underlie traditional philosophical and commonsense conceptions of human agency. It has been suggested that this evidence threatens also to undermine free will and moral responsibility. In this paper, I will focus on the purported threat to moral responsibility. The evidence challenges assumptions concerning the ability to exercise conscious control and to act for reasons. This raises an apparent challenge to moral responsibility as these abilities appear to be necessary for morally (...) responsible agency. I will argue that this challenge collapses once the underlying conditions on moral responsibility are specified in sufficient detail. I will argue, in other words, that the empirical evidence does not support a challenge to the assumption that we are, in general, morally responsible agents. In the final section, I will suggest that empirical research on human agency is nevertheless relevant to various questions about moral responsibility. (shrink)

Benjamin Libet's empirical challenge to free will has received a great deal of attention and criticism. A standard line of response has emerged that many take to be decisive against Libet's challenge. In the first part of this paper, I will argue that this standard response fails to put the challenge to rest. It fails, in particular, to address a recent follow-up experiment that raises a similar worry about free will (Soon, Brass, Heinze, & Haynes, 2008). In (...) the second part, however, I will argue that we can altogether avoid Libet-style challenges if we adopt a traditional compatibilist account of free will. In the final section, I will briefly explain why there is good and independent reason to think about free will in this way. (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 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)

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)

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)

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 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)

Alfred Mele’s zygote argument is widely considered to be the strongest version of the manipulation argument against compatibilism (about free will and determinism). Opponents have focused largely on the first of its two premises and on the overall dialectic. My focus here will be on the underlying thought experiment—the Diana scenario—and on the second premise of the argument. I will argue that reflection on the Diana scenario shows that the second premise does not hold, and we (...) class='Hi'>will see that my objection to the second premise helps to defend the claim that manipulation arguments face, in general, a dilemma. (shrink)

The luck argument raises a serious challenge for libertarianism about free will. In broad outline, if an action is undetermined, then it appears to be a matter of luck whether or not one performs it. And if it is a matter of luck whether or not one performs an action, then it seems that the action is not performed with free will. This argument is most effective against event-causal accounts of libertarianism. Recently, Franklin (Philosophical Studies 156:199–230, 2011) has (...) defended event-causal libertarianism against four formulations of the luck argument. I will argue that three of Franklin’s responses are unsuccessful and that there are important versions of the luck challenge that his defense has left unaddressed. (shrink)

While philosophers hold that it is patently absurd to blame robots or hold them morally responsible [1], a series of recent empirical studies suggest that people do ascribe blame to AI systems and robots in certain contexts [2]. This is disconcerting: Blame might be shifted from the owners, users or designers of AI systems to the systems themselves, leading to the diminished accountability of the responsible human agents [3]. In this paper, we explore one of the potential underlying reasons for (...) robot blame, namely the folk's willingness to ascribe inculpating mental states or "mens rea" to robots. In a vignette-based experiment (N=513), we presented participants with a situation in which an agent knowingly runs the risk of bringing about substantial harm. We manipulated agent type (human v. group agent v. AI-driven robot) and outcome (neutral v. bad), and measured both moral judgment (wrongness of the action and blameworthiness of the agent) and mental states attributed to the agent (recklessness and the desire to inflict harm). We found that (i) judgments of wrongness and blame were relatively similar across agent types, possibly because (ii) attributions of mental states were, as suspected, similar across agent types. This raised the question - also explored in the experiment - whether people attribute knowledge and desire to robots in a merely metaphorical way (e.g., the robot "knew" rather than really knew). However, (iii), according to our data people were unwilling to downgrade to mens rea in a merely metaphorical sense when given the chance. Finally, (iv), we report a surprising and novel finding, which we call the inverse outcome effect on robot blame: People were less willing to blame artificial agents for bad outcomes than for neutral outcomes. This suggests that they are implicitly aware of the dangers of overattributing blame to robots when harm comes to pass, such as inappropriately letting the responsible human agent off the moral hook. (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)

Given some reasonable assumptions concerning the nature of mental causation, non-reductive physicalism faces the following dilemma. If mental events cause physical events, they merely overdetermine their effects (given the causal closure of the physical). If mental events cause only other mental events, they do not make the kind of difference we want them to. This dilemma can be avoided if we drop the dichotomy between physical and mental events. Mental events make a real difference if they cause actions. But actions (...) are neither mental nor physical events. They are realized by physical events, but they are not type-identical with them. This gives us non-reductive physicalism without downward causation. The tenability of this view has been questioned. Jaegwon Kim, in particular, has argued that non-reductive physicalism is committed to downward causation. Appealing to the nature of actions, I will argue that this commitment can be avoided. (shrink)

Libertarianism appears to be incoherent, because free will appears to be incompatible with indeterminism. In support of this claim, van Inwagen offered an argument that is now known as the “rollback argument”. In a recent reply, Lara Buchak has argued that the underlying thought experiment fails to support the first of two key premises. On her view, this points to an unexplored alternative in the free will debate, which she calls “chance-incompatibilism”. I will argue that the rollback (...) thought experiment does support the second key premise of the argument, and, more importantly, that libertarianism is committed to the first premise for independent reasons concerning the relationship between the normative and causal strength of the agent’s reasons. The upshot will be that chance-incompatibilism is not a promising new alternative in the free will debate, and we will see that the debate around those issues can benefit from more attention to the role of the agent’s reasons for action. (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)

According to Anscombe, acting intentionally entails knowledge in ac- tion. This thesis has been near-universally rejected due to a well-known counter- example by Davidson: a man intending to make ten legible carbon copies might not believe with confidence, and hence not know, that he will succeed. If he does, however, his action surely counts as intentional. Damaging as it seems, an even more powerful objection can be levelled against Anscombe: while act- ing, there is as yet no fact of (...) the matter as to whether the agent will succeed. Since his belief that he will is not yet true while his action is in progress, he can- not possibly know that he is indeed bringing about the intended goal. Knowl- edge in action is not only unnecessary for intentional action, it seems, but–at least as regards success-bound types of action–impossible to attain in the first place. -/- In this paper I argue that traditional strategies to counter these objections are unsatisfactory and propose a new account of knowledge in action which has two core features: (i) It invokes an externalist conception of justification which not only meets Davidson’s challenge, but also casts doubts on the tacit internalist premise on which his example relies. (ii) Drawing on recent work about by John MacFarlane, the proposed account conceives of claims to in action as assessment-sensitive so as to overcome the factivity objection. From a retrospective point of evaluation, previous claims about future events and actions can not only be deemed as having been true, but also as having been known. (shrink)

According to radical versions of embodied cognition, human cognition and agency should be explained without the ascription of representational mental states. According to a standard reply, accounts of embodied cognition can explain only instances of cognition and agency that are not “representation-hungry”. Two main types of such representation-hungry phenomena have been discussed: cognition about “the absent” and about “the abstract”. Proponents of representationalism have maintained that a satisfactory account of such phenomena requires the ascription of mental representations. Opponents have denied (...) this. I will argue that there is another important representation-hungry phenomenon that has been overlooked in this debate: temporally extended planning agency. In particular, I will argue that it is very difficult to see how planning agency can be explained without the ascription of mental representations, even if we grant, for the sake of argument, that cognition about the absent and abstract can. We will see that this is a serious challenge for the radical as well as the more modest anti-representationalist versions of embodied cognition, and we will see that modest anti-representationalism is an unstable position. (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)

Empirical evidence, it has often been argued, undermines our commonsense assumptions concerning the efficacy of conscious intentions. One of the most influential advocates of this challenge has been Daniel Wegner, who has presented an impressive amount of evidence in support of a model of "apparent mental causation". According to Wegner, this model provides the best explanation of numerous curious and pathological cases of behavior. Further, it seems that Benjamin Libet's classic experiment on the initiation of action and the empirical evidence (...) concerning the confabulation of reason explanations provide further support for this view. In response, I will propose an alternative model of "real mental causation" that can accommodate the empirical evidence just as well as Wegner's. Further, we will see that there is plenty of evidence in support of the assumption that intentions are causally efficacious. This will provide us with ample reason to endorse the model of real mental causation. (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)

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 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)

In two experiments (total N=693) we explored whether people are willing to consider paintings made by AI-driven robots as art, and robots as artists. Across the two experiments, we manipulated three factors: (i) agent type (AI-driven robot v. human agent), (ii) behavior type (intentional creation of a painting v. accidental creation), and (iii) object type (abstract v. representational painting). We found that people judge robot paintings and human painting as art to roughly the same extent. However, people are much less (...) willing to consider robots as artists than humans, which is partially explained by the fact that they are less disposed to attribute artistic intentions to robots. (shrink)

The conditional analysis of dispositions is widely rejected, mainly due to counterexamples in which dispositions are either “finkish” or “masked.” David Lewis proposed a reformed conditional analysis. This view avoids the problem of finkish dispositions, but it fails to solve the problem of masking. I will propose a reformulation of Lewis’ analysis, and I will argue that this reformulation can easily be modified so that it avoids the problem of masking. In the final section, I will address (...) the challenge that some dispositions appear to lack any stimulus condition, and I will briefly turn to the issue of reductionism. (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)

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)

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)

I discuss the difference and the connections between Kant’s notions of cognition (Erkenntnis) and knowledge (Wissen). Unlike knowledge, cognition is a representational state which need not have the propositional structure of a judgments. Even cognitions that have such a structure need not coincide with knowledge, because they might rather have the doxastic status of opinion or faith, or they might be false (whereas knowledge is a certain recognition of truth). I argue that while Kant distinguishes between many different species of (...) cognition, he uses the term ‘knowledge’ univocally across his theoretical and practical philosophy. All knowledge is based upon some kind of cognition that provides the sufficient objective, certain ground for a knowing assent to a proposition. However, not all knowledge must be based upon the demanding type of cognition that is central to Kant’s overall argument in the first Critique, which requires a synthesis of concepts and sensible intuition. We have a lot of determinate knowledge, including knowledge that we possess transcendental freedom of will, that is based upon purely conceptual practical cognition. We can also have some indeterminate philosophical knowledge (e.g. knowledge that there are non-sensible, noumenal beings) that is based upon purely conceptual theoretical cognition. (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)

I argue that Kant acknowledges two models of spontaneous self-determination that rational beings are capable of. The first model involves absolute unconditional necessity and excludes any form of contingency. The second model involves (albeit not as a matter of definition) a form of contingency which entails alternative possibilities for determining oneself. The first model would be exhibited by a divine being; the second model is exhibited by human beings. Human beings do, however, partake in the divine model up to an (...) extent, namely, as far as the legislative spontaneity of their law-giving faculties are concerned. I conclude by suggesting that for Kant, the mechanistic principle that we are exclusively determined by natural causes poses a twofold threat for human agency. In one respect (in relation to the second model), it threatens us with the obliteration of contingency, or with the universality of hypothetical necessity. But in another respect (in relation to the first model), it threatens us (and our putative "laws") with the obliteration of absolute necessity, or with the universality of contingency. (shrink)

Post-modernity as a New Chance for the Enlightenment: On Necessity of Overcoming Modernity. The aim of this paper is to demonstrate that the end of modernity does not necessary comprise a cultural regress but can also be seen as new stage of the process of Enlightenment in Western history. After the presentation of popular and commonly recognized definitions of modernity and postmodernity, the author will attempt to demonstrate the main limitations of modernity on the basis of philosophies of Max (...) Stirner and Frederic Nietzsche. The author’s main objection to modernity is its tendency to reproduce the centralistic structure of pre-modern traditional communities in which one metaphysical term designated the universally obligatory norms. By way of crashing this structure, postmodernity opens new possibilities to an individual for creating new, particular values, thus enabling the individual to discover new forms of self-realization. To make human life in such a decentralized society possible, the individual would have to attain a new mental level. Civil education, therefore, has to go beyond the borders of modernity and be open to new ways of learning and solving social conflict. (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)

The recently much discussed phenomenon of testimony as a social source of knowledge plays a crucial justificatory role in Richard Swinburne's philosophy of religion. Although Swinburne officially reduces his principle of testimony to the criterion of simplicity and, therefore, to a derivative epistemic source, we will show that simplicity does not play the crucial role in this epistemological context. We will argue that both Swinburne's philosophical ideas and his formulations allow for a fundamental epistemic principle of testimony, by (...) showing that Swinburne has already implicitly justified the use of testimony as an epistemic source via his fundamental a priori principle of credulity. (shrink)

In this paper, we call for a new approach to the psychology of free will attribution. While past research in experimental philosophy and psychology has mostly been focused on reasoning- based judgment (“the courtroom approach”), we argue that like agency and mindedness, free will can also be experienced perceptually (“the perceptual approach”). We further propose a new model of free will attribution—the agency model—according to which the experience of free will is elicited by the perceptual cues (...) that prompt the attribution of agency. Finally, developing new stimuli that fit the perceptual approach, we present some preliminary evidence in support of the agency model. (shrink)

The project “A Plurality of Lives” was funded and hosted by the Pufendorf Institute for Advanced Studies at Lund University, Sweden. The aim of the project was to better understand how a second origin of life, either in the form of a discovery of extraterrestrial life, life developed in a laboratory, or machines equipped with abilities previously only ascribed to living beings, will change how we understand and relate to life. Because of the inherently interdisciplinary nature of the project (...) aim, the project took an interdisciplinary approach with a research group made up of 12 senior researchers representing 12 different disciplines. The project resulted in a joint volume, an international symposium, several new projects, and a network of researchers in the field, all continuing to communicate about and advance the aim of the project. (shrink)

The European Association for Cognitive Systems is the association resulting from the EUCog network, which has been active since 2006. It has ca. 1000 members and is currently chaired by Vincent C. Müller. We ran our annual conference on December 08-09 2016, kindly hosted by the Technical University of Vienna with Markus Vincze as local chair. The invited speakers were David Vernon and Paul F.M.J. Verschure. Out of the 49 submissions for the meeting, we accepted 18 a papers and (...) 25 as posters (after double-blind reviewing). Papers are published here as “full papers” or “short papers” while posters are published here as “short papers” or “abstracts”. Some of the papers presented at the conference will be published in a separate special volume on ‘Cognitive Robot Architectures’ with the journal Cognitive Systems Research. - RC, VCM, YS, MV. (shrink)

The God Experiment – Let there be Light -/- The question “What is real?” can be traced back to the shadows in Plato’s cave. Two thousand years later, Rene Descartes lacked knowledge about arguing against an evil´ deceiver feeding us the illusion of sensation. Descartes’ epistemological concept later led to various theories of what our sensory experiences actually are. The concept of ”illusionism”, proposing that even the very conscious experience we have – our qualia – is an illusion, is not (...) only a red-pill scenario found in the 1999 science fiction movie ”The Matrix” but is also a philosophical concept promoted by modern tinkers, most prominently by Daniel Dennett. He describes his argument against qualia as materialistic and scientific. Reflection upon a possible simulation and our perceived reality was beautifully visualized in “The Matrix”, bringing the old ideas of Descartes to coffee houses around the world. Irish philosopher Bishop Berkeley was the father of what has later been coined as “subjective idealism”, basically stating that “what you perceive is real” (e.g., ”The Matrix” is real because its population perceives it). Berkeley then argued against Isaac Newton’s absolutism of space, time, and motion in 1721, ultimately leading to Ernst Mach and Albert Einstein’s respective views. Several neuroscientists have rejected Dennetts’ perspective on the illusion of consciousness, and idealism is often dismissed as the notion that people want to pick and choose the tenets of reality. Even Einstein ended his life on a philosophical note, pondering the very foundations of reality. With the advent of quantum technologies based on the control of individual fundamental particles, the question of whether our universe is a simulation isn’t just intriguing. Our ever-advancing understanding of fundamental physical processes will likely lead us to build quantum computers utilizing quantum effects for simulating nature quantum-mechanically in all complexity, as famously envisioned by Richard Feynman. Finding an answer to the simulation question will potentially alter our very definition and understanding of life, reshape theories on the evolution and fate of the universe, and impact theology. No direct observations provide evidence in favor or against the simulation hypothesis, and experiments are needed to verify or refute it. In this paper, we outline several constraints on the limits of computability and predictability in/of the universe, which we then use to design experiments allowing for first conclusions as to whether we participate in a simulation chain. We elaborate on how the currently understood laws of physics in both complete and small-scale universe simulations prevent us from making predictions relating to the future states of a universe, as well as how every physically accurate simulation will increase in complexity and exhaust computational resources as global thermodynamic entropy increases. Eventually, in a simulation in which the computer simulating a universe is governed by the same physical laws as the simulation and is smaller than the universe it simulates, the exhaustion of computational resources will halt all simulations down the simulation chain unless an external programmer intervenes or isn’t limited by the simulation’s physical laws, which we may be able to observe. By creating a simulation chain and observing the evolution of simulation behavior throughout the hierarchy taking stock of statistical relevance, as well as comparing various least complex simulations under computability and predictability constraints, we can gain insight into whether our universe is part of a simulation chain. -/- Index Terms—Simulation, simulation hypothesis, quantum computing, universe, life, intelligence. (shrink)

This paper concerns anti-Humean intuitions about connections in nature. It argues for the existence of a de re link that is not necessity.Some anti-Humeans tacitly assume that metaphysical necessity can be used for all sorts of anti-Humean desires. Metaphysical necessity is thought to stick together whatever would be loose and separate in a Hume world, as if it were a kind of universal superglue.I argue that this is not feasible. Metaphysical necessity might connect synchronically co-existent properties—kinds and their essential features, (...) for example—but it is difficult to see how it could also serve as the binding force for successions of events. That is, metaphysical necessity seems not to be fit for diachronic, causal affairs in which causal laws, causation, or dispositions are involved. A different anti-Humean connection in nature has to do that job.My arguments focus mainly on a debate which has been the battleground for Humean vs. anti-Humean intuitions for many decades—namely, the analysis of dispositional predicates—yet I believe (but do not argue here) that the arguments generalise to causation and causal laws straightforwardly. (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)

This paper combines two ideas: (1) That the Lewisian best system analysis of lawhood (BSA) can cope with laws that have exceptions (cf. Braddon-Mitchell in Noûs 35(2):260–277, 2001; Schrenk in The metaphysics of ceteris paribus laws. Ontos, Frankfurt, 2007). (2) That a BSA can be executed not only on the mosaic of perfectly natural properties but also on any set of special science properties (cf., inter alia, Schrenk 2007, Selected papers contributed to the sections of GAP.6, 6th international congress of (...) the society for analytical philosophy. Mentis, Paderborn/Münster, 2008; Cohen and Callender in Philos Stud 145:1–34, 2009, Erkenntnis 73:427–447, 2010). Bringing together (1) and (2) results in an analysis of special science ceteris paribus laws. (shrink)

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)

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)