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)

What is the source of logical and mathematical truth? This book revitalizes conventionalism as an answer to this question. Conventionalism takes logical and mathematical truth to have their source in linguistic conventions. This was an extremely popular view in the early 20th century, but it was never worked out in detail and is now almost universally rejected in mainstream philosophical circles. Shadows of Syntax is the first book-length treatment and defense of a combined conventionalist theory of logic and mathematics. It (...) argues that our conventions, in the form of syntactic rules of language use, are perfectly suited to explain the truth, necessity, and a priority of logical and mathematical claims, as well as our logical and mathematical knowledge. (shrink)

[ROYAL INSTITUTE OF PHILOSOPHY 2023 ESSAY PRIZE WINNER] I argue that the term ‘naturalism’ is so empty of meaning that it is not suitable for serious theorizing in philosophy. In particular, I argue that the question of whether or not some theory or thesis should count as naturalistic is an empty verbal dispute with no further theoretical significance. I also discuss naturalism construed as a methodological thesis and argue that any plausible version will collapse into triviality. Lastly, I briefly discuss (...) the idea that naturalism is not a thesis at all but rather a ‘stance’ and suggest that this too succumbs to the charge of emptiness. I conclude that we should stop talking about naturalism altogether. (shrink)

The new theory of reference has won popularity. However, a number of noted philosophers have also attempted to reply to the critical arguments of Kripke and others, and aimed to vindicate the description theory of reference. Such responses are often based on ingenious novel kinds of descriptions, such as rigidified descriptions, causal descriptions, and metalinguistic descriptions. This prolonged debate raises the doubt whether different parties really have any shared understanding of what the central question of the philosophical theory of reference (...) is: what is the main question to which descriptivism and the causal-historical theory have presented competing answers. One aim of the paper is to clarify this issue. The most influential objections to the new theory of reference are critically reviewed. Special attention is also paid to certain important later advances in the new theory of reference, due to Devitt and others. (shrink)

During the past few decades, a radical shift has occurred in how philosophers conceive of the relation between science and philosophy. A great number of analytic philosophers have adopted what is commonly called a ‘naturalistic’ approach, arguing that their inquiries ought to be in some sense continuous with science. Where early analytic philosophers often relied on a sharp distinction between science and philosophy—the former an empirical discipline concerned with fact, the latter an a priori discipline concerned with meaning—philosophers today largely (...) follow Willard Van Orman Quine (1908-2000) in his seminal rejection of this distinction. -/- This book offers a comprehensive study of Quine’s naturalism. Building on Quine’s published corpus as well as thousands of unpublished letters, notes, lectures, papers, proposals, and annotations from the Quine archives, this book aims to reconstruct both the nature (chapters 2-4) and the development (chapter 5-7) of his naturalism. As such, this book aims to contribute to the rapidly developing historiography of analytic philosophy, and to provide a better, historically informed, understanding of what is philosophically at stake in the contemporary naturalistic turn. (shrink)

Take a correct sequent of formal logic, perhaps a simple logical truth, like the law of excluded middle, or something with premises, like disjunctive syllogism, but basically a claim of the form \.Γ can be empty. If you don’t like my examples, feel free to choose your own, everything I have to say should apply to those as well. Such a sequent attributes the properties of logical truth or logical consequence to a schematic sentence or argument. This paper aims to (...) answer the question of how beliefs in such attributions are justified, on both its descriptive and normative interpretations; I aim to say when we generally take ourselves to be justified in forming such beliefs, and to make it plausible that beliefs formed this way really are justified.We can ask such questions about many domains but there are special difficulties for answering them in logic. Some of the difficulties stem from the fact that logic is thought t.. (shrink)

Sometimes a fact can play a role in a grounding explanation, but the particular content of that fact make no difference to the explanation—any fact would do in its place. I call these facts vacuous grounds. I show that applying the distinction between-vacuous grounds allows us to give a principled solution to Kit Fine and Stephen Kramer’s paradox of ground. This paradox shows that on minimal assumptions about grounding and minimal assumptions about logic, we can show that grounding is reflexive, (...) contra the intuitive character of grounds. I argue that we should never have accepted that grounding is irreflexive in the first place; the intuitions that support the irreflexive intuition plausibly only require that grounding be non-vacuously irreflexive. Fine and Kramer’s paradox relies, essentially, on a case of vacuous grounding and is thus no problem for this account. (shrink)

A good argument is one whose conclusions follow from its premises; its conclusions are consequences of its premises. But in what sense do conclusions follow from premises? What is it for a conclusion to be a consequence of premises? Those questions, in many respects, are at the heart of logic (as a philosophical discipline). Consider the following argument: 1. If we charge high fees for university, only the rich will enroll. We charge high fees for university. Therefore, only the rich (...) will enroll. There are many different things one can say about this argument, but many agree that if we do not equivocate (if the terms mean the same thing in the premises and the conclusion) then the argument is valid, that is, the conclusion follows deductively from the premises. This does not mean that the conclusion is true. Perhaps the premises are not true. However, if the premises are true, then the conclusion is also true, as a matter of logic. This entry is about the relation between premises and conclusions in valid arguments. (shrink)

While the epistemic significance of disagreement has been a popular topic in epistemology for at least a decade, little attention has been paid to logical disagreement. This monograph is meant as a remedy. The text starts with an extensive literature review of the epistemology of (peer) disagreement and sets the stage for an epistemological study of logical disagreement. The guiding thread for the rest of the work is then three distinct readings of the ambiguous term ‘logical disagreement’. Chapters 1 and (...) 2 focus on the Ad Hoc Reading according to which logical disagreements occur when two subjects take incompatible doxastic attitudes toward a specific proposition in or about logic. Chapter 2 presents a new counterexample to the widely discussed Uniqueness Thesis. Chapters 3 and 4 focus on the Theory Choice Reading of ‘logical disagreement’. According to this interpretation, logical disagreements occur at the level of entire logical theories rather than individual entailment-claims. Chapter 4 concerns a key question from the philosophy of logic, viz., how we have epistemic justification for claims about logical consequence. In Chapters 5 and 6 we turn to the Akrasia Reading. On this reading, logical disagreements occur when there is a mismatch between the deductive strength of one’s background logic and the logical theory one prefers (officially). Chapter 6 introduces logical akrasia by analogy to epistemic akrasia and presents a novel dilemma. Chapter 7 revisits the epistemology of peer disagreement and argues that the epistemic significance of central principles from the literature are at best deflated in the context of logical disagreement. The chapter also develops a simple formal model of deep disagreement in Default Logic, relating this to our general discussion of logical disagreement. The monograph ends in an epilogue with some reflections on the potential epistemic significance of convergence in logical theorizing. (shrink)

Logic is usually thought to concern itself only with features that sentences and arguments possess in virtue of their logical structures or forms. The logical form of a sentence or argument is determined by its syntactic or semantic structure and by the placement of certain expressions called “logical constants.”[1] Thus, for example, the sentences Every boy loves some girl. and Some boy loves every girl. are thought to differ in logical form, even though they share a common syntactic and semantic (...) structure, because they differ in the placement of the logical constants “every” and “some”. By contrast, the sentences Every girl loves some boy. and Every boy loves some girl. are thought to have the same logical form, because “girl” and “boy” are not logical constants. Thus, in order to settle questions about logical form, and ultimately about which arguments are logically valid and which sentences logically true, we must distinguish the “logical constants” of a language from its nonlogical expressions. (shrink)

Truth by convention, once thought to be the foundation of a uniquely promising approach to explaining our access to the truth in nonempirical domains, is nowadays widely considered an absurdity. Its fall from grace has been due largely to the influence of an argument that can be sketched as follows: our linguistic conventions have the power to make it the case that a sentence expresses a particular proposition, but they can’t by themselves generate truth; whether a given proposition is true—and (...) so whether the sentence that expresses it is true—is a matter of what the world is like, which means it isn’t a matter of convention alone. The consensus is that this argument is decisive against truth by convention. Strikingly, though, it has rarely been formulated with much precision. Here I provide a new rendering of the argument, one that reveals its structure and makes transparent just what assumptions it requires, and then I assess conventionalists’ prospects for resisting each of those assumptions. I conclude that the consensus is mistaken: contrary to what is almost universally thought, there remains a promising way forward for the conventionalist project. Along the way, I clarify conventionalists’ commitments by thinking about what truth by convention would need to be like in order for conventionalism to do the epistemological work it’s intended to do. (shrink)

Several recent epistemologists have used understanding-assent links in theories of a priori knowledge and justification, but Williamson influentially argued against the existence of such links. Here I (1) clarify the nature of understanding-assent links and their role in epistemology; (2) clarify and clearly formulate Williamson’s arguments against their existence; (3) argue that Williamson has failed to successfully establish his conclusion; and (4) rebut Williamson’s claim that accepting understanding-assent links amounts to a form of dogmatism.

Theodore Sider’s recent book, “Writing the Book of the World”, employs a primitive notion of metaphysical structure in order to make sense of substantive metaphysics. But Sider and others who employ metaphysical primitives face serious epistemological challenges. In the first section I develop a specific form of this challenge for Sider’s own proposed epistemology for structure; the second section develops a general reliability challenge for Sider’s theory; and the third and final section argues for the rejection of Siderean structure in (...) the course of answering a transcendental argument against such rejection. (shrink)

In “Truth by Convention” W.V. Quine gave an influential argument against logical conventionalism. Even today his argument is often taken to decisively refute logical conventionalism. Here I break Quine’s arguments into two— the super-task argument and the regress argument—and argue that while these arguments together refute implausible explicit versions of conventionalism, they cannot be successfully mounted against a more plausible implicit version of conventionalism. Unlike some of his modern followers, Quine himself recognized this, but argued that implicit conventionalism was explanatorily (...) idle. Against this I show that pace Quine’s claim that implicit conventionalism has no content beyond the claim that logic is firmly accepted, implicit rules of inference can be used to distinguish the firmly accepted from the conventional. As part of my case, I argue that positing syntactic rules of inference as part of our linguistic competence follows from the same methodology that leads contemporary linguists and cognitive scientists to posit rules of phonology, morphology, and grammar. The upshot of my discussion is a diagnosis of the fallacy in Quine’s master critique of logical conventionalism and a re-opening of possibilities for an attractive conventionalist theory of logic. (shrink)

The article is an extended critical discussion of Kevin Scharp’s Replacing Truth. Scharp’s case for the claim that the concept of truth is inconsistent is criticized, and so is his case for the claim that the concept of truth must be replaced because of its inconsistency.

Some philosophers have argued that putative logical disagreements aren't really disagreements at all since when you change your logic you thereby change the meanings of your logical constants. According to this picture classical logicians and intuitionists don't really disagree, they just mean different things by terms like “not” and “or”. Quine gave an infamous “translation argument” for this view. Here I clarify the change of logic, change of meaning (CLCM) thesis, examine and find fault with Quine's translation argument for the (...) thesis, offer a modified translation argument in its stead, defend my modified argument from a crucial objection, discuss where the CLCM thesis leaves logical disputes, and discuss if and how the thesis coheres with Quine's influential view of logic. (shrink)

This essay offers a conception of logic by which logic may be considered to be exceptional among the sciences on the backdrop of a naturalistic outlook. The conception of logic focused on emphasises the traditional role of logic as a methodology for the sciences, which distinguishes it from other sciences that are not methodological. On the proposed conception, the methodological aims of logic drive its definitions and principles, rather than the description of scientific phenomena. The notion of a methodological discipline (...) is explained as a relation between disciplines or practices. Logic serves as a methodological discipline with respect to any theoretical practice, and this generality, as well as logic’s reflexive nature, distinguish it from other methodological disciplines. Finally, the evolution of model theory is taken as a case study, with a focus on its methodological role. Following recent work by John Baldwin and Juliette Kennedy, we look at model theory from its inception in the mid-twentieth century as a foundational endeavour until developments at the end of the century, where the classification of theories has taken centre-stage. (shrink)

This paper sets out a predicative response to the Russell-Myhill paradox of propositions within the framework of Church’s intensional logic. A predicative response places restrictions on the full comprehension schema, which asserts that every formula determines a higher-order entity. In addition to motivating the restriction on the comprehension schema from intuitions about the stability of reference, this paper contains a consistency proof for the predicative response to the Russell-Myhill paradox. The models used to establish this consistency also model other axioms (...) of Church’s intensional logic that have been criticized by Parsons and Klement: this, it turns out, is due to resources which also permit an interpretation of a fragment of Gallin’s intensional logic. Finally, the relation between the predicative response to the Russell-Myhill paradox of propositions and the Russell paradox of sets is discussed, and it is shown that the predicative conception of set induced by this predicative intensional logic allows one to respond to the Wehmeier problem of many non-extensions. (shrink)

In this paper, I take issue with a core commitment of logical conventionalism: that we impose a logic on ourselves by adopting general linguistic conventions governing our use of logical terms, thereby determining the meanings of the logical constants and which of our inferences are valid. Drawing on Kripke’s ‘adoption problem’, I argue that general logical principles cannot be adopted, either explicitly or implicitly. I go on to argue that the meanings of our logical terms, and the validity of our (...) inferences, cannot depend on our adoption of logico-linguistic conventions. (shrink)

The slogan “the whole is nothing over and above the parts” and related vague thoughts animate many theories of parthood and arguably are central to our ordinary conception. I examine some issues connected with this slogan.

Frege claims that the laws of logic are characterized by their “generality,” but it is hard to see how this could identify a special feature of those laws. I argue that we must understand this talk of generality in normative terms, but that what Frege says provides a normative demarcation of the logical laws only once we connect it with his thinking about truth and science. He means to be identifying the laws of logic as those that appear in every (...) one of the scientific systems whose construction is the ultimate aim of science, and in which all truths have a place. Though an account of logic in terms of scientific systems might seem hopelessly antiquated, I argue that it is not: a basically Fregean account of the nature of logic still looks quite promising. (shrink)

Empiricist philosophers like Carnap invoked analyticity in order to explain a priori knowledge and necessary truth. Analyticity was “truth purely in virtue of meaning”. The view had a deflationary motivation: in Carnap’s proposal, linguistic conventions alone determine the truth of analytic sentences, and thus there is no mystery in our knowing their truth a priori, or in their necessary truth; for they are, as it were, truths of our own making. Let us call this “Carnapian conventionalism”, conventionalismC and cognates for (...) short. This conventionalistC explication of the a priori has been the target of sound criticisms. Arguments like Quine’s in “Truth by Convention” are in our view decisive: the truth of conventionalismC requires that the class of logical truths and logical validities be reductively accounted for as conventionally established; however, no such reduction is forthcoming, because logic is needed to generate the entire class from any given set of conventions properly so-called. Granted that conventionalismC is untenable, we want to take issue with a different, usually made criticism. Although the argument uncovers some difficulties for the way conventionalist claims are defended by some of its advocates, we will try to show that it fails. The criticism thus stands in the way of a proper appreciation of why the Carnapian account of the a priori is not correct. We will try to illustrate this by showing that the criticism we will dispute would dispose of conventionalist claims not only regarding philosophically problematic cases – logical and mathematical truths –, but also regarding cases for which they have some prima facie plausibility. One such case is that of truths that follow from mere abbreviations, “nominal” definitions; ‘someone is a bachelor if and only if he is an unmarried adult male’ can serve at this point for illustration. We will try to articulate a clear sense in which the contents of assertion such as this can be truths by convention. We do not need to prove that a conventionalist claim is true in those cases; it is enough for us to show that it is intelligible, for the arguments we will confront question even this. (shrink)

The focus of this paper will be to examine the implications that a “practical” approach to conceptual engineering might have for the “traditional” conception of philosophy as uncovering truths about phenomena of philosophical interest. In doing so, I will be building on the ideas of a figure that many take to be the first major philosopher to write on conceptual engineering: Rudolf Carnap. Though the current wave of interest in conceptual engineering goes back less than a decade, many conceptual engineers (...) have found precedent for their views in Carnap’s characterization of what he called “explication.” Interestingly, however, not nearly as much attention has been paid to another Carnapian thesis which seems to me to have deep relevance to methodological questions about conceptual engineering. I have in mind here the distinction between internal and external questions proposed in “Empiricism, Semantics and Ontology” (1950b) and the accompanying claim that external questions lack cognitive content and can be cogently approached only as a matter of pragmatic decision-making. This is the aspect of Carnap’s views upon which I propose to build. I'll first make the case that there is a suggestive similarity between Carnap’s claim that external questions are matters of pragmatic choice and the practical conceptual engineer’s claim that engineering success should be characterized in terms of suitability to a function or purpose. After that, I'll look at potential worries about the Carnapian distinction—including, e.g., the concern that it relies on the analytic/synthetic distinction. Finally, I will propose a somewhat modified and expanded version of the distinction and examine its consequences for the thesis that philosophy aims at discovering truths about phenomena of philosophical interest. (shrink)

I begin by reviewing some recent work on the status of the geodesic principle in general relativity and the geometrized formulation of Newtonian gravitation. I then turn to the question of whether either of these theories might be said to ``explain'' inertial motion. I argue that there is a sense in which both theories may be understood to explain inertial motion, but that the sense of ``explain'' is rather different from what one might have expected. This sense of explanation is (...) connected with a view of theories---I call it the ``puzzleball view''---on which the foundations of a physical theory are best understood as a network of mutually interdependent principles and assumptions. (shrink)

In Carnap’s autobiography, he tells the story how one night in January 1931, “the whole theory of language structure” in all its ramifications “came to [him] like a vision”. The shorthand manuscript he produced immediately thereafter, he says, “was the first version” of Logical Syntax of Language. This document, which has never been examined since Carnap’s death, turns out not to resemble Logical Syntax at all, at least on the surface. Wherein, then, did the momentous insight of 21 January 1931 (...) consist? We seek to answer this question by placing Carnap’s shorthand manuscript in the context of his previous efforts to accommodate scientific theories and metalinguistic claims within Wittgenstein’s Tractatus theory of meaning. The breakthrough of January 1931 consists, from this viewpoint, in the rejection of the Tractatus theory in favor of the meta-mathematical perspective of Hilbert, Gödel, and Tarski. This was not yet the standpoint of the published Logical Syntax, as we show, but led naturally to the “principle of tolerance” and thus to Carnap’s mature philosophy, in which the inconsistencies between this first view and the principle of tolerance, which survived into the published Syntax, were overcome. (shrink)

Two conceptions of a priori methods and assumptions can be distinguished. First, there are the assumptions and methods accepted prior to a given inquiry. Second, there are innate assumptions and methods. For each of these two types of a priori methods and assumptions, we can also allow cases in which one starts with something that is a priori and is justified in reaching a new belief or procedure without making any appeal to new experiential data. But we should not suppose (...) there is some further sort of a priori explained in terms of some other notion of justification. If we try to construct a notion of the a priori by considering ways in which knowledge, belief, or reasoning might be though to be directly a priori, via direct insight, inability to imagine something false, intentions about use of language, and the language faculty, the resulting conception of the a prior in each of these cases reduces to either of the first two conceptions. (shrink)

Quine is routinely perceived as saving metaphysics from Carnapian positivism. Where Carnap rejects metaphysical existence claims as meaningless, Quine is taken to restore their intelligibility by dismantling the former’s internal–external distinction. The problem with this picture, however, is that it does not sit well with the fact that Quine, on many occasions, has argued that metaphysical existence claims ought to be dismissed. Setting aside the hypothesis that Quine’s metaphysical position is incoherent, one has to conclude that his views on metaphysics (...) are subtler than is often presupposed; both the received view that Quine saved metaphysics and the opposite view that Carnap and Quine are on the same anti-metaphysical team seem too one-sided if we take seriously Quine’s own pronouncements on the issue. In this paper, I offer a detailed reconstruction of Quine’s perspective on metaphysical existence claims. Scrutinizing his published work as well as unpublished papers, letters, and notebooks, I show how Quine is able to both blur the boundary between scientific sense and metaphysical nonsense and to argue that we cannot ask what reality is really like in a distinctively philosophical way. I argue that although Quine’s position is much closer to Carnap’s than the received view suggests, it still differs in two crucial respects. (shrink)

ABSTRACT What do we disagree about when we disagree about logic? On the face of it, classical and nonclassical logicians disagree about the laws of logic and the nature of logical properties. Yet, sometimes the parties are accused of talking past each other. The worry is that if the parties to the dispute do not mean the same thing with ‘if’, ‘or’, and ‘not’, they fail to have genuine disagreement about the laws in question. After the work of Quine, this (...) objection against genuine disagreement about logic has been called the meaning-variance thesis. We argue that the meaning-variance thesis can be endorsed without blocking genuine disagreement. In fact, even the type of revisionism and nonapriorism championed by Quine turns out to be compatible with meaning-variance. (shrink)

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

This talk surveys a range of positions on the fundamental metaphysical and epistemological questions about elementary logic, for example, as a starting point: what is the subject matter of logic—what makes its truths true? how do we come to know the truths of logic? A taxonomy is approached by beginning from well-known schools of thought in the philosophy of mathematics—Logicism, Intuitionism, Formalism, Realism—and sketching roughly corresponding views in the philosophy of logic. Kant, Mill, Frege, Wittgenstein, Carnap, Ayer, Quine, and Putnam (...) are among the philosophers considered along the way. (shrink)

Scientific naturalism is a metaphysical doctrine, a view about what there is, or what we ought to believe that there is. It maintains that natural science should be our guide in matters metaphysical: the ontology we should accept is the ontology that turns out to be required by science. Quine is often regarded as the doyen of scientific naturalists, though the supporting cast includes such giants as David Lewis and J. J. C. Smart.

Richard Boyd and Nicholas Sturgeon develop distinctive naturalistic arguments for scientific realism and moral realism. Each defends a realist position by an inference to the best explanation. In this paper, I suggest that these arguments for realism should be reformulated, with the law of likelihood replacing inference to the best explanation. The resulting arguments for realism do not work.

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)

In this paper, I argue from a metasemantic principle to the existence of analytic sentences. According to the metasemantic principle, an external feature is relevant to determining which concept one expresses with an expression only if one is disposed to treat this feature as relevant. This entails that if one isn’t disposed to treat external features as relevant to determining which concept one expresses, and one still expresses a given concept, then something other than external features must determine that one (...) does. I argue that, in such cases, what determines that one expresses the concept also puts one in a position to know that certain sentences are true—these sentences are thus analytic relative to this determination basis. Finally, I argue that there are such cases: some sentences are analytic relative to what determines that we express certain key concepts, and these sentences include ones that have always been thought to be the best candidates for being analytic, namely, stipulative truths, and first principles of mathematics. (shrink)

John is currently thinking that the sun is bright. Consider his occurrent belief or judgement that the sun is bright. Its content is that the sun is bright. This is a truth- evaluable content (which shall be our main concern) because it is capable of being true or false. In virtue of what natural, scientifically accessible facts does John’s judgement have this content? To give the correct answer to that question, and to explain why John’s judgement and other contentful mental (...) states have the contents they do in virtue of such facts, would be to naturalize mental content. (shrink)

This essay explores the possibility of constructing a structural realist interpretation of spacetime theories that can resolve the ontological debate between substantivalists and relationists. Drawing on various structuralist approaches in the philosophy of mathematics, as well as on the theoretical complexities of general relativity, our investigation will reveal that a structuralist approach can be beneficial to the spacetime theorist as a means of deflating some of the ontological disputes regarding similarly structured spacetimes.

This contributed volume is the result of a July 2010 workshop at the University of Wuppertal Interdisciplinary Centre for Science and Technology Studies which brought together world-wide experts from physics, philosophy and history, in order to address a set of questions first posed in the 1950s: How do we compare spacetime theories? How do we judge, objectively, which is the “best” theory? Is there even a unique answer to this question? -/- The goal of the workshop, and of this book, (...) is to contribute to the development of a meta-theory of spacetime theories. Such a meta-theory would reveal insights about specific spacetime theories by distilling their essential similarities and differences, deliver a framework for a class of theories that could be helpful as a blueprint to build other meta-theories, and provide a higher-level viewpoint for judging which theory most accurately describes nature. But rather than drawing a map in broad strokes, the focus is on particularly rich regions in the “space of spacetime theories.” -/- This work will be of interest to physicists, as well as philosophers and historians of science working with or interested in General Relativity and/or Space, Time and Gravitation more generally. (shrink)

A common account of the distinction between analytic and synthetic truths is that while the former are true solely in virtue of meaning, the latter are true also in virtue of the way of the world. Quine famously disputed this characterization, and his skepticism over the analytic/synthetic distinction has cast a long shadow. Against this skepticism, I argue that the common account comes close to the truth, and that truthmaker theory in particular offers the resources for providing a compelling account (...) of the distinction that preserves the basic ideas behind it, and avoids the standard criticisms facing the distinction. In particular, I argue that analytic truths are truths that ontologically depend in no way whatsoever upon what exists. (shrink)

Harman distinguishes between two uses of the term “logic”: as referring either to the theory of implication or to the theory of reasoning, which are quite distinct. His interest here is reasoning: a process that can modify intentions and beliefs. To a first approximation, theoretical reasoning is concerned with what to believe and practical reasoning is concerned with what to intend to do, although it is possible to have practical reasons to believe something. Practical considerations are relevant to whether to (...) engage in theoretical inquiry into a given question, the extent of time and other resources to devote to such inquiry, and whether and when to end such inquiry. Simplicity and conservatism play a role in theoretical reasoning that can be given a practical justification without allowing wishful thinking into theoretical reasoning, a justification that can also be given a non-practical interpretation. (shrink)

When new theoretical terms are introduced into scientific discourse, prevailing accounts imply, analytic or semantic truths come along with them, by way of either definitions or reference-fixing descriptions. But there appear to be few or no analytic truths in scientific theory, which suggests that the prevailing accounts are mistaken. This paper looks to research on the psychology of natural kind concepts to suggest a new account of the introduction of theoretical terms that avoids both definition and reference-fixing description. At the (...) core of the account is a novel psychological process that I call introjection. (shrink)

The positivists defined analyticity as truth in virtue of meaning alone and advocated the view that the notion of analyticity so defined is co-extensive with both the notion of an a priori truth an...

Much discussion was inspired by the publication of Harvey Brown's book \textit{Physical Relativity} and the so-called dynamical approach to Special Relativity there advocated. At the center of the debate there is the question about the nature of the relation between spacetime and laws or, more specifically, between spacetime symmetries and the symmetries of laws. Originally, the relation was mainly assumed to be explanatory and the dispute expressed in terms of the arrow of explanation – whether it goes from spacetime (symmetries) (...) to (symmetries of) laws or vice-versa. Not everybody agreed with a setting that involves leaving ontology out. In a recent turn, the relation has been claimed to be analytical or definitional. In this paper I intend to examine critically this claim and propose a way to generally understand the relation between spacetime symmetries and symmetries of laws as deriving from constitutive principles. (shrink)

Philosophers almost universally believe that concepts of supervenience fail to satisfy the standards for physicalism because they offer mere property correlations that are left unexplained. They are thus compatible with non-physicalist accounts of those relations. Moreover, many philosophers not only prefer some kind of functional-role theory as a physically acceptable account of mind-body and other inter-level relations, but they use it as a form of “superdupervenience” to explain supervenience in a physically acceptable way. But I reject a central part of (...) this common narrative. I argue that functional-role theories fail by the same standards for physicalism because they merely state without explaining how a physical property plays or occupies a functional role. They are thus compatible with non-physicalist accounts of that role-occupying relation. I also argue that one cannot redeploy functional-role theory at a deeper level to explain role occupation, specifically by iterating the role-occupant scheme. Instead, one must use part-whole structural and mechanistic explanations that differ from functional-role theory in important ways. These explanations represent a form of “superduperfunctionalism” that stand to functional-role theory as concepts of superdupervenience stand to concepts of supervenience. (shrink)