Robert May

The analysis of identity as coreference is strongly associated with Frege ; it is the view in Begriffsschrift, and, some have argued, henceforth throughout his work. This thesis is incorrect: Frege never held that identity is coreference. The case is made not by interpretation of “proof-quotes”, but rather by exploring how Frege actually deploys the concept. Two cases are considered. The first, from Grundgesetze, are the definitions of the core concepts, zero and truth; the second, from Begriffsschrift, is the validity of Leibniz's Law. In both cases, if identity is coreference, results ensue that would be unacceptable to Frege

In theorizing about racial pejoratives, an initially attractive view is that pejoratives have the same reference as their “neutral counterparts”. Call this the identity thesis. According to this thesis, the terms “kike” and “Jew”, for instance, pick out the same set of people. To be a Jew just is to be a kike, and so to make claims about Jews just is to make claims about kikes. In this way, the two words are synonymous, and so make the same contribution to the truth-conditions of sentences containing them. While the fundamental claim for the identity thesis that Jews are kikes sounds anti-semitic, it need not be actually anti-semitic. The identity thesis is usually bolstered with the further claim that the pejorative aspect of “kike” and other such terms is located elsewhere than in truth-conditional content, so what makes “kike” a bad word is a non-truth-conditional association with anti-semitism that is not shared with the word “Jew”. The exact nature and location of the negative moral content of pejoratives is a matter of some dispute among identity theorists. But whatever the intuitive appeal of the identity theory for those persuaded by such views, it is nevertheless inconsistent.

We attempt here to trace the evolution of Frege’s thought about truth. What most frames the way we approach the problem is a recognition that hardly any of Frege’s most familiar claims about truth appear in his earliest work. We argue that Frege’s mature views about truth emerge from a fundamental re-thinking of the nature of logic instigated, in large part, by a sustained engagement with the work of George Boole and his followers, after the publication of Begriffsschrift and the appearance of critical reviews by members of the Boolean school.

Frege's logicist program requires that arithmetic be reduced to logic. Such a program has recently been revamped by the "neologicist" approach of Hale and Wright. Less attention has been given to Frege's extensionalist program, according to which arithmetic is to be reconstructed in terms of a theory of extensions of concepts. This paper deals just with such a theory. We present a system of second-order logic augmented with a predicate representing the fact that an object x is the extension of a concept C, together with extra-logical axioms governing such a predicate, and show that arithmetic can be obtained in such a framework. As a philosophical payoff, we investigate the status of the so-called Hume's Principle and its connections to the root of the contradiction in Frege's system.

Fictional terms are terms that have null extensions, and in this regard pejorative terms are a species of fictional terms: although there are Jews, there are no kikes. That pejoratives are fictions is the central consequence of the Moral and Semantic Innocence (MSI) view of Hom et al. (2013). There it is shown that for pejoratives, null extensionality is the semantic realization of the moral fact that no one ought to be the target of negative moral evaluation solely in virtue of their group membership. In having null extensions, pejorative terms are much like mythological terms like ‘unicorn horn’ that express concepts with empty extensions, even though it was thought otherwise: people who falsely believed the mythology were mislead into thinking that ordinary objects (i.e. whale tusks) were magical objects, and pejoratives terms work likewise. For example, the term ‘kike’ is supported by the ideology of anti-Semitism, and speakers who fall prey to its influence (perniciously or not) are mislead into thinking that ordinary people (i.e. Jews) are inherently worthy of contempt. In this paper, we explore the consequences of this parallelism, with an eye to criticisms of MSI. In particular, we will re-visit identity expressivist views - those that hold that there are kikes and that they are Jews, and hence deny null extensionality - arguing that this embeds a mistake of fiction for fact. Among the issues to be discussed are the role of fictional truth in understanding pejorative sentences and the relation of the semantics of pejoratives to offensive use of language. We conclude with meta-semantic reflections on the origins of word meanings.

The papers in this volume are contributions to a comparative semantics, understood in the context of the theory of Logical Form as a branch of comparative syntax. In contrastively exploring a wide range of languages, including Arabic, Chinese, English, Hungarian, Italian, Japanese, Navajo, Spanish and Toba Batak, the authors provide new insights into our understanding of the nature of quantificational, WH and anaphoric phenomena, and into the form of constraints, including subjacency and ECP, on the structure of binding at Logical Form. -- Back cover.

In this paper, we explore Fregean metatheory, what Frege called the New Science. The New Science arises in the context of Frege’s debate with Hilbert over independence proofs in geometry and we begin by considering their dispute. We propose that Frege’s critique rests on his view that language is a set of propositions, each immutably equipped with a truth value (as determined by the thought it expresses), so to Frege it was inconceivable that axioms could even be considered to be other than true. Because of his adherence to this view, Frege was precluded from the sort of metatheoretical considerations that were available to Hilbert; but from this, we shall argue, it does not follow that Frege was blocked from metatheory in toto. Indeed, Frege suggests in Die Grundlagen der Geometrie a metatheoretical method for establishing independence proofs in the context of the New Science. Frege had reservations about the method, however, primarily because of the apparent need to stipulate the logical terms, those terms that must be held invariant to obtain such proofs. We argue that Frege’s skepticism on this score is not warranted, by showing that within the New Science a characterization of logical truth and logical constant can be obtained by a suitable adaptation of the permutation argument Frege employs in indicating how to prove independence. This establishes a foundation for Frege’s metatheoretical method of which he himself was unsure, and allows us to obtain a clearer understanding of Frege’s conception of logic, especially in relation to contemporary conceptions

Syntax, in its most general sense, is the study of the structure of sentences in natural language. In this course, we will approach syntax from the perspective of generative transformational grammar, as pioneered through the work of Noam Chomsky, and developed over the past four decades. Our goals are three-fold. First, to understand the nature of language as viewed from the structural perspective, and to understand the sort of insight about language this perspective affords. Second, to understand the nature and application of certain empirical methods to theoretical hypotheses within linguistics. And third, to understand certain general principles or laws of language which can be elucidated from the structural perspective by the empirical methods. The material in the course primarily will be drawn from English, but occasional reference will be made to other languages (although no prior knowledge is presupposed).

“Choose your words wisely,” my mother used to say, “because you never know who’s listening.” Oddly, this is something about which my dear mother and Mark Richard apparently would agree. They both seem to think that the words you use say something about who you are, and if you use bad words, then you are a bad person. About this, I have no doubt that they are right - those who use slurs, at least in the context of many assertive utterances, are surely racists, anti-Semites or whatever. But MR in his paper points out that matters go further than this, for our conversational interactions with slur words can show us to be of such dubious moral status even if we don’t utter them; just our normal practices of accepting the utterances of others would be sufficient for this result. But something is surely amiss here; no doubt we can know the meaning of slur-words, and so comprehend the utterances of others, without impugning our moral stature in any way.

The topic of this seminar will be the notion of language as it is employed in the philosophy of language. The seminar will be divided into two parts, of somewhat unequal length. The first part will be devoted to the change in the conception of language that marked the transition from structural linguistics to generative linguistics (the so-called "Chomskian revolution"). We will approach this not only as a chapter in the philosophy of language, but also as an important chapter in the philosophy of science, in large part because much of the discussion centers around to what extent, and how, the study of language can be understood as a scientific inquiry, continuous with the other natural sciences. From this discussion, which will be devoted to reading some of the classic literature from the mid-50's to the mid-70's (largely by Chomsky), an articulation of the subject matter of the study of language will emerge, and in particular this will involve an articulation of the relation of syntax, semantics and pragmatics. This will lead us to explore, in the second part of the seminar, the most influential work, that of Grice, especially in "Logic and Conversation" devoted to articulating this distinction.

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.

Over the years, I’ve been asked many times what “logical form” is, as applied to natural language. This is a natural enough question to address to me; after all, I’ve written a book titled Logical Form, and I’ve been asked to write any number of papers on the topic. This question, it seems to me, is certainly a “big” question, and big questions deserve big answers. I must admit, however, to being somewhat baffled as to how to do this satisfactorily, since big answers to big questions unfortunately tend to the trivial. With a nod to Wittgenstein, logical form has always seemed to me to be something that you know it when you see it; it is clear enough when it pops up, but one is hard pressed to say just what it is, to define it. This is so even though the meanings of the words “logical” and “form” seem straightforward enough; what I find puzzling is how the first word is supposed to modify the second. What is it that makes a form logical, as opposed to something else that is not logical? This, it seems to me, is a very hard question to answer indeed, for if we cannot contrast logical form with some other type of form, then every form (or no form) is a logical form, and we have arrived at the triviality previously mentioned.

As the history of analytic philosophy is written, Gottlob Frege sits among the pantheon, one of the core creators of a novel way of philosophical thinking. It is a way of thinking that is notably infused with logical and semantic insights that are original to Frege. The source of these insights is well known. They arise in the context of logicism, Frege’s mathematical project that unfolded in a body of thought punctuated by three seminal works, Begriffsschrift of 1879, Die Grundlagen der Arithmetik of 1884, and the two volumes of Grundgesetze der Arithmetik, published in 1893 and 1903. In these works, Frege sets out to show that arithmetic can be reduced to logic; more technically, that (a version of) the Peano-Dedekind axioms are derivable as theorems in a definitional extension of impredicative second-order logic. To achieve this goal, Frege introduced both a new logic and a new semantics; the conceptual apparatus that Frege brought to bear in these works, and in an accompanying series of classic essays, including most famously “On Sense and Reference,” has animated philosophical thought ever since

The LOGICAL FORM of a sentence (or utterance) is a formal representation of its logical structure; that is, of the structure which is relevant to specifying its logical role and properties. There are a number of (interrelated) reasons for giving a rendering of a sentence's logical form. Among them is to obtain proper inferences (which otherwise would not follow; cf. Russell's theory of descriptions), to give the proper form for the determination of truth-conditions (e.g. Tarski's method of truth and satisfaction as applied to quantification), to show those aspects of a sentence's meaning which follow from the logical role of certain terms (and not from the lexical meaning of words; cf. the truth-functional account of conjunction), and to formalize or regiment the language in order to show that it is has certain metalogical properties (e.g. that it is free of paradox, or that there is a sound proof procedure).

1. Nathan Salmon paper is entitled with a question: are general terms rigid? He asks this question in way of engaging the issue of the extension of the notion of rigidity beyond the domain of singular terms. While singular terms has been the province of most of the discussion of this rigidity since Naming and Necessity, it is well known that Kripke saw the notion extending to at least certain general terms such as terms for natural kinds. Scott Soames has recently weighed in on this issue in the latter chapters of his book Beyond Rigidity. His conclusion is that although there are significant overlaps in the properties of singular and general terms, there is no direct extension of rigidity to the general terms, and that rigid designation is properly applied only to singular terms. Salmon disagrees. His view, based in part of views dating back to his book Reference and Essence, is that there is an extension to be had, one which allows the application of the standard Kripkean characterization of rigidity to be applied to both sorts of terms. Central to his thesis is a claim about the status of certain definite descriptions. In these remarks, I will try to outline the issues to which NS is reacting, and the proposal he posits in response. I will then consider in a more critical light his claim about definite descriptions, bringing to bear considerations of their grammar.