The book begins with an overview that introduces the Theorem and the issues surrounding it, and explores how the essays that follow contribute to our understanding of those issues.

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.

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.

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)

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

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.

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 differ...

There are two main models for explaining Frege's notion of sense, both of which have their roots in the work of Sir Michael Dummett. One, nowadays most familiar from the work of David Chalmers, is broadly internalist and descriptivist in character. The other, most familiar from the work of Gareth Evans, is externalist and anti-descriptivist. I first consider the former project, arguing that Dummett anticipated Chalmers's version of the view, and that no version of this view is going to be (...) defensible. The arguments are somewhat different from those familiar from the literature. I then consider Evans's view and argue that, while it is not vulnerable to many of the objections that have been made to it, it does not really succeed as an account of sense, because it forces us to abandon Frege's view that sense is an aspect of representational content. (shrink)

Frege's development of the theory of arithmetic in his Grundgesetze der Arithmetik has long been ignored, since the formal theory of the Grundgesetze is inconsistent. His derivations of the axioms of arithmetic from what is known as Hume's Principle do not, however, depend upon that axiom of the system--Axiom V--which is responsible for the inconsistency. On the contrary, Frege's proofs constitute a derivation of axioms for arithmetic from Hume's Principle, in (axiomatic) second-order logic. Moreover, though Frege does prove each of (...) the now standard Dedekind-Peano axioms, his proofs are devoted primarily to the derivation of his own axioms for arithmetic, which are somewhat different (though of course equivalent). These axioms, which may be yet more intuitive than the Dedekind-Peano axioms, may be taken to be "The Basic Laws of Cardinal Number", as Frege understood them. Though the axioms of arithmetic have been known to be derivable from Hume's Principle for about ten years now, it has not been widely recognized that Frege himself showed them so to be; nor has it been known that Frege made use of any axiomatization for arithmetic whatsoever. Grundgesetze is thus a work of much greater significance than has often been thought. First, Frege's use of the inconsistent Axiom V may invalidate certain of his claims regarding the philosophical significance of his work (viz., the establishment of Logicism), but it should not be allowed to obscure his mathematical accomplishments and his contribution to our understanding of arithmetic. Second, Frege's knowledge that arithmetic is derivable from Hume's Principle raises important sorts of questions about his philosophy of arithmetic. For example, "Why did Frege not simply abandon Axiom V and take Hume's Principle as an axiom?". (shrink)

Frege, famously, held that there is a close connection between our concept of cardinal number and the notion of one-one correspondence, a connection enshrined in Hume's Principle. Husserl, and later Parsons, objected that there is no such close connection, that our most primitive conception of cardinality arises from our grasp of the practice of counting. Some empirical work on children's development of a concept of number has sometimes been thought to point in the same direction. I argue, however, that Frege (...) was close to right, that our concept of cardinal number is closely connected with a notion like that of one-one correspondence, a more primitive notion we might call just as many. (shrink)

Central to the liar paradox is the phenomenon of 'self-reference'. The paradox typically begins with a sentence like: -/- (L): (L) is not true -/- Historically, doubts about the intelligibility of self-reference have been quite common. In some sense, though, these doubts were answered by Kurt Gödel's famous 'diagonal lemma'. This paper surveys some of the methods by which self-reference can be achieved, focusing first on purely syntactic methods before turning attention to the 'arithmetized' methods introduced by Gödel. It's primary (...) lesson is that we need to be more careful than we usually have been about self-reference. (shrink)

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.

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.

One of the earliest discussions of the so-called 'bad company' objection to Neo-Fregeanism, I show that the consistency of an arbitrary second-order 'contextual definition' (nowadays known as an 'abstraction principle' is recursively undecidable. I go on to suggest that an acceptable such principle should satisfy a condition nowadays known as 'stablity'.

This paper offers a historical analysis of contemporary practices of shopping for vegetables in the highly dynamic context of urban Hanoi during the period from 1975 to 2014. Focusing on everyday shopping practices from a food safety perspective, we assess the extent to which the policy-enforced process of supermarketization has proven to be an engine of change in daily vegetable purchasing while improving food safety. In depicting transitions in shopping practices, we combine a social practices approach with historical analysis. Providing (...) a historical analysis of a broad and complex spectrum of everyday practices of purchasing fresh vegetables, we identify the key drivers of change. We discuss different modalities of shopping and demonstrate that no single retail modernization format can be said to exist. Rather than contrasting an idealized supermarket model with the traditional modalities of food shopping, we offer a varied, more diverse set of shopping practices that displays different strategies for coping with food safety issues. When discussed from a historical perspective, food practices are shown to be highly dynamic, being constantly reinvented and reconfigured by consumers who use their established skills, routines, and social networks to sometimes resist top-down enforced supermarketization while developing the coping strategies that best suit their local circumstances. (shrink)

Modes of Presentation analyses a collection of problems, known as 'Frege's puzzle', resulting from how thinkers and speakers have a limited perspective on reference in thought and language. Heck argues that these puzzles have much to teach us both about the foundations of cognition and the nature of linguistic communication.

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.

Frege's intention in section 31 of Grundgesetze is to show that every well-formed expression in his formal system denotes. But it has been obscure why he wants to do this and how he intends to do it. It is argued here that, in large part, Frege's purpose is to show that the smooth breathing, from which names of value-ranges are formed, denotes; that his proof that his other primitive expressions denote is sound and anticipates Tarski's theory of truth; and that (...) the proof that the smooth breathing denotes, while flawed, rests upon an idea now familiar from the completeness proof for first-order logic. The main work of the paper consists in defending a new understanding of the semantics Frege offers for the quantifiers: one which is objectual, but which does not make use of the notion of an assignment to a free variable. (shrink)

Syntactic Reductionism, as understood here, is the view that the ‘logical forms’ of sentences in which reference to abstract objects appears to be made are misleading so that, on analysis, we can see that no expressions which even purport to refer to abstract objects are present in such sentences. After exploring the motivation for such a view, and arguing that no previous argument against it succeeds, sentences involving generalized quantifiers, such as ‘most’, are examined. It is then argued, on this (...) basis, that Syntactic Reductionism is untenable. (shrink)

In section 10 of Grundgesetze, Frege confronts an indeterm inacy left by his stipulations regarding his ‘smooth breathing’, from which names of valueranges are formed. Though there has been much discussion of his arguments, it remains unclear what this indeterminacy is; why it bothers Frege; and how he proposes to respond to it. The present paper attempts to answer these questions by reading section 10 as preparatory for the (fallacious) proof, given in section 31, that every expression of Frege's formal (...) language denotes. (shrink)

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.

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)

This paper dates from about 1994: I rediscovered it on my hard drive in the spring of 2002. It represents an early attempt to explore the connections between the Julius Caesar problem and Frege's attitude towards Basic Law V. Most of the issues discussed here are ones treated rather differently in my more recent papers "The Julius Caesar Objection" and "Grundgesetze der Arithmetik I 10". But the treatment here is more accessible, in many ways, providing more context and a better (...) sense of how this issue relates to broader issues in Frege's philosophy. (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.

This article offers an overview of the various formulations of "jihad" during the first six Islamic centuries (7th-13th CE), showing them to be embedded in particular socio-historical contexts. If the essential significance of "jihad" as righteous cause (i.e., action for the sake of a moral order) is shown to have been variously altered according to the needs and conditions of the Muslim community, significant possibilities arise for a contemporary understanding of "jihad" that is relevant to the needs and circumstances of (...) the Muslim community today. Some features of the "jihad" tradition, although specific to a particular period and with little relevance today, continue to inform the current discussion on "jihad." Discussion of the "jihad" tradition, then, should take care to distinguish the historically incidental features of the tradition from those with an enduring relevancy. By doing so, the "jihad" tradition will be able to contribute to discussions on the relation of religion to the public order and political organization, even those not limited to Islam. (shrink)

This paper contains a close analysis of Frege's proofs of the axioms of arithmetic §§70-83 of Die Grundlagen, with special attention to the proof of the existence of successors in §§82-83. Reluctantly and hesitantly, we come to the conclusion that Frege was at least somewhat confused in those two sections and that he cannot be said to have outlined, or even to have intended, any correct proof there. The proof he sketches is in many ways similar to that given in (...) Grundgesetze der Arithmetik, but fidelity to what Frege wrote in Die Grundlagen and in Grundgesetze requires us to reject the charitable suggestion that it was this (beautiful) proof that he had in mind in §§82-83. (shrink)

Sufism - spiritual practice, intellectual discipline, literary tradition, and social institutionhas played an integral role in the moral formation of Muslim society. Its aspiration toward a universal kindness to all creatures beyond the requirements of Islamic law has added a distinctly hypernomian dimension to the moral vision of Islam, as evidenced in a wide range of Sufi literature. The universal perspective of Sufism, fully rooted in Islamic revelation, yields a lived (and not just studied) ethics with the potential to view (...) and embrace all creatures through a single ethical vision, regardless of religious or other affiliation. This side of Islam, both acknowledging and surpassing the outlook of the legal heritage, offers important insight into understanding the nature of Muslim society as both Islamic and metaIslamic in religious orientation. Sufism, still significant in today's Islamic world, thus offers important material for locating Islam as part of an international order with principles and standards that resonate deeply with the moral vision of Islam itself. (shrink)

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

While Christian Democratic parties in several Western European countries are often said to be in crisis, the European People's Party holds the largest parliamentary group in the European Parliament since 1999. This paradox relies on the specificity of the different 'national' electoral logics on the one hand and the realisation of a long-term 'European' majority strategy on the other hand. The alliance with Conservatives and Conservative parties has to overcome an absolute electoral decline in 'old' EU countries and a relative (...) decline through the accession of 'new' member states without Christian Democratic parties. The EPP majority strategy is realised through various ways : the key position of the transnational party and party group, the role of political leadership, the way of decision making, the co-operation with side-organisations, the problem-solving of ideological conflicts, etc. Our analysis proves how the majority strategy of the European Christian Democrats realises its ultimate 'survival strategy' despite several nationalparty crises. (shrink)

A close look at Frege's proof in "Foundations of Arithmetic" that every number has a successor. The examination reveals a surprising gap in the proof, one that Frege would later fill in "Basic Laws of Arithmetic".

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.

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)

It is common to distinguish between “holist” and “reductionist” views of brain function, where the former envisions the brain as functioning as an indivisible unit and the latter as a collection of distinct units that serve different functions. Opposing reductionism, a number of researchers have pointed out that cortical network architecture does not respect functional boundaries, and the neuroanatomist V. Braitenberg proposed to understand the cerebral cortex as a “great mixing machine” of neuronal activity from sensory inputs, motor commands, and (...) intrinsically generated processes. In this paper, we offer a contextualization of Braitenberg’s point, and we review evidence for the interactions of neuronal activity from multiple sensory inputs and intrinsic neuronal processes in the cerebral cortex. We focus on new insights from studies on audiovisual interactions and on the influence of respiration on brain functions, which do not seem to align well with “reductionist” views of areal functional boundaries. Instead, they indicate that functional boundaries are fuzzy and context dependent. In addition, we discuss the relevance of the influence of sensory, proprioceptive, and interoceptive signals on cortical activity for understanding brain-body interactions, highlight some of the consequences of these new insights for debates on embodied cognition, and offer some suggestions for future studies. (shrink)

In The Varieties of Reference, Gareth Evans argues that the content of perceptual experience is nonconceptual, in a sense I shall explain momentarily. More recently, in his book Mind and World, John McDowell has argued that the reasons Evans gives for this claim are not compelling and, moreover, that Evans’s view is a version of “the Myth of the Given”: More precisely, Evans’s view is alleged to suffer from the same sorts of problems that plague sense-datum theories of perception. In (...) particular, McDowell argues that perceptual experience must be within “the space of reasons,” that perception must be able to give us reasons for, that is, to justify, our beliefs about the world: And, according to him, no state that does not have conceptual content can be a reason for a belief. Now, there are many ways in which Evans’s basic idea, that perceptual content is nonconceptual, might be developed; some of these, I shall argue, would be vulnerable to the objections McDowell brings against him. But I shall also argue that there is a way of developing it that is not vulnerable to these objections. (shrink)

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)