Die von Jens Timmermann besorgte Neuausgabe innerhalb der Philosophischen Bibliothek bietet den vollständigen Wortlaut der beiden Originalausgaben von 1781 und 1787. Der Kantische Text wurde unter Wahrung der Interpunktion und sprachlicher Eigenheiten sehr behutsam an die heutigen orthographischen Regeln angeglichen. Die semantisch bedeutenden Korrekturvorschläge späterer Herausgeber (nicht nur der Akademie-Ausgabe) sind, wo sie nicht in den Text Aufnahme gefunden haben, am Fuß der Seite verzeichnet. Alle wesentlichen Unterschiede zwischen den Originalausgaben sind durch Kursivdruck hervorgehoben, größere Abweichungen ganzer Textstücke - etwa (...) in der Einleitung und im Kapitel über Phaenomena und Noumena - wurden synoptisch gegenübergestellt, so daß Art und Umfang der Umarbeitung unmittelbar abgelesen werden können. Die durchgängig neu bearbeitete Studienausgabe folgt in den Grundprinzipien der seit 1926 in Forschung und Lehre maßgeblichen Ausgabe von Raymund Schmidt, die hiermit abgelöst wird. Sie wird ergänzt durch eine umfangreiche Bibliographie von Heiner Klemme sowie durch einen ausführlichen Personen- und Sachindex. (shrink)

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.

This book aims to develop certain aspects of Gottlob Frege’s theory of meaning, especially those relevant to intensional logic. It offers a new interpretation of the nature of senses, and attempts to devise a logical calculus for the theory of sense and reference that captures as closely as possible the views of the historical Frege. (The approach is contrasted with the less historically-minded Logic of Sense and Denotation of Alonzo Church.) Comparisons of Frege’s theory with those of Russell and others (...) are given. It is in the end shown that developing Frege’s theory in these ways reveals serious problems hitherto largely unnoticed, including those possibly rendering a Fregean intensional logic inconsistent even if his naïve class theory is excluded. (shrink)

Peter Hanks defends a new theory about the nature of propositional content, according to which the basic bearers of representational properties are particular mental or spoken actions. He explains the unity of propositions and provides new solutions to a long list of puzzles and problems in philosophy of language.

According to Frege, neither demonstratives nor indexicals are singular terms; only a demonstrative together with ‘circumstances accompanying its utterance’ has sense and singular reference. While this view seems defensible for demonstratives, where demonstrations serve as non-verbal signs, indexicals, especially pure indexicals like ‘I’, ‘here’, and ‘now’, seem not to be in need of completion by circumstances of utterance. In this paper I argue on the basis of independent reasons that indexicals are in fact in need of completion; I identify the (...) completers as uses of circumstances of utterance by the speaker; and I show how these uses together with the utterance of indexical sentences express thoughts. The starting point of the paper is a criticism of Kripke’s and Künne’s alternative treatment of indexicals in Frege’s framework. (shrink)

An approach to explaining the nature and source of logic and its laws with a rich historical tradition takes the laws of logic to be laws of thought. This view seems intuitively compelling, after all, logic seems to be intimately related with how we think. But how exactly should we understand it? And what arguments can we give in favour? I will propose one line of argument for the claim that the laws of logic are laws of thought. I will (...) motivate the claim that there is a certain phenomenon, namely, that there are logical principles which are immune to rational doubt. I will then give an argument to the best explanation; I will argue that the best explanation of this phenomenon is to take the laws of logic to be constitutive-normative laws of thought. The proposal, and some responses to potential objections, will have a notably Kantian flavour. (shrink)

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.

Danielle Macbeth offers a new account of mathematical practice as a mode of inquiry into objective truth, and argues that understanding the nature of mathematical practice provides us with the resources to develop a radically new conception of ourselves and our capacity for knowledge of objective truth.

An implication is a proposition, a consequence is a relation between propositions, and an inference is act of passage from certain premise-judgements to another conclusion-judgement: a proposition is true, a consequence holds, whereas an inference is valid. The paper examines interrelations, differences, refinements and linguistic renderings of these notions, as well as their history. The truth of propositions, respectively the holding of consequences, are treated constructively in terms of verification-objects. The validity of an inference is elucidated in terms of the (...) existence of a chain of immediately evident steps linking premises and conclusion. (shrink)

According to Frege, judgement is the ‘logically primitive activity’. So what is judgement? In his mature work, he characterizes judging as ‘acknowledging the truth’ (‘Anerkennen der Wahrheit’). Frege’s remarks about judging as acknowledging the truth of a thought require further elaboration and development. I will argue that the development that best suits his argumentative purposes takes acknowledging the truth of a thought to be a non-propositional attitude like seeing an object; it is a mental relation between a thinker, a thought, (...) and an object, namely a truth-value. (shrink)

This is a thorough treatment of first-order modal logic. The book covers such issues as quantification, equality (including a treatment of Frege's morning star/evening star puzzle), the notion of existence, non-rigid constants and function symbols, predicate abstraction, the distinction between nonexistence and nondesignation, and definite descriptions, borrowing from both Fregean and Russellian paradigms.

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

The book features the complete text of the Notesi in a critical edition, with a detailed discussion of the circumstances in which they were compiled, leading to ...

Parts of the book date back to and some of the concluding remarks on ethics and the will may have been composed still earlier, when Wittgenstein admired ...

Examines Frege's theory of judgement, according to which a judgement is, paradigmatically, the assertion that a particular object falls under a given concept. Throughout the book the aim is to both state Frege's views clearly and concisely, and to defend, modify or reject these where appropriate.

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.

The great three-volume Principia Mathematica is deservedly the most famous work ever written on the foundations of mathematics. Its aim is to deduce all the fundamental propositions of logic and mathematics from a small number of logical premisses and primitive ideas, and so to prove that mathematics is a development of logic. This abridged text of Volume I contains the material that is most relevant to an introductory study of logic and the philosophy of mathematics (more advanced students will wish (...) to refer to the complete edition). It contains the whole of the preliminary sections (which present the authors' justification of the philosophical standpoint adopted at the outset of their work); the whole of Part 1 (in which the logical properties of propositions, propositional functions, classes and relations are established); section 6 of Part 2 (dealing with unit classes and couples); and Appendices A and B (which give further developments of the argument on the theory of deduction and truth functions). (shrink)

In this work Dummett discusses, section by section, Frege's masterpiece The Foundations of Arithmetic and Frege's treatment of real numbers in the second volume ...

Analytic philosophy has become the dominant philosophical tradition in the English-speaking world. This book illuminates that tradition through a historical examination of a crucial period in its formation: the rejection of Idealism by Bertrand Russell and G.E. Moore at the beginning of the twentieth century, and the subsequent development of Russell's thought in the period before the First World War.

Attention to the conversational role of alethic terms seems to dominate, and even sometimes exhaust, many contemporary analyses of the nature of truth. Yet, because truth plays a role in judgment and assertion regardless of whether alethic terms are expressly used, such analyses cannot be comprehensive or fully adequate. A more general analysis of the nature of truth is therefore required – one which continues to explain the significance of truth independently of the role alethic terms play in discourse. We (...) undertake such an analysis in this paper; in particular, we start with certain elements from Kant and Frege, and develop a construct of truth as a normative modality of cognitive acts (e.g., thought, judgment, assertion). Using the various biconditional T-schemas to sanction the general passage from assertions to (equivalent) assertions of truth, we then suggest that an illocutionary analysis of truth can contribute to its locutionary analysis as well, including the analysis of diverse constructions involving alethic terms that have been largely overlooked in the philosophical literature. Finally, we briefly indicate the importance of distinguishing between alethic and epistemic modalities. (shrink)

One of the most striking differences between Frege's Begriffsschrift (logical system) and standard contemporary systems of logic is the inclusion in the former of the judgement stroke: a symbol which marks those propositions which are being asserted , that is, which are being used to express judgements . There has been considerable controversy regarding both the exact purpose of the judgement stroke, and whether a system of logic should include such a symbol. This paper explains the intended role of the (...) judgement stroke in a way that renders it readily comprehensible why Frege insisted that this symbol was an essential part of his logical system. The key point here is that Frege viewed logic as the study of inference relations amongst acts of judgement , rather than – as in the typical contemporary view – of consequence relations amongst certain objects (propositions or well-formed formulae). The paper also explains why Frege's use of the judgement stroke is not in conflict with his avowed anti-psychologism, and why Wittgenstein's criticism of the judgement stroke as 'logically quite meaningless' is unfounded. The key point here is that while the judgement stroke has no content , its use in logic and mathematics is subject to a very stringent norm of assertion. (shrink)

In the opening to his late essay, Der Gedanke, Frege asserts without qualification that the word "true" points the way for logic. But in a short piece from his Nachlass entitled "My Basic Logical Insights", Frege writes that the word true makes an unsuccessful attempt to point to the essence of logic, asserting instead that "what really pertains to logic lies not in the word "true" but in the assertoric force with which the sentence is uttered". Properly understanding what Frege (...) takes to be at issue here is crucial for understanding his conception of logic and, in particular, what he takes to be its normative status vis-à-vis judgement, assertion, and inference. In this paper, I focus my attention on clarifying the latter claim and Frege's motivations for making it, exposing what I take to be a fundamental tension in Frege's conception of logic. Finally, I discuss whether Frege's deployment of the horizontal in his mature Begriffsschrift helps to resolve this tension. (shrink)

Gottlob Frege and Ludwig Wittgenstein (the later Wittgenstein) are often seen as polar opposites with respect to their fundamental philosophical outlooks: Frege as a paradigmatic "realist", Wittgenstein as a paradigmatic "anti-realist". This opposition is supposed to find its clearest expression with respect to mathematics: Frege is seen as the "arch-platonist", Wittgenstein as some sort of "radical anti-platonist". Furthermore, seeing them as such fits nicely with a widely shared view about their relation: the later Wittgenstein is supposed to have developed his (...) ideas in direct opposition to Frege. The purpose of this paper is to challenge these standard assumptions. I will argue that Frege's and Wittgenstein's basic outlooks have something crucial in common; and I will argue that this is the result of the positive influence Frege had on Wittgenstein. (shrink)

The paper argues that Wittgenstein's criticisms of Frege and Russell's assertion sign are, a bottom, criticisms of a common flaw in these philosophers' early conceptions of the proposition. Each philosopher offers an account of the proposition that *seems* to suggest that a sentence cannot get so far as to say something without the addition of the assertion sign. This leads to the mistaken idea that there is a coherent notion of "logical assertion.".

In this paper, I consider two curious subsystems ofFrege's Grundgesetze der Arithmetik: Richard Heck's predicative fragment H, consisting of schema V together with predicative second-order comprehension (in a language containing a syntactical abstraction operator), and a theory T in monadic second-order logic, consisting of axiom V and 1 1-comprehension (in a language containing anabstraction function). I provide a consistency proof for the latter theory, thereby refuting a version of a conjecture by Heck. It is shown that both Heck and T (...) prove the existence of infinitely many non-logical objects (T deriving,moreover, the nonexistence of the value-range concept). Some implications concerning the interpretation of Frege's proof of referentiality and the possibility of classifying any of these subsystems as logicist are discussed. Finally, I explore the relation of T toCantor's theorem which is somewhat surprising. (shrink)

Does the English demonstrative pronoun 'that' (including complex demonstratives of the form 'that F') have sense and reference? Unlike many other philosophers of language, Frege answers with a resounding 'No'. He held that the bearer of sense and reference is a so-called 'hybrid proper name' (Künne) that contains the demonstrative pronoun and specific circumstances of utterance such as glances and acts of pointing. In this paper I provide arguments for the thesis that demonstratives are hybrid proper names. After outlining why (...) Frege held the hybrid proper name view, I will defend it against recent criticism, and argue that it is superior to views that take demonstrative pronouns to be the bearer of semantic properties. (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)