I present a novel account of unconditional obligation and of its relationship to conditional obligation and bring this account to bear upon Chisholm's puzzle concerning contrary-to duty obligation.

Much of historic Christian philosophical theology has affirmed that God not only exists, but is Existence itself. Nowadays, this claim is widely rejected as unintelligible by theists and non-theists alike. I argue in contrast that if there is such a thing as Existence itself, that thing must be a maximally excellent being, which is what many philosophers call God. This is because Existence would itself need to exist, which is only possible if Existence exists in a paradigmatic way, that is, (...) as a perfect instance of existence. My argument thus offers both a defence of the coherence of the claim that God is Existence itself, and a new way of arguing for theism. (shrink)

Recent work on the interpretation of counterfactual conditionals has paid much attention to the role of causal independencies. One influential idea from the theory of Causal Bayesian Networks is that counterfactual assumptions are made by intervention on variables, leaving all of their causal non-descendants unaffected. But intervention is not applicable across the board. For instance, backtracking counterfactuals, which involve reasoning from effects to causes, cannot proceed by intervention in the strict sense, for otherwise they would be equivalent to their consequents. (...) We discuss these and similar cases, focusing on two factors which play a role in determining whether and which causal parents of the manipulated variable are affected: Speakers' need for an explanation of the hypothesized state of affairs, and differences in the ‘resilience’ of beliefs that are independent of degrees of certainty. We describe the relevant theoretical notions in some detail and provide experimental evidence that these factors do indeed affect speakers' interpretation of counterfactuals. (shrink)

Much recent metaphysics is built around notions such as naturalness, fundamentality, grounding, dependence, essence, and others besides. In this article I raise a problem for this kind of metaphysics, the “problem of missing value.” I survey a number of possible solutions to the problem and find them all wanting. This suggests a return to a kind of Goodmanian view that the world is a structureless mess onto which we project our own categorizations, not something with categories already built in.

Debate about the epistemic prowess of historical science has focused on local underdetermination problems generated by a lack of historical data; the prevalence of information loss over geological time, and the capacities of scientists to mitigate it. Drawing on Leonelli’s recent distinction between ‘phenomena-time’ and ‘data-time’ I argue that factors like data generation, curation and management significantly complexifies and undermines this: underdetermination is a bad way of framing the challenges historical scientists face. In doing so, I identify circumstances of epistemic (...) scarcity where underdetermination problems are particularly salient, and discuss cases where legacy data—data generated using differing technologies and systems of practice—are drawn upon to overcome underdetermination. This suggests that one source of overcoming underdetermination is our knowledge of science’s past. Further, data-time makes agnostic positions about the epistemic fortunes of scientists working under epistemic scarcity more plausible. But agnosticism seems to leave philosophers without much normative grip. So, I sketch an alternative approach: focusing on the strategies scientists adopt to maximize their epistemic power in light of the resources available to them. (shrink)

Recent metaphysics has turned its focus to two notions that are—as well as having a common Aristotelian pedigree—widely thought to be intimately related: grounding and essence. Yet how, exactly, the two are related remains opaque. We develop a unified and uniform account of grounding and essence, one which understands them both in terms of a generalized notion of identity examined in recent work by Fabrice Correia, Cian Dorr, Agustín Rayo, and others. We argue that the account comports with antecedently plausible (...) principles governing grounding, essence, and identity taken individually, and illuminates how the three interact. We also argue that the account compares favorably to an alternative unification of grounding and essence recently proposed by Kit Fine. (shrink)

Philosophers disagree. A lot. Pervasive disagreement is part of the territory; consensus is hard to find. Some think this should lead us to embrace philosophical skepticism: skepticism about the extent to which we can know, or justifiably believe, the philosophical views we defend and advance. Most philosophers in the literature fall into one camp or the other: philosophical skepticism or philosophical anti-skepticism. Drawing on the insights of hinge epistemology, this paper proposes another way forward, an intermediate position that appeals both (...) to skeptical and anti-skeptical intuitions concerning the possibility and scope of philosophical knowledge. The main advantage of our account is that it’s able to recover some philosophical knowledge while also being compatible with philosophical skepticism. (shrink)

A logical empiricist “baseline statement” can formalize some propositions established by a body of evidence or set of observations. However, it may not necessarily capture, of two propositions it entails, whether all the subsets of the evidence that establish one proposition also establish the other, vice versa, or neither. Yet, according to this paper, which obtains should sometimes matter for confirmation. It illustrates by showing how this “evidential dependence” can be used to address problems with generalizations of grue-like predicates, and (...) do so still within a very simple broadly Hempelian framework. (shrink)

In 1993, biologist Margie Profet captured the attention of the popular press with the publication of her radical thesis: menstruation has a function. Traditional theories, she claims, typically view menstruation as a functionless by-product of cyclic flux. The details of Profet's functional account are similarly radical: she argues that menstruation has been naturally selected to defend the female reproductive tract from sperm-borne pathogens. There are a number of weaknesses in Profet's evolutionary analysis. However, I focus on a set of pragmatic (...) problems that arise prior to any details of her evolutionary account. In arguing for the importance of pragmatic considerations, I draw from the linguistic analyses of Nelson Goodman. I conclude that critical investigation of the evolutionary details of Profet's pathogen defense account will be more feasible if and when biologists more frequently feature the female system of pathogen defense in their inductive generalisations. The system needs to be better entrenched before its functional components, such as menstruation, can be thoroughly investigated. (shrink)

History and the modern sciences are characterized by what is sometimes called a “methodological naturalism” that disregards talk of divine agency. Some religious thinkers argue that this reflects a dogmatic materialism: a non-negotiable and a priori commitment to a materialist metaphysics. In response to this charge, I make a sharp distinction between procedural requirements and metaphysical commitments. The procedural requirement of history and the sciences—that proposed explanations appeal to publicly-accessible bodies of evidence—is non-negotiable, but has no metaphysical implications. The metaphysical (...) commitment is naturalistic, but is both a posteriori and provisional, arising from the fact that formore than 400 years no proposed theistic explanation has been shown capable ofmeeting the procedural requirement. I argue that there is nothing to prevent religious thinkers from seeking to overturn this metaphysically naturalistic stance. But in order to do so they would need to show that their proposed theistic explanations are the best available explanations of a range of phenomena. Until this has been done, the metaphysical naturalism of history and the sciences remains defensible. (shrink)

It is more than a half-century since Nelson Goodman [1955] applied what we call the Reflective Equilibrium model of justification to the problem of justifying induction, and more than three decades since Rawls [1971] and Daniels [1979] applied celebrated extensions of this model to the problem of justifying principles of social justice. The resulting Wide Reflective Equilibrium model (WRE) is generally thought to capture an acceptable way to reconcile inconsistency between an intuitively plausible general principle and an intuitively plausible judgment (...) about a particular case. Recently a different model for reconciling moral inconsistency has emerged: Moral Consistency Reasoning [Campbell and Kumar 2012, 2013a; Kumar and Campbell 2012; Campbell 2009: 86?7; Campbell and Woodrow 2003; Wong 2002]. MCR applies when two moral judgments give opposing assessments of (what appear to be) relevantly similar particular cases. Though WRE and MCR are strikingly different, each arguably captures a rationally acceptable method for reconciling moral inconsistency. Moreover, as will be shown, they function in complementary ways. Are they parts of a more comprehensive model of moral reasoning in the face of inconsistency that would explain the attractions of each? This essay first spells out the relevant differences between the models and then formulates a more general model of moral reasoning in the face of inconsistency. ?1 reviews the emergence of Goodman's model that he offers in the spirit of epistemology naturalized, almost a decade before Quine coined the term [1969a]. ?2 analyses six salient features of WRE to be compared with six contrasting features of MCR in ?3. ?4 presents the general model. (shrink)

Platonists affirm the existence of abstract mathematical objects, and Nominalists deny the existence of abstract mathematical objects. While there are standard arguments in favor of Nominalism, these arguments fail to account for the necessity of Nominalism. Furthermore, these arguments do nothing to explain why Nominalism is true. They only point to certain theoretical vices that might befall the Platonist. The goal of this paper is to formulate and defend a simple, valid argument for the necessity of Nominalism that seeks to (...) precisify the widespread intuition that mathematical objects are somehow ‘spooky’ or ‘mysterious’. (shrink)

My first goal is to motivate a distinctively metaphysical approach to the problem of induction. I argue that there is a precise sense in which the only way that orthodox Humean and non-Humean views can justify induction is by appealing to extremely strong and unmotivated probabilistic biases. My second goal is to sketch what such a metaphysical approach could possibly look like. After sketching such an approach, I consider a toy case that illustrates the way in which such a metaphysics (...) can help us make progress on the problem of induction. (shrink)

Whereas an inference (deductive as well as inductive) is usually viewed as being valid in virtue of its argument form, the present paper argues that scientific reasoning is material inference, i.e., justified in virtue of its content. A material inference is licensed by the empirical content embodied in the concepts contained in the premises and conclusion. Understanding scientific reasoning as material inference has the advantage of combining different aspects of scientific reasoning, such as confirmation, discovery, and explanation. This approach explains (...) why these different aspects (including discovery) can be rational without conforming to formal schemes, and why scientific reasoning is local, i.e., justified only in certain domains and contingent on particular empirical facts. The notion of material inference also fruitfully interacts with accounts of conceptual change and psychological theories of concepts. (shrink)

Confronted with the problem of induction, Hans Reichenbach accepts that we cannot justify that induction is reliable. He tries to solve the problem by proving a weaker proposition: that induction is an optimal method of prediction, because it is guaranteed not to be worse and may be better than any alternative. Regarding the most serious objection to his approach, Reichenbach himself hints at an answer without spelling it out. In this paper, I will argue that there are two workable strategies (...) to rehabilitate Reichenbach’s account. The first leads to the widely discussed method of meta-induction, as proposed by Gerhard Schurz. The second strategy has not been suggested thus far. I will develop the second strategy and argue for it being, in some respects, superior to the first and closer to Reichenbach’s own position. (shrink)

Many epistemological problems can be solved by the objective Bayesian view that there are rationality constraints on priors, that is, inductive probabilities. But attempts to work out these constraints have run into such serious problems that many have rejected objective Bayesianism altogether. I argue that the epistemologist should borrow the metaphysician’s concept of naturalness and assign higher priors to more natural hypotheses.

This essay will discuss some of the ways that narrative works to promote philosophy, called fictive narrative philosophy. The strategy is to discuss the ways that direct and indirect discourse work and to show why indirect discourse fills an important void that direct discourse cannot fulfill. In the course of this examination several famous narrative-based philosophers are examined such as Plato, Kierkegaard, Nietzsche, Sartre, Murdoch, Johnson, and Camus. These practitioners used the indirect method to make plausible to readers the vision (...) that they were presenting. This article also offers some constraints in this process. (shrink)

This is a response to Jerry Fodor’s article, Fodor, J. (1980). "Methodological solipsism as a research strategy in cognitive psychology." Behavioral and Brain Sciences 3: 63-109.

There is a tension in our theorizing about laws of nature: our practice of using and reasoning with laws of nature suggests that laws are universal generalizations, but if laws are universal generalizations then we face the problem of explanatory circularity. In this paper I elucidate this tension and show how it motivates a view of laws that I call Minimal Anti-Humeanism. This view says that the laws are the universal generalizations that are not grounded in their instances. I argue (...) that this view has a variety of advantages that could make it attractive to people with both Humean and anti-Humean inclinations. (shrink)

_ Source: _Volume 10, Issue 3, pp 370 - 381 The argument of this paper is that counterfactuals are indispensable in reasoning in general and historical reasoning in particular. It illustrates the role of counterfactuals in the study of history and explores the connection between counterfactuals and the notions of historical necessity and contingency. Entertaining alternatives to the actual course of events is conducive to the assessment of the relative weight and impact of the various factors that combine to bring (...) about a certain result. Counterfactuals are essentially involved in understanding what it means for an event, an action, or an individual to make a difference. Making a difference, in turn, is shown to be a central category of historical reasoning. Counterfactuals, though sensitive to the description they use, make objective claims that can be confirmed or disconfirmed by evidence. (shrink)

Conceptual engineering has been linked by Herman Cappelen to a position called “representational skepticism”, described as one’s refusal to uncritically take over the conceptual representations one is handed. This position is contrasted with an uncritical attitude, called “representational complacency”. Arguably, neither position, or a hybrid of the two, is rationally sustainable. This paper therefore proposes an alternative option, called “critical concept conservatism”, stating that having a concept makes it rational (in a suitable sense of “rational”) for one to retain it, (...) unless there are grounds to question it. Critical concept conservatism avoids the drawbacks of skepticism and complacency; plus, it is independently supported by both positive and negative considerations. Furthermore, it complies with the demanding attitude towards conceptual representations that a conceptual engineer would be expected to have. (shrink)

In 1955, Goodman set out to 'dissolve' the problem of induction, that is, to argue that the old problem of induction is a mere pseudoproblem not worthy of serious philosophical attention. I will argue that, under naturalistic views of the reflective equilibrium method, it cannot provide a basis for a dissolution of the problem of induction. This is because naturalized reflective equilibrium is -- in a way to be explained -- itself an inductive method, and thus renders Goodman's dissolution viciously (...) circular. This paper, then, examines how the old problem of induction crept back in while nobody was looking. (shrink)

Generalization is a fundamental problem solved by every cognitive system in essentially every domain. Although it is known that how people generalize varies in complex ways depending on the context or domain, it is an open question how people learn the appropriate way to generalize for a new context. To understand this capability, we cast the problem of learning how to generalize as a problem of learning the appropriate hypothesis space for generalization. We propose a normative mathematical framework for learning (...) how to generalize by learning inductive biases for which properties are relevant for generalization in a domain from the statistical structure of features and concepts observed in that domain. More formally, the framework predicts that an ideal learner should learn to generalize by either taking the weighted average of the results of generalizing according to each hypothesis space, with weights given by how well each hypothesis space fits the previously observed concepts, or by using the most likely hypothesis space. We compare the predictions of this framework to human generalization behavior with three experiments in one perceptual (rectangles) and two conceptual (animals and numbers) domains. Across all three studies we find support for the framework's predictions, including individual‐level support for averaging in the third study. (shrink)

A property, F, is maximal iff, roughly, large parts of an F are not themselves Fs.' Maximality makes trouble for a recent analysis of intrinsicality by Rae Langton and David Lewis.

Dasgupta poses a serious challenge to realism about natural properties. He argues that there is no acceptable explanation of why natural properties deserve the value realists assign to them and are consequently absent of value. In response, this paper defines and defends an alternative non-explanatory account of normativity compatible with realism. Unlike Lewis and Sider, who believe it is sufficient to defend realism solely on realist terms, I engage with the challenge on unfriendly grounds by revealing a tu quoque. Dasgupta (...) and anti-realists face a similar challenge to that directed against realism: one that not only undermines the objection to realism by legitimising non-explanatory normativity but leaves them facing a significant dilemma. (shrink)

This issue provides readers the opportunity to broaden understanding of methods used in applied ethics. We hope you will be inspired to decide on which method, or a combination of different ones, to use towards achieving reflective balance that can enhance understanding of all considerations relevant to deciding what should be done. Like tools, methods are used because they are well suited to the task we seek to accomplish.

The F-twist is giving way to the methodology of scientific research programs. Milton Friedman's “Methodology for Economics” is being supplanted as the orthodox rationale for neoclassical economics by Imre Lakatos' account of scientific respectability. Friedman's instrumentalist thesis that theories are to be judged by the confirmation of their consequences and not the realism of their assumptions has long been widely endorsed by economists, under Paul Samuelson's catchy rubric “the F-twist.” It retains its popularity among economists who want no truck with (...) methodology, but among the increasing number of able economists who are writing on methodology the F-twist has been surrendered, not so much because these writers have decided it is false, as because something better has finally come along. (shrink)

An inexact generalization like ‘ravens are black’ will be symbolized as a prepositional function with free variables thus: ‘Rx ⇒ Bx.’ The antecedent ‘Rx’ and consequent ‘Bx’ will themselves be called absolute formulas, while the result of writing the non-boolean connective ‘⇒’ between them is conditional. Absolute formulas are arbitrary first-order formulas and include the exact generalization ‘(x)(Rx → Bx)’ and sentences with individual constants like ‘Rc & Bc.’ On the other hand the non-boolean conditional ‘⇒’ can only occur as (...) the main connective in a formula. We shall also need to consider formulas with more than one free variable such as ‘xHy ⇒ xTy,’ which might express ‘if x is the husband of y then x is taller than y.’ Though it is inessential, it will simplify things to work in ‘n-languages’ with a finite number of individual constants c1,…, cn, which are interpreted as denoting the elements of the domains of the ‘n-models’ to be described below. (shrink)

This paper is intended to explore Jeffrey's proposal for the measurement of the simplicity of scientific laws. The first part is a sketch of Jeffreys' development of a view on simplicity, which will be followed by a discussion of what seem to be some rather crucial defects in the proposal as it stands. It will be suggested here that no plausible way of countering these defects seems available.

This paper examines problems of order and periodicity which arise when the attempt is made to define a confirmation function for a language containing elementary number theory as applied to a universe in which the individuals are considered to be arranged in some fixed order. Certain plausible conditions of adequacy are stated for such a confirmation function. By the construction of certain types of predicates, it is proved, however, that these conditions of adequacy are violated by any confirmation function defined (...) for the type of language in question. Various possible solutions to these difficulties are explored and found to be inadequate. In particular, a proposal which stems from the suggestion to restrict a fundamental principle of confirmation to hypotheses containing only non-positional predicates is cited. This proposal, however, is shown to prevent confirmation functions from taking periodicities into account, and so is deemed unsatisfactory. A general theorem is proved to the effect that if non-positional predicates are taken to satisfy the conditions of adequacy which have been formulated, then no periodicity predicates whatsoever (i.e., predicates used in formulating hypotheses which foretell periodicities) can be subject to these conditions, on pain of contradiction. Yet it seems that periodicity predicates must be subject to these conditions of adequacy if a confirmation function is to recognize periodic occurrences. Thus, an impasse seems to be reached. In the final sections we consider the beginnings of one possible solution to these difficulties. Our proposal involves treating sets of individuals, rather than individuals themselves, as instances of an hypothesis which predicts a periodicity. On this basis we formulate new conditions of adequacy which are free from the previous difficulties and which will permit a confirmation function that satisfies them to take periodicities into account. (shrink)

“Counterfactual” readings of might/could have were previously analyzed using metaphysical modal bases. This paper presents examples and scenarios where the assumptions of such a branching-time semantics are not met, because there are facts at the base world that preclude the complement of the modal becoming true. Additional arguments show that counterfactual readings are context dependent. These data motivate a semantics using a circumstantial (or factual) modal base, which refers to context-dependent facts about a world and time. The analysis is formulated (...) in a version of premise semantics for modality. (shrink)

It is common to distinguish two great families of representation. Symbolic representations include logical and mathematical symbols, words, and complex linguistic expressions. Iconic representations include dials, diagrams, maps, pictures, 3-dimensional models, and depictive gestures. This essay describes and motivates a new way of distinguishing iconic from symbolic representation. It locates the difference not in the signs themselves, nor in the contents they express, but in the semantic rules by which signs are associated with contents. The two kinds of rule have (...) divergent forms, occupying opposite poles on a spectrum of naturalness. Symbolic rules are composed entirely of primitive juxtapositions of sign types with contents, while iconic rules determine contents entirely by uniform natural relations with sign types. This distinction is marked explicitly in the formal semantics of familiar sign systems, both for atomic first-order representations, like words, pixel colors, and dials, and for complex second-order representations, like sentences, diagrams, and pictures. (shrink)

Hume often praises and appeals to the theoretical virtue of simplicity in his philosophy. Yet there has been relatively little scholarship done on Hume’s conception of theoretical simplicity. This paper will look to rectify this lacuna in the literature. In particular, it will look to answer three questions as they relate to Hume’s philosophy. First, what is theoretical simplicity? Second, why should we favour simpler theories over more complex ones? Third, can a theory be too simple, and if so, how?The (...) paper will argue that for Hume, theoretical simplicity concerns the causal explanation of phenomena in terms of the fewest possible causes. Second, simplicity has both epistemic and aesthetic value for Hume. While he does not follow his contemporaries in appealing to God to justify the truth-conduciveness of theoretical simplicity, some of his discussions of this virtue include elements suggestive of a meta-inductive justification of it. In addition, Hume also sees theoretical simplicity as having an intrinsic aesthetic value over and above its epistemic merit. Third, Hume recognises that there are both epistemic and aesthetic tradeoffs involved with theoretica lsimplicity, which might rule against an overly simple theory. (shrink)

Any successful account of the metaphysics of mechanistic causation must satisfy at least five key desiderata. In this article, I lay out these five desiderata and explain why existing accounts of the metaphysics of mechanistic causation fail to satisfy them. I then present an alternative account that does satisfy the five desiderata. According to this alternative account, we must resort to a type of ontological entity that is new to metaphysics, but not to science: constraints. In this article, I explain (...) how a constraints-based metaphysics fits best with the emerging consensus on the nature of mechanistic explanation. 1Introduction2Renormalizability2.1The first two desiderata: Intrinsicness and productivity2.2The third desideratum: Scientific validity or non-mysteriousness2.3The fourth desideratum: Directionality2.4The fifth desideratum: Perspectival nature of mechanisms3Constraints and Causation3.1Multi-perspectival realism and causal structure3.2Causal structure as laws3.3Causal structures in analytical mechanics: Constraints3.4A metaphysics inspired by analytical mechanics: Constraints as ontologically primitive modal structures4Constraints and Mechanistic Causal Powers 4.1Inter- versus intra-perspectival categories4.2Mechanistic causal powers are grounded by constraints4.3Intrinsicness and constraints4.4Constraints and productiveness4.5Constraints and directionality5Conclusion. (shrink)

Many science teachers are presented with the challenge of characterizing science as a dynamic, human endeavour. Perspectivism, as a hermeneutic philosophy of science, has the potential to be a learning tool for teachers as they elucidate the complex nature of science. Developed earlier by Nietzsche and others, perspectivism has recently re-emerged in the context of the philosophy of science in the work of Ronald Giere. Giere presents a compelling case that scientific theories and scientific observation are perspectival by using science (...) itself. There are many tangible examples already present in science textbooks which, when approached in a certain way, offer an exciting opportunity for a realistic incorporation of philosophy of science into the classroom. Furthermore, introducing perspectivism to students necessitates an engagement with notions such as truth, reality, perception and experimentation, through a familiar medium, while painting a nuanced conception of the nature of science. (shrink)

The overreliance on verbal models and theories in psychology has been criticized for hindering the development of reliable research programs (Harris, 1976; Yarkoni, 2020). We demonstrate how the conceptual space framework can be used to formalize verbal theories and improve their precision and testability. In the framework, scientific concepts are represented by means of geometric objects. As a case study, we present a formalization of an existing three-dimensional theory of emotion which was developed with a spatial metaphor in mind. Wundt (...) posits that the range of human emotion can be represented along three axes of basic emotions (pleasure/displeasure, excitement/inhibition, tension/relaxation), just as color vision can be represented using three basic colors. We use dimensions to represent basic emotions, points to represent emotional states, and regions to represent broader emotional concepts. We then compare our formalization to an existing structuralist formalization of Wundt’s theory. Further, we discuss the empirical predictions that our formalization generates, such as comparisons of similarity and intensity. We conclude by demonstrating how the tools developed in the conceptual space framework can be used to formulate a theory of emotion based on empirical observation. (shrink)

The overreliance on verbal models and theories in psychology has been criticized for hindering the development of reliable research programs (Harris, 1976; Yarkoni, 2020). We demonstrate how the conceptual space framework can be used to formalize verbal theories and improve their precision and testability. In the framework, scientific concepts are represented by means of geometric objects. As a case study, we present a formalization of an existing three-dimensional theory of emotion which was developed with a spatial metaphor in mind. Wundt (...) posits that the range of human emotion can be represented along three axes of basic emotions (pleasure/displeasure, excitement/inhibition, tension/relaxation), just as color vision can be represented using three basic colors. We use dimensions to represent basic emotions, points to represent emotional states, and regions to represent broader emotional concepts. We then compare our formalization to an existing structuralist formalization of Wundt’s theory. Further, we discuss the empirical predictions that our formalization generates, such as comparisons of similarity and intensity. We conclude by demonstrating how the tools developed in the conceptual space framework can be used to formulate a theory of emotion based on empirical observation. (shrink)

Anti-realism about the foundations of logic are curiously absent from the literature. This is especially striking given natural analogies with moral anti-realis.

The paper explores the distinction between two doctrines, both of which inform theory construction in much of modern cognitive psychology: the representational theory of mind and the computational theory of mind. According to the former, propositional attitudes are to be construed as relations that organisms bear to mental representations. According to the latter, mental processes have access only to formal (nonsemantic) properties of the mental representations over which they are defined.The following claims are defended: (1) That the traditional dispute between (...) “rational” and “naturalistic” psychology is plausibly viewed as an argument about the status of the computational theory of mind. Rational psychologists accept a formality condition on the specification of mental processes; naturalists do not. (2) That to accept the formality condition is to endorse a version of methodological solipsism. (3) That the acceptance of some such condition is warranted, at least for that part of psychology which concerns itself with theories of the mental causation of behavior. This is because: (4) such theories require nontransparent taxonomies of mental states; and (5) nontransparent taxonomies individuate mental states without reference to their semantic properties. Equivalently, (6) nontransparent taxonomies respect the way that the organism represents the object of its propositional attitudes toitself, and it is this representation which functions in the causation of behavior.The final section of the paper considers the prospect for a naturalistic psychology: one which defines its generalizations over relations between mental representations and their environmental causes, thus seeking to account for the semantic properties of propositional attitudes. Two related arguments are proposed, both leading to the conclusion that no such research strategy is likely to prove fruitful. (shrink)

The paper explores the distinction between two doctrines, both of which inform theory construction in much of modern cognitive psychology: the representational theory of mind and the computational theory of mind. According to the former, propositional attitudes are to be construed as relations that organisms bear to mental representations. According to the latter, mental processes have access only to formal (nonsemantic) properties of the mental representations over which they are defined.The following claims are defended: (1) That the traditional dispute between (...) “rational” and “naturalistic” psychology is plausibly viewed as an argument about the status of the computational theory of mind. Rational psychologists accept a formality condition on the specification of mental processes; naturalists do not. (2) That to accept the formality condition is to endorse a version of methodological solipsism. (3) That the acceptance of some such condition is warranted, at least for that part of psychology which concerns itself with theories of the mental causation of behavior. This is because: (4) such theories require nontransparent taxonomies of mental states; and (5) nontransparent taxonomies individuate mental states without reference to their semantic properties. Equivalently, (6) nontransparent taxonomies respect the way that the organism represents the object of its propositional attitudes toitself, and it is this representation which functions in the causation of behavior.The final section of the paper considers the prospect for a naturalistic psychology: one which defines its generalizations over relations between mental representations and their environmental causes, thus seeking to account for the semantic properties of propositional attitudes. Two related arguments are proposed, both leading to the conclusion that no such research strategy is likely to prove fruitful. (shrink)

As inductive decision-making procedures, the inferences made by machine learning programs are subject to underdetermination by evidence and bear inductive risk. One strategy for overcoming these challenges is guided by a presumption in philosophy of science that inductive inferences can and should be value-free. Applied to machine learning programs, the strategy assumes that the influence of values is restricted to data and decision outcomes, thereby omitting internal value-laden design choice points. In this paper, I apply arguments from feminist philosophy of (...) science to machine learning programs to make the case that the resources required to respond to these inductive challenges render critical aspects of their design constitutively value-laden. I demonstrate these points specifically in the case of recidivism algorithms, arguing that contemporary debates concerning fairness in criminal justice risk-assessment programs are best understood as iterations of traditional arguments from inductive risk and demarcation, and thereby establish the value-laden nature of automated decision-making programs. Finally, in light of these points, I address opportunities for relocating the value-free ideal in machine learning and the limitations that accompany them. (shrink)