Frege's notations what they are and how they mean / [electronic resource] :

• 作者： Landini, Gregory.
• 其他作者：
  • Palgrave Connect (Online service)
• 其他題名：
  • History of analytic philosophy
• 出版： Houndmills, Basingstoke, Hampshire ;New York : Palgrave Macmillan
• 叢書名： History of analytic philosophy
• 主題： Frege, Gottlob, 1848-1925. , Proof theory. , Mathematical notation. , Logic, Symbolic and mathematical , MATHEMATICS / Infinity , MATHEMATICS / Logic , Electronic books.
• ISBN： 9780230360150 (electronic bk.) 、 0230360157 (electronic bk.) 、 9780230247741 (Cloth) 、 0230247741 (Cloth) 、 9786613440099 、 6613440094
• FIND@SFXID: CGU
• 資料類型: 電子書
• 內容註: Includes bibliographical references and index. Series Editor's Foreword -- Preface -- Author's Note on the Use of Modern Logical Notations -- Abbreviations of Works by Gottlob Frege -- Introduction -- Frege's Basic Logics (without Wertverlaufe) -- The Ancestral -- Wertverlaufe -- Analysis and Recomposition -- Engaging Problems -- References -- Further Reading -- Index.
• More
• 摘要註: Frege's Grundgesetze (1893) hoped to provide a foundation for arithmetic in logic. The book offers a new approach to reading Frege's notations that adheres to the modern view that terms and well-formed formulas are disjoint syntactic categories. Where ? is any function term (open or closed), Frege's +? is a well-formed formula. On this new approach, we can at last read Frege's notations in their original form. And when we do, striking new solutions to many of the outstanding problems of interpreting his philosophy are revealed. The book argues that Frege's wertver�lufe are function-correlates. Function correlation must be given by an identity. Its import is lost in its translation as biconditional, but it is the conceptual linchpin of Frege's philosophy of arithmetic. When faced with Russell's 1901 paradox of the class of all classes not members of themselves, Frege proposed a way out and published it in an appendix to Grungesetze's second Volume. The proposal has bewildered readers ever since, and it seems incompatible with the notion of a class in the logical sense (as an extension). The book argues that the bewilderment is produced by unfaithful translations of the logic of Frege's conceptual-notation. Though Frege's way out fails, his theory of function-correlation is not a theory of classes, and logical restrictions on correlation can be found. Function-correlation, though it has been lost and forgotten in modern translations of Frege's work, is the key to unraveling the many outstanding problems of interpreting Frege's philosophy of arithmetic.
• 讀者標籤：

  需登入
• 引用連結：

  Copy Link
• 目前引用數
• Share: