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)

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)

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)

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)

This chapter sheds light on a response to experimental philosophy that has not yet received enough attention: the reflection defense. According to proponents of this defense, judgments about philosophical cases are relevant only when they are the product of careful, nuanced, and conceptually rigorous reflection. The chapter argues that the reflection defense is misguided: Five studies (N>1800) are presented, showing that people make the same judgments when they are primed to engage in careful reflection as they do in the conditions (...) standardly used by experimental philosophers. (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)

This paper presents a series of studies (total N=579) which demonstrate that folk judgments concerning the reasonableness of decisions and actions depend strongly on whether they engender positive or negative consequences. A particular decision is deemed more reasonable in retrospect when it produces beneficial consequences than when it produces harmful consequences, even if the situation in which the decision was taken and the epistemic circumstances of the agent are held fixed across conditions. This finding is worrisome for the law, where (...) the reasonable person standard plays a prominent role. The legal concept of reasonableness is outcome-insensitive: whether the defendant acted in a reasonable fashion or not depends exclusively on her context of action, no matter how things play out. Folk judgments of reasonableness are thus inconsistent with the legal concept of reasonableness. Problematically, in common law jurisdictions, the decision whether a defendant’s behavior was reasonable or not is frequently (though not necessarily) delegated to a lay jury. (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)

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)

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.

In an important and widely discussed series of studies, Jonathan Phillips and colleagues have suggested that the ordinary concept of happiness has a substantial moral component. For in- stance, two persons who enjoy the same extent of positive emotions and are equally satisfied with their lives are judged as happy to different degrees if one is less moral than the other. Considering that the relation between morality and happiness or self-interest has been one of the central questions of moral philosophy (...) since at least Plato, such a result would be of considerable philosophical interest. On closer examination of the original research and new studies, we suggest that the data point to a different conclusion: in the dominant folk understanding of happiness, morality has no fundamental role. Findings seeming to indicate a moralized concept are better explained, we suggest, by folk theories on which extreme moral turpitude indicates that an individual suffers from psychological dysfunction. (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)

Famously, in the essay Inquiry Concerning the Distinctness of the Principles of Natural Theology and Morality (Prize Essay), Kant attempts to distance himself from the Wolffian model of philosophical inquiry. In this respect, Kant scholars have pointed out Kant’s claim that philosophy should not imitate the method of mathematics and his appeal to Newton’s “analytic method.” In this article, I argue that there is an aspect of Kant’s critique of the Wolffian model that has been neglected. Kant presents a powerful (...) attack of the idea that philosophy should proceed through the analysis of concepts and argues that we should give up the aim of arriving at “complete” concepts as one of its fundamental desiderata. Importantly, this attack of philosophy conceived as conceptual analysis is distinctive and original if one compares it with Kant’s critique of analysis in the Critique of Pure Reason, which rests on the idea that analysis is insufficient to ground substantial metaphysical truths. I also make an additional point: Scholars have debated whether the appeal to Newton’s analytic method involves a form of empiricism. I submit that this debate is ill-conceived because Kant uses a notion of “given concepts” that is indeterminate with respect to their a priori or a posteriori status. (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.

Fogelin’s neo-Pyrrhonism is skepticism about epistemology and philosophy more generally. Philosophical reflection on ordinary epistemic practices leads us to deny the possibility of knowledge and justified belief. However, instead of accepting the dogma that knowledge and justified beliefs are impossible, a neo-Pyrrhonist rejects the philosophical premises that lead to this conclusion. Fogelin argues in particular that contemporary theories of justification cannot avoid dogmatic skepticism, because they are committed to the premises of the skeptical argument deriving from the modes of Agrippa. (...) It is argued against Fogelin that those theories can and typically do deny one or another of the premises and thus can avoid the skeptical conclusion. Neo-Pyrrhonism should rather be defended by arguing that the premises of the Agrippan argument are intuitively plausible and that neo-Pyrrhonism provides the best resolution of the resulting paradox. Only neo-Pyrrhonism both explains the intuitive plausibility of the premises and avoids dogmatic skepticism. (shrink)

The levels of selection debate is generally taken to be a debate about how natural selection can occur at the various levels of biological organization. In this paper, we argue that questions about levels of selection should be analyzed separately from questions about levels of organization. In the deflationary proposal we defend, all that is necessary for multilevel selection is that there are cases in which particles are nested in collectives, and that both the collectives and the particles that compose (...) them each separately undergo natural selection. We argue that adopting this deflationary account helps to disentangle the levels of selection and the levels of organization, and thereby contributes to advancing the levels of selection debate. (shrink)

This article applies the tools of experimental philosophy to the ongoing debate about both the theoretical viability and the practical import of partially aggregative moral theories in distributive ethics. We conduct a series of three experiments (N=383): First, we document the widespread occurrence of the intuitions that motivate this position. Our study then moves beyond establishing the existence of partially aggregative intuitions in two dimensions: First, we extend experimental work in such a way as to ascertain which amongst existing versions (...) of partial aggregation (localised vs. global) chimes more fully with moral common sense. Specifically, we document how, in tie-breaking cases, ‘irrelevant goods’ judgments (Kamm) are just as robust as the original aggregative/non-aggregative pair of judgments that constitute partial aggregation. Second, by pairing laypeople’s moral judgments in standard cases with their intuitions about the limits of permissible self-prioritisation, we investigate whether one prominent explanation of why irrelevant claims may not be aggregated (Voorhoeve’s ‘personal prerogative’ argument) can be said to underpin people’s intuitions about the (ir)relevance relation of claims in conflict cases. We close with a discussion of our findings’ practical and theoretical import and highlight avenues for future research. (shrink)

The concept of a good life is usually assumed by philosophers to be equivalent to that of well-being, or perhaps of a morally good life, and hence has received little attention as a potentially distinct subject matter. In a series of experiments participants were presented with vignettes involving socially sanctioned wrongdoing toward outgroup members. Findings indicated that, for a large majority, judgments of bad character strongly reduce ascriptions of the good life, while having no impact at all on ascriptions of (...) happiness or well-being. Taken together with earlier findings these results suggest that the lay concept of a good life is clearly distinct from those of happiness, well-being, or morality , likely encompassing both morality and well-being, and perhaps other values as well: whatever matters in a person’s life. Importantly, morality appears not to play a fundamental role in either happiness or well-being among the folk. (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)

The primary objective of this book is to open space for rethinking the relationship between art and politics. It seeks to combat one of the fundamental assumptions that has plagued many of the previous debates on this issue: that art and politics are distinct entities definable in terms of common properties, and that they have privileged points of intersection, which can be determined once and for all in terms of an established formula. This common sense assumption is rooted in a (...) transcendent illusion according to which there are more or less fixed characteristics that unify our terms, concepts, and practices in such a way as to guarantee their meaning. Against this substantialist approach, Radical History & the Politics of Art argues for a praxeological account that begins the other way around by analyzing specific cultural practices without presupposing a conceptual unity behind them. Such an orientation is radically historicist in the sense that it recognizes that all of our practices—be they linguistic, theoretical, aesthetic or political—are historically constituted and that they are necessarily part of a temporal dynamic. Hence the contingent nature of the labels used to classify various practices or even identify ‘practice’ as such. Radical history thereby proposes a significant departure from the extant debates on art and politics by maintaining that there is no ‘art’ or ‘politics’ in general, nor a singular relation between them. There are only historically constituted practices in various conjunctures, some of which have been labeled, through practical acts of denomination, as ‘artistic’ or ‘political.’ Instead of proposing one more response to the oft-repeated question ‘what is the relationship between Art and Politics?’ this book seeks to overcome the presuppositions that plague such a question. It thereby changes the very nature of the investigation by asking: ‘how do the diverse aspects of practices identified as ‘aesthetic’ and ‘political’ overlap, intertwine and sometimes merge in precise socio-historical force fields of action? (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)

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)

The idea that healthcare should become more person-centred is extremely influential. By using recent English policy developments as a case study, this article aims to critically analyse an important element of person-centred care, namely, the belief that to treat patients as persons is to think that care should be ‘co-produced’ by formal healthcare providers and patients together with unpaid carers and voluntary organizations. I draw on insights from political philosophy to highlight overlooked tensions between co-production and values like equality and (...) liberty. Regarding equality, I argue that co-production compounds both problems of gender inequality in the distribution of care labour and the challenges associated with securing equal access to care. Turning to liberty, I identify important commonalities between co-production and republicanism in political philosophy, given their shared insistence on common citizens’ civic virtue. Then, I use against co-production some liberal arguments against republicanism, to highlight a problem of over-demandingness. In bringing my argument to a close, however, I wish to caution against hastily rejecting co-production as a policy programme. (shrink)

Danaher (2016) has argued that increasing robotization can lead to retribution gaps: Situation in which the normative fact that nobody can be justly held responsible for a harmful outcome stands in conflict with our retributivist moral dispositions. In this paper, we report a cross-cultural empirical study based on Sparrow’s (2007) famous example of an autonomous weapon system committing a war crime, which was conducted with participants from the US, Japan and Germany. We find that (i) people manifest a considerable willingness (...) to hold autonomous systems morally responsible, (ii) partially exculpate human agents when interacting with such systems, and that more generally (iii) the possibility of normative responsibility gaps is indeed at odds with people’s pronounced retributivist inclinations. We discuss what these results mean for potential implications of the retribution gap and other positions in the responsibility gap literature. (shrink)

Public reason liberalism is defined by the idea that laws and policies should be justifiable to each person who is subject to them. But what does it mean for reasons to be public or, in other words, suitable for this process of justification? In response to this question, Kevin Vallier has recently developed the traditional distinction between consensus and convergence public reason into a classification distinguishing three main approaches: shareability, accessibility and intelligibility. The goal of this paper is to defend (...) the accessibility approach by demonstrating its ability to strike an appealing middle course in terms of inclusivity between shareability and intelligibility. We first argue against Vallier that accessibility can exclude religious reasons from public justification. Second, we use scientific reasons as a case study to show that accessibility excludes considerably fewer reasons than shareability. Throughout the paper, we connect our discussion of accessibility to John Rawls’s model of public reason, so as to give substance to the accessibility approach and to further our understanding of Rawls’s influential model. (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)

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)

Recent epidemiological research on the social determinants of health has been used to attack an important framework, associated with Norman Daniels, that depicts healthcare as special. My aim is to rescue the idea that healthcare has special importance in society, although specialness will turn out to be mainly limited to clinical care. I build upon the link between Daniels's theory and the work of John Rawls to develop a conception of public justification liberalism that is suitable to the field of (...) justice and health. I argue that, from the perspective of public justification liberalism, (clinical) healthcare deserves special status. (shrink)

The involvement of the public in the governance of genomics has become a topic of growing interest among scholars, practitioners and policy-makers. The implementation of public involvement programmes may be quite expensive, and the design and evaluation of public participation is a matter of controversy. Thus, this paper examines the justifications for public participation in the governance of genomic research to help understand whether public involvement is worthwhile and to provide a guide to the design of public participation. I identify (...) four primary justifications in support of public involvement. I argue that three of them have serious flaws: neither an increase in the stability of institutions, nor the positive effects on the virtues of individuals, nor the epistemic merits of participatory activities provide a solid ground for the engagement of the public in the governance of genomics. However, the ideal of legitimacy in the exercise of coercive power appears to lend strong support to public involvement programmes. Given that the reasons why public involvement is sought shape the design of the participatory activities, restricting the range of valid justifications promises to simplify the task of designing and evaluating public involvement. (shrink)

In this paper, I distinguish three general approaches to public trust in science, which I call the individual approach, the semi-social approach, and the social approach, and critically examine their proposed solutions to what I call the problem of harmful distrust. I argue that, despite their differences, the individual and the semi-social approaches see the solution to the problem of harmful distrust as consisting primarily in trying to persuade individual citizens to trust science and that both approaches face two general (...) problems, which I call the problem of overidealizing science and the problem of overburdening citizens. I then argue that in order to avoid these problems we need to embrace a (thoroughly) social approach to public trust in science, which emphasizes the social dimensions of the reception, transmission, and uptake of scientific knowledge in society and the ways in which social forces influence both positively and negatively the trustworthiness of science. (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.

An observation of Hume’s has received a lot of attention over the last decade and a half: Although we can standardly imagine the most implausible scenarios, we encounter resistance when imagining propositions at odds with established moral (or perhaps more generally evaluative) convictions. The literature is ripe with ‘solutions’ to this so-called ‘Puzzle of Imaginative Resistance’. Few, however, question the plausibility of the empirical assumption at the heart of the puzzle. In this paper, we explore empirically whether the difficulty we (...) witness in imagining certain propositions is indeed due to claim type (evaluative v. non-evaluative) or whether it is much rather driven by mundane features of content. Our findings suggest that claim type plays but a marginal role, and that there might hence not be much of a ‘puzzle’ to be solved. (shrink)

Carnap’s seminal ‘Empiricism, Semantics and Ontology’ makes important use of the notion of a framework and the related distinction between internal and external questions. But what exactly is a framework? And what role does the internal/external distinction play in Carnap’s metaontology? In an influential series of papers, Matti Eklund has recently defended a bracingly straightforward interpretation: A Carnapian framework, Eklund says, is just a natural language. To ask an internal question, then, is just to ask a question in, say, English. (...) To try to ask an external question is to try, absurdly, to ask a question in no language at all. Finding that so trivial an I/e distinction can’t help to explain Carnap’s deflationary metaontology, Eklund is led to attribute to Carnap a view he calls ontological pluralism. In this paper, I show that Eklund misreads Carnap, and I argue that this misreading obscures fundamental features of Carnap’s philosophy. I then defend an account of frameworks as what Carnap called semantical systems, and I place this account in the context of Carnap’s philosophical program of explication. Finally, I discuss the role that frameworks and the I/e distinction play in ESO, showing that ESO provides no reason to attribute the doctrine of ontological pluralism to Carnap. (shrink)

Interpretations of Kant’s account of the forms of “taking-to-be-true” (Fürwahrhalten) have generally focused on three such forms: opinion (Meinung), belief (Glaube), and knowledge (Wissen). A second distinction that has received comparatively less attention is that between conviction (Überzeugung) and persuasion (Überredung). Kant appears to use the distinction between the subjective and the objective sufficiency of a taking-to-be-true to characterize all of these forms. However, it is impossible to account for the differences between them by relying on this latter distinction alone. (...) In turn, this makes it difficult to fit all of these forms into a single classification of taking-to-be-true. In this chapter, I propose a new approach to conviction and persuasion that dissolves these problems. Conviction and persuasion are not single forms of taking-to-be-true with distinctive characteristics, yet it is not useful to treat them as “classes” of taking-to-be-true either. Rather, they are “operators” that determine whether a taking-to-be-true is apt or inapt, depending on whether it rests on a correct evaluation of the grounds we have. (shrink)

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

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.

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)

Though ancient Pyrrhonian skepticism is apparently based on disagreement, this aspect of skepticism has been widely neglected in contemporary discussion on skepticism. The paper provides a rational reconstruction of the skeptical argument from disagreement that can be found in the books of Sextus Empiricus. It is argued that this argument forms a genuine skeptical paradox that has no fully satisfactory resolution. All attempts to resolve it make knowledge or justified belief either intuitively too easy or impossible.

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)

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)

Moral philosophers and psychologists often assume that people judge morally lucky and morally unlucky agents differently, an assumption that stands at the heart of the Puzzle of Moral Luck. We examine whether the asymmetry is found for reflective intuitions regarding wrongness, blame, permissibility, and punishment judg- ments, whether people’s concrete, case-based judgments align with their explicit, abstract principles regarding moral luck, and what psychological mechanisms might drive the effect. Our experiments produce three findings: First, in within-subjects experiments favorable to reflective (...) deliberation, the vast majority of people judge a lucky and an unlucky agent as equally blameworthy, and their actions as equally wrong and permissible. The philosophical Puzzle of Moral Luck, and the challenge to the very possibility of systematic ethics it is frequently taken to engender, thus simply do not arise. Second, punishment judgments are significantly more outcome- dependent than wrongness, blame, and permissibility judgments. While this constitutes evidence in favor of current Dual Process Theories of moral judgment, the latter need to be qualified: punishment and blame judgments do not seem to be driven by the same process, as is commonly argued in the literature. Third, in between-subjects experiments, outcome has an effect on all four types of moral judgments. This effect is mediated by negligence ascriptions and can ultimately be explained as due to differing probability ascriptions across cases. (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)