This is a formal and systematic study of the logical foundations of speech act theory. The study of speech acts has been a flourishing branch of the philosophy of language and linguistics over the last two decades, and John Searle has of course himself made some of the most notable contributions to that study in the sequence of books Speech Acts, Expression and Meaning and Intentionality. In collaboration with Daniel Vanderveken he now presents the first formalised logic of a general (...) theory of speech acts, dealing with such things as the nature of an illocutionary force, the logical form of its components, and the conditions of success of elementary illocutionary acts. The central chapters present a systematic exposition of the axioms and general laws of illocutionary logic. (shrink)

Published in 1903, this book was the first comprehensive treatise on the logical foundations of mathematics written in English. It sets forth, as far as possible without mathematical and logical symbolism, the grounds in favour of the view that mathematics and logic are identical. It proposes simply that what is commonly called mathematics are merely later deductions from logical premises. It provided the thesis for which _Principia Mathematica_ provided the detailed proof, and introduced the work of Frege to a wider (...) audience. In addition to the new introduction by John Slater, this edition contains Russell's introduction to the 1937 edition in which he defends his position against his formalist and intuitionist critics. (shrink)

This highly acclaimed book is a major contribution to the philosophy of language as well as a systematic interpretation of Frege, indisputably the father of ...

Anscombe guides us through the Tractatus and, thereby, Wittgenstein's early philosophy as a whole. She shows in particular how his arguments developed out of the discussions of Russell and Frege. This reprint is of the fourth, corrected edition.

Publisher's description: The realistic spirit, a nonmetaphysical approach to philosophical thought concerned with the character of philosophy itself, informs all of the discussions in these essays by philosopher Cora Diamond. Diamond explains Wittgenstein's notoriously elusive later writings, explores the background to his thought in the work of Frege, and discusses ethics in a way that reflects his influence. Diamond's new reading of Wittgenstein challenges currently accepted interpretations and shows what it means to look without mythology at the coherence, commitments, and (...) connections that are distinctive of the mind. (shrink)

On some formulations of Direct Reference the semantic value, relative to a context of utterance, of a rigid singular term is just its referent. In response to the apparent possibility of a difference in truth value of two sentences just alike save for containing distinct but coreferential rigid singular terms, some proponents of Direct Reference have held that any two such sentences differ only pragmatically. Some have also held, more specifically, that two such sentences differ by conveying distinct conversational implicata, (...) and that a conflation of implicatum with semantic content leads speakers to judge such sentences capable of differing in truth value. It is argued here that this latter defense of Direct Reference employs false explanans, on the ground that speakers conflate semantic content with implicatum only in quite special cases, and we have independent grounds for thinking that sentences reporting speech acts and attitudes are not cases of this sort. (shrink)

Illocutionary force and semantic content are widely held to occupy utterly different categories in at least two ways: Any expression serving as an indicator of illocutionary force must be without semantic content, and no such expression can embed. A refined account of the force/content distinction is offered here that does the explanatory work that the standard distinction does, while, in accounting for the behavior of a range of parenthetical expressions, shows neither nor to be compulsory. The refined account also motivates (...) a development of the "scorekeeping model" of conversation, helps to isolate a distinction between illocutionary force and illocutionary commitment, and reveals one precise respect in which meaning is only explicable in terms of use. (shrink)

Frege and many following him, such as Dummett, Geach, Stenius and Hare, have envisaged a role for illocutionary force indicators in a logically perpspicuous notation. Davidson has denied that such expressions are even possible on the ground that any putative force indicator would be used by actors and jokers to heighten the drama of their performances. Davidson infers from this objection a Thesis of the Autonomy of Linguistic Meaning: symbolic representation necessarily breaks any close tie with extra-linguistic purpose. A modified (...) version of Frege's ideal is here propounded according to which all expression is a force indicator just in case it indicates force in any speech act in which it occurs. It is shown that attainment of such an ideal would not have deprived Frege of what he desired of a perspicuous notation. In elaborating this ideal we also espouse an illocutionary conception of validity and argue that the ideal is one to which English conforms: parenthetical speech act verbs in the first person present indicative active are force indicators in the modified sense. But the mere possibility of force indicators in the modified sense is enough to show Davidson's Autonomy Thesis to be at best at half-truth. (shrink)

Grice's Quantity maxims have been widely misinterpreted as enjoining a speaker to make the strongest claim that she can, while respecting the other conversational maxims. Although many writers on the topic of conversational implicature interpret the Quantity maxims as enjoining such volubility, so construed the Quantity maxims are unreasonable norms for conversation. Appreciating this calls for attending more closely to the notion of what a conversation requires. When we do so, we see that eschewing an injunction to maximal informativeness need (...) not deprive us of any ability to predict or explain genuine cases of implicature. Crucial to this explanation is an appreciation of how what a conversation, or a given stage of a conversation, requires, depends upon what kind of conversation is taking place. I close with an outline of this dependence relation that distinguishes among three importantly distinct types of conversation. (shrink)

The paper scrutinizes Frege's Euclideanism - his view of arithmetic and geometry as resting on a small number of self-evident axioms from which non-self-evident theorems can be proved. Frege's notions of self-evidence and axiom are discussed in some detail. Elements in Frege's position that are in apparent tension with his Euclideanism are considered - his introduction of axioms in The Basic Laws of Arithmetic through argument, his fallibilism about mathematical understanding, and his view that understanding is closely associated with inferential (...) abilities. The resolution of the tensions indicates that Frege maintained a sophisticated and challenging form of rationalism, one relevant to current epistemology and parts of the philosophy of mathematics. (shrink)

An Essay on Mathematical Instrumentalism M. Detlefsen. THE PHILOSOPHICAL FUNDAMENTALS OF HILBERT'S PROGRAM 1. INTRODUCTION In this chapter I shall attempt to set out Hilbert's Program in a way that is more revealing than ...

The purpose of the article is to explain two curious doctrines maintained by frege and rejected by wittgenstein in the 'tractatus logico-philosophicus'. that a special assertion sign is necessary was maintained by frege because he wanted to apply his concept-writing to ordinary language, and it was rejected by wittgenstein because his concern in the 'tractatus' was with scientific assertions only. frege's paradoxical notion that 'the concept horse is not a concept' was a consequence of his symbolizing functions by 'unsaturated' expressions. (...) wittgenstein's picture theory eliminated expressions for relations and thereby avoided the fregean paradox. (shrink)

This paper brings to light a new puzzle for Frege interpretation, and offers a solution to that puzzle. The puzzle concerns Frege’s judgement-stroke (‘|’), and consists in a tension between three of Frege’s claims. First, Frege vehemently maintains that psychological considerations should have no place in logic. Second, Frege regards the judgementstroke—and the associated dissociation of assertoric force from content, of the act of judgement from the subject matter about which judgement is made—as a crucial part of his logic. Third, (...) Frege holds that judging is an inner mental process, and that the distinction marked by the judgement-stroke, between entertaining a thought and judging that it is true, is a psychological distinction. I argue that what initially looks like confusion here on Frege’s part appears quite reasonable when we remind ourselves of the differences between Frege’s conception of logic and our own. (shrink)

Not only can the influence of Gottlob Frege be found in contemporary work in logic, the philosophy of mathematics, and the philosophy of language, but his projects—and the very terminology he employed in pursuing those projects—are still current in contemporary philosophy. This is undoubtedly why it seems so reasonable to assume that we can read Frege' s writings as if he were one of us, speaking to our philosophical concerns in our language. In Joan Weiner's view, however, Frege's words can (...) be accurately interpreted only if we set that assumption aside. Weiner here offers a challenging new approach to the philosophy of this central figure in analytic philosophy. Weiner finds in Frege's corpus, from Begriffsschrift on, a unified project of remarkable ambition to which each of the writings in that corpus makes a distinct contribution—a project whose motivation she brings to life through a careful reading of his Foundations of Arithmetic. The Frege that Weiner brings into clear view is very different from the familiar figure. Far from having originated one of the standard positions on the nature of reference, Frege turns out not to have had positive doctrines on anything like what contemporary philosophers mean by "reference." Far from having served as a standard-bearer for those who take the realists' side of contemporary disputes with anti-realists, Frege turns out to have had no stake in either side of the controversy. Through Weiner's lens, Frege emerges as a thinker who has principled reasons for challenging the very assumptions and motivations that animate philosophers to dispute these doctrines. This lucidly written and accessible book will generate controversy among all readers with an interest in epistemology, philosophy of language, history of philosophy, and the philosophy of mathematics. (shrink)

In this paper it is contended, against a challenging recent interpretation of Frege, that Frege should be credited with the first semirigorous formulation of semantic theory. It is argued that the considerations advanced against this contention suffer from two kinds of error. The first involves the attribution to Frege of a skeptical attitude towards the truth-predicate. The second involves the sort of justification which these arguments assume a classical semantic theory attempts to provide. Finally, it is shown that Frege was (...) in fact mindful of the need for the relevant sort of justification. (shrink)

First published in 1937. Routledge is an imprint of Taylor & Francis, an informa company.

First published in 1903, _Principles of Mathematics_ was Bertrand Russell’s first major work in print. It was this title which saw him begin his ascent towards eminence. In this groundbreaking and important work, Bertrand Russell argues that mathematics and logic are, in fact, identical and what is commonly called mathematics is simply later deductions from logical premises. Highly influential and engaging, this important work led to Russell’s dominance of analytical logic on western philosophy in the twentieth century.

Written by Anthony Kenny, a leading figure in contemporary philosophy, this volume guides the reader through a concise and accessible explanation and assessment of Frege's radical and lasting contributions to our understanding of language, meaning, and the foundations of arithmetic.

This presentation of a system of propositional logic is a foundational paper for systems of illocutionary logic. The language contains the illocutionary force operators '' for assertion and ' ' for supposition. Sentences occurring in proofs of the deductive system must be prefixed with one of these operators, and rules of take account of the forces of the sentences. Two kinds of semantic conditions are investigated; familiar truth conditions and commitment conditions. Accepting a statement A or rejecting A commits a (...) person to accepting some statements (the symbol '' marks this value), to rejecting some statements (), and will leave the person uncommitted with respect to others (). Commitment valuations assign the values to sentences of ; such a valuation is conceived as reflecting the beliefs/knowledge of a particular person. This paper explores the relations between truth conditions and commitment conditions, and between semantic concepts defined in terms of these conditions. (shrink)

Controversy remains over exactly why Frege aimed to estabish logicism. In this essay, I argue that the most influential interpretations of Frege's motivations fall short because they misunderstand or neglect Frege's claims that axioms must be self-evident. I offer an interpretation of his appeals to self-evidence and attempt to show that they reveal a previously overlooked motivation for establishing logicism, one which has roots in the Euclidean rationalist tradition. More specifically, my view is that Frege had two notions of self-evidence. (...) One notion is that of a truth being foundationally secure, yet not grounded on any other truth. The second notion is that of a truth that requires only clearly grasping its content for rational, a priori justified recognition of its truth. The overarching thesis I develop is that Frege required that axioms be self-evident in both senses, and he relied on judging propositions to be self-evident as part of his fallibilist method for identifying a foundation of arithmetic. Consequently, we must recognize both notions in order to understand how Frege construes ultimate foundational proofs, his methodology for discovering and identifying such proofs, and why he thought the propositions of arithmetic required proof. (shrink)