ABSTRACTHere, I pursue consequences, for the interpretation of Sellars’ critique of the ‘Myth of the Given’, of separating the modal significance that Kant attributed to empirical intuition from th...

ABSTRACTHegel's Phenomenology of Spirit provides a fascinating picture of individual minds caught up in “recognitive” relations so as to constitute a realm—“spirit”—which, while necessarily embedded in nature, is not reducible to it. In this essay I suggest a contemporary path for developing Hegel's suggestive ideas in a way that broadly conforms to the demands of his own system, such that one moves from logic to a philosophy of mind. Hence I draw on Hegel's “subjective logic”, understood in the light of (...) modern modal logic, in an attempt to model the way minds might be thought as connected by way of shared intentional contents. Here, we should not be surprised at some of the parallels that emerge between the approaches of Hegel and the modal logician Arthur Prior, as Prior had testified to the influence of his teacher, John N. Findlay, who himself had strong Hegelian leanings. In the final section, Robert Stalnaker's version of possible-world semantics is suggested as a framework within which Hegel's recognitive account of the mind might be understood. (shrink)

The understanding of Hegel's metaphysics that is here argued for—that it is a metaphysics of the actual world—may sound trivial or empty. To counter this, in part one the actualist reading of Hegel's idealism is opposed to two other currently popular interpretations, those of the naturalist and the conceptual realist respectively. While actualism shares motivations with each of these positions, it is argued that it is better equipped to capture what both aim to bring out in Hegel's metaphysics, but also (...) better able to resist criticisms of each of these opposed positions made from the viewpoint of the other. Like the conceptual realist, the actualist wants to affirm the objectivity of concepts in the world—an idea that can seem antithetical to the naturalist. While the position of “liberal naturalism” makes concessions to such a position, this feature is more easily accommodated by the actualist. However, like the liberal naturalist, the actualist is also suspicious of an implicit “supernaturalist” dimension of conceptual realism and, by weakening the scope of realism to the actual world, is better able to avoid it. The second and third parts of the paper attempt to show how the actualist position is reflected in Hegel's account of judgments and syllogisms in The Science of Logic. His account of judgments provides an irreducible place for judgments that are object-presupposing on the one hand and subject-locating on the other. Because such judgments are the components of syllogisms, these syllogisms have objectivity, but this is a type of objectivity within which we, as subjects, are by necessity located. The actual world has a conceptual structure because we conceptualizing beings belong to it. (shrink)

RÉSUMÉ : Les attitudes de se sont généralement considérées comme constituant une classe particulière d’attitudes de re. Cet article propose une analyse différente, qui s’appuie sur la notion d’attitude de objecto et qui évite un engagement ontologique envers le sujet. La proposition élabore l’idée de Hintikka d’une logique épistémique dite de seconde génération, qui introduit un marqueur syntaxique permettant d’exprimer des relations d’indépendance entre certaines constantes logiques. De cette sémantique résulte une conception du Moi, dénotation de «je», comme un objet (...) simplement intentionnel. ABSTRACT: De se attitudes are generally regarded as being a proper part of de re attitudes. In this paper an alternative analysis that avoids ontological commitment to the self is proposed, based on the notion of de objecto attitudes. This proposal develops an idea from Hintikka’s second generation epistemic logic, which introduces a syntactic marker expressing independence relations between certain logical constants. According to this semantic account, the Self, as the denotation of ‘I’, is conceived of as a mere intentional object. (shrink)

As a candidate theory of quantum gravity, the popularity of string theory has waxed and waned over the past four decades. One current source of scepticism is that the theory can be used to derive, depending upon the input geometrical assumptions that one makes, a vast range of different quantum field theories, giving rise to the so-called landscape problem. One apparent way to address the landscape problem is to posit the existence of a multiverse; this, however, has in turn drawn (...) heightened attention to questions regarding the empirical testability and predictivity of string theory. We argue first that the landscape problem relies on dubious assumptions and does not motivate a multiverse hypothesis. Nevertheless, we then show that the multiverse hypothesis is scientifically legitimate and could be coupled to string theory for other empirical reasons. Looking at various cosmological approaches, we offer an empirical criterion to assess the scientific status of multiverse hypotheses. (shrink)

This essay is a study of ontological commitment, focused on the special case of arithmetical discourse. It tries to get clear about what would be involved in a defense of the claim that arithmetical assertions are ontologically innocent and about why ontological innocence matters. The essay proceeds by questioning traditional assumptions about the connection between the objects that are used to specify the truth-conditions of a sentence, on the one hand, and the objects whose existence is required in order for (...) the truth-conditions thereby specified to be satisfied, on the other. This allows one to set forth an assignment of truth-conditions to arithmetical sentences whereby nothing is required of the world in order for the truth-conditions of a truth of pure arithmetic to be satisfied. The essay then argues that such an assignment can be used to account for the a priori knowability of certain arithmetical truths. (shrink)

The hypothesis that our current psychological forms of description and explanation will one day be replaced by biological ones, while not universally held, is wide-spread and highly influential in both the scientific community and the broader culture. The purpose of this paper is to examine this hypothesis. It will be argued that, while biology has had and will undoubtedly continue to have many extremely valuable and illuminating findings, it cannot and will not replace psychological explanations and concepts in our understanding, (...) scientific and otherwise, of human behavioral phenomena. That is to say, the science of biology will not replace or subsume that of psychology. 2012 APA, all rights reserved). (shrink)

Impostors are pseudo-problems masquerading as genuine problems. Impostors should be exposed. The problem of change appears genuine. But some, such as Hofweber ( 2009 ) and Rychter ( 2009 ), have recently denounced it as an impostor. They allege that it is mysterious how to answer the meta - problem of saying what problem it is: for even if any problem is genuinely about change per se, they argue, it is either empirical or trivially dissolved by conceptual analysis. There is (...) indeed an impostor in our midst. But it is the meta-problem of change. I defend the appearance that the problem of change is a genuine metaphysical problem about change. This vindicates philosophers’ lasting interest in it. It also illuminates what makes a problem metaphysical, how metaphysics relates to other inquiries, and how best to respond to attempts to undermine metaphysical problems. (shrink)

This paper explores the prospects of combining two views. The first view is metaphysical rationalism : all things have an explanation. The second view is metaphysical essentialism: there are real essences. The exploration is motivated by a conflict between the views. Metaphysical essentialism posits facts about essences. Metaphysical rationalism demands explanations for all facts. But facts about essences appear to resist explanation. I consider two solutions to the conflict. Exemption solutions attempt to exempt facts about essences from the demand for (...) explanation. Explanation solutions attempt to explain facts about essences. I argue that exemption solutions are less promising than explanation solutions. I then consider how explanation solutions might be developed. I suggest that a “generative” approach is most promising. I tentatively conclude that the prospects for combining metaphysical rationalism and metaphysical essentialism turn on the viability of a generative approach. This sets the agenda for defending the combination as well as the more general project of explaining essences. (shrink)

Recently, I proposed a theory of ontology for the God–world relation that draws inspiration from: Deacon's emergent dynamics where absence plays a role in causal work; dispositionalism as the most suitable philosophical tradition for accommodating absence as a mode of being; and Palamism as the most suitable theological framework for articulating the absence of God as presence. Dumsday's “Palamism and Dispositionalism” in the present issue of Zygon is a cogent breakdown of that thesis, exposing philosophical and theological worries that touch (...) on pan-dispositionalism, bundle theory, Platonism, divine essence, created–uncreated distinction, God–world synergy, and more. This response article engages with the landscape of ideas that Dumsday surveys in an attempt to clarify and extend the proposed thesis that nature's powers are God's energies. (shrink)

Gareth Evans nos ofrece lo que parece ser un punto medio entre el descripcionismo y la teoría de la referencia directa sobre el mecanismo mediante el cual fijamos la referencia de los nombres propios. Ésta es la denominada “teoría de la fuente causal de la referencia”. En un artículo reciente Imogen Dickie presenta objeciones importantes a la teoría de Evans y concluye presentando una teoría alternativa, la denominada “teoría de la gobernabilidad”. En este trabajo quiero ofrecer una propuesta alternativa que (...) evite la tesis de gobernabilidad de Dickie. Para ello mostraré, primero, cómo lidiar con las objeciones de Dickie sin alejarse demasiado de la propuesta original de Evans y, segundo, defenderé que la teoría resultante –la que llamo “teoría de la pertenencia a tipos”– es más simple y exitosa que la propuesta por Dickie. (shrink)

The idea that there are features of or in our conscious experience that are, in some important sense, private has both a long history in philosophy and a large measure of intuitive attraction. Once this idea is in place, it will be very natural to assume that one can think and judge about one’s own private features. And it is then only a small step to the idea that we might communicate such thoughts and judgements about our respective private features (...) with each other. (shrink)

In the recent years, attempts to relate metaphysics and sciences have taken various alternative forms such as metaphysics applied to science, metaphysics of science, and scientific metaphysics. In this article, I focus on scientific metaphysics and specifically explore the challenges with developing ontologies through four arguments. The Argument from Representational Indeterminacy highlights that global ontologies fail to clearly identify their target phenomenon. The Argument from Independent Inaccessibility explores the methodological difficulty of accessing a world that is independent of specific sets (...) of phenomena. The Argument from Conceptual Mismatch focuses on the tendency of local ontologies to pick out arbitrary scientific concepts, adapting them to study phenomena where they might not fit well. Finally, the Argument from Eliminative Prophecy details the possibility that local ontologies could eventually be rendered redundant by mature versions of scientific theories. In the end, given these challenges, I recommend an eliminativist stance toward ontology development. (shrink)

The knowledge representation and reasoning of both humans and artificial systems often involves conditionals. A conditional connects a consequence which holds given a precondition. It can be easily recognized in natural languages with certain key words, like “if” in English. A vast amount of literature in both fields, both artificial intelligence and psychology, deals with the questions of how such conditionals can be best represented and how these conditionals can model human reasoning. On the other hand, findings in the psychology (...) of reasoning, such as those in the Suppression Task, have led to a paradigm shift from the monotonicity assumptions in human inferences towards nonmonotonic reasoning. Nonmonotonic reasoning is sensitive for information change, that is, inferences are drawn cautiously such that retraction of previous information is not required with the addition of new information. While many formalisms of nonmonotonic reasoning have been proposed in the field of Artificial Intelligence, their capability to model properties of human reasoning has not yet been extensively investigated. In this paper, we analyzed systematically from both a formal and an empirical perspective the power of formal nonmonotonic systems to model possible explicit defeaters, as in the Suppression Task, and more implicit conditional rules that trigger nonmonotonic reasoning by the keywords in such rules. The results indicated that the classical evaluation for the correctness of inferences has to be extended in the three major aspects regarding the inference system, the knowledge base, and possible assumed exceptions for the rule. (shrink)

This paper draws a distinction between the existential quantifier and the symbol ‘∃’ used to express it, on the one hand, and existence and ‘exists’, on the other. It argues that some popular arguments in metaphysics, including arguments against vague existence and arguments against deflationary metaontology (which views ontological disputes as lacking substance), are guilty of fudging this distinction. The paper draws some lessons for metaphysical debate about existence and highlights some heretofore ignored and attractive positions in logical space.

ABSTRACT Quine insisted that the satisfaction of an open modalised formula by an object depends on how that object is described. Kripke's ‘objectual’ interpretation of quantified modal logic, whereby variables are rigid, is commonly thought to avoid these Quinean worries. Yet there remain residual Quinean worries for epistemic modality. Theorists have recently been toying with assignment-shifting treatments of epistemic contexts. On such views an epistemic operator ends up binding all the variables in its scope. One might worry that this yields (...) the undesirable result that any attempt to ‘quantify in’ to an epistemic environment is blocked. If quantifying into the relevant constructions is vacuous, then such views would seem hopelessly misguided and empirically inadequate. But a famous alternative to Kripke's semantics, namely Lewis' counterpart semantics, also faces this worry since it also treats the boxes and diamonds as assignment-shifting devices. As I'll demonstrate, the mere fact that a variable is bound is no obstacle to binding it. This provides a helpful lesson for those modelling de re epistemic contexts with assignment sensitivity, and perhaps leads the way toward the proper treatment of binding in both metaphysical and epistemic contexts: Kripke for metaphysical modality, Lewis for epistemic modality. (shrink)

Theological engagement with quantum mechanics has been dominated by the Copenhagen interpretation, failing to reflect the fact that philosophers and physicists alike are increasingly moving away from the Copenhagen interpretation in favor of other approaches. One such approach, Hugh Everett's so-called Many Worlds Interpretation (MWI), is being taken increasingly seriously. As the MWI's credibility grows, it is imperative that metaphysicians, theologians, and philosophers of religion engage with its ideas and their implications. This article does just that, setting out some implications (...) of Everettian Quantum Mechanics that are particularly relevant to theism. It argues that taking seriously the radical consequences of the Everett interpretation means facing at least three major worries for theism pertaining to personal identity, the problem of evil, and salvation. The article concludes by calling on theologians and philosophers of religion to address these worries, in order that these matters of religious significance remain both coherent and credible if the MWI turns out to be correct. (shrink)

The present article purports to show that the protocol sentence debate, pursued by some leading members of the Vienna Circle in the mid-1930s, was essentially a controversy over the explanation and the real significance of the concept of truth. It is further shown that the fundamental issue underlying the discussions about the concept of truth was the relationship between form and content, as well as between logic/language and the world. R. Carnap was the philosopher who most explicitly and systematically attempted (...) to come to grips with this problem. It is shown that the form-content distinction pervades the three most important phases of Carnap's philosophical development: the structuralist (in Der logische Aufbau der Welt), the syntactical and the semantical. His final semantical stance is essentially determined by the concept of linguistic frameworks. The article purports to demonstrate that this concept cannot be dispensed with in philosophy, but that Carnap failed to work out its ontological implications. Finally, the concept of an internal ontology is briefly delineated. (shrink)

I argue that Frege Problems in thought are best modeled using graph-theoretic machinery; and that these problems can arise even when subjects associate all the same qualitative properties to the object they’re thinking of twice. I compare the proposed treatment to similar ideas by Heck, Ninan, Recanati, Kamp and Asher, Fodor, and others.

According to David Lewis's extreme modal realism, every waythat a world could be is a way that some concretely existingphysical world really is. But if the worlds are physicalentities, then there should be a set of all worlds, whereasI show that in fact the collection of all possible worlds is nota set. The latter conclusion remains true even outside of theLewisian framework.

Regularity is the thesis that all contingent propositions should be assigned probabilities strictly between zero and one. I will prove on cardinality grounds that if the domain is large enough, a regular probability assignment is impossible, even if we expand the range of values that probabilities can take, including, for instance, hyperreal values, and significantly weaken the axioms of probability.

Consider the regularity thesis that each possible event has non-zero probability. Hájek challenges this in two ways: there can be nonmeasurable events that have no probability at all and on a large enough sample space, some probabilities will have to be zero. But arguments for the existence of nonmeasurable events depend on the axiom of choice. We shall show that the existence of anything like regular probabilities is by itself enough to imply a weak version of AC sufficient to prove (...) the Banach–Tarski Paradox on the decomposition of a ball into two equally sized balls, and hence to show the existence of nonmeasurable events. This provides a powerful argument against unrestricted orthodox Bayesianism that works even without AC. A corollary of our formal result is that if every partial order extends to a total preorder while maintaining strict comparisons, then the Banach–Tarski Paradox holds. This yields an argument that incommensurability cannot be avoided in ambitious versions of decision theory. (shrink)

New arguments against Bayesian regularity and an otherwise plausible domination principle are offered on the basis of rotational symmetry. The arguments against Bayesian regularity work in very general settings.

David Lewis (1979) has argued that according to his possible worlds analysis of counterfactuals, “backtracking” counterfactuals of the form “If event A were to happen at tA, then event B would happen at tB” where tB precedes tA, are usually false if B does not actually happen at tB. On the other..

According to the B-theory, the passage of time is an illusion. The B-theory therefore requires an explanation of this illusion before it can be regarded as fullysatisfactory; yet very few B-theorists have taken up the challenge of trying to provide one. In this paper I take some first steps toward such an explanation by first making a methodological proposal, then a hypothesis about a key element in the phenomenology of temporal passage. The methodological proposal focuses onthe representational content of the (...) element of experience by virtue of which time seems to pass. The hypothesis involves the claim that the experience of changeinvolves the representation of something enduring, rather than perduring, through any change. (shrink)

John Perry has argued that language, thought and experience often contain unarticulated constituents. I argue that this idea holds the key to explaining away the intuitive appeal of the A-theory of time and the endurance theory of persistence. The A-theory has seemed intuitively appealing because the nature of temporal experience makes it natural for us to use one-place predicates like past to deal with what are really two-place relations, one of whose constituents is unarticulated. The endurance view can be treated (...) in a similar way; the temporal boundaries of temporal parts of objects are unarticulated in experience and this makes it seem that the very same entity exists at different times. (shrink)

There is much to be said for a diachronic or interpersonal individuation of singular modes of presentation (MOPs) in terms of a criterion of epistemic transparency between thought tokens. This way of individuating MOPs has been discussed recently within the mental files framework, though the issues discussed here arise for all theories that individuate MOPs in terms of relations among tokens. All such theories face objections concerning apparent failures of the transitivity of the ‘same MOP’ relation. For mental files, these (...) transitivity failures most obviously occur because mental files can merge or undergo fission. In this paper I argue that this problem is easily resolved once mental files are properly construed as continuants, whose metaphysics is analogous to that of persons or physical objects. All continuants can undergo fission or fusion, leading to similar transitivity problems, but there are well-established theories of persistence that accommodate this. I suggest that, in particular, the stage theory best suits the purposes of a continuant theory of MOPs. (shrink)

This essay offers a rearticulation and defence of the modal account of luck that the author developed in earlier work . In particular, the proposal is situated within a certain methodology, a component of which is paying due attention to the cognitive science literature on luck ascriptions. It is shown that with the modal account of luck properly articulated it can adequately deal with some of the problems that have recently been offered against it, and that the view has a (...) number of attractions over competing proposals, such as the lack of control account. (shrink)

Frege’s rejection of singular reference to concepts is centrally implicated in his notorious paradox of the concept horse. I distinguish a number of claims in which that rejection might consist and detail the dialectical difficulties confronting the defense of several such claims. Arguably the least problematic such claim—that it is simply nonsense to say that a concept can be referred to with a singular term—has recently received a novel defense due to Robert Trueman. I set out Trueman’s argument for this (...) claim, identifying and remedying some omissions and errors of formulation therein. I then develop a response to the argument by showing, pace Trueman, that it is possible—and how it is possible—to express identities between objects and concepts. (shrink)

Support is canvassed for a new approach to epistemology called anti-risk epistemology. It is argued that this proposal is rooted in the motivations for an existing account, known as anti-luck epistemology, but is superior on a number of fronts. In particular, anti-risk epistemology is better placed than anti-luck epistemology to supply the motivation for certain theoretical moves with regard to safety-based approaches to knowledge. Moreover, anti-risk epistemology is more easily extendable to epistemological questions beyond that in play in the theory (...) of knowledge specifically. A key advantage of the view, however, is that anti-risk epistemology fares much better than anti-luck epistemology when it comes to accounting for the phenomenon of negative epistemic dependence. In particular, anti-risk epistemology is ideally placed to explain why such epistemic dependence is incompatible with knowledge, even when the negative epistemic dependence in play is of a purely modal variety. (shrink)

A distinctive approach to the theory of knowledge is described, known as anti-luck epistemology. The goal of the paper is to consider whether there are specific features of this proposal that entails that it is committed to pragmatic encroachment, such that whether one counts as having knowledge significantly depends on non-epistemic factors. In particular, the plausibility of the following idea is explored: that since pragmatic factors play an essential role when it comes to the notion of luck, then according to (...) anti-luck epistemology they must likewise play an essential role in our understanding of knowledge as well. It is argued that once anti-luck epistemology is properly understood—where this means, in turn, having the right account of luck in play—then this putative entailment to pragmatic encroachment does not go through. (shrink)

This paper develops and defends the view that substantively normative uses of words like “good”, “right” and “ought” are irresolvably indeterminate: any single case of application is like a borderline case for a vague or indeterminate term, in that the meaning-fixing facts, together with the non-linguistic facts, fail to determine a truth-value for the target sentence in context. Normative claims, like vague or indeterminate borderline claims, are not meaningless, though. By making them, the speaker communicates information about the precisifications that (...) s/he accepts. The analogy with vague/indeterminate language, I argue, lays out a new and interesting foundation for a subjectivist approach to normativity. (shrink)

Is the objective passage of time compatible with relativistic physics? There are two easy routes to an affirmative answer: (1) provide a deflationary analysis of passage compatible with the block universe, or (2) argue that a privileged global present is compatible with relativity. (1) does not take passage seriously. (2) does not take relativity seriously. This paper is concerned with the viability of views that seek to take both passage and relativity seriously. The investigation proceeds by considering how traditional A-theoretic (...) conceptions of passage might be generalized to relativistic space-times without incorporating a privileged global present. I argue that the most promising position marries the idea that open possibilities for the future are settled as time passes with a ‘non-standard’ interpretation of the relevant formal models. (shrink)

It is intuitive to suppose that the question of whether I persist through a given period will always have a metaphysically substantive ‘yes’ or ‘no’ answer. Derek Parfit challenges this intuition. Given the truth of Reductionism, he argues, identity can be indeterminate. The main argument Parfit marshals in support of this claim employs his Sorites-style Combined Spectrum thought experiment. Despite its influence, there are conspicuous gaps in his argument. Notably, he claims that identity is indeterminate when questions about persistence are (...) ‘empty’. But indeterminacy in Sorites puzzles is traditionally held to result from vagueness – a topic Parfit avoids. Without an account of the relationships between vagueness, indeterminacy, and question-emptiness, his argument remains incomplete. I begin by outlining Parfit’s argument as it stands. I then propose that we can provide the missing details by supplementing Parfit’s treatment of the Combined Spectrum with Sider’s notion of nonsubstantivity. This gives us a clearer understanding of Parfit’s indeterminacy claim, and affords the room to accommodate vagueness in his argument. Once we spell out what this means, however, it becomes clear that a more radical conclusion is justified by Parfit’s reasoning: it is always an empty question whether a person persists. (shrink)

In this essay, the tension that Benacerraf identifies for theories of mathematical truth is used as the vehicle for arguing against a particular desideratum for semantic theories. More specifically, I place in question the desideratum that a semantic theory, provided for some area of discourse, should run in parallel with the semantic theory holding for the rest of the language. The importance of this desideratum is also made clear by means of tracing out the subtle implications of its rejection.

The notions of subject matter and aboutness have been objects of considerable attention among philosophers over the last few years. Current theories of subject matter take sentences to be the primary bearers of subject matter: “sentences have aboutness properties if anything has” (Yablo, Aboutness, Princeton University Press, 2014). However, some subsentential expressions can also be thought of as being about something. Moreover, it appears that the subject matters of sentences depend in a systematic way on the aboutness properties of their (...) subsentential components. In this paper, we focus on the question of what predicates are about. We provide an account of predicative subject matter in which subject matters are assigned to predicates in a natural way, and which can be smoothly integrated with some existing accounts of sentential subject matter. We also argue that the notion of predicative subject matter is a worthy object of study, both within the current debate on subject matter and in its own right. (shrink)

The paper defends an Aristotelian notion of indeterminism, as rigorously formulated in the framework of branching space-times (BST) of Belnap (1992), against the model-theoretic characterization of indeterminism that Montague (1962) introduced into the philosophy of science. It delineates BST branching against the background provided by Earman's (2008) distinction between individual vs. ensemble branching. It describes a construction of physically-motivated BST models, in which histories are isomorphic to Minkowski spacetime. Finally it responds to criticism leveled against BST by addressing some semantical (...) questions, a topological issue, and the past/future asymmetry. (shrink)

This paper is concerned with two concepts of qualitativeness that apply to intensional entities. I propose an account of pure qualitativeness that largely follows the traditional understanding established by Carnap, and try to shed light on its ontological presuppositions. On this account, an intensional entity is purely qualitative iff it does not ‘involve’ any particular. An alternative notion of qualitativeness—which I propose to refer to as a concept of strict qualitativeness—has recently been introduced by Chad Carmichael. However, Carmichael’s definition presupposes (...) a highly fine-grained conception of properties and relations. To eliminate this presupposition, I tentatively suggest a different definition that rests on a concept of perspicuous denotation. In the penultimate section, both concepts of qualitativeness are put to work in distinguishing between different ‘grades’ of qualitative discriminability. (shrink)

Higher-order logic, with its type-theoretic apparatus known as the simple theory of types (STT), has increasingly come to be employed in theorizing about properties, relations, and states of affairs—or ‘intensional entities’ for short. This paper argues against this employment of STT and offers an alternative: ordinal type theory (OTT). Very roughly, STT and OTT can be regarded as complementary simplifications of the ‘ramified theory of types’ outlined in the Introduction to Principia Mathematica (on a realist reading). While STT, understood as (...) a theory of intensional entities, retains the Fregean division of properties and relations into a multiplicity of categories according to their adicities and ‘input types’ and discards the division of intensional entities into different ‘orders’, OTT takes the opposite approach: it retains the hierarchy of orders (though with some modifications) and discards the categorisation of properties and relations according to their adicities and input types. In contrast to STT, this latter approach avoids intensional counterparts of the Epimenides and related paradoxes. Fundamental intensional entities lie at the base of the proposed hierarchy and are also given a prominent part to play in the individuation of non-fundamental intensional entities. (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)

It is widely assumed that if ontological disputes turn out to be verbal they ought to be dismissed. I dissociate the semantic question concerning the verbalness of ontological disputes from the pragmatic question on whether they ought to be dismissed. I argue that in the context of ontological disputes ontologists ought to be taken to communicate views with conflicting ontological commitments even if it turns out that on the correct view of semantics they fail to literally-express their disagreement. I argue, (...) that is, against dismissing ontological disputes on grounds of verbalness. This serves to discharge the ongoing debate on the verbalness of ontological disputes from the metaontological consequences typically associated with it. (shrink)

Suppose we take a picture containing a full image of a duck and slice it right through, leaving some of the duck image on one slice and some of it on the other. How many duck images will we be left with? Received theories of pictorial representation presuppose that a surface cannot come to contain new images just by changing its physical relations with other surfaces, such as physical continuity. But as it turns out, this is in tension with received (...) theories’ approach to incomplete images. I address three views with respect to the circumstances in which incomplete images of X represent X. 1. A liberal, non-restrictive view: ‘Iff they meet relevant requirements posed by received theory of pictorial representation.’ 2. Moderate restrictions of this view and 3. A fully restrictive view. After investigating challenges for the liberal view, I end up supporting it. The main challenges rest on the fact that only the fully restrictive view can plausibly accommodate some principles that seem inherent to our theory of representation. For instance: only this view accommodates received theories’ presupposition that the representational properties of a surface depend on its configurational properties such that new images may appear on a surface only if its configurational properties have changed. Since the liberal view is overall more plausible than the restrictive view, I reject this presupposition and bear the consequences. (shrink)

Abstract: This article defends a controversial metaphilosophical thesis: it is not immediately obvious that "the best argument wins" in philosophy. Certain philosophical views, for example, extremely controversial ethical positions, may be intolerable and impossible to take seriously as contributions to ethical discussion, irrespective of their argumentative merits. As a case study of this metaphilosophical issue, the article discusses David Benatar's recent thesis that it is, for everyone, harmful to exist. It is argued that ethical and cultural "unthinkabilities" set limits to (...) philosophical reasoning that even the most insightful arguments cannot transcend. (shrink)

A traditional view is that to be an empiricist is to hold a particular epistemological belief: something to the effect that knowledge must derive from experience. In his recent book The Empirical Stance, and in a number of other publications, Bas van Fraassen has disagreed, arguing that if empiricism is to be defensible it must instead be thought of as a stance: an attitude of mind or methodological orientation rather than a factual belief. In this article I will examine his (...) arguments for this claim in detail. I will argue that they do not succeed and that empiricism is, contrary to van Fraassen's claim, better thought of as a truth‐evaluable doctrine than as a stance. (shrink)

Davidson conjectured that suitably formulated Tarski-style theories of truth can “do duty” as theories of meaning for the spoken languages that humans naturally acquire. But this conjecture faces a pair of old objections that are, in my view, fatal when combined. Foster noted that given any theory of the sort Davidson envisioned, for a language L, there will be many equally true theories whose theorems pair endlessly many sentences of L with very different specifications of whether or not those sentences (...) are true. And if L includes words ‘true’, then for reasons stressed by Tarski, it’s hard to see how any truth theory for L could be correct. Moreover, each of these concerns amplifies the other. Appealing to possible worlds will not help with Foster’s Problem, for reasons that Chomsky discussed in the 1950s, and appealing to trivalent models of truth will not avoid concerns illustrated with Liar Sentences. (shrink)

Renewed worries about the unity of the proposition have been taken as a crucial stumbling block for any traditional conception of propositions. These worries are often framed in terms of how entities independent of mind and language can have truth conditions: why is the proposition that Desdemona loves Cassio true if and only if she loves him? I argue that the best understanding of these worries shows that they should be solved by our theory of truth and not our theory (...) of content. Specifically, I propose a version of the redundancy theory according to which ‘it is true that Desdemona loves Cassio’ expresses the same proposition as ‘Desdemona loves Cassio’. Surprisingly, this variant of the redundancy theory treats ‘is true’ as an ordinary predicate of the language, thereby defusing many standard criticisms of the redundancy theory. (shrink)