It is commonly assumed that grounding relations are asymmetric. Here I develop and argue for a theory of metaphysical structure that takes grounding to be nonsymmetric rather than asymmetric. Even without infinite descending chains of dependence, it might be that every entity is grounded in some other entity. Having first addressed an immediate objection to the position under discussion, I introduce two examples of symmetric grounding. I give three arguments for the view that grounding is nonsymmetric (I call this view (...) ‘metaphysical interdependence’). These arguments are: (i) that metaphysical interdependence is the only theory able to reconcile competing intuitions about grounding; (ii) that it is the only theory consistent with both ‘gunk’ and ‘junk’; and (iii) that offers a satisfactory solution to the problem concerning whether or not grounding is itself grounded. (shrink)

The perfectly natural properties and relations are special—they are all and only those that "carve nature at its joints." They act as reference magnets, form a minimal supervenience base, figure in fundamental physics and in the laws of nature, and never divide duplicates within or between worlds. If the perfectly natural properties are the (metaphysically) important ones, we should expect being a perfectly natural property to itself be one of the (perfectly) natural properties. This paper argues that being a perfectly (...) natural property is not a very natural property, and examines the consequences. (shrink)

Attempts to elucidate grounding are often made by connecting grounding to metaphysical explanation, but the notion of metaphysical explanation is itself opaque, and has received little attention in the literature. We can appeal to theories of explanation in the philosophy of science to give us a characterization of metaphysical explanation, but this reveals a tension between three theses: that grounding relations are objective and mind-independent; that there are pragmatic elements to metaphysical explanation; and that grounding and metaphysical explanation share a (...) close connection. Holding fixed the mind-independence of grounding, I show that neither horn of the resultant dilemma can be blunted. Consequently, we should reject the assumption that grounding relations are mind-independent. (shrink)

Given the fundamental role that concepts play in theories of cognition, philosophers and cognitive scientists have a common interest in concepts. Nonetheless, there is a great deal of controversy regarding what kinds of things concepts are, how they are structured, and how they are acquired. This chapter offers a detailed high-level overview and critical evaluation of the main theories of concepts and their motivations. Taking into account the various challenges that each theory faces, the chapter also presents a novel approach (...) to concepts that is organized around two ideas. The first is a pluralistic view of differing types of conceptual structure. The second is a model that treats concepts as atomic representations that are linked to various types of conceptual structures. (shrink)

Ever since Plato it has been thought that one knows only if one's belief hits the mark of truth and does so with adequate justification. The issues debated by Laurence BonJour and Ernest Sosa concern mostly the nature and conditions of such epistemic justification, and its place in our understanding of human knowledge. Presents central issues pertaining to internalism vs. externalism and foundationalism vs. virtue epistemology in the form of a philosophical debate. Introduces students to fundamental questions within epistemology (...) while engaging in contemporary debates. Written by two of today’s foremost epistemologists. Includes an extensive bibliography. (shrink)

To address the underrepresentation of women in philosophy effectively, we must understand the causes of the early loss of women. In this paper we challenge one of the few explanations that has focused on why women might leave philosophy at early stages. Wesley Buckwalter and Stephen Stich offer some evidence that women have different intuitions than men about philosophical thought experiments. We present some concerns about their evidence and we discuss our own study, in which we attempted to replicate their (...) results for 23 different responses to 14 scenarios . We also conducted a literature search to see if other philosophers or psychologists have tested for gender differences in philosophical intuitions. Based on our findings, we argue that that it is unlikely that gender differences in intuitions play a significant role in driving women from philosophy. (shrink)

Noam Chomsky's Poverty of the Stimulus Argument is one of the most famous and controversial arguments in the study of language and the mind. Though widely endorsed by linguists, the argument has met with much resistance in philosophy. Unfortunately, philosophical critics have often failed to fully appreciate the power of the argument. In this paper, we provide a systematic presentation of the Poverty of the Stimulus Argument, clarifying its structure, content, and evidential base. We defend the argument against a variety (...) of philosophical criticisms, new and old, and argue that the Poverty of the Stimulus Argument continues to deserve its guiding role in the study of language and the mind. (shrink)

Radical concept nativism is the thesis that virtually all lexical concepts are innate. Notoriously endorsed by Jerry Fodor (1975, 1981), radical concept nativism has had few supporters. However, it has proven difficult to say exactly what’s wrong with Fodor’s argument. We show that previous responses are inadequate on a number of grounds. Chief among these is that they typically do not achieve sufficient distance from Fodor’s dialectic, and, as a result, they do not illuminate the central question of how new (...) primitive concepts are acquired. To achieve a fully satisfactory response to Fodor’s argument, one has to juxtapose questions about conceptual content with questions about cognitive development. To this end, we formulate a general schema for thinking about how concepts are acquired and then present a detailed illustration. (shrink)

Conceptual analysis is undergoing a revival in philosophy, and much of the credit goes to Frank Jackson. Jackson argues that conceptual analysis is needed as an integral component of so-called serious metaphysics and that it also does explanatory work in accounting for such phenomena as categorization, meaning change, communication, and linguistic understanding. He even goes so far as to argue that opponents of conceptual analysis are implicitly committed to it in practice. We show that he is wrong on all of (...) these points and that his case for conceptual analysis doesn't succeed. At the same time, we argue that the sorts of intuitions that figure in conceptual analysis may still have a significant role to play in philosophy. So naturalists needn't disregard intuitions altogether. (shrink)

For many years emotion theory has been characterized by a dichotomy between the head and the body. In the golden years of cognitivism, during the nineteen-sixties and seventies, emotion theory focused on the cognitive antecedents of emotion, the so-called “appraisal processes.” Bodily events were seen largely as byproducts of cognition, and as too unspecific to contribute to the variety of emotion experience. Cognition was conceptualized as an abstract, intellectual, “heady” process separate from bodily events. Although current emotion theory has moved (...) beyond this disembodied stance by conceiving of emotions as involving both cognitive processes (perception, attention, and evaluation) and bodily events (arousal, behavior, and facial expressions), the legacy of cognitivism persists in the tendency to treat cognitive and bodily events as separate constituents of emotion. Thus the cognitive aspects of emotion are supposedly distinct and separate from the bodily ones. This separation indicates that cognitivism’s disembodied conception of cognition continues to shape the way emotion theorists conceptualize emotion. (shrink)

One of the most important recent developments in the study of concepts has been the resurgence of interest in nativist accounts of the human conceptual system. However, many theorists suppose that a key feature of neural organization—the brain’s plasticity—undermines the nativist approach to concept acquisition. We argue that, on the contrary, not only does the brain’s plasticity fail to undermine concept nativism, but a detailed examination of the neurological evidence actually provides powerful support for concept nativism.

outrageous remarks about contradictions. Perhaps the most striking remark he makes is that they are not false. This claim first appears in his early notebooks (Wittgenstein 1960, p.108). In the Tractatus, Wittgenstein argued that contradictions (like tautologies) are not statements (Sätze) and hence are not false (or true). This is a consequence of his theory that genuine statements are pictures.

Philosophers have often claimed that general ideas or representations have their origin in abstraction, but it remains unclear exactly what abstraction as a psychological process consists in. We argue that the Lockean aspiration of using abstraction to explain the origins of all general representations cannot work and that at least some general representations have to be innate. We then offer an explicit framework for understanding abstraction, one that treats abstraction as a computational process that operates over an innate quality space (...) of fine-grained general representations. We argue that this framework has important philosophical implications for the nativism-empiricism dispute, for questions about the acquisition of unstructured representations, and for questions about the relation between human and animal minds. (shrink)

One of the most important abilities we have as humans is the ability to think about number. In this chapter, we examine the question of whether there is an essential connection between language and number. We provide a careful examination of two prominent theories according to which concepts of the positive integers are dependent on language. The first of these claims that language creates the positive integers on the basis of an innate capacity to represent real numbers. The second claims (...) that language’s function is to integrate contents from modules that humans share with other animals. We argue that neither model is successful. (shrink)

Strong nativist views about numerical concepts claim that human beings have at least some innate precise numerical representations. Weak nativist views claim only that humans, like other animals, possess an innate system for representing approximate numerical quantity. We present a new strong nativist model of the origins of numerical concepts and defend the strong nativist approach against recent cross-cultural studies that have been interpreted to show that precise numerical concepts are dependent on language and that they are restricted to speakers (...) of languages with the right kind of structure. (shrink)

This essay discusss (1) the differences and commonalities between romantic love and friendship and (2) the differences and commonalities between parental love of friendship.

The Language of Thought Hypothesis is often taken to have the fatal flaw that it generates an explanatory regress. The language of thought is invoked to explain certain features of natural language (e.g., that it is learned, understood, and is meaningful), but, according to the regress argument, the language of thought itself has these same features and hence no explanatory progress has been made. We argue that such arguments rely on the tacit assumption that the entire motivation for the language (...) of thought consists in explaining the explanandum that allegedly generates the regress. But this tacit assumption is simply false. The Language of Thought Hypothesis is a cogent view and one with considerable explanatory advantages. (shrink)

A traditional and widespread belief among theists is that God administers punishment for sins and/or immoral actions. In this paper, Iargue that there is good reason to believe that the infliction of any suffering on humans by God (i.e., a perfectly just being) is morally unjustified. This is important not only because it conflicts with a deeply entrenched religious belief, but also because, as I show, a number of recent argumentative strategies employed by theistic philosophers require that divine punishment be (...) morally justifiable. I conclude, then, that the arguments put forth by these theistic philosophers do not succeed. (shrink)

Research on the specific features of daydreaming compared with mind-wandering and night dreaming is a neglected topic in the philosophy of mind and the cognitive neuroscience of spontaneous thought. The extant research either conflates daydreaming with mind-wandering (whether understood as task-unrelated thought, unguided attention, or disunified thought), characterizes daydreaming as opposed to mind-wandering (Dorsch, 2015), or takes daydreaming to encompass any and all “imagined events” (Newby-Clark & Thavendran, 2018). These dueling definitions obstruct future research on spontaneous thought, and are insufficiently (...) precise to guide empirical studies. They also fail to illuminate the phenomenal core of daydreaming, namely, its dreamlike qualities. Although daydreaming is related to both mind-wandering and narrative imagination, it is not reducible to either. We argue that daydreams are experiences of spontaneous, immersive imagination in the waking state. The main task of our investigation is to distinguish daydreaming, conceptually and phenomenologically, from mind-wandering, on the one hand, and night dreaming, on the other. Although daydream experiences can vary widely, we distinguish prototypical experiences of daydreaming from adjacent imaginative activity, including fleeting imagery and “focused daydreaming,” or crafted visualization. We consider our phenomenological analysis as preparatory work for conceptually distinguishing different spontaneous and imaginative states so that they can be investigated accordingly with questionnaires and qualitative methods. We argue that precision about the phenomenal character of daydreaming can guide neurophenomenological investigations, help delimit studies on individual variance in daydreaming features, and identify differences among daydreaming, mind-wandering, and night dreaming conceptually and phenomenologically, and possibly eventually in terms of neural correlates. (shrink)

When do probability distribution functions (PDFs) about future climate misrepresent uncertainty? How can we recognise when such misrepresentation occurs and thus avoid it in reasoning about or communicating our uncertainty? And when we should not use a PDF, what should we do instead? In this paper we address these three questions. We start by providing a classification of types of uncertainty and using this classification to illustrate when PDFs misrepresent our uncertainty in a way that may adversely affect decisions. We (...) then discuss when it is reasonable and appropriate to use a PDF to reason about or communicate uncertainty about climate. We consider two perspectives on this issue. On one, which we argue is preferable, available theory and evidence in climate science basically excludes using PDFs to represent our uncertainty. On the other, PDFs can legitimately be provided when resting on appropriate expert judgement and recognition of associated risks. Once we have specified the border between appropriate and inappropriate uses of PDFs, we explore alternatives to their use. We briefly describe two formal alternatives, namely imprecise probabilities and possibilistic distribution functions, as well as informal possibilistic alternatives. We suggest that the possibilistic alternatives are preferable. -/- . (shrink)

This essay looks at the impact that technology is having upon friendship. For as we all know, it is nothing at all to see friends at a restaurant table all engaged in texting rather than talking to one another.

We argue, contra Joshua Knobe in a companion chapter, that most people have an understanding of free will and responsible agency that is compatible with a naturalistic vision of the human mind. Our argument is supported by results from a new experimental philosophy study showing that most people think free will is consistent with complete and perfect prediction of decisions and actions based on prior activity in the brain (a scenario adapted from Sam Harris who predicts most people will find (...) it inconsistent with free will). We explain why most people are "theory-lite" about the nature of mind and free will--they are not committed to substantive theories of the underlying causal structure of mind, such as Knobe's "transcendence vision". Rather, we suggest a "causal competition principle"--that an agent's actions will be deemed unfree when they are perceived to be fully caused by factors that do not include her reasons. This principle explains why people, including some scientists, perceive neuroscientific explanations as threatening free will when they are described in terms of neural processes fully causing actions to the exclusion of agents' reasons or reasoning processes. (shrink)

What is a concept? Philosophers have given many different answers to this question, reflecting a wide variety of approaches to the study of mind and language. Nonetheless, at the most general level, there are two dominant frameworks in contemporary philosophy. One proposes that concepts are mental representations, while the other proposes that they are abstract objects. This paper looks at the differences between these two approaches, the prospects for combining them, and the issues that are involved in the dispute. We (...) argue that powerful motivations have been offered in support of both frameworks. This suggests the possibility of combining the two. Unlike Frege, we hold that the resulting position is perfectly coherent and well worth considering. Nonetheless, we argue that it should be rejected along with the view that concepts are abstract objects. (shrink)

Our paper serves as an introduction to a budding field: the philosophy of mind-wandering. We begin with a philosophical critique of the standard psychological definitions of mind-wandering as task-unrelated or stimulus-independent. Although these definitions have helped bring mind-wandering research onto centre stage in psychology and cognitive neuroscience, they have substantial limitations that researchers must overcome to move forward. Specifically, the standard definitions do not account for (i) the dynamics of mind wandering, (ii) task-unrelated thought that does not qualify as mind-wandering, (...) and (iii) the ways that mind-wandering can be task-related. We then survey three philosophical accounts that improve upon the current psychological definitions. We first present our account of mind-wandering as “unguided thinking”. Next we review Thomas Metzinger’s view that mind-wandering can be defined as thought lacking meta-awareness and cognitive agency, as well as Peter Carruthers’s and Fabian Dorsch’s definitions of mind-wandering as disunified thinking. We argue that these latter views are inadequate, and we show that our definition of mind-wandering as unguided thinking is not only conceptually and phenomenologically precise but also can be operationalized in a principled way for empirical research. (shrink)

Many philosophers reject the Language of Thought Hypothesis (LOT) on the grounds that is leads to an explanatory regress problem. According to this line of argument, LOT is invoked to explain certain features of natural language, but the language of thought has the very same features and consequently no explanatory progress has been made. In an earlier paper (“Regress Arguments against the Language of Thought”, Analysis 57.1), we argued that this regress argument doesn’t work and that even proponents of LOT (...) have given the regress argument too much credit. In this paper, we extend our critique of the regress argument against LOT by responding to J. Knowles’s commentary of our earlier paper (in “The Language of Thought and Natural Language Understanding”, Analysis 58.4). (shrink)

This essay discusses the character of many atrocities that have occurred throughout human history.

This paper investigates the emotional import of literary devices deployed in fiction. Reflecting on the often-favored approach in the analytic tradition that locates fictional characters, events, and narratives as sources of readers’ emotions, I attempt to broaden the scope of analysis by accounting for how literary devices trigger non-cognitive emotions. I argue that giving more expansive consideration to literary devices by which authors present content facilitates a better understanding of how fiction engages emotion. In doing so, I also explore the (...) somatic dimension of reading fiction. (shrink)

This paper takes a fresh look at the nativism–empiricism debate, presenting and defending a nativist perspective on the mind. Empiricism is often taken to be the default view both in philosophy and in cognitive science. This paper argues, on the contrary, that there should be no presumption in favor of empiricism (or nativism), but that the existing evidence suggests that nativism is the most promising framework for the scientific study of the mind. Our case on behalf of nativism has four (...) parts. (1) We characterize nativism’s core commitments relative to the contemporary debate between empiricists and nativists, (2) we present the positive case for nativism in terms of two central nativist arguments (the poverty of the stimulus argument and the argument from animals), (3) we respond to a number of influential objections to nativist theories, and (4) we explain the nativist approach to the conceptual system. (shrink)

Just as humans can draw conclusions responsibly or irresponsibly, so too can computers. Machine learning systems that have been trained on data sets that include irresponsible judgments are likely to yield irresponsible predictions as outputs. In this paper I focus on a particular kind of inference a computer system might make: identification of the intentions with which a person acted on the basis of photographic evidence. Such inferences are liable to be morally objectionable, because of a way in which they (...) are presumptuous. After elaborating this moral concern, I explore the possibility that carefully procuring the training data for image recognition systems could ensure that the systems avoid the problem. The lesson of this paper extends beyond just the particular case of image recognition systems and the challenge of responsibly identifying a person’s intentions. Reflection on this particular case demonstrates the importance (as well as the difficulty) of evaluating machine learning systems and their training data from the standpoint of moral considerations that are not encompassed by ordinary assessments of predictive accuracy. (shrink)

What proper role should considerations of risk, particularly to research subjects, play when it comes to conducting research on human enhancement in the military context? We introduce the currently visible military enhancement techniques (1) and the standard discussion of risk for these (2), in particular what we refer to as the ‘Assumption’, which states that the demands for risk-avoidance are higher for enhancement than for therapy. We challenge the Assumption through the introduction of three categories of enhancements (3): therapeutic, preventive, (...) and pure enhancements. This demands a revision of the Assumption (4), alongside which we propose some further general principles bearing on how to balance risks and benefits in the context of military enhancement research. We identify a particular type of therapeutic enhancements as providing a more responsible path to human trials of the relevant interventions than pure enhancement applications. Finally, we discuss some possible objections to our line of thought (5). While acknowledging their potential insights, we ultimately find them to be unpersuasive, at least provided that our proposal is understood as fully non-coercive towards the candidates for such therapeutic enhancement trials. (shrink)

Buddhism originated and developed in an Indian cultural context that featured many first-person practices for producing and exploring states of consciousness through the systematic training of attention. In contrast, the dominant methods of investigating the mind in Western cognitive science have emphasized third-person observation of the brain and behavior. In this chapter, we explore how these two different projects might prove mutually beneficial. We lay the groundwork for a cross-cultural cognitive science by using one traditional Buddhist model of the mind (...) – that of the five aggregates – as a lens for examining contemporary cognitive science conceptions of consciousness. (shrink)

In LOT 2: The Language of Thought Revisited, Jerry Fodor argues that concept learning of any kind—even for complex concepts—is simply impossible. In order to avoid the conclusion that all concepts, primitive and complex, are innate, he argues that concept acquisition depends on purely noncognitive biological processes. In this paper, we show (1) that Fodor fails to establish that concept learning is impossible, (2) that his own biological account of concept acquisition is unworkable, and (3) that there are in fact (...) many promising general models for explaining how concepts are learned. (shrink)

Engineers fine-tune the design of robot bodies for control purposes, however, a methodology or set of tools is largely absent, and optimization of morphology (shape, material properties of robot bodies, etc.) is lagging behind the development of controllers. This has become even more prominent with the advent of compliant, deformable or ”soft” bodies. These carry substantial potential regarding their exploitation for control—sometimes referred to as ”morphological computation”. In this article, we briefly review different notions of computation by physical systems and (...) propose the dynamical systems framework as the most useful in the context of describing and eventually designing the interactions of controllers and bodies. Then, we look at the pros and cons of simple vs. complex bodies, critically reviewing the attractive notion of ”soft” bodies automatically taking over control tasks. We address another key dimension of the design space—whether model-based control should be used and to what extent it is feasible to develop faithful models for different morphologies. (shrink)

This article is a commentary on Machery (2009) Doing without Concepts. Concepts are mental symbols that have semantic structure and processing structure. This approach (1) allows for different disciplines to converge on a common subject matter; (2) it promotes theoretical unification; and (3) it accommodates the varied processes that preoccupy Machery. It also avoids problems that go with his eliminativism, including the explanation of how fundamentally different types of concepts can be co-referential.

Theories of number concepts often suppose that the natural numbers are acquired as children learn to count and as they draw an induction based on their interpretation of the first few count words. In a bold critique of this general approach, Rips, Asmuth, Bloomfield [Rips, L., Asmuth, J. & Bloomfield, A.. Giving the boot to the bootstrap: How not to learn the natural numbers. Cognition, 101, B51–B60.] argue that such an inductive inference is consistent with a representational system that clearly (...) does not express the natural numbers and that possession of the natural numbers requires further principles that make the inductive inference superfluous. We argue that their critique is unsuccessful. Provided that children have access to a suitable initial system of representation, the sort of inductive inference that Rips et al. call into question can in fact facilitate the acquisition of larger integer concepts without the addition of any further principles. (shrink)

Paul Boghossian (1997) has argued that there is much to be said on behalf of the notion of analyticity so long as we distinguish epistemic analyticity and metaphysical analyticity. In particular, (1) epistemic analyticity isn’t undermined by Quine’s critique of the analytic-synthetic distinction, (2) it can explain the a prioricity of logic, and (3) epistemic analyticity can’t be rejected short of embracing semantic irrealism. In this paper, we argue that all three of these claims are mistaken.

Introduzione Lo studio delle emozioni è stato caratterizzato per molti anni da una netta separazione fra mente e corpo. Negli anni Sessanta e Settanta – l’epoca aurea del cognitivismo – le teorie delle emozioni si occupavano soprattutto degli antecedenti cognitivi dell’emozione, le cosiddette “valutazioni”. I processi corporei erano visti essenzialmente come sottoprodotti della cognizione, e come troppo poco specifici per poter contribuire alla varietà dell’esperienza emotiva. La cognizione e...

Functional decomposition is an important goal in the life sciences, and is central to mechanistic explanation and explanatory reduction. A growing literature in philosophy of science, however, has challenged decomposition-based notions of explanation. ‘Holists’ posit that complex systems exhibit context-sensitivity, dynamic interaction, and network dependence, and that these properties undermine decomposition. They then infer from the failure of decomposition to the failure of mechanistic explanation and reduction. I argue that complexity, so construed, is only incompatible with one notion of decomposition, (...) which I call ‘atomism’, and not with decomposition writ large. Atomism posits that function ascriptions must be made to parts with minimal reference to the surrounding system. Complexity does indeed falsify atomism, but I contend that there is a weaker, ‘contextualist’ notion of decomposition that is fully compatible with the properties that holists cite. Contextualism suggests that the function of parts can shift with external context, and that interactions with other parts might help determine their context-appropriate functions. This still admits of functional decomposition within a given context. I will give examples based on the notion of oscillatory multiplexing in systems neuroscience. If contextualism is feasible, then holist inferences are faulty—one cannot infer from the presence of complexity to the failure of decomposition, mechanism, and reductionism. (shrink)

Recent theory suggests that action prediction relies of a motor emulation mechanism that works by mapping observed actions onto the observer action system so that predictions can be generated using that same predictive mechanisms that underlie action control. This suggests that action prediction may be more accurate when there is a more direct mapping between the stimulus and the observer. We tested this hypothesis by comparing prediction accuracy for two stimulus types. A mannequin stimulus which contained information about the effectors (...) used to produce the action and a point stimulus, which contained identical dynamic information but no effector information. Prediction was more accurate for the mannequin stimulus. However, this effect was dependent on the observer having previous experience performing the observed action. This suggests that experienced and na¨ıve observers might generate predictions in qualitatively difference ways, which may relate to the presence of an internal representation of the action laid down through action performance. (shrink)

At least since W. V. O. Quine's famous critique of the analytic/synthetic distinction, philosophers have been deeply divided over whether there are any analytic truths. One line of thought suggests that the simple fact that people have ' intuitions of analyticity' might provide an independent argument for analyticities. If defenders of analyticity can explain these intuitions and opponents cannot, then perhaps there are analyticities after all. We argue that opponents of analyticity have some unexpected resources for explaining these intuitions and (...) that, accordingly, the argument from intuition fails. (shrink)

Recent conversation has blurred two very different social epistemic phenomena: echo chambers and epistemic bubbles. Members of epistemic bubbles merely lack exposure to relevant information and arguments. Members of echo chambers, on the other hand, have been brought to systematically distrust all outside sources. In epistemic bubbles, other voices are not heard; in echo chambers, other voices are actively undermined. It is crucial to keep these phenomena distinct. First, echo chambers can explain the post-truth phenomena in a way that epistemic (...) bubbles cannot. Second, each type of structure requires a distinct intervention. Mere exposure to evidence can shatter an epistemic bubble, but may actually reinforce an echo chamber. Finally, echo chambers are much harder to escape. Once in their grip, an agent may act with epistemic virtue, but social context will pervert those actions. Escape from an echo chamber may require a radical rebooting of one's belief system. (shrink)

A system of logic usually comprises a language for which a model-theory and a proof-theory are defined. The model-theory defines the semantic notion of model-theoretic logical consequence (⊨), while the proof-theory defines the proof- theoretic notion of logical consequence (or logical derivability, ⊢). If the system in question is sound and complete, then the two notions of logical consequence are extensionally equivalent. The concept of full formalization is a more restrictive one and requires in addition the preservation of the standard (...) meanings of the logical terms in all the admissible interpretations of the logical calculus, as it is proof-theoretically defined. Although classical first-order logic is sound and complete, its standard formalizations fall short to be full formalizations since they allow non-intended interpretations. This fact poses a challenge for the logical inferentialism program, whose main tenet is that the meanings of the logical terms are uniquely determined by the formal axioms or rules of inference that govern their use in a logical calculus, i.e., logical inferentialism requires a categorical calculus. This paper is the first part of a more elaborated study which will analyze the categoricity problem from its beginning until the most recent approaches. I will first start by describing the problem of a full formalization in the general framework in which Carnap (1934/1937, 1943) formulated it for classical logic. Then, in sections IV and V, I shall discuss the way in which the mathematicians B.A. Bernstein (1932) and E.V. Huntington (1933) have previously formulated and analyzed it in algebraic terms for propositional logic and, finally, I shall discuss some critical reactions Nagel (1943), Hempel (1943), Fitch (1944), and Church (1944) formulated to these approaches. (shrink)

The notion of domain specificity plays a central role in some of the most important debates in cognitive science. Yet, despite the widespread reliance on domain specificity in recent theorizing in cognitive science, this notion remains elusive. Critics have claimed that the notion of domain specificity can't bear the theoretical weight that has been put on it and that it should be abandoned. Even its most steadfast proponents have highlighted puzzles and tensions that arise once one tries to go beyond (...) an initial intuitive sketch of what domain specificity involves. In this paper, we address these concerns head on by developing an account of what it means for a cognitive mechanism to be domain specific that overcomes the obstacles that have made domain specificity seem so problematic. We then apply this understanding of domain specificity to one of the key debates that it has figured prominently in—the rationalism-empiricism debate concerning the origins of cognitive traits—and introduce several related theoretical notions that work alongside domain specificity in helping to clarify what makes a view more (or less) rationalist. This example illustrates how the notion of domain specificity can, and should, continue to play a central role in ongoing debates in cognitive science. (shrink)

Peirce and Dewey were generally more concerned with the process of scientific activity than purely mathematical work. However, their accounts of knowledge production afford some insights into the epistemology of mathematical postulates, especially definition and axioms. Their rejection of rationalist metaphysics and their emphasis on continuity in inquiry provides the pretext for the pragmatic a priori – hypothetical and operational assumptions whose justification relies on their fruitfulness in the long run. This paper focuses on the application of this idea to (...) the epistemology of definitions and an account of progress in mathematics, although it has broader implications for the study of conceptual change and the function and basis of presuppositions in the sciences. (shrink)