Normativity of naturalized epistemology is one of the most extensively and hotly debated topics in contemporary epistemology. In order to reveal the relationship between normativity and naturalized epistemology, we firstly conduct an analysis of “Epistemology Naturalized,” the article on which the naturalized epistemology was founded. Then we compare the views which argue that normativity goes by the board with those which defend that normativity is conserved if epistemology is naturalized. Finally, based especially on Quine’s own views, we argue that naturalized (...) epistemology is hypothetically normative. -/- Doğallaştırılmış epistemolojinin normatifliği çağdaş epistemolojide çok tartışılan konulardan birisidir. Biz bu çalışmada önce doğallaştırılmış epistemoloji yaklaşımının normatiflikle ilişkisini ortaya çıkarmak amacıyla doğallaştırılmış epistemolojinin temelinin atıldığı “Epistemology Naturalized” makalesinin bir çözümlemesini yapıyoruz. Daha sonra doğallaştırma ile epistemolojinin normatifliğinin ortadan kalktığını ya da tam tersine korunduğunu savunan kimi bilgi kuramcılarının argümanlarını karşılaştırıyor ve Quine’ın yapıtlarında yer alan görüşleri esas alarak doğallaştırılmış epistemolojinin koşullu ya da hipotetik olarak normatif olduğunu savunuyoruz. (shrink)

A dominant strand of philosophical thought holds that natural kinds are clusters of objects with shared properties. Cluster theories of natural kinds are often taken to be a late twentieth-century development, prompted by dissatisfaction with essentialism in philosophy of biology. I will argue here, however, that a cluster theory of kinds had actually been formulated by William Whewell (1794-1866) more than a century earlier. Cluster theories of kinds can be characterized in terms of three central commitments, all of which are (...) present in Whewell’s work on classification. Like contemporary cluster theorists, Whewell claims that kinds are united by similarity, that many kinds do not have essences, and that there are “gaps” between kinds. Moreover, Whewell advises taxonomists to look for consilience (roughly, convergence) between different classificatory schemes, a recommendation that reinforces the identification of natural classes with property clusters. Thus Whewell was not only an early cluster theorist, but one with important insights into what a cluster theory of kinds means for the practice of classification. (shrink)

The idea of the uniformity of nature, as a solution to the problem of induction, has at least two contemporary versions: natural kinds and natural necessity. Then there are at least three alternative ontological ideas addressing the problem of induction. In this paper, I articulate how these ideas are used to justify the practice of inductive inference, and compare them, in terms of their applicability, to see whether each of them is preferred in addressing the problem of induction. Given the (...) variety of contexts in which inductive inferences are made, from natural science to social science and to everyday thinking, I suggest that no singular idea is absolutely preferred, and a proper strategy is probably to welcome the plurality of ideas helpful to induction, and to take pragmatic considerations into account, in order to judge in every single case. (shrink)

The extensions of Goodman’s ‘grue’ predicate and Kripke’s ‘quus’ are constructed from the extensions of more familiar terms via a reinterpretation that permutes assignments of reference. Since this manoeuvre is at the heart of Putnam’s model-theoretic and permutation arguments against metaphysical realism (‘Putnam’s Paradox’), both Goodman’s New Riddle of Induction and the paradox about meaning that Kripke attributes to Wittgenstein are instances of Putnam’s. Evidence cannot selectively confirm the green-hypothesis and disconfirm the grue-hypothesis, because the theory of which the green-hypothesis (...) is a part has an unintended model in which the grue-hypothesis is equally confirmed; and there are no meaning-facts that determine reference, because the objects referred to by the referring terms of any language or set of intentional mental states are permutable in a way that is consistent with the truth-values of all other sentences in that language or beliefs in that set. The upshot is that the three paradoxes need to be solved in a unified way. (shrink)

Facts about moral disagreement and human evolution have both been said to exclude the possibility of moral knowledge, but the question of how these challenges interact has largely gone unaddressed. The paper aims to present and defend a novel version of the evolutionary “debunking” argument for moral skepticism that appeals to both types of considerations. This argument has several advantages compared to more familiar versions. The standard debunking strategy is to argue that evolutionary accounts of moral beliefs generate skeptical implications (...) because they attribute those beliefs to factors that are unrelated to their truth. That strategy is vulnerable to “third-factor” responses, which invoke first-order moral claims to challenge the assumption that Darwinian factors and the moral truths are really unrelated in that way. In contrast, our version is immune to those responses, as it does not proceed via assumptions about how Darwinian factors relate to the moral facts. Instead, it focuses on what evolutionary accounts of moral beliefs have to say about the fact that people often reach divergent moral beliefs. The argument thereby illustrates how the debunking strategy can join forces with the argument from moral disagreement. The combination of those strategies presents, we think, a challenge that is more formidable than when they are considered separately. (shrink)

The subject of this essay is the classical problem of induction, which is sometimes attributed to David Hume and called “the Humean Problem of Induction.” Here, I examine a certain sort of Neo-Aristotelian solution to the problem, which appeals to the concept of natural kinds in its response to the inductive skeptic. This position is most notably represented by Howard Sankey and Marc Lange. The purpose of this paper is partly destructive and partly constructive. I raise two questions. The first (...) is: Are the natural kind solutions to the problem successful? The first thesis of this paper is that they are not, and I will show how and why they fail. And the second question I raise here is: Is there nonetheless some alternative Neo-Aristotelian solution to the problem which is successful and can overcome the shortcomings endemic to the Sankey-Lange account? The second thesis is that there is, and I’ll attempt to sketch one. My stance here may be summarized by saying that, while I agree with Sankey and Lange that the problem of induction can be adequately resolved, and while I am on the whole sympathetic with the Aristotelian spirit of their account, I am, for all that, dissatisfied with the letter of them. Nothing short of a more thoroughgoing Aristotelianism about the epistemology of induction will do. (shrink)

Conceptual spaces are a frequently applied framework for representing concepts. One of its central aims is to find criteria for what makes a concept natural. A prominent demand is that natural concepts cover convex regions in conceptual spaces. The first aim of this paper is to analyse the convexity thesis and the arguments that have been advanced in its favour or against it. Based on this, I argue that most supporting arguments focus on single-domain concepts (e.g., colours, smells, shapes). Unfortunately, (...) these concepts are not the primary examples of natural concepts. Building on this observation, the second aim of the paper is to develop criteria for natural multi-domain concepts. The representation of such concepts has two main aspects: features that are associated with the concept and the probabilistic correlation pattern which the concept captures. Conceptual spaces, together with probabilistic considerations, provide a helpful framework to approach these aspects. With respect to feature representation, the existence of characteristic features (i.e., that apples have a specific taste) is essential. Moreover, natural concepts capture peaks of a probabilistic distribution over complex spaces. They carve up nature at its joints, that is, at areas with no or low probabilistic density. This last aspect is shown to be closely related to the convexity demand. (shrink)

In this paper I consider the project of offering an evolutionary debunking explanation for transparency in doxastic deliberation. I examine Nicole Dular and Nikki Fortier’s (2021) attempt at such a project. I suggest that their account faces a dilemma. On the one horn, their explanation of transparency involves casting our mechanisms for belief formation as solely concerned with truth. I argue that this is explanatorily inadequate when we take a wider view of our belief formation practices. I show that Dular (...) and Fortier overstate the extent to which adaptive non-evidentially supported beliefs are rare, and the implausibility of disjunctive evolutionary systems. They should allow a role for the non-truth directed behaviour of our mechanisms of belief formation. On the other hand, we might restrict the explanation offered by Dular and Fortier to the deliberative context, that is, we might understand them as allowing for non-evidential belief formation outside of the deliberative context, but as identifying the key to explaining transparency in the truth-directed evolutionary mechanisms as they operate in the deliberative context. However, this would land them on the second horn of the dilemma: we would then have no different an explanation to one I have offered elsewhere (2018), an explanation which Dular and Fortier explicitly put aside as engaged in a project different from their own. I finish by briefly considering some broader implications relating to explaining transparency, the nature of belief, and the prospects for pragmatism. I conclude that Dular and Fortier’s debunking explanation of transparency bestows an implausible role for truth in fixing our beliefs, or, if it doesn’t, then we simply have the restatement of a view explicitly disavowed by the authors. We are left, then, with an explanation we ought not want, or an explanation we already had. (shrink)

Computational complexity is a discipline of computer science and mathematics which classifies computational problems depending on their inherent difficulty, i.e. categorizes algorithms according to their performance, and relates these classes to each other. P problems are a class of computational problems that can be solved in polynomial time using a deterministic Turing machine while solutions to NP problems can be verified in polynomial time, but we still do not know whether they can be solved in polynomial time as well. A (...) solution for the so-called NP-complete problems will also be a solution for any other such problems. Its artificial-intelligence analogue is the class of AI-complete problems, for which a complete mathematical formalization still does not exist. In this chapter we will focus on analysing computational classes to better understand possible formalizations of AI-complete problems, and to see whether a universal algorithm, such as a Turing test, could exist for all AI-complete problems. In order to better observe how modern computer science tries to deal with computational complexity issues, we present several different deep-learning strategies involving optimization methods to see that the inability to exactly solve a problem from a higher order computational class does not mean there is not a satisfactory solution using state-of-the-art machine-learning techniques. Such methods are compared to philosophical issues and psychological research regarding human abilities of solving analogous NP-complete problems, to fortify the claim that we do not need to have an exact and correct way of solving AI-complete problems to nevertheless possibly achieve the notion of strong AI. (shrink)

This thesis studies the role of conceptual content in inference and reasoning. The first two chapters offer a theoretical and historical overview of the relation between inference and meaning in philosophy and psychology. In particular, a critical analysis of the formality thesis, i.e., the idea that rational inference is a rule-based and topic-neutral mechanism, is advanced. The origins of this idea in logic and its influence in philosophy and cognitive psychology are discussed. Chapter 3 consists of an analysis of the (...) relationship between inference and representation. It is argued that inference has to be studied from a pluralistic per- spective due to its dependence on different formats of representing information. The following four chapters apply conceptual spaces, a formal theory of concepts within cognitive semantics, to three concept-based inference-types. First, an explication of Sellars notion of material inference is advanced. Later, the model is extended to account for nonmonotonic inference by studying the role expectations in reasoning. Finally, a conceptual space-model of category-based induction is presented. This model predicts most of the empirical properties of this psychological phenomenon and subsumes some of the previous theories in psychology. It is stated that the explanatory fruitfulness of this new approach is evidence for the failure of the formality thesis and calls for a unified model of rational inference that puts semantics at center stage. The last chapter of the thesis discusses how inference and concepts interact in scientific reasoning, which makes constant use of hybrid symbolic structures for representing conceptual information. Stephen Toulmin’s notions of method of representation and inferential technique are developed and applied in a case study about the emergence of the notion of instantaneous speed during the passage from geometrical physics to analytical mechanics. It is claimed that this analysis provides support to the pluralistic perspective for theorizing about reasoning. (shrink)

What the Sorites has to tell us is a simple truth regarding our categories. It appears to saddle us with something other than a simple truth—something worse, a contradiction or a problem or a paradox—only when we insist on viewing it through a discrete logic of categories. Discrete categories and discrete logic are for robots. We aren’t robots, and the simple truth is that we don’t handle categories in the way any discrete logic would demand. For us non-robots, what the (...) Sorites has to offer is a straightforward truth regarding how incapable robots and their logic are of handling categories like ours. (shrink)

In this dissertation, I address the question of how to construct scientific theories of emotions that are both conceptually sound and empirically fruitful. To do this, I offer an analysis of the main challenges scientific theories of emotions face, and I propose a meta-theoretical framework to construct scientific concepts of emotions as explications of folk emotion concepts. Part I discusses the main challenges theories of emotions in psychology and neuroscience encounter. The first states that a proper scientific theory of emotions (...) must explain all and only the phenomena under the vernacular term ‘emotion’ with a common set of conceptual resources and under an overarching generic concept of emotion. The second demands that each emotion category corresponds to well-coordinated sets of neural, physiological, and behavioral patterns of responses. I argue that none of the best contemporary theories of emotions in psychology and neuroscience overcomes these challenges. As a result, a new theory of emotions is required. In Part II, I develop the meta-theoretical framework to construct a theory of emotions that overcomes the challenges above. First, I propose a pluralistic account of scientific kinds based on different patterns of projection that various disciplines may take to justify inductive inferences. These are essentialist, historical, and social patterns. Each of these patterns provides a framework to construct different types of scientific concepts. I argue that among the frameworks for scientific kinds available, the one that is best suited to explicate emotion concepts is a functional framework. Consequently, I conclude by recommending scientists pursue functionalist theories of emotions over essentialist, historical, or social theories. (shrink)

An intuitive and widely accepted view is that (a) beliefs aim at truth, (b) many citizens have stable and meaningful political beliefs, and (c) citizens choose to support political candidates or parties on the basis of their political beliefs. We argue that all three claims are false. First, we argue that political beliefs often differ from ordinary world-modelling beliefs because they do not aim at truth. Second, we draw on empirical evidence from political science and psychology to argue that most (...) people lack stable and meaningful political beliefs. Third, we claim that the true psychological basis for voting behavior is not an individual’s political beliefs but rather group identity. Along the way, we reflect on what this means for normative democratic theory. (shrink)

Structure–activity relationship and quantitative SAR are modeling methods largely used in assessing biological properties of chemical substances. QSAR is based on the hypothesis that the chemical structure is responsible for the activity; it follows that similar molecules are expected to have similar properties. Similarity plays an important role in read across, which categorizes molecules primarily on the basis of similarity. Similarity, and chemical similarity too, is a property differently perceived by humans. The various proposed metrics often disagree with human judgment, (...) and no a unique metric for chemical similarity is universally adopted. Researchers argued that categorization is not only explained by similarity but depends as well on abstract knowledge and the task to accomplish. Moreover, similarity cannot be the unique explanation of a categorization, as different perceptual processes take place in category formation. Assuming that similarity judgments are deeply rooted in human knowledge and perception, cognitive sciences contributions are as important as the mathematical considerations of the classical theories. After an excursus in the many views of similarity in philosophy, mathematics, and cognitive science, the paper explores how connectionist systems, which loosely mimic the human cognitive system, could improve similarity-based choices. A case study on building SARs using connectionism and deep neural networks shows the role of similarity in building and explaining those models. A discussion about deep learning for QSAR and as a modeling tool for science concludes the presentation. (shrink)

Quine’s argument for a naturalized epistemology is routinely perceived as an argument from despair: traditional epistemology must be abandoned because all attempts to deduce our scientific theories from sense experience have failed. In this paper, I will show that this picture is historically inaccurate and that Quine’s argument against first philosophy is considerably stronger and subtler than the standard conception suggests. For Quine, the first philosopher’s quest for foundations is inherently incoherent; the very idea of a self-sufficient sense datum language (...) is a mistake as there is no science-independent perspective from which to validate science. I will argue that a great deal of the confusion surrounding Quine’s argument is prompted by certain phrases in his seminal ‘Epistemology Naturalized’. Scrutinizing Quine’s work both before and after the latter paper provides a better key to understanding his remarkable views about the epistemological relation between theory and evidence. -/- . (shrink)

Epistemic instrumentalism views epistemic norms and epistemic normativity as essentially involving the instrumental relation between means and ends. It construes notions like epistemic normativity, norms, and rationality, as forms of instrumental or means-end normativity, norms, and rationality. I do two main things in this paper. In part 1, I argue that there is an under-appreciated distinction between two independent types of epistemic instrumentalism. These are instrumentalism about epistemic norms and instrumentalism about epistemic normativity. In part 2, I argue that this (...) under-appreciated distinction matters for the debate surrounding the plausibility of EI. Specifically, whether we interpret EI as norm-EI or as source-EI matters for the widely discussed universality or categoricity objection to EI, and for two important motivations for adopting EI, namely naturalism and the practical utility of epistemic norms. I will then conclude by drawing some lessons for epistemic instrumentalism going forward. (shrink)

This paper defends the naïve thesis that the method of experiment has per se an epistemic superiority over the method of computer simulation, a view that has been rejected by some philosophers writing about simulation, and whose grounds have been hard to pin down by its defenders. I further argue that this superiority does not come from the experiment’s object being materially similar to the target in the world that the investigator is trying to learn about, as both sides of (...) dispute over the epistemic superiority thesis have assumed. The superiority depends on features of the question and on a property of natural kinds that has been mistaken for material similarity. Seeing this requires holding other things equal in the comparison of the two methods, thereby exposing that, under the conditions that will be specified, the simulation is necessarily epistemically one step behind the corresponding experiment. Practical constraints like feasibility and morality mean that scientists do not often face an other-things- equal comparison when they choose between experiment and simulation. Nevertheless, I argue, awareness of this superiority and of the general distinction between experiment and simulation is important for maintaining motivation to seek answers to new questions. (shrink)

Knowledge representation is a central issue in a number of areas, but few attempts are usually made to bridge different approaches accross different fields. As a contribution in this direction, in this paper I focus on one such approach, the theory of conceptual spaces developed within cognitive science, and explore its potential applications in the fields of philosophy of science and formal epistemology. My case-study is provided by the theory of truthlikeness, construed as closeness to “the whole truth” about a (...) given domain, as described in the underlying language. I show how modeling propositions and their relations within a conceptual space has interesting implications for two issues in truthlikeness theory: the so called problem of language dependence, and that of measure sensitivity. I conclude by pointing at some open issues arising from the application of conceptual spaces to the analysis of philosophical problems. (shrink)

In this paper, I discuss Quine’s views on language sharing and linguistic communities. It is sometimes explicitly and often implicitly taken for granted that Quine believes that speakers can form communities in which they share a language. The aim of the paper is to show that this is a misinterpretation and, on the contrary, Quine is closer to linguistic individualism – the view according to which there is no guarantee that speakers within a community share a language and the notion (...) of idiolect is more fundamental than the notion of shared language. (shrink)

First part of the translation into Spanish of David Lewis' "New Work for a Theory of Universals", corresponding to the introduction and the first two sections of the original paper. || Primera parte de la traducción al español del trabajo de David Lewis "New Work for a Theory of Universals", correspondiente a la introducción y las dos primeras secciones del artículo original. Artículo original publicado en: Australasian Journal of Philosophy, Vol. 61, No. 4, Dec. 1983, pp. 343-377.

Many standard philosophical accounts of scientific practice fail to distinguish between modeling and other types of theory construction. This failure is unfortunate because there are important contrasts among the goals, procedures, and representations employed by modelers and other kinds of theorists. We can see some of these differences intuitively when we reflect on the methods of theorists such as Vito Volterra and Linus Pauling on the one hand, and Charles Darwin and Dimitri Mendeleev on the other. Much of Volterra's and (...) Pauling's work involved modeling; much of Darwin's and Mendeleev's did not. In order to capture this distinction, I consider two examples of theory construction in detail: Volterra's treatment of post-WWI fishery dynamics and Mendeleev's construction of the periodic system. I argue that modeling can be distinguished from other forms of theorizing by the procedures modelers use to represent and to study real-world phenomena: indirect representation and analysis. This differentiation between modelers and non-modelers is one component of the larger project of understanding the practice of modeling, its distinctive features, and the strategies of abstraction and idealization it employs. (shrink)

That past patterns may continue in many different ways has long been identified as a problem for accounts of induction. The novelty of Goodman’s ”new riddle of induction” lies in a meta-argument that purports to show that no account of induction can discriminate between incompatible continuations. That meta-argument depends on the perfect symmetry of the definitions of grue/bleen and green/blue, so that any evidence that favors the ordinary continuation must equally favor the grue-ified continuation. I argue that this very dependence (...) on the perfect symmetry defeats the novelty of the new riddle. The symmetry can be obtained in contrived circumstances, such as when we grue-ify our total science. However, in all such cases, we cannot preclude the possibility that the original and grue-ified descriptions are merely notationally variant descriptions of the same physical facts; or if there are facts that separate them, these facts are ineffable, so that no account of induction should be expected to pick between them. In ordinary circumstances, there are facts that distinguish the regular and grue-ified descriptions. Since accounts of induction can and do call upon these facts, Goodman’s meta-argument cannot provide principled grounds for the failure of all accounts of induction. It assures us only of the failure of accounts of induction, such as unaugmented enumerative induction, that cannot exploit these symmetry breaking facts. (shrink)

This paper criticizes the widespread view whereby a second-order judgment of the form ‘I believe that p ’ qualifies as self-knowledge only if the embedded content, p , is of the same type as the content of the intentional state reflected upon and the self-ascribed attitude, belief, is of the same type as the attitude the subject takes towards p . Rather than requiring identity of contents across levels of cognition self-knowledge requires only that the embedded content of the second-order (...) thought be an entailment of the content of the intentional state reflected upon. And rather than demanding identity of attitudes across levels of cognition self-knowledge demands only that the attitude of the intentional state reflected upon and the attitude the subject self-attributes share certain features such as direction of fit and polarity. (shrink)

This paper addresses philosophical issues concerning whether mental disorders are natural kinds and how the DSM should classify mental disorders. I argue that some mental disorders (e.g., schizophrenia, depression) are natural kinds in the sense that they are natural classes constituted by a set of stable biological mechanisms. I subsequently argue that a theoretical and causal approach to classification would provide a superior method for classifying natural kinds than the purely descriptive approach adopted by the DSM since DSM-III. My argument (...) suggests that the DSM should classify natural kinds in order to provide predictively useful (i.e., projectable) diagnostic categories and that a causal approach to classification would provide a more promising method for formulating valid diagnostic categories. (shrink)

This paper maps the landscape for a range of views concerning the metaphysics of natural kinds. I consider a range of increasingly ontologically committed views concerning natural kinds and the possible arguments for them. I then ask how these relate to natural kind essentialism, arguing that essentialism requires commitment to kinds as entities. I conclude by examining the homeostatic property cluster view of kinds in the light of the general understanding of kinds developed.

In this paper I offer a unified causal account of natural kinds. Using as a starting point the widely held view that natural kind terms or predicates are projectible, I argue that the ontological bases of their projectibility are the causal properties and relations associated with the natural kinds themselves. Natural kinds are not just concatenations of properties but ordered hierarchies of properties, whose instances are related to one another as causes and effects in recurrent causal processes. The resulting account (...) of natural kinds as clusters of core causal properties that give rise to clusters of derivative properties enables us to distinguish genuine natural kinds from non-natural kinds. For instance, it enables us to say why some of the purely conventional categories derived from the social domain do not correspond to natural kinds, though other social categories may. (shrink)

Confirmation and falsification are different strategies for testing theories and characterizing the outcomes of those tests. Roughly speaking, confirmation is the act of using evidence or reason to verify or certify that a statement is true, definite, or approximately true, whereas falsification is the act of classifying a statement as false in the light of observation reports. After expounding the intellectual history behind confirmation and falsificationism, reaching back to Plato and Aristotle, I survey some of the main controversial issues and (...) arguments that pertain to the choice between these strategies: the Raven Paradox, the Duhem/Quine problem and the Grue Paradox. Finally, I outline an evolutionary criticism of inductive Bayesian approaches based on my assumption of doxastic involuntarism. (shrink)

Both realist and anti-realist accounts of natural kinds possess prima facie virtues: realists can straightforwardly make sense of the apparent objectivity of the natural kinds, and anti-realists, their knowability. This paper formulates a properly anti-realist account designed to capture both merits. In particular, it recommends understanding natural kinds as ‘categorical bottlenecks,’ those categories that not only best serve us, with our idiosyncratic aims and cognitive capacities, but also those of a wide range of alternative agents. By endorsing an ultimately subjective (...) categorical principle, this view sidesteps epistemological difficulties facing realist views. Yet, it nevertheless identifies natural kinds that are fairly, though not completely, stance-independent or objective. (shrink)

Creatures inveterately wrong in their inductions have a pathetic but praiseworthy tendency to die before reproducing their kind.- Quine (1969)We think that some facts - for example, the fact that someone is suffering, or the fact that all previously encountered tigers were carnivorous – supply us with normative reasons for action and belief. The former fact, we think, is a reason to help the suffering person; the latter fact is a reason to believe that the next tiger we see will (...) also be carnivorous. But how is the reason-giving status of such facts best understood? In particular, is it best understood as ultimately “conferred” upon these facts by our own evaluative attitudes, or do at least some facts possess normative reason-giving status in a way that is robustly independent of our attitudes? This is the modern, secular version of Plato's “Euthyphro question” - couched here in the philosophically useful, though not essential, language of normative reasons. (shrink)

Geographic Information Science (GIS) is an interdisciplinary science aiming to detect and visually represent patterns in spatial data. GIS is used by businesses to determine where to open new stores and by conservation biologists to identify field study locations with relatively little anthropogenic influence. Products of GIS include topographic and thematic maps of the Earth’s surface, climate maps, and spatially referenced demographic graphs and charts. In addition to its social, political, and economic importance, GIS is of intrinsic philosophical interest due (...) to its methodological richness and because it is an instructive analogue to other sciences. This chapter works towards a philosophy of GIS and cartography, or PGISC. In particular, it examines practices of classifying geographic space, objects, and relations. By focusing on the use of natural kinds in data modeling and map generalization practices, I show how the making and using of kinds is contextual, fallible, plural, and purposive. (shrink)

Historically, Nelson Goodman’s paradox involving the predicates ‘grue’ and ‘bleen’ has been taken to furnish a serious blow to Carl Hempel’s theory of confirmation in particular and to purely formal theories of confirmation in general. In this paper, I argue that Goodman’s paradox is no more serious of a threat to Hempel’s theory of confirmation than is Hempel’s own paradox of the ravens. I proceed by developing a suggestion from R. D. Rosenkrantz into an argument for the conclusion that these (...) paradoxes are, in fact, equivalent. My argument, if successful, is of both historical and philosophical interest. Goodman himself maintained that Hempel’s theory of confirmation was capable of handling the paradox of the ravens. And Hempel eventually conceded that Goodman’s paradox showed that there could be no adequate, purely syntactical theory of confirmation. The conclusion of my argument entails, by contrast, that Hempel’s theory of confirmation is incapable of handling Goodman’s paradox if and only if it is incapable of handling the paradox of the ravens. It also entails that for any adequate solution to one of these paradoxes, there is a corresponding and equally adequate solution to the other. (shrink)

A large part of the controversy surrounding the publication of DSM-5 stems from the possibility of replacing the purely descriptive approach to classification favored by the DSM since 1980. This paper examines the question of how mental disorders should be classified, focusing on the issue of whether the DSM should adopt a purely descriptive or theoretical approach. I argue that the DSM should replace its purely descriptive approach with a theoretical approach that integrates causal information into the DSM’s descriptive diagnostic (...) categories. The paper proceeds in three sections. In the first section, I examine the goals (viz., guiding treatment, facilitating research, and improving communication) associated with the DSM’s purely descriptive approach. In the second section, I suggest that the DSM’s purely descriptive approach is best suited for improving communication among mental health professionals; however, theoretical approaches would be superior for purposes of treatment and research. In the third section, I outline steps required to move the DSM towards a hybrid system of classification that can accommodate the benefits of descriptive and theoretical approaches, and I discuss how the DSM’s descriptive categories could be revised to incorporate theoretical information regarding the causes of disorders. I argue that the DSM should reconceive of its goals more narrowly such that it functions primarily as an epistemic hub that mediates among various contexts of use in which definitions of mental disorders appear. My analysis emphasizes the importance of pluralism as a methodological means for avoiding theoretical dogmatism and ensuring that the DSM is a reflexive and self-correcting manual. (shrink)

Extant literature on Goodman’s ‘New Riddle of Induction’ deals mainly with two versions. I consider both of them, starting from the (‘epistemic’) version of Goodman’s classic of 1954. It turns out that it belongs to the realm of applications of inductive logic, and that it can be resolved by admitting only significant evidence (as I call it) for confirmations of hypotheses. Sect. 1 prepares some ground for the argument. As much of it depends on the notion of evidential significance, this (...) concept is defined and its introduction motivated. Further, I introduce and explain the distinction between support and confirmation: put in a slogan, ‘confirmation is support by significant evidence’. The second section deals with the Riddle itself. I demonstrate that, given the provisions of the first section, not ‘anything confirms anything’: significant green-evidence confirms only green-hypotheses (and no grue-hypotheses), and significant grue-evidence confirms only grue-hypotheses (and no green-hypotheses), whichever terms we use for expressing these evidences or hypotheses. The third section rounds off my treatment. First I show that Frank Jackson’s use of his counterfactual condition is unsuccessful. Further, I argue that no unwanted consequences result, if one starts from the other, ‘objective’, definition of ‘grue’, as it constitutes no more than a mere fact of logic that cannot do any harm. Finally, I present a grue-case involving both kinds of definition, where the exclusive confirmation of either the green- or the grue-hypothesis is shown. (shrink)

According to a traditional argument against moral realism, the existence of objective moral facts is hard to reconcile with the existence of radical disagreement over moral issues. An increasingly popular response to this argument is to insist that it generalizes too easily. Thus, it has been argued that if one rejects moral realism on the basis of disagreement then one is committed to similar views about epistemology and meta-ethics itself, since the disagreements that arise in those areas are just as (...) deep as the moral ones. This in turn is taken to show that a moral anti-realist should seek another basis for her position. For, if she extends her anti-realism also to epistemology and meta-ethics, then she is no longer in a position to say that her meta-ethical position is (objectively) true or that it is a fact that we have reason to accept it. She therefore seems left with a position that hardly even seems to be a position. The purpose of the paper is to challenge this response and in particular the claim that the argument from disagreement applies equally well to epistemology and meta-ethics as it does to ethics. It is argued that, despite contrary appearances, there are crucial differences between the disagreements that occur in ethics compared to those that arise in the other areas. Moreover, even granted that the disagreements are just as deep, there are other differences between the areas that nevertheless justify drawing different conclusions about their status from the existence of those disagreements. (shrink)

This paper evaluates the Natural-Kinds Argument for cognitive extension, which purports to show that the kinds presupposed by our best cognitive science have instances external to human organism. Various interpretations of the argument are articulated and evaluated, using the overarching categories of memory and cognition as test cases. Particular emphasis is placed on criteria for the scientific legitimacy of generic kinds, that is, kinds characterized in very broad terms rather than in terms of their fine-grained causal roles. Given the current (...) state of cognitive science, I conclude that we have no reason to think memory or cognition are generic natural kinds that can ground an argument for cognitive extension. (shrink)

The vision of natural kinds that is most common in the modern philosophy of biology, particularly with respect to the question whether species and other taxa are natural kinds, is based on a revision of the notion by Mill in A System of Logic. However, there was another conception that Whewell had previously captured well, which taxonomists have always employed, of kinds as being types that need not have necessary and sufficient characters and properties, or essences. These competing views employ (...) different approaches to scientific methodologies: Mill’s class-kinds are not formed by induction but by deduction, while Whewell’s type-kinds are inductive. More recently, phylogenetic kinds (clades, or monophyletic-kinds) are inductively projectible, and escape Mill’s strictures. Mill’s version represents a shift in the notions of kinds from the biological to the physical sciences. (shrink)

I believe that Tom is the proud father of a baby boy. Why do I think his child is a boy? A natural answer might be that I remember that his name is ‘Owen’ which is usually a boy’s name. Here I’ve given information that might be part of a causal explanation of my believing that Tom’s baby is a boy. I do have such a memory and it is largely what sustains my conviction. But I haven’t given you just (...) any causally relevant information, I’ve given my grounds for my belief. I’ve given reasons that might justify me in supposing that Tom’s baby is a boy. Less naturally, the question might be taken as a request for a broader causal explanation of my holding this belief. Appropriate answers might cite all manner of facts concerning the evolution of the human race, why I chose to pursue philosophy and hence came to know Tom, the mechanisms of email transmission, the firing of various neurons, the circumstances of concept formation as a result of which I’m able to grasp the thought that Tom’s baby is a boy, and so on. It is an interesting question what distinguishes the narrower set of answers that I first suggested. I won’t pursue that here. I assume you have a good enough sense of the distinction I’m drawing. We might call the narrower set of answers justifying reasons, the kind of reasons I might cite in justifying my belief. Answers of the first sort are clearly relevant to epistemological evaluation. In assessing whether you know p or are rational in believing it to the degree you do, I will naturally want to consider what reasons you have for your belief. In deliberating myself about whether to believe p, in seeking an answer to the question of whether p, I will naturally consider what reasons or grounds I have to suppose that p. But what I want to focus on here is how explanations of the broader sort bear on such questions as whether to believe p. From a third-person perspective we can ask, ‘In assessing the epistemic status of S’s belief that p, what is the relevance of causal information that lies outside of the realm of justifying reasons?’ From the first-person standpoint we can ask ‘In seeking to answer whether p, how should such causal information affect my deliberations?’ At first it might seem that such broader causal information could have little relevance if any. Like any belief my belief that p can be traced back to innumerable causes from far and wide.. (shrink)

A survey of innateness in cognitive science, focusing on (1) what innateness might be, and (2) whether concepts might be innate.

When someone is asked to speak his mind, it is sometimes possible for him to furnish what his utterance appears to have omitted. In such cases we might say that he had a mind to speak. Sometimes, however, the opposite is true. Asked to speak his mind, our speaker finds that he has no mind to speak. When it is possible to speak one's mind and when not is largely determined by the kinds of beings we are and by the (...) kinds of resources we are able to draw upon. In either case, not speaking one's mind is leaving something out whose articulation would or could matter for the purposes for which one was speaking in the first place. Inarticulation is no fleetingly contingent and peripheral phenomenon in human thinking and discourse. It is a substantial and dominant commonplace. In Part One I attempt to say something about what it is about the human agent that makes inarticulateness so rife. In Part Two, I consider various strategies for making the unarticulated explicit, and certain constraints on such processes. I shall suggest, among other things, that standard treatments of enthymematic reconstruction are fundamentally misconceived. (shrink)

Starting from the sixties of the past century theory change has become a main concern of philosophy of science. Two of the best known formal accounts of theory change are the post-Popperian theories of verisimilitude (PPV for short) and the AGM theory of belief change (AGM for short). In this paper, we will investigate the conceptual relations between PPV and AGM and, in particular, we will ask whether the AGM rules for theory change are effective means for approaching the truth, (...) i.e., for achieving the cognitive aim of science pointed out by PPV. First, the key ideas of PPV and AGM and their application to a particular kind of propositional theories - the so called "conjunctive propositions" - will be illustrated. Afterwards, we will prove that, as far as conjunctive propositions are concerned, AGM belief change is an effective tool for approaching the truth. (shrink)

The dangers of character reification for cladistic inference are explored. The identification and analysis of characters always involves theory-laden abstraction—there is no theory-free “view from nowhere.” Given theory-ladenness, and given a real world with actual objects and processes, how can we separate robustly real biological characters from uncritically reified characters? One way to avoid reification is through the employment of objectivity criteria that give us good methods for identifying robust primary homology statements. I identify six such criteria and explore each (...) with examples. Ultimately, it is important to minimize character reification, because poor character analysis leads to dismal cladograms, even when proper phylogenetic analysis is employed. Given the deep and systemic problems associated with character reification, it is ironic that philosophers have focused almost entirely on phylogenetic analysis and neglected character analysis. (shrink)

In this paper, we develop an account of the justification thinkers have for employing certain basic belief-forming methods. The guiding idea is inspired by Reichenbach's work on induction. There are certain projects in which thinkers are rationally required to engage. Thinkers are epistemically justified in employing any belief-forming method such that "if it doesn't work, nothing will" for successfully engaging in such a project. We present a detailed account based on this intuitive thought and address objections to it. We conclude (...) by commenting on the implications that our account may have for other important epistemological issues and debates. (shrink)

An account of analogical characterization is developed in which the following things are claimed.(1) Analogical predications are irreflexive, asymmetrical, atransitive and non-inversive. (2) Analogies A and B share role-similarity descriptions sufficiently abstract to overcome the differences between A and B. Analogies pivot on the point of limited similarity and substantial, even radical, difference. (3) The semantical theory for sentences making analogical attributions requires a distinction between (sentential) meaning as truth conditions and (sentential) meaning as a functional compound of the meanings (...) of contained lexical items. Analogical sentences possess both kinds of meaning. They are true via their truth conditions and would be false via their lexical meanings. The distinctive feature of the lexical meaning of analogical sentences is the tightness of constraints on closure. The implications of analogical sentences, given their lexical meanings, though there, aren't drawn. It is in this sense that analogies are made and not found. (shrink)

We examine the philosophical disputes among computer scientists concerning methodological, ontological, and epistemological questions: Is computer science a branch of mathematics, an engineering discipline, or a natural science? Should knowledge about the behaviour of programs proceed deductively or empirically? Are computer programs on a par with mathematical objects, with mere data, or with mental processes? We conclude that distinct positions taken in regard to these questions emanate from distinct sets of received beliefs or paradigms within the discipline: – The rationalist (...) paradigm, which was common among theoretical computer scientists, defines computer science as a branch of mathematics, treats programs on a par with mathematical objects, and seeks certain, a priori knowledge about their ‘correctness’ by means of deductive reasoning. – The technocratic paradigm, promulgated mainly by software engineers and has come to dominate much of the discipline, defines computer science as an engineering discipline, treats programs as mere data, and seeks probable, a posteriori knowledge about their reliability empirically using testing suites. – The scientific paradigm, prevalent in the branches of artificial intelligence, defines computer science as a natural (empirical) science, takes programs to be entities on a par with mental processes, and seeks a priori and a posteriori knowledge about them by combining formal deduction and scientific experimentation. We demonstrate evidence corroborating the tenets of the scientific paradigm, in particular the claim that program-processes are on a par with mental processes. We conclude with a discussion in the influence that the technocratic paradigm has been having over computer science. (shrink)

How can we disentangle the neural basis of phenomenal consciousness from the neural machinery of the cognitive access that underlies reports of phenomenal consciousness? We can see the problem in stark form if we ask how we could tell whether representations inside a Fodorian module are phenomenally conscious. The methodology would seem straightforward: find the neural natural kinds that are the basis of phenomenal consciousness in clear cases when subjects are completely confident and we have no reason to doubt their (...) authority, and look to see whether those neural natural kinds exist within Fodorian modules. But a puzzle arises: do we include the machinery underlying reportability within the neural natural kinds of the clear cases? If the answer is ‘Yes’, then there can be no phenomenally conscious representations in Fodorian modules. But how can we know if the answer is ‘Yes’? The suggested methodology requires an answer to the question it was supposed to answer! The paper argues for an abstract solution to the problem and exhibits a source of empirical data that is relevant, data that show that in a certain sense phenomenal consciousness overflows cognitive accessibility. The paper argues that we can find a neural realizer of this overflow if assume that the neural basis of phenomenal consciousness does not include the neural basis of cognitive accessibility and that this assumption is justified by the explanations it allows. (shrink)

Jerry Fodor and Ernest Lepore have recently criticized Davidson's methodology of radical interpretation because of its apparent failure to reflect how actual interpretation is achieved. Responding to such complaints, Davidson claims that he is not interested in the empirical issues surrounding actual interpretation but instead focuses on the question of what conditions make interpretation possible. It is argued that this exchange between Fodor and Lepore on one side, and Davidson on the other, cannot be viewed simply as a naturalist reaction (...) to non-naturalist philosophical inquiry. Through a careful excavation of the hidden assumptions and commitments underlying this debate, we recognize a more serious disagreement over the intellectual obligations of naturalism; a position with a firm hold on current philosophical imaginations. In the process, we gain a new appreciation for how such commitments shape these naturalist positions, and recognize that any resolution to this specific debate will require careful attention to the divergent commitments that are its real source. (shrink)