Like Werner Pluhar's distinguished translation of _Critique of Judgment_, this new rendering of _Critique of Pure Reason_ reflects the elegant achievement of a master translator. This richly annotated volume offers translations of the complete texts of both the First and Second editions, as well as Kant's own notes. Extensive editorial notes by Werner Pluhar and James Ellington supply explanatory and terminological comments, translations of Latin and other foreign expressions, variant readings, cross-references to other passages in the text and in other (...) writings of Kant, and references to secondary works. An extensive bibliography, glossary, and detailed index are included. Patricia Kitcher's illuminating Introduction provides a roadmap to Kant's abstract and complex argumentation by firmly locating his view in the context of eighteenth-century--and current--attempts to understand the nature of the thinking mind and its ability to comprehend the physical universe. (shrink)

This volume contains English translations of Frege's early writings in logic and philosophy and of relevant reviews by other leading logicians. Professor Bynum has contributed a biographical essay, introduction, and extensive bibliography.

This is the first complete English translation of Gottlob Frege's Grundgesetze der Arithmetik (1893 and 1903), with introduction and annotation. As the culmination of his ground-breaking work in the philosophy of logic and mathematics, Frege here tried to show how the fundamental laws of arithmetic could be derived from purely logical principles.

Tyler Burge presents an original study of the most primitive ways in which individuals represent the physical world. By reflecting on the science of perception and related psychological and biological sciences, he gives an account of constitutive conditions for perceiving the physical world, and thus aims to locate origins of representational mind.

In his paper on ‘Frege's Theory of Sense and Reference’ Saul Kripke remarks: “Like the present account, Künne stresses that for Frege times, persons, etc. can be part of the expression of the thought. However, his reading is certainly not mine in significant respects . . .”. On both counts, he is right. As regards the differences between our readings, in some respects I shall confess to having made a mistake, in several others I shall remain stubbornly unmoved. Thus I (...) shall insist on the need for distinguishing Fregean sense from linguistic (lexico-grammatical) meaning, I shall resist Kripke's function-theoretic account of ‘hybrid’ thought-expressions, and I shall deplore his transformation of Gottlob Frege into Gottrand Fressell. As regards this transformation, I shall argue that some of the main points Kripke wants to drive home do not depend on it. (shrink)

Equality1 gives rise to challenging questions which are not altogether easy to answer. Is it a relation? A relation between objects, or between names or signs of objects? In my Begriffsschrift I assumed the latter. The reasons which seem to favour this are the following: a = a and a = b are obviously statements of differing cognitive value; a = a holds a priori and, according to Kant, is to be labeled analytic, while statements of the form a = (...) b often contain very valuable extensions of our knowledge and cannot always be established a priori. The discovery that the rising sun is not new every morning, but always the same, was one of the most fertile astronomical discoveries. Even to-day the identification of a small planet or a comet is not always a matter of course. Now if we were to regard equality as a relation between that which the names ‘a’ and ‘b’ designate, it would seem that a = b could not differ from a = a (i.e. provided a = b is true). A relation would thereby be expressed of a thing to itself, and indeed one in which each thing stands to itself but to no other thing. What is intended to be said by a = b seems to be that the signs or names ‘a’ and ‘b’ designate the same thing, so that those signs themselves would be under discussion; a relation between them would be asserted. But this relation would hold between the names or signs only in so far as they named or designated something. It would be mediated by the connexion of each of the two signs with the same designated thing. But this is arbitrary. Nobody can be forbidden to use any arbitrarily producible event or object as a sign for something. In that case the sentence a = b would no longer refer to the subject matter, but only to its mode of designation; we would express no proper knowledge by its means. But in many cases this is just what we want to do. If the sign ‘a’ is distinguished from the sign ‘b’ only as object (here, by means of its shape), not as sign (i.e. not by the manner in which it designates something), the cognitive value of a = a becomes essentially equal to that of a = b, provided a = b is true.. (shrink)

Here, Bob Hale and Crispin Wright assemble the key writings that lead to their distinctive neo-Fregean approach to the philosophy of mathematics. In addition to fourteen previously published papers, the volume features a new paper on the Julius Caesar problem; a substantial new introduction mapping out the program and the contributions made to it by the various papers; a section explaining which issues most require further attention; and bibliographies of references and further useful sources. It will be recognized as the (...) most powerful presentation yet of a neo-Fregean program. (shrink)

This is the first single-volume edition and translation of Frege's philosophical writings to include his seminal papers as well as substantial selections from ...

This junior/senior level text is devoted to a study of first-order logic and its role in the foundations of mathematics: What is a proof? How can a proof be justified? To what extent can a proof be made a purely mechanical procedure? How much faith can we have in a proof that is so complex that no one can follow it through in a lifetime? The first substantial answers to these questions have only been obtained in this century. The most (...) striking results are contained in Goedel's work: First, it is possible to give a simple set of rules that suffice to carry out all mathematical proofs; but, second, these rules are necessarily incomplete - it is impossible, for example, to prove all true statements of arithmetic. The book begins with an introduction to first-order logic, Goedel's theorem, and model theory. A second part covers extensions of first-order logic and limitations of the formal methods. The book covers several advanced topics, not commonly treated in introductory texts, such as Trachtenbrot's undecidability theorem. Fraissé's elementary equivalence, and Lindstroem's theorem on the maximality of first-order logic. (shrink)

This volume collects thirteen papers by one of the leading philosophers of his generation, who died prematurely in 1980.

Frege's theory of indirect contexts and the shift of sense and reference in these contexts has puzzled many. What can the hierarchy of indirect senses, doubly indirect senses, and so on, be? Donald Davidson gave a well-known 'unlearnability' argument against Frege's theory. The present paper argues that the key to Frege's theory lies in the fact that whenever a reference is specified (even though many senses determine a single reference), it is specified in a particular way, so that giving a (...) reference implies giving a sense; and that one must be 'acquainted' with the sense. It is argued that an indirect sense must be 'immediately revelatory' of its reference. General principles for Frege's doctrine of sense and reference are sated, for both direct and indirect quotation, to be understood iteratively. I also discuss Frege's doctrine of tensed and first person statements in the light of my analysis. The views of various other authors are examined. The conclusion is to ascribe to Frege an implicit doctrine of acquaintance similar to that of Russell. (shrink)

One particular topic in the literature on Frege’s conception of sense relates to two apparently contradictory theses held by Frege: the isomorphism of thought and language on one hand and the expressibility of a thought by different sentences on the other. I will divide the paper into five sections. In (1) I introduce the problem of the tension in Frege’s thought. In (2) I discuss the main attempts to resolve the conflict between Frege’s two contradictory claims, showing what is wrong (...) with some of them. In (3), I analyze where, in Frege’s writings and discussions on sense identity, one can find grounds for two different conceptions of sense. In (4) I show how the two contradictory theses held by Frege are connected with different concerns, compelling Frege to a constant oscillation in terminology. In (5) I summarize two further reasons that prevented Frege from making the distinction between two conceptions of sense clear: (i) the antipsychologism problem and (ii) the overlap of traditions in German literature contemporary to Frege about the concept of value. I conclude with a hint for a reconstruction of the Fregean notion of ‘thought’ which resolves the contradiction between his two theses. (shrink)

The goal of this paper is a comprehensive analysis of basic reasoning patterns that are characteristic of vague predicates. The analysis leads to rigorous reconstructions of the phenomena within formal systems. Two basic features are dealt with. One is tolerance: the insensitivity of predicates to small changes in the objects of predication (a one-increment of a walking distance is a walking distance). The other is the existence of borderline cases. The paper shows why these should be treated as different, though (...) related phenomena. Tolerance is formally reconstructed within a proposed framework of contextual logic, leading to a solution of the Sorites paradox. Borderline-vagueness is reconstructed using certain modality operators; the set-up provides an analysis of higher order vagueness and a derivation of scales of degrees for the property in question. (shrink)

Contextuality is trivially pervasive: all human experience takes place in endlessly changing environments and inexorably moving time frames. In order to have any meaning, the changing items must be placed within a more stable setting, a framework that is not subject to the same kind of contextual change. Total contextuality collapses into chaos, or becomes ineffable. While basic learning is highly contextual (one learns by example), what is learned transcends the examples used in the learning. Perhaps, in a similar manner, (...) artistic expression transcends context by fully embracing it. In any case, a philosophical account of contextuality is itself stated in a more absolute mode, not necessarily a picture from an “eternal” view point, but at least one that avoids the contextuality which it describes. (shrink)

Translation of Frege's 'Über Begriff und Gegenstand' (1892). Translation by Peter Geach, revised by Max Black.

Now in a new edition, this volume updates Davidson's exceptional Inquiries into Truth and Interpretation (1984), which set out his enormously influential philosophy of language. The original volume remains a central point of reference, and a focus of controversy, with its impact extending into linguistic theory, philosophy of mind, and epistemology. Addressing a central question--what it is for words to mean what they do--and featuring a previously uncollected, additional essay, this work will appeal to a wide audience of philosophers, linguists, (...) and psychologists. (shrink)

A transcript of three lectures, given at Princeton University in 1970, which deals with (inter alia) debates concerning proper names in the philosophy of language.

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)

Frege’s writings contain arguments for the thesis (i) that a thought expressed by a sentence S is a structured object whose composition pictures the composition of S, and for the thesis (ii) that a thought is an unstructured object. I will argue that Frege’s reasons for both (i) and (ii) are strong. Frege’s explanation of the difference in sense between logically equivalent sentences rests on assumption (i), while Frege’s claim that the same thought can be decomposed differently makes (ii) plausible. (...) Thoughts are supposed to do work that requires that they be structured and work that requires that they be unstructured. But this cannot be! While the standard response to this problem is to reject either (i) or (ii), I propose a charitable repair in the spirit of Frege’s theory that accepts both. The key idea can be found in Frege’s Basic Laws of Arithmetic(BL, GGA). Frege argues that the thought expressed by a sentence is determined by the truth-conditions that can be derived from the semantic axioms for the sentence constituents. The fact that the same axiomatic truth-condition can be derived in different ways from different semantic axioms suggests a Fregean solution of the dilemma: A thought is a type that is instantiated by all sequences of senses (decomposed thoughts) that have the same axiomatic truth-conditions. This allows for multiple decomposability of the same thought (for different decomposed thoughts can have the same axiomatic truth-conditions) and for a notion of containment (the decomposed thought contains those senses whose semantic axioms are needed in the derivation of the truth-conditions). My proposal combines the virtues of (i) and (ii) without inheriting their vices. (shrink)

The Tractatus Logico-Philosophicus first appeared in 1921 and was the only philosophical work that Ludwig Wittgenstein (1889-1951) published during his lifetime. Written in short, carefully numbered paragraphs of extreme compression and brilliance, it immediately convinced many of its readers and captured the imagination of all. Its chief influence, at first, was on the Logical Positivists of the 1920s and 1930s, but many other philosophers were stimulated by its philosophy of language, finding attractive, even if ultimately unsatisfactory, its view that propositions (...) were pictures of reality. Perhaps most of all, its own author, after his return to philosophy in the late 1920s, was fascinated by its vision of an inexpressible, crystalline world of logical relationships. C.K. Ogden's translation of the Tractatus Logico-Philosophicus has a unique provenance. As revealed in Letters of C.K. Ogden (1973) and in correspondence in The Times Literary Supplement , Wittgenstein, Ramsey and Moore all worked with Ogden on the translation, which had Wittgenstein's complete approval. The very name Tractatus Logico-Philosophicus was of Ogden's devising; and there is very strong feeling among philosophers that, among the differing translations of this work, Ogden's is the definitive text - and Wittgenstein's version of the English equivalent of his Logisch-Philosophische Abhandlung. (shrink)

Tyler Burge presents a collection of his seminal essays on Gottlob Frege (1848-1925), who has a strong claim to be seen as the founder of modern analytic philosophy, and whose work remains at the centre of philosophical debate today. Truth, Thought, Reason gathers some of Burge's most influential work from the last twenty-five years, and also features important new material, including a substantial introduction and postscripts to four of the ten papers. It will be an essential resource for any historian (...) of modern philosophy, and for anyone working on philosophy of language, epistemology, or philosophical logic. (shrink)

Michael Dummett has long argued that Frege is committed to recognizing a distinction between two sorts of analysis of propositional contents: 'analysis', which reveals the entities that one must grasp in order to apprehend a given propositional content; and 'decomposition', which is used in recognizing the validity of certain inferences. Whereas any propositional content admits of a unique ultimate 'analysis' into simple constituents, it also admits of distinct 'decompositions', no one of which is ultimately privileged over the others. I argue (...) that although Russell accepts this distinction between analysis and decomposition, Frege does not. In particular, I consider claims which Dummett makes regarding how 'analysis' and 'decomposition' are related to two different models Frege at least suggests in discussing the composition of thoughts, the part/whole model and the function/argument model; and I argue that in each case, while Russell accepts views which Dummett attributes to Frege, Frege does not. (shrink)

This volume contains all of Frege's extant unpublished writings on philosophy and logic other than his correspondence, written at various stages of his career.

I shall propose five theses on de re states and attitudes. To be a de re state or attitude is to bear a peculiarly direct epistemic and representational relation to a particular referent in perception or thought. I will not dress this bare statement here. The fifth thesis tries to be less coarse. The first four explicate and restrict context- bound, singular, empirical representation, which constitutes a significant and central type of de re state or attitude.

A theory of understanding -- Truth's role in understanding -- Critique of justificationist and evidential accounts -- Do pragmatist views avoid this critique? -- A realistic account -- How evidence and truth are related -- Three grades of involvement of truth in theories of understanding -- Anchoring -- Next steps -- Reference and reasons -- The main thesis and its location -- Exposition and four argument-types -- Significance and consequences of the main thesis -- The first person as a case (...) study -- Fully self-conscious thought -- Immunity to error through misidentification relative to the first person -- Can a use of the first-person concept fail to refer? -- Some conceptual roles are distinctive but not fundamental -- Implicit conceptions -- Implicit conceptions : motivation and examples -- Deflationary readings rejected -- The phenomenon of new principles -- Explanation by implicit conceptions -- Rationalist aspects -- Consequences : rationality, justification, understanding -- Transitional -- Applications to mental concepts -- Conceiving of conscious states -- Understanding and identity in other cases -- Constraints on legitimate explanations in terms of identity -- Why is the subjective case different? -- Attractions of the interlocking account -- Tacit knowledge, and externalism about the internal -- Is this the myth of the given? -- Knowledge of others' conscious states -- Communicability : between Frege and Wittgenstein -- Conclusions and significance -- 'Another I' : representing perception and action -- The core rule -- Modal status and its significance -- Comparisons -- The possession-condition and some empirical phenomena -- The model generalized -- Wider issues -- Mental action -- The distinctive features of action-awareness -- The nature and range of mental actions -- The principal hypothesis and its grounds -- The principal hypothesis : distinctions and consequences -- How do we know about our own mental actions? -- Concepts of mental actions and their epistemological significance -- Is this account open to the same objections as perceptual models of introspection? -- Characterizing and unifying schizophrenic experience -- The first person in the self-ascription of action -- Rational agency and action-awareness -- Representing thoughts -- The puzzle -- A proposal -- How the solution treats the constraints that generate the puzzle -- Relation to single-level treatments -- An application : reconciling externalism with distinctive self-knowledge. (shrink)

Cognition Through Understanding presents a selection of Tyler Burge's essays that use epistemology to illumine powers of mind. The essays focus on epistemic warrants that differ from those warrants commonly discussed in epistemology--those for ordinary empirical beliefs and for logical and mathematical beliefs. The essays center on four types of cognition warranted through understanding--self-knowledge, interlocution, reasoning, and reflection. Burge argues that by reflecting on warrants for these types of cognition, one better understands cognitive powers that are distinctive of persons, and (...) of human beings. The collection presents three previously unpublished independent essays, in addition to substantial, retrospective commentary. The retrospective commentary invites the reader to make connections that were not fully in mind when the essays were written. (shrink)

In both his earlier and later writings, Frege claims that distinct sentences can express the same thought, and that there is a correspondence between the parts of a thought and the parts of the sentence expressing it. The joint assertion of these claims gives rise to a problem: how can there be a correspondence between the parts of one thought and the parts of distinct sentences? This paper discusses Michael Dummett's and Gregory Currie's interpretations of Frege's views on the analysis (...) of thoughts and proposes an alternative interpretation which answers the above problem and provides some insight into Frege's epistemology of thoughts and his theory of human communication. (shrink)