It is a metaphysical orthodoxy that interesting non-symmetric relations cannot be reduced to symmetric ones. This orthodoxy is wrong. I show this by exploring the expressive power of symmetric theories, i.e. theories which use only symmetric predicates. Such theories are powerful enough to raise the possibility of Pythagrapheanism, i.e. the possibility that the world is just a vast, unlabelled, undirected graph.

Kilimanjaro is an example of what some philosophers would call a ‘vague object’: it is only roughly 5895 m tall, its weight is not precise and its boundaries are fuzzy because some particles are neither determinately part of it nor determinately not part of it. It has been suggested that this vagueness arises as a result of semantic indecision: it is because we didn’t make up our mind what the expression “Kilimanjaro” applies to that we can truthfully say such things (...) as “It is indeterminate whether this particle is part of Kilimanjaro”. After reviewing some of the limitations of this approach, I will propose an alternative account, based on a new semantic relation—multiple reference—capable of holding in a one-many pattern between a term and several objects in the domain. I will explain how multiple reference works, what differentiates it from plural reference and how it might be used to accommodate at least some aspects of our ordinary discourse about vague objects. (shrink)

An account of distinctively mathematical explanation (DME) should satisfy three desiderata: it should account for the modal import of some DMEs; it should distinguish uses of mathematics in explanation that are distinctively mathematical from those that are not (Baron [2016]); and it should also account for the directionality of DMEs (Craver and Povich [2017]). Baron’s (forthcoming) deductive-mathematical account, because it is modelled on the deductive-nomological account, is unlikely to satisfy these desiderata. I provide a counterfactual account of DME, the Narrow (...) Ontic Counterfactual Account (NOCA), that can satisfy all three desiderata. NOCA appeals to ontic considerations to account for explanatory asymmetry and ground the relevant counterfactuals. NOCA provides a unification of the causal and the non-causal, the ontic and the modal, by identifying a common core that all explanations share and in virtue of which they are explanatory. (shrink)

Higher-order realists about properties express their view that there are properties with the help of higher-order rather than first-order quantifiers. They claim two types of advantages for this way of formulating property realism. First, certain gridlocked debates about the nature of properties, such as the immanentism versus transcendentalism dispute, are taken to be dissolved. Second, a further such debate, the tropes versus universals dispute, is taken to be resolved. In this paper I first argue that higher-order realism does not in (...) fact resolve the tropes versus universals dispute. In a constructive spirit, I then develop higher-order realism in a way that leads to a dissolution, rather than a resolution, of this dispute too. (shrink)

What words we use, and what meanings they have, is important. We shouldn't use slurs; we should use 'rape' to include spousal rape (for centuries we didn’t); we should have a word which picks out the sexual harassment suffered by people in the workplace and elsewhere (for centuries we didn’t). Sometimes we need to change the word-meaning pairs in circulation, either by getting rid of the pair completely (slurs), changing the meaning (as we did with 'rape'), or adding brand new (...) word-meaning pairs (as with 'sexual harassment'). A problem, though, is how to do this. One might worry that any attempt to change language in this way will lead to widespread miscommunication and confusion. I argue that this is indeed so, but that's a feature, not a bug of attempting to change word-meaning pairs. The miscommunications and confusion such changes cause can lead us, via a process I call transformative communicative disruption, to reflect on our language and its use, and this can be further, rather than hinder, our goal of improving language. (shrink)

This paper criticizes Langton's speech act account of MacKinnon's claim about (the subordinating force of) pornography and offers a different account of how speech might enact harmful norms and thus constitute harm.

In this paper, I defend a version of the medical model of disability, which defines disability as an enduring biological dysfunction that causes its bearer a significant degree of impairment. We should accept the medical model, I argue, because it succeeds in capturing our judgments about what conditions do and do not qualify as disabilities, because it offers a compelling explanation for what makes a condition count as a disability, and because it justifies why the federal government should spend hundreds (...) of billions of dollars, annually, on aid and accommodations for disabled people. After responding to a pair of objections Elizabeth Barnes has raised against the medical model, I contrast it with Guy Kahane and Julian Savulescu's welfarist account of disability, and with Barnes's own mere-difference view. Both of these accounts face serious challenges, although elements of Barnes's view can—and, in my opinion, should—be adopted by proponents of the medical model. (shrink)

This paper reviews the hole argument as an argument against spacetime substantivalism. After a careful presentation of the argument itself, I critically review possible responses.

Book Review The Metaphysics of Truth by Douglas Edwards Oxford University Press, 2018. Pp. x + 210. ISBN 9780198758693. £45.00 ($56.00) (hardcover).

Gideon Rosen has recently sketched an argument which aims to establish that the notion of metaphysical modality is systematically ambiguous. His argument contains a crucial sub-argument which has been used to argue for Metaphysical Contingentism, the view that some claims of fundamental metaphysics are metaphysically contingent rather than necessary. In this paper, Rosen’s argument is explicated in detail and it is argued that the most straight-forward reconstruction fails to support its intended conclusion. Two possible ways to save the argument are (...) rebutted and it is furthermore argued that the crucial sub-argument only supports a rather particular variant of Metaphysical Contingentism. (shrink)

Truthmaker theorists hold that there is a metaphysically explanatory relation that holds between true claims and what exists. While some critics try to provide counterexamples to truthmaker theory, that response quickly leads to a dialectical standoff. The aim of this paper is to move beyond that standoff by attempting to undermine some standard arguments for truthmaker theory. Using realism about truth and a more pragmatic account of explanation, I show how some of those arguments can be undermined.

Many philosophers have been attracted to the idea of using the logical form of a true sentence as a guide to the metaphysical grounds of the fact stated by that sentence. This paper looks at a particular instance of that idea: the widely accepted principle that disjunctions are grounded in their true disjuncts. I will argue that an unrestricted version of this principle has several problematic consequences and that it’s not obvious how the principle might be restricted in order to (...) avoid them. My suggestion is that, instead of trying to restrict the principle, we should distinguish between metaphysical and conceptual grounds and take the principle to apply exclusively to the latter. This suggestion, if correct, carries over to other prominent attempts at using logical form as a guide to ground. (shrink)

This paper provides an analysis of the intrinsic/extrinsic distinction, as applied both to properties and to relations. In contrast to other accounts, the approach taken here locates the source of a property’s intrinsicality or extrinsicality in the manner in which that property is ‘logically constituted’, and thus – plausibly – in its nature or essence, rather than in e.g. its modal profile. Another respect in which the present proposal differs from many extant analyses lies in the fact that it does (...) not seek to analyse the ‘global’ distinction between intrinsic and extrinsic properties on the basis of the ‘local’ distinction between having a property intrinsically and having it extrinsically. Instead, the latter distinction is explicated on the basis of the former. (shrink)

One popular theory of moral responsibility locates responsible agency in exercises of control. These control-based theories often appeal to tracing to explain responsibility in cases where some agent is intuitively responsible for bringing about some outcome despite lacking direct control over that outcome’s obtaining. Some question whether control-based theories are committed to utilizing tracing to explain responsibility in certain cases. I argue that reflecting on certain kinds of negligence shows that tracing plays an ineliminable role in any adequate control-based theory (...) of responsibility. (shrink)

In a recent paper, Barry Loewer attempts to defend Humeanism about laws of nature from a charge that Humean laws are not adequately explanatory. Central to his defense is a distinction between metaphysical and scientific explanations: even if Humeans cannot offer further metaphysical explanations of particular features of their “mosaic,” that does not preclude them from offering scientific explanations of these features. According to Marc Lange, however, Loewer’s distinction is of no avail. Defending a transitivity principle linking scientific explanantia to (...) their metaphysical grounds, Lange argues that a charge of explanatory inadequacy resurfaces once this intuitive principle is in place. This paper surveys, on behalf of the Humean, three strategies for responding to Lange’s criticism. The ready availability of these strategies suggests that Lange’s argument may not bolster anti-Humean convictions, since the argument rests on premises that those not antecedently sharing these convictions may well reject. The three strategies also correspond to three interesting ways of thinking about relations of grounding linking Humean laws and their instances, all of which are consistent with theses of Humean supervenience, and some of which have been heretofore overlooked. (shrink)

If the world itself is metaphysically indeterminate in a specified respect, what follows? In this paper, we develop a theory of metaphysical indeterminacy answering this question.

A growing number of philosophers and linguists have argued that many, if not most, terms in our language should be understood as semantically context sensitive. In opposition to this trend, Herman Cappelen and Ernie Lepore defend a view they call "Semantic Minimalism", which holds that there are virtually no semantically context sensitive expressions in English once you get past the standard list of indexicals and demonstratives such as "I", "you", "this", and "that". While minimalism strikes many as obviously false, it (...) will be argued here that the view is more plausible than commonly assumed if one accepts the 'normative' conception of the relation between meaning and use characteristic of the literature on semantic externalism. That said, it is not clear that Cappelen and Lepore always conceive of their minimal semantic contents in this more normative fashion, and once this framework is place, a version of 'moderate contextualism' that they do not consider comes into view. (shrink)

This paper combines two ideas: (1) That the Lewisian best system analysis of lawhood (BSA) can cope with laws that have exceptions (cf. Braddon-Mitchell in Noûs 35(2):260–277, 2001; Schrenk in The metaphysics of ceteris paribus laws. Ontos, Frankfurt, 2007). (2) That a BSA can be executed not only on the mosaic of perfectly natural properties but also on any set of special science properties (cf., inter alia, Schrenk 2007, Selected papers contributed to the sections of GAP.6, 6th international congress of (...) the society for analytical philosophy. Mentis, Paderborn/Münster, 2008; Cohen and Callender in Philos Stud 145:1–34, 2009, Erkenntnis 73:427–447, 2010). Bringing together (1) and (2) results in an analysis of special science ceteris paribus laws. (shrink)

This dissertation explores several illuminating points of intersection between the philosophy of perception and the philosophy of vagueness. Among other things, I argue: (i) that it is entirely unhelpful to theorize about perception or consciousness using Nagelian "what it's like" talk; (ii) that a popular recent account of perceptual phenomenology (representationalism) conflicts with our best theory of vagueness (supervaluationism); (iii) that there are no vague properties, for Evans-esque reasons; (iv) that it is impossible to insert "determinacy" operators into representationalism in (...) a truth-preserving manner; and (v) that strong versions of dualism are unable to accommodate the possibility of borderline consciousness. (shrink)

A common view is that natural language treats numbers as abstract objects, with expressions like the number of planets, eight, as well as the number eight acting as referential terms referring to numbers. In this paper I will argue that this view about reference to numbers in natural language is fundamentally mistaken. A more thorough look at natural language reveals a very different view of the ontological status of natural numbers. On this view, numbers are not primarily treated abstract objects, (...) but rather 'aspects' of pluralities of ordinary objects, namely number tropes, a view that in fact appears to have been the Aristotelian view of numbers. Natural language moreover provides support for another view of the ontological status of numbers, on which natural numbers do not act as entities, but rather have the status of plural properties, the meaning of numerals when acting like adjectives. This view matches contemporary approaches in the philosophy of mathematics of what Dummett called the Adjectival Strategy, the view on which number terms in arithmetical sentences are not terms referring to numbers, but rather make contributions to generalizations about ordinary (and possible) objects. It is only with complex expressions somewhat at the periphery of language such as the number eight that reference to pure numbers is permitted. (shrink)

In this paper, I examine the relationship between physicalism and property dualism in the light of the dialectic between anti-physicalist arguments and physicalist responses. Upon rehearsing the moves of each side, it is hard not to notice that there is a puzzling symmetry between dualist attacks on physicalism and physicalist replies. Each position can be developed in a way to defend itself from attacks from the other position, and it seems that there are neither a priori nor a posteriori grounds (...) to choose between the two. I suggest that the reason for the intractability of the disagreement, perhaps surprisingly, is they are both true: physicalism and dualism are formulated in terms of different conceptual schemes, each involving basic metaphysical concepts such as possibility, necessity, law and property. My proposal is that this means that there is no real disagreement in fact; both schemes get at the same reality, in different ways. -/- . (shrink)

This chapter contains section titled: The Issue Varieties of Nominalism Two Conceptions of Universals The Regress Charge and two Unsuccessful Attempts to Meet it An Alternative.

The motivating question of this paper is: ‘How are our beliefs in the theorems of mathematics justified?’ This is distinguished from the question ‘How are our mathematical beliefs reliably true?’ We examine an influential answer, outlined by Russell, championed by Gödel, and developed by those searching for new axioms to settle undecidables, that our mathematical beliefs are justified by ‘intuitions’, as our scientific beliefs are justified by observations. On this view, axioms are analogous to laws of nature. They are postulated (...) to best systematize the data to be explained. We argue that there is a decisive difference between the cases. There is agreement on the data to be systematized in the scientific case that has no analog in the mathematical one. There is virtual consensus over observations, but conspicuous dispute over intuitions. In this respect, mathematics more closely resembles stereotypical philosophy. We conclude by distinguishing two ideas that have long been associated -- realism (the idea that there is an independent reality) and objectivity (the idea that in a disagreement, only one of us can be right). We argue that, while realism is true of mathematics and philosophy, these domains fail to be objective. One upshot of the discussion is that even questions of fundamental physics may fail to be objective in roughly the sense that the question, ‘Is the Parallel Postulate is true?’, understood as one of pure mathematics, fails to be. Another is a kind of pragmatism. Factual questions in mathematics, modality, logic, and evaluative areas go proxy for non-factual practical ones. -/- . (shrink)

According to comparativist theories of quantities, their intrinsic values are not fundamental. Instead, all the quantity facts are grounded in scale-independent relations like "twice as massive as" or "more massive than." I show that this sort of scale independence is best understood as a sort of metaphysical symmetry--a principle about which transformations of the non-fundamental ontology leave the fundamental ontology unchanged. Determinism--a core scientific concept easily formulated in absolutist terms--is more difficult for the comparativist to define. After settling on the (...) most plausible comparativist understanding of determinism, I offer some examples of physical systems that the comparativist must count as indeterministic although the relevant physical theory gives deterministic predictions. Several morals are drawn. In particular: comparativism is metaphysically contingent if true, and it is most natural for a comparativist to accept an at-at theory of motion. (shrink)

Several variants of Lewis's Best System Account of Lawhood have been proposed that avoid its commitment to perfectly natural properties. There has been little discussion of the relative merits of these proposals, and little discussion of how one might extend this strategy to provide natural property-free variants of Lewis's other accounts, such as his accounts of duplication, intrinsicality, causation, counterfactuals, and reference. We undertake these projects in this paper. We begin by providing a framework for classifying and assessing the variants (...) of the Best System Account. We then evaluate these proposals, and identify the most promising candidates. We go on to develop a proposal for systematically modifying Lewis's other accounts so that they, too, avoid commitment to perfectly natural properties. We conclude by briefly considering a different route one might take to developing natural property-free versions of Lewis's other accounts, drawing on recent work by Williams. (shrink)

This book offers an historically-informed critical assessment of Dummett's account of abstract objects, examining in detail some of the Fregean presuppositions whilst also engaging with recent work on the problem of abstract entities.

Traditionally, social entities (i.e., social properties, facts, kinds, groups, institutions, and structures) have not fallen within the purview of mainstream metaphysics. In this chapter, we consider whether the exclusion of social entities from mainstream metaphysics is philosophically warranted or if it instead rests on historical accident or bias. We examine three ways one might attempt to justify excluding social metaphysics from the domain of metaphysical inquiry and argue that each fails. Thus, we conclude that social entities are not justifiably excluded (...) from metaphysical inquiry. Finally, we ask how focusing on social entities could change the character of metaphysical inquiry. We suggest that starting from examples of social entities might lead metaphysicians to rethink the assumption that describing reality in terms of intrinsic, independent, and individualistic features is preferable to describing it in terms of relational, dependent, and non-individualistic features. (shrink)

Journal of Social Philosophy, EarlyView.

Perhaps the two main contemporary formulations of ethical naturalism – Synthetic Ethical Naturalism (SEN) and Analytical Descriptivism – seem to conflict with plausible views about cases where moral debate and disagreement is possible. Both lack safeguards to avoid divergence of reference across different communities, which can scupper the prospects for genuine moral disagreement. I explore the prospects for supplementing both views with Lewis's notion of eligibility, arguing that this can solve the problem for a modified form of analytical descriptivism, and (...) for a modified form of SEN too (though perhaps more controversially). I close by considering the appropriateness of using the notions of eligibility and joint-carving in ethics. (shrink)

The relation of global supervenience is widely appealed to in philosophy. In slogan form, it is explained as follows: a class of properties A supervenes on a class of properties B if no two worlds differ in the distribution of A-properties without differing in the distribution of B-properties. It turns out, though, that there are several ways to cash out that slogan. Three different proposals have been discussed in the literature. In this paper, I argue that none of them is (...) adequate. Furthermore, I present a puzzle that reveals a tension in our concept of global supervenience. (shrink)

This paper begins by applying a version of Timothy Williamson’s anti-luminosity argument to normative properties. This argument suggests that there must be at least some unknowable normative facts in normative Sorites sequences, or otherwise we get a contradiction given certain plausible assumptions concerning safety requirements on knowledge and our doxastic dispositions. This paper then focuses on the question of how the defenders of different forms of metaethical anti-realism (namely, error theorists, subjectivists, relativists, contextualists, expressivists, response dependence theorists, and constructivists) could (...) respond to the explanatory challenge created by the previous argument. It argues that, with two exceptions, the metaethical anti-realists need not challenge the argument itself, but rather they can find ways to explain how the unknowable normative facts can obtain. These explanations are based on the idea that our own attitudes on which the normative facts are grounded need not be transparent to us either. Reaching this conclusion also illuminates how metaethical anti-realists can make sense of instances of normative vagueness more generally. (shrink)

A strongly deterministic theory of physics is one that permits exactly one possible history of the universe. In the words of Penrose (1989), "it is not just a matter of the future being determined by the past; the entire history of the universe is fixed, according to some precise mathematical scheme, for all time.” Such an extraordinary feature may appear unattainable in a world like ours. In this paper, I show that it can be achieved in a simple way and (...) discuss its implications for metaphysics and philosophy of science, including natural properties, free will, explanation, and modality. First, I propose a precise definition of strong determinism. Next, I discuss its philosophical ramifications and a toy example. Finally, I provide a realistic example of a strongly deterministic (and simple) physical theory---the Everettian Wentaculus. A surprising consequence is that whether or not our world is strongly deterministic may be empirically underdetermined. (shrink)

Trope theory is the view that the world consists (wholly or partly) of particular qualities, or tropes. This admittedly thin core assumption leaves plenty of room for variation. Still, most trope theorists agree that their theory is best developed as a one-category theory according to which there is nothing but tropes. Most hold that ‘sameness of property’ should be explained in terms of resembling tropes. And most hold that concrete particulars are made up from tropes in compresence (for an overview, (...) including an introduction to some alternative versions of the view, cf. Maurin, 2014). D. M. Armstrong disagrees. He thinks the world is a world of immanent universals, the thin particulars in which those universals are instantiated, and the states of affairs that—thereby—exist. He holds that ‘sameness of property’ should be explained in terms of numerically identical universals or—if the resembling things are the universals themselves—in terms of partially identical universals. And he believes that concrete particulars are made up from ‘thin particulars’ in which a (sufficient) number of universals are instantiated. In spite of their disagreements, proponents of tropes owe Armstrong a debt of gratitude. First, for being one of the theory’s earliest, most serious, and—not least—most prominent, critics (Armstrong for the first time considers, and rejects, what he then labels ‘particularism’, in his 1978a). But also for being one of the theory’s most ardent champions. Already in his 1989a, Armstrong regrets his 1978-rejection of the view. Equivalence classes of exactly resembling tropes, he now admits, for most purposes “serve as an excellent substitute for universals” (Armstrong 1989a, 122). But then why isn’t Armstrong a trope theorist? In this paper, Armstrong’s main reasons for rejecting the trope view are critically scrutinized. All of them, it is maintained, fail to convince. If this argument is accepted, Armstrong seems to have no—or, at least, no good—reason for not accepting the existence of tropes. But, then, ought Armstrong to have been a trope theorist? If the ‘best’ version of the trope view turns out to be ontologically more parsimonious than Armstrong’s own theory of universals, then, yes. That there is a version of the trope view, a version that is not (or, at least not seriously) considered by Armstrong, that is ontologically more parsimonious than the universals view, is argued in the next section. Why none of Armstrong’s reasons for preferring universals to tropes manage to convince, is explained in the section after that. First, however, and in order to avoid a common misunderstanding of the trope view and, as a consequence, of why one ought to reject it, a few more words about the core-difference between tropes and universals, and about how this difference matters (as well as does not matter) to what—and how well—these theories explain. (shrink)

A traditional account of coincidences has it that two facts are coincidental whenever they are not related as cause and effect and do not have a common cause. A recent contribution by Lando : 132–151, 2017) showed that this account is mistaken. In this paper, I argue against two alternative accounts of coincidences, one suggested by Lando, and another by Bhogal : 677–694, 2020), and defend a third one in their place. In short, I propose that how explanatory links relate (...) to non-coincidental facts in explanation is what drives a wedge between coincidences and non-coincidences. This proposal is not susceptible to the worries I raise, and is more general, since it is not restricted to coincidences and non-coincidences involving physical facts. (shrink)

Our knowledge of the most basic alternative possibilities can be thought of as generated recursively from what we know about the actual world. But what are the generating principles? According to one view, they are recombinational: roughly, alternative possibilities are generated by “patching together” parts of distinct worlds or “blotting out” parts of worlds to yield new worlds. I argue that this view is inadequate. It is difficult to state in a way that is true and non-trivial, and anyway fails (...) to account for our knowledge that there might have been other things, properties, relations, and combinations of these than there actually are. I sketch and defend an alternative view based on the distinction between determinable and determinate properties: roughly, alternative possibilities are generated by “intra-determinable” variation, variation from one determinate to another of the same determinable. (shrink)

The laws of nature are central to our understanding of the world. And while there is often broad agreement about the technical formulations of the laws, there can be sharp disagreement about the metaphysical nature of the laws. For instance, the Newtonian laws of nature can be stated and analyzed by appealing to a set of possible worlds. Yet, some philosophers argue the worlds are mere notational devices, while others take them to be robust, concrete entities in their own right. (...) In this paper, I use a recent view of laws called the Mentaculus as a case study to illustrate the wide variety of metaphysical pictures that can accompany such a view. I conclude that the technical features of the laws -- typically (though not always) given to us by practicing scientists -- are compatible with many different metaphysical foundations. (shrink)

The bundle theory is a theory about the internal constitution of individuals. It asserts that individuals are entirely composed of universals. Typically, bundle theorists augment their theory with a constitutional approach to individuation entailing the thesis ‘identity of constituents is a sufficient ground for numerical identity’ (CIT). But then the bundle theory runs afoul of Black’s duplication case—a world containing two indiscernible spheres. Here I propose and defend a new version of the bundle theory that denies ‘CIT’, and which instead (...) conjoins it with a structural diversity thesis , according to which being separated by distance is a sufficient ground for numerical diversity. This version accommodates Black’s world as well as the three-spheres world —a world containing three indiscernible spheres, arranged as the vertices of an equilateral triangle. In this paper, I also criticize Rodriguez-Pereyra’s alternative attempt to defend the bundle theory against Black’s case and the case of the three-spheres world. (shrink)

Fundamental properties and the laws of nature go hand in hand: mass and gravitation, charge and electromagnetism, spin and quantum mechanics. So, it is unsurprising that one's account of fundamental properties affects one's view of the laws of nature and vice versa. In this essay, I will survey a variety of recent attempts to provide a joint account of the fundamental properties and the laws of nature. Many of these accounts are new and unexplored. Some of them posit surprising entities, (...) such as counterfacts. Other accounts posit surprising laws of nature, such as instantaneous laws that constrain the initial configuration of particles. These exciting developments challenge our assumptions about our basic ontology and provide fertile ground for further exploration. (shrink)

According to sparse modalism, the notion of essence can be analysed in terms of necessity and naturalness. In this paper, I develop and defend a version of sparse modalism that is equipped with a non-standard, relativized conception of naturalness. According to this conception, properties and relations can be natural to different degrees relative to different kinds of things, and relations can be natural to different degrees relative to different slots. I argue that this relativized version of sparse modalism can accommodate (...) various cases that the standard, non-relativized version can’t. The alternative version can accommodate cases where a relation is essential to a relatum but merely necessary to another, cases where a property is essential to an object but merely necessary to another, and cases where a less-than-perfectly natural property is essential to an object. (shrink)

I defend the hypothesis that organisms that produce and recognize meaningful utterances tend to use simpler procedures, and should use the simplest procedures, to produce and recognize those utterances. This should be a basic principle of any naturalist theory of meaning, which must begin with the recognition that the production and understanding of meanings is work. One measure of such work is the minimal amount of space resources that must go into storing a procedure to produce or recognize a meaningful (...) utterance. This cost has an objective measure, called Kolmogorov Complexity. I illustrate the use of this measure for a naturalist theory of meaning by showing how it offers a straight solution to one of the most influential arguments for meaning irrealism: the skeptical challenge posed by Kripke. (shrink)

Theoretical equivalence and duality are two closely related notions: but their interconnection has so far not been well understood. In this paper I explicate the contribution of a recent schema for duality to discussions of theoretical equivalence. I argue that duality suggests a construal of theoretical equivalence in the physical sciences. The construal is in terms of the isomorphism of models, as defined by the schema. This construal gives interpretative constraints that should be useful for discussions of theoretical equivalence more (...) generally. I illustrate the construal in various formulations of Maxwell’s electromagnetic theory. (shrink)

I begin to develop a framework for emergence in the physical sciences. Namely, I propose to explicate ontological emergence in terms of the notion of ‘novel reference’, and of an account of interpretation as a map from theory to world. I then construe ontological emergence as the “failure of the interpretation to mesh” with an appropriate linkage map between theories. Ontological emergence can obtain between theories that have the same extension but different intensions, and between theories that have both different (...) extensions and intensions. I illustrate the framework in three examples: the emergence of spontaneous magnetisation in a ferromagnet, the emergence of masslessness, and the emergence of space, in specific models of physics. The account explains why ontological emergence is independent of reduction: namely, because emergence is primarily concerned with adequate interpretation, while the sense of reduction that is relevant here is concerned with inter-theoretic relations between uninterpreted theories. (shrink)

I begin to develop a framework for emergence in the physical sciences. Namely, I propose to explicate ontological emergence in terms of the notion of ‘novel reference’, and of an account of interpretation as a map from theory to world. I then construe ontological emergence as the “failure of the interpretation to mesh” with an appropriate linkage map between theories. Ontological emergence can obtain between theories that have the same extension but different intensions, and between theories that have both different (...) extensions and intensions. I illustrate the framework in three examples: the emergence of spontaneous magnetisation in a ferromagnet, the emergence of masslessness, and the emergence of space, in specific models of physics. The account explains why ontological emergence is independent of reduction: namely, because emergence is primarily concerned with adequate interpretation, while the sense of reduction that is relevant here is concerned with inter-theoretic relations between uninterpreted theories. (shrink)

I begin to develop a framework for emergence in the physical sciences. Namely, I propose to explicate ontological emergence in terms of the notion of ‘novel reference’, and of an account of interpretation as a map from theory to world. I then construe ontological emergence as the “failure of the interpretation to mesh” with an appropriate linkage map between theories. Ontological emergence can obtain between theories that have the same extension but different intensions, and between theories that have both different (...) extensions and intensions. I illustrate the framework in three examples: the emergence of spontaneous magnetisation in a ferromagnet, the emergence of masslessness, and the emergence of space, in specific models of physics. The account explains why ontological emergence is independent of reduction: namely, because emergence is primarily concerned with adequate interpretation, while the sense of reduction that is relevant here is concerned with inter-theoretic relations between uninterpreted theories. (shrink)