This is one of two papers about emergence, reduction and supervenience. It expounds these notions and analyses the general relations between them. The companion paper analyses the situation in physics, especially limiting relations between physical theories. I shall take emergence as behaviour that is novel and robust relative to some comparison class. I shall take reduction as deduction using appropriate auxiliary definitions. And I shall take supervenience as a weakening of reduction, viz. to allow infinitely long definitions. The overall claim (...) of this paper will be that emergence is logically independent both of reduction and of supervenience. In particular, one can have emergence with reduction, as well as without it; and emergence without supervenience, as well as with it. Of the subsidiary claims, the four main ones are: : I defend the traditional Nagelian conception of reduction ; : I deny that the multiple realizability argument causes trouble for reductions, or ``reductionism'' ; : I stress the collapse of supervenience into deduction via Beth's theorem ; : I adapt some examples already in the literature to show supervenience without emergence and vice versa. (shrink)

This paper forms part of a wider campaign: to deny pointillisme, the doctrine that a physical theory's fundamental quantities are defined at points of space or of spacetime, and represent intrinsic properties of such points or point-sized objects located there; so that properties of spatial or spatiotemporal regions and their material contents are determined by the point-by-point facts. More specifically, this paper argues against pointillisme about the concept of velocity in classical mechanics; especially against proposals by Tooley, Robinson and Lewis. (...) A companion paper argues against pointillisme about -geometry, as proposed by Bricker. To avoid technicalities, I conduct the argument almost entirely in the context of "Newtonian" ideas about space and time, and the classical mechanics of point-particles, i.e. extensionless particles moving in a void. But both the debate and my arguments carry over to relativistic physics. Introduction The wider campaign 2.1 Connecting physics and metaphysics 2.1.1 Avoiding controversy about the intrinsic–extrinsic distinction 2.1.2 Distinction from three mathematical distinctions 2.2 Classical mechanics is not pointilliste, and can be perdurantist 2.2.1 Two versions of pointillisme 2.2.2 Two common claims 2.2.3 My contrary claims 2.3 In more detail... 2.3.1 Four violations of pointillisme 2.3.2 For perdurantism Velocity as intrinsic? 3.1 Can properties represented by vectors be intrinsic to a point? 3.2 Orthodox velocity is extrinsic but local 3.2.1 A question and a debate 3.2.2 The verdict 3.3 Against intrinsic velocity 3.3.1 A common view—and a common problem 3.3.2 Tooley's proposal and his arguments 3.3.3 Tooley's further discussion "Shadow velocities": Lewis and Robinson 4.1 The proposal 4.2 Criticism: the vector field remains unspecified 4.3 Avoiding the presupposition of persistence, using Hilbert's symbol 4.4 Comparison with Robinson and Lewis. (shrink)

Suppose our ordinary notion of truth is ‘inconsistent’ in the sense that its meaning is partly given by principles that classically entail a logical contradiction. Should we replace the notion with a consistent surrogate? This paper begins by defusing various arguments in favor of this revisionary proposal, including Kevin Scharp’s contention that we need to replace truth for the purposes of semantic theorizing . Borrowing a certain conservative metasemantic principle from Matti Eklund, the article goes on to build a positive (...) case for the opposite policy: retaining truth as-is. The thought is basically that bivalence for the bulk of what we say in the course of ordinary, scientific, and philosophical inquiry should suffice to justify keeping ‘true’. Two versions of the story are told: one more philosophical, drawing on an analogy to Lewis’ response to Putnam’s paradox; the other more technical, invoking a deviant stran.. (shrink)

This paper considers an important recent contribution by Miguel Hernán to the ongoing debate about causal inference in epidemiology. Hernán rejects the idea that there is an in-principle epistemic distinction between the results of randomized controlled trials and observational studies: both produce associations which we may be more or less confident interpreting as causal. However, Hernán maintains that trials have a semantic advantage. Observational studies that seek to estimate causal effect risk issuing meaningless statements instead. The POA proposes a solution (...) to this problem: improved restrictions on the meaningful use of causal language, in particular “causal effect”. This paper argues that new restrictions in fact fail their own standards of meaningfulness. The paper portrays the desire for a restrictive definition of causal language as positivistic, and argues that contemporary epidemiology should be more realistic in its approach to causation. In a realist context, restrictions on meaningfulness based on precision of definition are neither helpful nor necessary. Hernán’s favoured approach to causal language is saved from meaninglessness, along with the approaches he rejects. (shrink)

Absence of evidence arguments are indispensable to comparative neurobiology. The absence in a given species of a homologous neural architecture strongly correlated with a type of conscious experience in humans should be able to be taken as a prima facie reason for concluding that the species in question does not have the capacity for that conscious experience. Absence of evidence reasoning is, however, widely disparaged for being both logically illicit and unscientific. This paper argues that these concerns are unwarranted. There (...) is no logical barrier to formulating cogent absence of evidence arguments; indeed, accepting such arguments is part of what it is to be committed to falsifiability as a critical aspect of the scientific method. Absence of evidence arguments can always be blocked, however, by assuming that psychological properties are ‘multiply realizable’. While we take multiple realizability to be highly likely at some level of analysis, we argue that it is question-begging to assume that it exists at every level of analysis, and thus it should not automatically be thought to undermine absence of evidence reasoning in the animal consciousness debate. Using the example of pain and focusing on homologies at the level of information processing tasks, we show how, in the science of consciousness, an absence of evidence might well serve as evidence of absence. (shrink)

To 'consequentialise' is to take a putatively non-consequentialist moral theory and show that it is actually just another form of consequentialism. Some have speculated that every moral theory can be consequentialised. If this were so, then consequentialism would be empty; it would have no substantive content. As I argue here, however, this is not so. Beginning with the core consequentialist commitment to 'maximising the good', I formulate a precise definition of consequentialism and demonstrate that, given this definition, several sorts of (...) moral theory resist consequentialisation. My strategy is to decompose consequentialism into three conditions, which I call 'agent neutrality', 'no moral dilemmas', and 'dominance', and then to exhibit some moral theories which violate each of these. (shrink)

I distinguish in this chapter between a weak and a strong form of ontological naturalism. Strong ontological naturalism is the view that all truths can be deduced, at least in principle, from truths about physical entities at the lowest level of organization, for example, truths about the elementary particles and forces. Weak ontological naturalism is the view that only physical properties can be causally efficacious. Strong ontological naturalism entails weak ontological naturalism, but not vice versa. I then argue that the (...) existence of a truth property is consistent with weak ontological naturalism, as truth is not causally efficacious. After considering several prominent theories of truth, I argue that the only theories of truth that are consistent with strong ontological naturalism are deflationary doctrines that deny that there is a substantial truth property, but these theories are not suitable adjoints to strong naturalism, as folks with strong naturalist inclinations normally want to posit the existence of substantial natural properties. Yet, if the truth property itself is insubstantial, so are claims about the existence of substantial natural properties. I conclude by arguing that the result that there cannot be a naturalistic theory of truth is unsurprising, as there are independent reasons for thinking that the basic semantic notions must be treated as irreducible, primitive properties. (shrink)

How can the reference of theoretical terms be stable over changes of theory? I defend an approach to this that does not depend on substantive metasemantic theories of reference. It relies on the idea that in contexts of use, terms may play a role in a theory that in turn points to a further (possibly unknown) theory. Empirical claims are claims about the nature of the further theories, and the falsification of these further theories is understood not as showing that (...) a term in the original theory fails to refer, but rather that a scientific hypothesis encapsulated by the further theory is mistaken. Introduction 1.1 Two theories involving ‘cat’ 1.2 Some objections 1.3 Doing it with matrices 1.4 The theory so far Approximate truth 2.1 Modes of reference 2.2 Papineau's solution Meaning, analyticity and verbal dispositions 3.1 Theory 1 and the folk theory 3.2 Is the armchair too comfortable? 3.3 What role for the armchair? 3.4 How can we be mistaken about our dispositions? 3.5 The theory of reference and the theory of meaning. (shrink)

There is a widely shared belief that the higher-level sciences can provide better explanations than lower-level sciences. But there is little agreement about exactly why this is so. It is often suggested that higher-level explanations are better because they omit details. I will argue instead that the preference for higher-level explanations is just a special case of our general preference for informative, logically strong, beliefs. I argue that our preference for informative beliefs entirely accounts for why higher-level explanations are sometimes (...) better—and sometimes worse—than lower-level explanations. The result is a step in the direction of the unity of science hypothesis. 1Introduction2Background: Is Omitting Details an Explanatory Virtue? 2.1Anti-reductionist arguments2.2Reductionist argument2.3Logical strength3Bases, Links and Logical Strength4Functionalism and Fodor’s Argument5Two Generalizations6Should the Base Really Be Maximally Strong?7Anti-reductionist Arguments Regarding the Base8Should the Antecedent of the Link Really Be Maximally Weak? (shrink)

The idea of a folk theory has played many important roles in much recent philosophy. To do the work they are designed for, they need to be both internal features of agents who possess them, and yet scrutable without the full resources of empirical cognitive science. The worry for the theorist of folk theories, is that only one of these desiderata is met in each plausible conception of a folk theory. This paper outlines a third conception that meets them both.1.

The independence problems for functionalism stem from the worry that if functional properties are defined in terms of their causes and effects then such functional properties seem to be too intimately connected to these purported causes and effects. I distinguish three different ways the independence problems can be filled out – in terms of necessary connections, analytic connections and vacuous explanations. I argue that none of these present serious problems. Instead, they bring out some important and over-looked features of functionalism.

This ambitious book aims to make a substantive contribution to six separate debates within neuroethics — the existence of free will, the impact of cognitive enhancement and of memory management on personal identity, the nature of mental privacy, the supposed subjectivity of pain, and the proper definition of death — all in the context of a framing argument concerning the relation between common sense psychological concepts and scientific concepts. Gligorov means to rebut skepticism about folk mental states in the face (...) of surprising neuroscientific results by reconceptualizing folk theories as protean, incorporating some of the very results that seem to challenge them. My impression is that Gligorov’s arguments on cognitive enhancement, memory modification, and brain death make helpful contributions to the respective literatures on those subjects, but I close with a number of concerns about the book, especially whether its framing argument is successful in its current form. (shrink)

Las teorías de la referencia puramente descriptivistas o causales fracasan a la hora de dar cuenta del modo en que se fija y puede rastrearse la referencia de los términos teóricos. Psillos propuso dos versiones del descriptivismo causal que recogen argu-mentos presentes en defensas previas de dicha posición. Se trata de una teoría mixta que pretende solucionar el problema y acomodarse a intuiciones presentes en enfo-ques alternativos, como el que apela a oraciones de Ramsey. El artículo se propone mostrar la (...) insuficiencia del descriptivismo causal como solución al problema de la referencia de los términos teóricos. (shrink)

RESUMEN Un experimento mental en ciencias fácticas consiste en la representación de un escenario imaginario. A partir de la presentación de condiciones iniciales y la postulación de una situación hipotética o contrafáctica, se solicita al lector que realice mentalmente alguna operación, manipule ciertas variables o ponga en funcionamiento algún aparato o instrumento. En virtud de este ejercicio sería posible, en principio, obtener nuevo conocimiento acerca de algún aspecto del mundo natural. El debate acerca de las funciones de los experimentos mentales (...) en las ciencias fácticas está centrado en establecer la validez del conocimiento acerca del mundo empírico que estos dispositivos son capaces de proporcionar. La propuesta interpretativa de Brown da sustento a la idea de que, en casos excepcionales, los experimentos mentales pueden cumplir funciones probatorias. Los denominados “experimentos mentales platónicos” permiten intuir leyes de la naturaleza y justificar a priori las hipótesis propuestas. Sostenemos que la conexión trazada por Brown entre los experimentos mentales y leyes naturales exhibe un aspecto problemático de su filosofía: el compromiso injustificado con una metafísica inflacionaria. Mostramos que es posible explicar el mecanismo a través del cual estos dispositivos proporcionan conocimiento nuevo y dar cuenta tanto de su poder heurístico cómo de su valor evidencial a partir compromisos metafísicos más modestos. ABSTRACT Thought experiments in factual science consists on the representation of an imaginary scenario. Starting with the presentation of a hypothetical or counterfactual situation and the description of initial conditions, the reader is asked to mentally perform some operation, to manipulate certain variables or to put into operation some apparatus or instrument. In virtue of this exercise, it would be possible to obtain new knowledge about the natural world. The debate on the functions of thought experiments in physics is focused on determining the validity of the empirical knowledge that these devices are capable of providing. Brown supports the idea that, in exceptional cases, thought experiments can perform probative functions. The so-called “Platonic Thought Experiments” allow us to intuit laws of nature and provide an a priori justification of the proposed hypotheses. We hold that Brown's connection between thought experiments and laws of nature exhibits a problematic aspect of his philosophy: the unjustified commitment with an inflationary metaphysics. We show that it is possible to explain the mechanism through which these devices provide new knowledge and give an account of both their heuristic power and their evidential value from modest metaphysical commitments. (shrink)

RESUMEN Las teorías de la referencia puramente descriptivistas o causales fracasan a la hora de dar cuenta del modo en que se fija y puede rastrearse la referencia de los términos teóricos. Psillos propuso dos versiones del descriptivismo causal que recogen argumentos presentes en defensas previas de dicha posición. Se trata de una teoría mixta que pretende solucionar el problema y acomodarse a intuiciones presentes en enfoques alternativos, como el que apela a oraciones de Ramsey. El artículo se propone mostrar (...) la insuficiencia del descriptivismo causal como solución al problema de la referencia de los términos teóricos. ABSTRACT Purely descriptivist or purely causal reference theories fail to account for the manner in which the reference of theoretical terms is fixed and can be traced. S. Psillos proposed two versions of causal descriptivism that take up arguments set forth in previous defenses of said position. His is a mixed theory that attempts to solve the problem by adopting insights from alternative approaches, such as those that resort to Ramsey sentences. The objective of the article is to show the insufficiency of causal descriptivism as a solution to the problem of reference of theoretical terms. (shrink)

Philosophical accounts of causation have traditionally been framed as attempts to analyze the concept of a cause. In recent years, however, a number of philosophers have proposed instead that causation be empirically reduced to some relation uncovered by the natural sciences: e.g., a relation of energy transfer. This paper argues that the project of empirical analysis lacks a clearly defined methodology, leaving it uncertain how such views are to be evaluated. It proposes several possible accounts of empirical analysis and argues (...) that the most promising approach would treat it as a contingent identity discovered by identifying the relation (or relations) that most nearly approximate the inferential role of causal concepts in a psychological theory of causal judgment. (shrink)

É surpreendente que o ser humano possa formar representações mentais de objetos e propriedades que os seus órgãos dos sentidos não foram projetados pela seleção natural para registrar. Isto não é apenas referência deslocada, uma capacidade partilhada com algumas outras espécies. Afinal, referência deslocada pode ser referência para observáveis. Defendo a plausibilidade de desenvolver um programa de pesquisa para explorar como essa capacidade se refere o conhecimento por descrição em um sentido mais ou menos russelliano. Como tal, é um desdobramento (...) acidental da faculdade de linguagem, especificamente a capacidade de construir descrições. Ainda mais especificamente, ele requer a capacidade para formar frases quantificadas, como por variantes da teoria das descrições. Os linguistas têm apresentado evidências de uma operação computacional própria para a faculdade de linguagem, Confluir Interno, que liga variáveis. Defendo a razoabilidade de um programa para explorar a forma como a singularidade humana de Confluir Interno contribui para a nossa capacidade de conhecimento por descrição. (shrink)

endorsed one kind of inverted spectrum hypothesis and rejected another. This paper argues that the kind of inverted spectrum hypothesis that Wittgenstein endorsed is the thin end of the wedge that precludes a Wittgensteinian critique of the kind of inverted spectrum hypothesis he rejected. The danger of the dangerous kind is that it provides an argument for qualia, where qualia are contents of experiential states which cannot be fully captured in natural language. I will pinpoint the difference between the innocuous (...) and dangerous scenarios that matters for the argument for qualia, give arguments in favor of the coherence and possibility of the dangerous scenario, and try to show that some standard arguments against inverted spectra are ineffective against the version of the dangerous scenario I will be advocating. The leading idea of the paper is that an argument for qualia based on spectrum inversion does not require that the inversion be behaviorally indistinguishable. At one crucial point, I will rely on a less controversial version of an argument I gave in Block. Wittgenstein's views provide a convenient starting point for a paper that is much more about qualia than about Wittgenstein. (shrink)

A given explanatory theory T falls into circular reasoning if the only way to determine its explanandum is through the application of T. To find an underlying theory T′ that determines T′s explanandum helps us save T from this accusation of circularity. We follow the structuralist view of theories in presenting and dealing with this issue, by applying it to particular theories. More specifically, we focus on the relationship between the Darwinian theory of common ancestry and the determination of homologies.

What factors are involved in the resolution of scientific disputes? What factors make the resolution of such disputes rational? The traditional view confers an important role on observation statements that are shared by proponents of competing theories. Rival theories make incompatible (sometimes contradictory) observational predictions about a particular situation, and the prediction made by one theory is borne out while the prediction made by the other is not. Paul Feyerabend, Thomas Kuhn, and Paul Churchland have called into question this account (...) of theory-resolution. According to these philosophers, substantially different and competing scientific theories are semantically incommensurable: those theories do not share a common observation language. Two charges have been leveled against the semantic incommensurability theories. The first is that it ignores that some semantic features of observational terms (e.g., their reference) can be expressed by proponents of competing theories. The second is that the semantic incommensurability thesis is self-defeating. In this paper I will argue that both of these charges are true but not for the reasons usually given. (shrink)

Scientific realism says of our best scientific theories that (1) most of their important posits exist and (2) most of their central claims are approximately true. Antirealists sometimes offer the pessimistic induction in reply: since (1) and (2) are false about past successful theories, they are probably false about our own best theories too. The contemporary debate about this argument has turned (and become stuck) on the question, Do the central terms of successful scientific theories refer? For example, Larry Laudan (...) offers a list of successful theories that employed central terms that failed to refer, and Philip Kitcher replies with a view about reference in which the central terms of such theories did sometimes refer. This article attempts to break this stalemate by proposing a direct version of the pessimistic induction, one that makes no explicit appeal to a substantive notion or theory of reference. While it is premature to say that this argument succeeds in showing that realism is probably false, the direct pessimistic induction is not subject to any kind of reference-based objection that might cripple a weaker, indirect version of the argument. Any attempt to trounce the direct pessimistic induction with a theory of reference fails. (shrink)

The flight to reference is a widely-used strategy for resolving philosophical issues. The three steps in a flight to reference argument are: (1) offer a substantive account of the reference relation, (2) argue that a particular expression refers (or does not refer), and (3) draw a philosophical conclusion about something other than reference, like truth or ontology. It is our contention that whenever the flight to reference strategy is invoked, there is a crucial step that is left undefended, and that (...) without a defense of this step, the flight to reference is a fatally flawed strategy; it cannot succeed in resolving philosophical issues. In this paper we begin by setting out the flight to reference strategy and explaining what is wrong with arguments that invoke the strategy. We then illustrate the problem by considering arguments for and against eliminative materialism. In the final section we argue that much the same problem undermines Philip Kitcher's attempt to defend scientific realism. (shrink)

Those who favour an ontology based on dispositions are thereby able to provide a dispositional essentialist account of the laws of nature. In part 1 of this paper I sketch the dispositional essentialist conception of properties and the concomitant account of laws. In part 2, I characterise various claims about the modal character of properties that fall under the heading ‘quidditism’ and which are consequences of the categoricalist view of properties, which is the alternative to the dispositional essentialist view. I (...) argue that quidditism should be rejected. In part 3, I address a criticism of a strong dispositional essentialist view, viz. that ‘structural’ (i.e. geometrical, numerical, spatial and temporal) properties must be regarded as categorical. (shrink)

Cooperation is rife in the microbial world, yet our best current theories of the evolution of cooperation were developed with multicellular animals in mind. Hamilton’s theory of inclusive fitness is an important case in point: applying the theory in a microbial setting is far from straightforward, as social evolution in microbes has a number of distinctive features that the theory was never intended to capture. In this article, I focus on the conceptual challenges posed by the project of extending Hamilton’s (...) theory to accommodate the effects of gene mobility. I begin by outlining the basics of the theory of inclusive fitness, emphasizing the role that the concept of relatedness is intended to play. I then provide a brief history of this concept, showing how, over the past fifty years, it has departed from the intuitive notion of genealogical kinship to encompass a range of generalized measures of genetic similarity. I proceed to argue that gene mobility forces a further revision of the concept. The reason in short is that, when the genes implicated in producing social behaviour are mobile, we cannot talk of an organism’s genotype simpliciter; we can talk only of an organism’s genotype at a particular stage in its life cycle. We must therefore ask: with respect to which stage(s) in the life cycle should relatedness be evaluated? For instance: is it genetic similarity at the time of social interaction that matters to the evolution of social behaviour, or is it genetic similarity at the time of reproduction? I argue that, strictly speaking, it is neither of these: what really matters to the evolution of social behaviour is diachronic genetic similarity between the producers of fitness benefits at the time they produce them and the recipients of those benefits at the end of their life-cycle. I close by discussing the implications of this result. The main payoff is that it makes room for a possible new mechanism for the evolution of altruism in microbes that does not require correlated interaction among bearers of the genes for altruism. The importance of this mechanism in nature remains an open empirical question. (shrink)

Single-case and long-run propensity theories are among the main objective interpretations of probability. There have been various objections to these theories, e.g. that it is difficult to explain why propensities should satisfy the probability axioms and, worse, that propensities are at odds with these axioms, that the explication of propensities is circular and accordingly not informative, and that single-case propensities are metaphysical and accordingly non-scientific. We consider various propensity theories of probability and their prospects in light of these objections. We (...) argue that while propensity theories face challenges, these challenges do not undermine their validity as prospective interpretations of probability in science. (shrink)

I motivate and defend a previously underdeveloped functionalist account of the metaphysics of color, a view that I call ‘quality-space functionalism’ about color. Although other theorists have proposed varieties of color functionalism, this view differs from such accounts insofar as it identifies and individuates colors by their relative locations within a particular kind of so-called ‘quality space’ that reflects creatures’ capacities to discriminate visually among stimuli. My arguments for this view of color are abductive: I propose that quality-space functionalism best (...) captures our commonsense conception of color, fits with many experimental findings, coheres with the phenomenology of color experience, and avoids many issues for standard theories of color such as color physicalism and color relationalism. (shrink)

Susan Carey's account of Quinean bootstrapping has been heavily criticized. While it purports to explain how important new concepts are learned, many commentators complain that it is unclear just what bootstrapping is supposed to be or how it is supposed to work. Others allege that bootstrapping falls prey to the circularity challenge: it cannot explain how new concepts are learned without presupposing that learners already have those very concepts. Drawing on discussions of concept learning from the philosophical literature, this article (...) develops a detailed interpretation of bootstrapping that can answer the circularity challenge. The key to this interpretation is the recognition of computational constraints, both internal and external to the mind, which can endow empty symbols with new conceptual roles and thus new contents. (shrink)

This paper begins with a brief summary of the Self-consciousness Argument, developed in the author’s paper “Self-consciousness.” (This argument is designed to refute the extant versions of functionalism -- American functionalism, Australian functionalism, and language-of-thought functionalism.) After this summary is given, two thesis are defended. The first is that the Self-consciousness Argument is not guilty of a Fregean equivocation regarding embedded occurrences of mental predicates, as has been suggested by many commentators, including Mark McCullagh. The second thesis is that the (...) Self-consciousness Argument cannot be avoided by weakening the psychological theory upon which Ramsified functional definitions are based. Specifically, it does no good to excise psychological principles involving embedded mental predicates. Why? Because functional definitions based on the resulting sparse theories are exposed to an interesting new family of counterexamples. (shrink)

The fundamental problem of Christology is the apparent contradiction of Christ as recorded at Chalcedon. Christ is human and Christ is divine. Being divine entails being immutable. Being human entails being mutable. Were Christ two different persons there’d be no apparent contradiction. But Chalcedon rules as much out. Were Christ only partly human or only partly divine there’d be no apparent contradiction. But Chalcedon rules as much out. Were the very meaning of ‘mutable’ and/or ‘immutable’ other than what they are, (...) there’d be no apparent contradiction. But the meaning is what it is, and changing the meaning of our terms to avoid the apparent contradiction of Christ is an apparent flight from reality. What, in the end, is the explanation of the apparent contradiction of Christ? Theologians and philosophers have long advanced many consistency-seeking answers, all of which increase the metaphysical or semantical complexity of the otherwise strikingly simple but radical core of Christianity’s GodMan. In this paper, I put the simplest explanation on the theological table: namely, Christ appears to be contradictory because Christ is contradictory. This explanation may sound complicated to the many who are steeped in the mainstream account of logic according to which logic precludes the possibility of true contradictions. But the mainstream account of logic can and should be rejected. Ridding theology of the dogma of mainstream logic illuminates the simple though striking explanation of the apparent contradiction of Christ — namely, that Christ is a contradictory being. Just as the simplest explanation to the apparent roundness of the earth has earned due acceptance, so too should the simplest explanation of the apparent contradiction of Christ. (shrink)

Much current debate in the metaphysics of time is between A-theorists and B-theorists. Central to this debate is the assumption that time exists and that the task of metaphysics is to catalogue time’s features. Relatively little consideration has been given to an error theory about time. Since there is very little extant work on temporal error theory the goal of this paper is simply to lay the groundwork to allow future discussion of the relative merits of such a view. The (...) paper thus develops a conceptual framework from within which to evaluate claims about the actual existence, or not, of temporality as that notion appears in folk discourses about time, and from there to examine claims about the counterfactual existence, or not, of temporality so conceived. We subsequently apply this framework to three extant positions drawn from physics and metaphysics that deny the existence of time. We show that only one of these positions is a folk temporal error theory; that is, a view that denies the existence of time as that notion is operative in our everyday thought and talk. (shrink)

Several approaches to quantum gravity signal the loss of spacetime at some level. According to spacetime functionalism, spacetime is functionally realised by a more fundamental structure. According to one version of spacetime functionalism, the spacetime role is specified by Ramsifying general relativity. In some approaches to QG, however, there does not appear to be anything that exactly realises the functional role defined by a Ramsey sentence for GR. The spacetime role is approximately realised. It is open to the spacetime functionalist (...) to adopt a ‘near enough is good enough’ attitude to functional realisation, and maintain that spacetime is functionally realised nonetheless. In this paper I present a challenge for such an ‘approximate’ spacetime functionalism. The challenge, in brief, is to provide an account of how ‘close’ is close enough for approximate realisation to occur. I canvass a range of options for spelling out a similarity relation of the relevant kind, and argue that none are successful. In light of the challenge, I recommend giving up on the functional realisation of spacetime. I argue, however, that even if spacetime as a whole is not functionally realised, some of the functions of spacetime may still be performed. (shrink)

The philosophical debate whether the epistemological and conceptual structure of science is better characterized as hierarchical or as holistic cannot be decideda priori. A case study on general relativity should help to clarify our representation of this section of physics. For this purpose Sneed's model-theoretic approach is used to reconstruct the structure of relativity. The proposed axiomatization of general relativity takes into account approximations and utilizes local models for a realistic view on the functioning of the theory. A central objective (...) of the paper is to give an explication of the approximative empirical claim of general relativity, which is designed to identify the empirical content of the theory in a weak hierarchical form. (shrink)

In a recent paper, Gualtiero Piccinini and Carl Craver have argued that psychology is not distinct from neuroscience. Many have argued that Piccinini and Craver’s argument is unsuccessful. However, none of these authors have questioned the appropriateness of Piccinini and Craver’s argument for their key premise—that functional analyses are mechanism sketches. My first and main goal in this paper is to show that Piccinini and Craver offer normative considerations in support of what is a descriptive premise and to provide some (...) guidelines on how to argue for this premise. My second goal is to show that the distinctness question should be of great significance for philosophy of cognitive science. (shrink)

This article defends the view that having a language just is knowing how to engage in communication with it. It also argues that, despite claims to the contrary, this view is compatible and complementary with the Chomskyan conception of language on which humans have languages in virtue of being in brain states realizing tacit knowledge of grammars for those languages.

There are two views of the essences of speech acts: according to one view, they are natural kinds; according to the other, they are what I call normative kinds—kinds in the (possibly non-reductive) definition of which some normative term occurs. In this article I show that speech acts can be normative but also natural kinds by deriving Williamson's account of assertion, on which it is an act individuated, and constitutively governed, by a norm (the knowledge rule), from a consideration of (...) the natural characteristics of normal cases of its performance. (shrink)

In this article, I argue that if tacit knowledge of grammar is analyzable in functional‐computational terms, then it cannot ground linguistic meaning, structure, or sound. If to know or cognize a grammar is to be in a certain computational state playing a certain functional role, there can be no unique grammar cognized. Satisfying the functional conditions for cognizing a grammar G entails satisfying those for cognizing many grammars disagreeing with G about expressions' semantic, phonetic, and syntactic values. This threatens the (...) Chomskyan view that expressions have such values for speakers because they cognize grammars assigning them those values. For if this is true, semantics, syntax, and phonology must be indeterminate, thanks to the indeterminacy of grammar‐cognizing (qua functional‐computational state). So, the fact that a speaker cognizes a grammar cannot explain the determinate character of their language. (shrink)

Frank Jackson uses the a priori entailment thesis to connect metaphysics and conceptual analysis. In the book he develops this thesis within the two-dimensional framework and also proposes a formal argument for it. I argue that the two-dimensional framework doesn’t provide independent support for the a priori entailment thesis since one has to build into the framework assumptions as strong as the thesis itself.

The widely held picture of dynamical symmetry as surplus structure in a physical theory has many metaphysical applications. Here, I focus on its relevance to the question of which quantities in a theory represent fundamental natural properties.

In this article, we identify three key design dimensions along which cryptocurrencies differ -- privacy, censorship-resistance, and consensus procedure. Each raises important normative issues. Our discussion uncovers new ways to approach the question of whether Bitcoin or other cryptocurrencies should be used as money, and new avenues for developing a positive answer to that question. A guiding theme is that progress here requires a mixed approach that integrates philosophical tools with the purely technical results of disciplines like computer science and (...) economics. Note: this article is the second entry within a two-part sequence on the Philosophy, Politics, and Economics of Cryptocurrency. (shrink)

In this article, we describe what cryptocurrency is, how it works, and how it relates to familiar conceptions of and questions about money. We then show how normative questions about monetary policy find new expression in Bitcoin and other cryptocurrencies. These questions can play a role in addressing not just what money is, but what it should be. A guiding theme in our discussion is that progress here requires a mixed approach that integrates philosophical tools with the purely technical results (...) of disciplines like computer science and economics. Note: this article is the first entry within a two-part sequence on the Philosophy, Politics, and Economics of Cryptocurrency. (shrink)

The problem of skepticism is often understood as a paradox: a valid argument with plausible premises whose conclusion is that we lack justification for perceptual beliefs. Typically, this conclusion is deemed unacceptable, so a theory is offered that posits conditions for justification on which some premise is false. The theory defended here is more general, and explains why the paradox arises in the first place. Like Strawson’s (Introduction to logical theory, Wiley, New York, 1952) “ordinary language” approach to induction, the (...) theory posits something built into the very notion of justification: it is loaded with a bias towards the proposition that we are not massively deceived. Beyond the paradox, remaining skeptical problems consist of metaphysical and practical questions: whether we are massively deceived, or why we should use our loaded notion rather than some other. Such challenges have pro- found epistemological significance, but they are not problems that an a priori theory of justification can solve. (shrink)