Frege’s Notations [electronic resource] : What They Are and How They Mean /
Landini, Gregory.author.
Beaney, Michael.author.
A new approach to reading Frege's notations that adheres to the modern view that terms and well-formed formulas are any disjoint syntactic categories. On this new approach, we can at last read Frege's notations in their original form revealing striking new solutions to many of the outstanding problems of interpreting his philosophy.
Description based upon print version of record.
Cover; Title; Copyright; Dedication; Contents; Preface; Author's Note on the Use of Modern Logical Notations; 1 Introduction; 2 Frege's Basic Logics (without Wertverläufe); 2.1 Quantification theory versus CPLogic; 2.2 Sentences are not names; 2.3 Judgeable contents; 2.4 Basic Law IV; 2.5 Begriffsschrift and Grundlagen; 2.6 Grundgesetze; 2.7 Derivations of some theorems in the basic logic of the Grundgesetze; 3 The Ancestral; 3.1 The ancestral for objects; 3.2 Proof of induction within CPLogic; 3.3 Cardinality as a second-level concept; 3.4 The problem of infinity; 4 Wertverläufe
4.1 Numbers as objects4.2 Grundlagen and Hume's principle; 4.3 Missing IV in the Grundlagen; 4.4 I believe that for 'extension of the concept' we could write simply 'concept'; 5 Analysis and Recomposition; 5.1 Free variables and the turnstile; 5.2 Parts of senses and the informativity of logic; 5.3 Oratio Obliqua; 5.4 Russell's paradox of Sinn; 6 Engaging Problems; 6.1 Urelements; 6.2 The Ins and Outs of Frege's Way Out; 6.3 The argument for referentiality; 6.4 Whence the contradiction?; 6.5 Frege's Academy; Notes; Bibliography; Index
Includes bibliographical references and index.
A new approach to reading Frege's notations that adheres to the modern view that terms and well-formed formulas are any disjoint syntactic categories. On this new approach, we can at last read Frege's notations in their original form revealing striking new solutions to many of the outstanding problems of interpreting his philosophy.
Frege, Gottlob, 1848-1925.
Philosophy.
Mathematics—Philosophy.
Logic.
Modern philosophy.
History of Philosophy.
Philosophy of Mathematics.
Logic.
Modern Philosophy.