Maps and Absent Symbols

absence is the claim that, if a symbol appears on a map, then absence of the symbol from some map coordinate signifies absence of the corresponding property from the corresponding location. This claim is highly intuitive and widely endorsed. And if it is true, then cartographic representation is strikingly different from linguistic representation. I argue, however, that absence is false of various maps and that we have no reason to believe it is true of any maps. The intuition to the contrary results from mistaking what a map simply conveys for what it literally represents.     

The Tenseless Copula in Temporal Predication

In this paper I explore how the tenseless copula is to be interpreted in sentences of the form “a is F at t”, where “a” denotes a persisting, changeable object, “F” stands for a prima facie intrinsic property and “t” for a B-time. I argue that the interpretation of the copula depends on the logical role assigned to the time clause. Having rejected the idea that the time clause is to be treated as a sentence operator, I argue: (1) that if “at t” is thought of as being associated with “a” or “F”, then the tenseless copula is most plausibly read as an “is” simpliciter; and (2) that if “at t” is treated as being associated with the copula, then the tenseless copula is most plausibly understood as expressing a disjunction of tensed copulas. I end the paper by explaining the importance of the issue. I indicate the ramifications interpretation of the tenseless copula has for the so-called problem of temporary intrinsics.     

A limited defense of moral perception

One popular reason for rejecting moral realism is the lack of a plausible epistemology that explains how we come to know moral facts. Recently, a number of philosophers have insisted that it is possible to have moral knowledge in a very straightforward way—by perception. However, there is a significant objection to the possibility of moral perception: it does not seem that we could have a perceptual experience that represents a moral property, but a necessary condition for coming to know that X is F by perception is the ability to have a perceptual experience that represents something as being F. Call this the ‘Representation Objection’ to moral perception. In this paper I argue that the Representation Objection to moral perception fails. Thus I offer a limited defense of moral perception.     

A path to the Oasis: <Emphasis Type="Italic">Sharī‘ah</Emphasis> and reason in Islamic moral epistemology

I propose a framework for comparative Islamic—Western ethics in which the Islamic categories Islam, Iman, and Ihsan are juxtaposed with the concepts of obligation, value, and virtue, respectively. I argue that shari’a refers to both the obligation component and the entire structure of the Islamic ethic; suggesting a suspension of the understanding of shari’a as simply Islamic “law,” and an alternative understanding of usul al-fiqh as a moral epistemology of obligation. I will test this approach by addressing the question of reason in Islamic moral epistemology via an examination of an argument advanced by a founding usul scholar Muhammad bin Idrīs al-Shāfi‘ī (150 A.H./767 C.E.).     

The structure of lexical concepts

Jerry Fodor (Concepts: Where cognitive science went wrong. New York: Oxford University Press, 1998) famously argued that lexical concepts are unstructured. After examining the advantages and disadvantages of both the classical approach to concepts and Fodor’s conceptual atomism, I argue that some lexical concepts are, in fact, structured. Roughly stated, I argue that structured lexical concepts bear a necessary biconditional entailment relation to their structural constituents. I develop this account of the structure of lexical concepts within the framework of Pavel Tichy’s (The foundations of Frege’s logic. Berlin, New York: De Gruyter, 1988) theory of constructions. I argue that concepts are constructions which can be combined by way of Tichy’s construction-forming operations of composition and closure and an additional operation, simplification, which I propose in section 6. The last of these construction-forming operations plays a central role in my account of lexical concept structure. Stated generally, structured lexical concepts are a result of simplifying their structural constituents.     

Hume’s Principle and Axiom V Reconsidered: Critical Reflections on Frege and His Interpreters

In this paper, I shall discuss several topics related to Frege’s paradigms of second-order abstraction principles and his logicism. The discussion includes a critical examination of some controversial views put forward mainly by Robin Jeshion, Tyler Burge, Crispin Wright, Richard Heck and John MacFarlane. In the introductory section, I try to shed light on the connection between logical abstraction and logical objects. The second section contains a critical appraisal of Frege’s notion of evidence and its interpretation by Jeshion, the introduction of the course-of-values operator and Frege’s attitude towards Axiom V, in the expression of which this operator occurs as the key primitive term. Axiom V says that the course-of-values of the function f is identical with the course-of-values of the function g if and only if f and g are coextensional. In the third section, I intend to show that in Die Grundlagen der Arithmetik (1884) Frege hardly could have construed Hume’s Principle (HP) as a primitive truth of logic and used it as an axiom governing the cardinality operator as a primitive sign. HP expresses that the number of Fs is identical with the number of Gs if and only if F and G are equinumerous. In the fourth section, I argue that Wright falls short of making a convincing case for the alleged analyticity of HP. In the final section, I canvass Heck’s arguments for his contention that Frege knew he could deduce the simplest laws of arithmetic from HP without invoking Axiom V. I argue that they do not carry conviction. I conclude this section by rejecting an interpretation concerning HP suggested by MacFarlane.     

Objective evidence and absence: comment on Sober

Elliott Sober argues that the statistical slogan “Absence of evidence is not evidence of absence” cannot be taken literally: it must be interpreted charitably as claiming that the absence of evidence is (typically) not very much evidence of absence. I offer an alternative interpretation, on which the slogan claims that absence of evidence is (typically) not objective evidence of absence. I sketch a definition of objective evidence, founded in the notion of an epistemically objective likelihood, and I show that in Sober’s paradigm case, the slogan can, on this understanding, be sustained.

A Naturalist Ontology of Instantiation

The aim of this paper is to defend a naturalistic approach to instantiation and the Principle of Instantiation. I argue that the instantiation of an ordinary property F consists of two coordinated relationships at the levels of the manifest and scientific images, namely, constituency and entailment. Also, I offer an account of the Principle of Instantiation related to this conception of instantiation based on the notion of scientific prediction.     

Properties,Powers, and the Subset Account of Realization

According to the subset account of realization, a property, F, is realized by another property, G, whenever F is individuated by a non‐empty proper subset of the causal powers by which G is individuated (and F is not a conjunctive property of which G is a conjunct). This account is especially attractive because it seems both to explain the way in which realized properties are nothing over and above their realizers, and to provide for the causal efficacy of realized properties. It therefore seems to provide a way around the causal exclusion problem. There is reason to doubt, however, that the subset account can achieve both tasks. The problem arises when we look closely at the relation between properties and causal powers, specifically, at the idea that properties confer powers on the things that have them. If realizers are to be ontically prior to what they realize, then we must regard the conferral of powers by properties as a substantive relation of determination. This relation of conferral is at the heart of a kind of exclusion problem, analogous to the familiar causal exclusion problem. I argue that the subset account cannot adequately answer this new exclusion problem, and is for that reason ill‐suited to be the backbone of a non‐reductive physicalism.     

Asymmetrical Analogical Arguments

Analogies must be symmetric. If a is like b, then b is like a. So if a has property R, and if R is within the scope of the analogy, then b (probably) has R. However, analogical arguments generally single out, or depend upon, only one of a or b to serve as the basis for the inference. In this respect, analogical arguments are directed by an asymmetry. I defend the importance of this neglected – even when explicitly mentioned – feature in understanding analogical arguments.     

Aristotle on Predication

A predicate logic typically has a heterogeneous semantic theory. Subjects and predicates have distinct semantic roles: subjects refer; predicates characterize. A sentence expresses a truth if the object to which the subject refers is correctly characterized by the predicate. Traditional term logic, by contrast, has a homogeneous theory: both subjects and predicates refer; and a sentence is true if the subject and predicate name one and the same thing. In this paper, I will examine evidence for ascribing to Aristotle the view that subjects and predicates refer. If this is correct, then it seems that Aristotle, like the traditional term logician, problematically conflates predication and identity claims. I will argue that we can ascribe to Aristotle the view that both subjects and predicates refer, while holding that he would deny that a sentence is true just in case the subject and predicate name one and the same thing. In particular, I will argue that Aristotle's core semantic notion is not identity but the weaker relation of constitution. For example, the predication ‘All men are mortal’ expresses a true thought, in Aristotle's view, just in case the mereological sum of humans is a part of the mereological sum of mortals.     

Through Thick and Thin with Ned Block: How <Emphasis Type="Italic">Not</Emphasis> to Rebut the Property Dualism Argument

In “Max Black’s Objection to Mind–Body Identity,” Ned Block seeks to offer a definitive treatment of property dualism arguments that exploit modes of presentation. I will argue that Block’s central response to property dualism is confused. The property dualist can happily grant that mental modes of presentation have a hidden physical nature. What matters for the property dualist is not the hidden physical side of the property, but the apparent mental side. Once that ‘thin’ side is granted, the property dualist has won. I conclude that although Block is wrong to think that the property dualist must argue for so-called thin mental properties, Block, and the physicalist, are able to resist property dualism. But any attempt to bolster this resistance and do more than dogmatically assert the crucial identity runs a serious risk of undermining the physicalism it is meant to save.

Indeterminism, Explanation, and Luck

I first adumbrate pertinent aspectsof Robert Kane's libertarian theory of free choice oraction and an objection of luck that has been levelledagainst the theory. I then consider Kane's recentresponses to this objection. To meet these responses,I argue that the view that undetermined choices (ofthe sort implied by Kane's theory) are a matter ofluck is associated with a view about actionexplanation, to wit: when Jones does A and hisdoing of A is undetermined, and when hiscounterpart, Jones*, in the nearest possibleworld in which the past and the laws are held constantuntil the moment of choice does B instead, thereis no explanation (deterministic or indeterministic)of the difference in outcome – Jones's A-ing butJones*'s B-ing – in terms of prior reasonsor motives of either agent. Absence of such anexplanation is one crucial factor that underliesthe charge that Jones's A-ing and Jones*'sB-ing are matters of luck. I argue that thissort of luck is incompatible with responsibility.     

Emergence and reduction: Reply to Kim

In this paper I examine Jaegwon Kim’s view that emergent properties are irreducible to the base properties on which they supervene. Kim’s view assumes a model of ‘functional reduction’ which he claims to be substantially different from the traditional Nagelian model. I dispute this claim and argue that the two models are only superficially different, and that on either model, properly understood, it is possible to draw a distinction between a property’s being reductively identifiable with its base property and a property’s being reductively explainable in terms of it. I propose that we should take as the distinguishing feature of emergent properties that they be truly novel properties, i.e., ontologically distinct from the ‘base’ properties which they supervene on. This only requires that emergent properties cannot be reductively identified with their base properties, not that they cannot be reductively explained in terms of them. On this conception the set of emergent properties may well include mental properties as conceived by nonreductive physicalists.     

Physicalism and sparse ontology

A major stumbling block for non-reductive physicalism is Kim’s disjunctive property objection. In this paper I bring certain issues in sparse ontology to bear on the objection, in particular the theses of priority monism and priority pluralism. Priority pluralism (or something close to it, anyway) is a common ontological background assumption, so in the first part of the paper I consider whether the disjunctive property objection applies with equal force to non-reductive physicalism on the assumption that priority monism is instead true. I ultimately conclude that non-reductive physicalism still faces a comparable problem. In the second part, I argue, surprisingly enough, that what I call ‘fine-grained reductionism’, a particular version of which Kim proposes as an alternative to non-reductive physicalism, may work better in the monist framework than the pluralist one. I conclude that issues in sparse ontology, therefore, are more relevant to the debate about physicalism than one may have thought.

Mereology in Aristotle's Assertoric Syllogistic

How does Aristotle think about sentences like ‘Every x is y’ in the Prior Analytics? A recently popular answer conceives of these sentences as expressing a mereological relationship between x and y: the sentence is true just in case x is, in some sense, a part of y. I argue that the motivations for this interpretation have so far not been compelling. I provide a new justification for the mereological interpretation. First, I prove a very general algebraic soundness and completeness result that unifies the most important soundness and completeness results to date. Then I argue that this result vindicates the mereological interpretation. In contrast to previous interpretations, this argument shows how Aristotle's conception of predication in mereological terms can do important logical work.     

How to Define Extrinsic Properties

There are, broadly, three sorts of account of intrinsicality: ‘self-sufficiency’, ‘essentiality’ and ‘pure qualitativeness’. I argue for the last of these, and urge that we take intrinsic properties of concrete objects to be all and only those shared by actual or possible duplicates, which only differ extrinsically. This approach gains support from Francescotti’s approach: defining ‘intrinsic’ in contradistinction to extrinsic properties which ‘consist in’ relations which rule out intrinsicality. I answer Weatherson’s criticisms of Francescotti, but, to answer criticisms of my own, I amend his account, proposing that possession of an extrinsic property consists in a relation to one or more actual or possible distinct concrete objects. Finally I indicate ways to avoid some apparent objections to this account.