Frege held that referring expressions in general, and demonstratives and indexicals in particular, contribute more than just their reference to what is expressed by utterances of sentences containing them. Heck first attempts to get clear about what the essence of the Fregean view is, arguing that it rests upon a certain conception of linguistic communication that is ultimately indefensible. On the other hand, however, he argues that understanding a demonstrative (or indexical) utterance requires one to think of the object (...) denoted in an appropriate way. This fact makes it difficult to reconcile the view that referring expressions are "directly referential" with any view that seeks (as Grice's does) to ground meaning in facts about communication. (shrink)

In Mind and World, John McDowell argues against the view that perceptual representation is non-conceptual. The central worry is that this view cannot offer any reasonable account of how perception bears rationally upon belief. I argue that this worry, though sensible, can be met, if we are clear that perceptual representation is, though non-conceptual, still in some sense 'assertoric': Perception, like belief, represents things as being thus and so.

In an earlier paper, "Non-conceptual Content and the 'Space of Reasons'", I distinguished two forms of the view that perceptual content is non-conceptual, which I called the 'state view' and the 'content view'. On the latter, but not the former, perceptual states have a different kind of content than do cognitive states. Many have found it puzzling why anyone would want to make this claim and, indeed, what it might mean. This paper attempts to address these questions.

So-called 'Frege cases' pose a challenge for anyone who would hope to treat the contents of beliefs (and similar mental states) as Russellian propositions: It is then impossible to explain people's behavior in Frege cases without invoking non-intentional features of their mental states, and doing that seems to undermine the intentionality of psychological explanation. In the present paper, I develop this sort of objection in what seems to me to be its strongest form, but then offer a response to it. (...) I grant that psychological explanation must invoke non-intentional features of mental states, but it is of crucial importance which such features must be referenced. -/- It emerges from a careful reading of Frege's own view that we need only invoke what I call 'formal' relations between mental states. I then claim that referencing such 'formal' relations within psychological explanation does not undermine its intentionality in the way that invoking, say, neurological features would. The central worry about this view is that either (a) 'formal' relations bring narrow content in through back door or (b) 'formal' relations end up doing all the explanatory work. Various forms of each worry are discussed. The crucial point, ultimately, is that the present strategy for responding to Frege cases is not available either to the 'psycho-Fregean', who would identify the content of a belief with its truth-value, nor even to someone who would identify the content of a belief with a set of possible worlds. It requires the sort of rich semantic structure that is distinctive of Russellian propositions. There is therefore no reason to suppose that the invocation of 'formal' relations threatens to deprive content of any work to do. (shrink)

Rae Langton and Caroline West argue that pornography silences women by presupposing misogynistic attitudes, such as that women enjoy being raped. More precisely, they claim that a somewhat infamous pictorial, ‘Dirty Pool’, makes such presuppositions, and that it is typical in this respect. I argue for four claims. (1) There are empirical reasons to doubt that women are silenced in the way that Langton and West claim they are. (2) There is no evidence that very much pornography makes the sorts (...) of presuppositions that Langton and West's explanation of silencing requires it to make. (3) Even ‘Dirty Pool’, for all its other problems, does not make such presuppositions. (4) Langton and West misread ‘Dirty Pool’ because they do not take proper account of the fact that pornography often traffics in sexual fantasy. The broader lesson is that we need to read pornography more sensitively if we are to understand its capacity to shape socio‐sexual norms (for good or for ill). (shrink)

Allocation of very scarce medical interventions such as organs and vaccines is a persistent ethical challenge. We evaluate eight simple allocation principles that can be classified into four categories: treating people equally, favouring the worst-off, maximising total benefits, and promoting and rewarding social usefulness. No single principle is sufficient to incorporate all morally relevant considerations and therefore individual principles must be combined into multiprinciple allocation systems. We evaluate three systems: the United Network for Organ Sharing points systems, quality-adjusted life-years, and (...) disability-adjusted life-years. We recommend an alternative system—the complete lives system—which prioritises younger people who have not yet lived a complete life, and also incorporates prognosis, save the most lives, lottery, and instrumental value principles. (shrink)

Many people have sexual fantasies about being forced to have sex, or forcing someone to have sex. Several authors have argued that it is wrong to enjoy such fantasies: They lead to harm, or reinforce oppressive social structures, are liable to corrupt our character, or, mostly interestingly, are wrong in themselves, because they involve the eroticization of things that are wrong. I argue here that all such arguments fail properly to distinguish between fantasy and desire (despite authors' acknowledgement of that (...) distinction), and between objects of desire and sources of arousal. The broader significance of this point is also discussed. -/- This paper is intended, in part, as a defense of claims about sexual fantasy made at the end of "Does Pornography Presuppose Rape Myths?". (shrink)

So-called `disentangled' truth-theories are supposed to prevent assumptions about the truth of statements in the object-language from inadvertently strengthening the background syntax. In earlier work, I proved some limitative results in an attempt to show that the strategy works, but those results leave several questions unanswered. We address some of them here. We also discuss a subtlety that has so far been overlooked in discussions of these theories.

Many philosophers nowadays believe Frege was right about belief, but wrong about language: The contents of beliefs need to be individuated more finely than in terms of Russellian propositions, but the contents of utterances do not. I argue that this 'hybrid view' cannot offer no reasonable account of how communication transfers knowledge from one speaker to another and that, to do so, we must insist that understanding depends upon more than just getting the references of terms right.

The 'substitution argument' purports to demonstrate the falsity of Russellian accounts of belief-ascription by observing that, e.g., these two sentences: (LC) Lois believes that Clark can fly. (LS) Lois believes that Superman can fly. could have different truth-values. But what is the basis for that claim? It seems widely to be supposed, especially by Russellians, that it is simply an 'intuition', one that could then be 'explained away'. And this supposition plays an especially important role in Jennifer Saul's defense of (...) Russellianism, based upon the existence of an allegedly similar contrast between these two sentences: (PC) Superman is more popular than Clark. (PS) Superman is more popular than Superman. The latter contrast looks pragmatic. But then, Saul asks, why shouldn't we then say the same about the former? The answer to this question is that the two cases simply are not similar. In the case of (PC) and (PS), we have only the facts that these strike us differently, and that people will sometimes say things like (PC), whereas they will never say things like (PS). By contrast, there is an argument to be given that (LS) can be true even if (LC) is false, and this argument does not appeal to anyone's 'intuitions'. The main goal of the paper is to present such a version of the substitution argument, building upon the treatment of the Fregan argument against Russellian accounts of belief itself in "Solving Frege's Puzzle". A subsidiary goal is to contribute to the growing literature arguing that 'intuitions' simply do not play the sort of role in philosophical inquiry that so-called 'experimental philosophers' have supposed they do. (shrink)

As is well-known, the formal system in which Frege works in his Grundgesetze der Arithmetik is formally inconsistent, Russell's Paradox being derivable in it. This system is, except for minor differences, full second-order logic, augmented by a single non-logical axiom, Frege's Axiom V. It has been known for some time now that the first-order fragment of the theory is consistent. The present paper establishes that both the simple and the ramified predicative second-order fragments are consistent, and that Robinson arithmetic, Q, (...) is relatively interpretable in the simple predicative fragment. The philosophical significance of the result is discussed. (shrink)

A general survey of Frege's views on truth, the paper explores the problems in response to which Frege's distinctive view that sentences refer to truth-values develops. It also discusses his view that truth-values are objects and the so-called regress argument for the indefinability of truth. Finally, we consider, very briefly, the question whether Frege was a deflationist.

In his paper “Flaws of Formal Relationism”, Mahrad Almotahari argues against the sort of response to Frege's Puzzle I have defended elsewhere, which he dubs ‘Formal Relationism’. Almotahari argues that, because of its specifically formal character, this view is vulnerable to objections that cannot be raised against the otherwise similar Semantic Relationism due to Kit Fine. I argue in response that Formal Relationism has neither of the flaws Almotahari claims to identify.

This paper argues that that Caesar problem had a technical aspect, namely, that it threatened to make it impossible to prove, in the way Frege wanted, that there are infinitely many numbers. It then offers a solution to the problem, one that shows Frege did not really need the claim that "numbers are objects", not if that claim is intended in a form that forces the Caesar problem upon us.

The primary purpose of this note is to demonstrate that predicative Frege arithmetic naturally interprets certain weak but non-trivial arithmetical theories. It will take almost as long to explain what this means and why it matters as it will to prove the results.

This paper is concerned with neo-Fregean accounts of reference to abstract objects. It develops an objection to the most familiar such accounts, due to Bob Hale and Crispin Wright, based upon what I call the 'proliferation problem': Hale and Wright's account makes reference to abstract objects seem too easy, as is shown by the fact that any equivalence relation seems as good as any other. The paper then develops a response to this objection, and offers an account of what it (...) is for abstracta to exist that is Fregean in spirit but more robust than familiar views. (shrink)

John McDowell has often emphasized the fact that the use of langauge is a rational enterprise. In this paper, I explore the sense in which this is so, arguing that our use of language depends upon our consciously knowing what our words mean. I call this a 'cognitive conception of semantic competence'. The paper also contains a close analysis of the phenomenon of implicature and some suggestions about how it should and should not be understood.

This paper discusses Frege's account of definition by induction in Grundgesetze and the two key theorems Frege proves using it.

We expand on Della Croce’s ambition to interpret “epistemic injustice” as a specification of non-maleficence in the use of the influential four-principle framework. This is an alluring line of thought for conceptual, moral, and heuristic reasons. Although it is commendable, Della Croce’s attempt remains tentative. So does our critique of it. Yet, we take on the challenge to critically address two interrelated points. First, we broaden the analysis to include deliberations about hermeneutical injustice. We argue that, if due consideration of (...) epistemic injustice is to require more than negative ethical obligations in medicine, dimensions of hermeneutical injustice should be explored as an avenue to arrive at such positive duties. Second, and relatedly, we argue that this may encompass moral responsibilities beyond the individual level, that is: positive obligations to take action on a structural level. Building on Dotson’s concept of “contributory injustice” and Scheman’s concept of “perceptual autonomy,” we suggest that the virtues of testimonial and hermeneutical justice may provide additional content not only to negative prohibitions of action (i.e. non-maleficence) but also to positive requirements of action, like respecting patient autonomy. (shrink)

Are Fregean thoughts compositionally complex and composed of senses? We argue that, in Begriffsschrift, Frege took 'conceptual contents' to be unstructured, but that he quickly moved away from this position, holding just two years later that conceptual contents divide of themselves into 'function' and 'argument'. This second position is shown to be unstable, however, by Frege's famous substitution puzzle. For Frege, the crucial question the puzzle raises is why "The Morning Star is a planet" and "The Evening Star is a (...) planet" have different contents, but his second position predicts that they should have the same content. Frege's response to this antinomy is of course to distinguish sense from reference, but what has not previously been noticed is that this response also requires thoughts to be compositionally complex, composed of senses. That, however, raises the question just how thoughts are composed from senses. We reconstruct a Fregean answer, one that turns on an insistence that this question must be understood as semantic rather than metaphysical. It is not a question about the intrinsic nature of residents of the third realm but a question about how thoughts are expressed by sentences. (shrink)

The paper argues, as against Thau and Caplan, that the traditional interpretation that Frege abandoned his earlier views about identity and identity--statements is correct.

I here investigate the sense in which diagonalization allows one to construct sentences that are self-referential. Truly self-referential sentences cannot be constructed in the standard language of arithmetic: There is a simple theory of truth that is intuitively inconsistent but is consistent with Peano arithmetic, as standardly formulated. True self-reference is possible only if we expand the language to include function-symbols for all primitive recursive functions. This language is therefore the natural setting for investigations of self-reference.

critical analyses of the arguments and attitudes favoring the various popular datings of the inception of a human being's life.

The purpose of this note is to present a strong form of the liar paradox. It is strong because the logical resources needed to generate the paradox are weak, in each of two senses. First, few expressive resources required: conjunction, negation, and identity. In particular, this form of the liar does not need to make any use of the conditional. Second, few inferential resources are required. These are: (i) conjunction introduction; (ii) substitution of identicals; and (iii) the inference: From ¬(p (...) ∧ p), infer ¬ p. It is, interestingly enough, also essential to the argument that the ‘strong’ form of the diagonal lemma be used: the one that delivers a term λ such that we can prove: λ = ¬ T(⌈λ⌉); rather than just a sentence Λ for which we can prove: Λ ≡ ¬T(⌈Λ⌉). The truth-theoretic principles used to generate the paradox are these: ¬(S ∧ T(⌈¬S⌉); and ¬(¬S ∧ ¬T(⌈¬S⌉). These are classically equivalent to the two directions of the T-scheme, but they are intuitively weaker. The lesson I would like to draw is: There can be no consistent solution to the Liar paradox that does not involve abandoning truth-theoretic principles that should be every bit as dear to our hearts as the T-scheme. So we shall have to learn to live with the Liar, one way or another. (shrink)

Resolution of Frege's Puzzle by denying that synonym substitution in logical truths preserves sentence sense and explaining how logical form has semantic import. Intensional context substitutions needn't preserve truth, because intercepting doesn't preserve sentence meaning. Intercepting is nonuniformly substituting a pivotal term in syntactically secured truth. Logical sentences and their synonym interceptions share factual content. Semantic content is factual content in synthetic predications, but not logical sentences and interceptions. Putnam's Postulate entails interception nonsynonymy. Syntax and vocabulary explain only the factual (...) content of synthetic predications; extrasentential reality explains their truth. Construction of logical factual content explains logical necessity. Terms retain objectual reference, but logical syntax preempts their function in explaining truth. Grasping the facts GG/gg assert entails understanding this. Understanding what GH states requires some recognition that GH must be true just because GmH, and GmH state an empirical fact. GH is standardly used to express that fact. Church's Test exposes puzzles. QMi sentences, and QTi sentences are metalogical necessities, true by syntax. Intercepting QMi creates empirical QM contingencies. Synonymy turns semantic contingencies into metalogical and lexical necessities. That transformation is syntactic, via the syntactic duality of definite descriptions. GmH is a contingent copredication, and a lexically necessary referential identity with rigidly codesignating indexicals. Metalogical sentences may be about expressional matter or what it expresses. GG has GG's semantic content, but the referent expression switches. Metalogical syntax secures truth by self-referential quotational indexing. Metalogically, referents are identified with intrasentential replica. Extrasentential identifications are metalogically irrelevant. (shrink)

A teaching document I've used in my courses on truth and on incompleteness. Aimed at students who have a good grasp of basic logic, and decent math skills, it attempts to give them the background they need to understand a proper statement of the classic results due to Gödel and Tarski, and sketches their proofs. Topics covered include the notions of language and theory, the basics of formal syntax and arithmetization, formal arithmetic (Q and PA), representability, diagonalization, and the incompleteness (...) and undefinability theorems. (shrink)

This is a completely informal presentation of the ideas behind the diagonal lemma. One really can't see this important result from too many different angles. This one aims at getting the main idea across. (For the cognoscenti, it is in the spirit of Quine's treatment in terms of "appended to its own quotation".).

Gareth Evans has argued that the existence of vague objects is logically precluded: The assumption that it is indeterminate whether some object a is identical to some object b leads to contradiction. I argue in reply that, although this is true—I thus defend Evans's argument, as he presents it—the existence of vague objects is not thereby precluded. An 'Indefinitist' need only hold that it is not logically required that every identity statement must have a determinate truth-value, not that some such (...) statements might actually fail to have a determinate truth-value. That makes Indefinitism a cousin of mathematical Intuitionism. (shrink)

Our culture is conflicted about morally judging and condemning. We can't avoid it altogether, yet many layfolk today are loathe to do it for reasons neither they nor philosophers well understand. Their resistance is often confused (by themselves and by theorists) with some species of antiobjectivism. But unlike a nonobjectivist, most people think that (a) for us to judge and condemn is generally (objectively) morally wrong , yet (b) for God to do so is (objectively) proper, and (c) so too (...) for certain persons in certain relations (e.g., self-condemnation, parental child rearing.) Certainly, religious (e.g., Christian) critics of judging and condemning without doubting the objective truth of their tradition's core moral teachings. Most puzzling is that (a) merely judging and condemning in one's heart may be improper, and (b) someone else with no more evidence or expertise might properly judge and condemn the same action. The answer is in condemning's complex structure of presuppostions. Condemning and judging are acts, and attitudes initiated by the act. Condemnation is motivated by two judgments presumed to justify it, a criticism of a target, and a judgment that the criticism justifies some negative response toward the target. Unlike nonpunitive penalties, punishments are motivated and explained by condemnation. Condemnation is an act of a hostile will, wishing some evil for its target, not (just) as a means to some good. Its root is in damning, an act akin to cursing. It declares a degraded status. The hostility makes it harder to justify condemnation than criticism, and punishment than nonpunitive penalties. Condemning claims objectivity and authority. It involves reflexive evaluation, regarding itself justified, approving its hostile feelings toward the target. Condemners presume themselves entitled to sit in judgment, pass judgment, and cast the condemned down. Those presumptions inhere in sitting in judgment, assuming jurisdiction. Unlike mathematical or scientific judgments, passing moral judgment seems to be a political act subject to extraepistemic constraints. "Who are you to judge?" may properly challenge your right to pass judgment. (shrink)

An investigation of Frege's various contributions to the study of language, focusing on three of his most famous doctrines: that concepts are unsaturated, that sentences refer to truth-values, and that sense must be distinguished from reference.

Defends the view that the study of language should concern itself, primarily, with idiolects. The main objections considered are forms of the normativity objection.

Defends the view that understanding can be identified with knowledge of T-sentences against the classical criticisms of Foster and Soames.

It has been known for a few years that no more than Pi-1-1 comprehension is needed for the proof of "Frege's Theorem". One can at least imagine a view that would regard Pi-1-1 comprehension axioms as logical truths but deny that status to any that are more complex—a view that would, in particular, deny that full second-order logic deserves the name. Such a view would serve the purposes of neo-logicists. It is, in fact, no part of my view that, say, (...) Delta-3-1 comprehension axioms are not logical truths. What I am going to suggest, however, is that there is a special case to be made on behalf of Pi-1-1 comprehension. Making the case involves investigating extensions of first-order logic that do not rely upon the presence of second-order quantifiers. A formal system for so-called "ancestral logic" is developed, and it is then extended to yield what I call "Arché logic". (shrink)

John MacFarlane has made relativism popular again. Focusing just on his original discussion, I argue that the data he uses to motivate the position do not, in fact, motivatie it at all. Many of the points made here have since been made, independently, by Hermann Cappelen and John Hawthorne, in their book Relativism and Monadic Truth.

An investigation of what Frege means by his doctrine that functions (and so concepts) are 'unsaturated'. We argue that this doctrine is far less peculiar than it is usually taken to be. What makes it hard to understand, oddly enough, is the fact that it is so deeply embedded in our contemporary understanding of logic and language. To see this, we look at how it emerges out of Frege's confrontation with the Booleans and how it expresses a fundamental difference between (...) Frege's approach to logic and theirs. (shrink)

Cezary Cieśliński has proved a result shows that highlights `logical reflection': The principle that every logically provable sentence is true. He suggests further that this result has a good deal of philosophical significance, specifically for the so-called `conservativeness argument' against deflationism. This note discusses the question to what extent Cieśliński's result generalizes, and just how strong `logical reflection' is, and suggests that the answers to these questions call the philosophical (though not the technical) significance of Cieśliński's result into doubt.

Discusses Frege's formal definitions and characterizations of infinite and finite sets. Speculates that Frege might have discovered the "oddity" in Dedekind's famous proof that all infinite sets are Dedekind infinite and, in doing so, stumbled across an axiom of countable choice.

Critique of prevailing textbook conception of sufficient conditions and necessary conditions as a truth functional relation of material implication (p->q)/(~q->~p). Explanation of common sense conception of condition as correlative of consequence, involving dependence. Utility of this conception exhibited in resolving puzzles regarding ontology, truth, and fatalism.

A reply to two responses to an earlier paper, "A Liar Paradox".

This paper explores the relationship between Hume's Prinicple and Basic Law V, investigating the question whether we really do need to suppose that, already in Die Grundlagen, Frege intended that HP should be justified by its derivation from Law V.

Contra Michael Walzer and Jeff McMahan, neither classical just war theory nor the contemporary rules of war require or support any notion of combatant moral equality. Nations rightly accept prohibitions against punishing enemy combatants without recognizing any legal or moral right of aggressors to kill. The notion of combatant moral equality has real import only in our interpersonal -- and intrapersonal -- attitudes, since the notion effectively preempts any ground for conscientious objection. Walzer is criticized for over-emphasizing our collective responses (...) to war conduct and slighting our personal, extra-political responses. (shrink)

This paper discusses the question whether it is possible to explain the notion of a singular term without invoking the notion of an object or other ontological notions. The framework here is that of Michael Dummett's discussion in Frege: Philosophy of Language. I offer an emended version of Dummett's conditions, accepting but modifying some suggestions made by Bob Hale, and defend the emended conditions against some objections due to Crispin Wright. This paper dates from about 1989. It originally formed part (...) of a very early draft of what became my Ph.D. dissertation. I rediscovered it and began scanning it, when I had nothing better to do, in Fall 2001, making some minor editing changes along the way. Suffice it to say that it no longer represents my current views. I hope, however, that it remains of some small interest. (shrink)

Respiratory rhythms sustain biological life, governing the homeostatic exchange of oxygen and carbon dioxide. Until recently, however, the influence of breathing on the brain has largely been overlooked. Yet new evidence demonstrates that the act of breathing exerts a substantive, rhythmic influence on perception, emotion, and cognition, largely through the direct modulation of neural oscillations. Here, we synthesize these findings to motivate a new predictive coding model of respiratory brain coupling, in which breathing rhythmically modulates both local and global neural (...) gain, to optimize cognitive and affective processing. Our model further explains how respiratory rhythms interact with the topology of the functional connectome, and we highlight key implications for the computational psychiatry of disordered respiratory and interoceptive inference. (shrink)

ABSTRACT In ‘Scorekeeping in a Pornographic Language Game’, Rae Langton and Caroline West borrow ideas from David Lewis to attempt to explain how pornography might subordinate and silence women. Pornography is supposed to express certain misogynistic claims implicitly, through presupposition, and to convey them indirectly, through accommodation. I argue that the appeal to accommodation cannot do the sort of work Langton and West want it to do: Their case rests upon an overly simplified model of that phenomenon. I argue further (...) that, once we are clear about why Langton and West's account fails, a different and more plausible account of pornography's influence emerges. (shrink)

A reply to Byrne and Thau's criticisms of "The Sense of Communiction".

Analyses of quotation have assumed that quotations are referring expressions while disagreeing over details. That assumption is unnecessary and unacceptable in its implications. It entails a quasi-Parmenidean impossibility of meaningfully denying the meaningfulness or referential function of anything uttered, for it implies that: 'Kqxf' is not a meaningful expression 'The' is not a referring expression are, if meaningful, false. It also implies that ill formed constructions like: 'The' is 'the' are well formed tautologies. Such sentences make apparent the need for (...) what is commonly explicit, a genuine referring expression, a noun phrase, usually a description, to which the quotation is appositional. A quotation is not itself a word, though it may contain such. The markers signal that the enquoted material is like a sentence-embedded color patch, material displayed to facilitate reference to something identifiable by/with it specified by the noun phrase it subserves. (shrink)

Written as a comment on Crispin Wright's "Vagueness: A Fifth Column Approach", this paper defends a form of supervaluationism against Wright's criticisms. Along the way, however, it takes up the question what is really wrong with Epistemicism, how the appeal of the Sorities ought properly to be understood, and why Contextualist accounts of vagueness won't do.

Hartry Field has suggested that we should adopt at least a methodological deflationism: [W]e should assume full-fledged deflationism as a working hypothesis. That way, if full-fledged deflationism should turn out to be inadequate, we will at least have a clearer sense than we now have of just where it is that inflationist assumptions ... are needed. I argue here that we do not need to be methodological deflationists. More pre-cisely, I argue that we have no need for a disquotational truth-predicate; (...) that the word true, in ordinary language, is not a disquotational truth-predicate; and that it is not at all clear that it is even possible to introduce a disquotational truth-predicate into ordinary language. If so, then we have no clear sense how it is even possible to be a methodological deflationist. My goal here is not to convince a committed deflationist to abandon his or her position. My goal, rather, is to argue, contrary to what many seem to think, that reflection on the apparently trivial character of T-sentences should not incline us to deflationism. (shrink)