Frege's Detour

Frege's Detour PDF Author: John Perry
Publisher: Oxford University Press
ISBN: 0192542087
Category : Philosophy
Languages : en
Pages : 168

Get Book Here

Book Description
John Perry offers a rethinking of Gottlob Frege's seminal contributions to philosophy of language. Frege's innovations provided the basis of modern logic, but his influence in other areas should not be understated. For instance, the view that he developed in "On Sense and Reference", the most studied essay in the philosophy of language, dominated twentieth-century work in the field and continues to be very influential. Perry explains and charts the development of Frege's views in this area, and argues that his doctrine of indirect reference directed philosophy of language on a long detour from which only now can we emerge. Perry advocates a move away from indirect reference and presents an alternative framework which does not require the abandoning of circumstances in the references of sentences.

The Foundations of Frege's Logic

The Foundations of Frege's Logic PDF Author: Pavel Tichy
Publisher: Walter de Gruyter
ISBN: 3110849267
Category : Philosophy
Languages : en
Pages : 320

Get Book Here

Book Description


From Frege to Wittgenstein

From Frege to Wittgenstein PDF Author: Erich H. Reck
Publisher: Oxford University Press
ISBN: 0198030533
Category : Philosophy
Languages : en
Pages : 488

Get Book Here

Book Description
Analytic philosophy--arguably one of the most important philosophical movements in the twentieth century--has gained a new historical self-consciousness, particularly about its own origins. Between 1880 and 1930, the most important work of its founding figures (Frege, Russell, Moore, Wittgenstein) not only gained attention but flourished. In this collection, fifteen previously unpublished essays explore different facets of this period, with an emphasis on the vital intellectual relationship between Frege and the early Wittgenstein.

Logic's Lost Genius

Logic's Lost Genius PDF Author: Eckart Menzler-Trott
Publisher: American Mathematical Soc.
ISBN: 1470428121
Category : Mathematics
Languages : en
Pages : 466

Get Book Here

Book Description
Gerhard Gentzen (1909–1945) is the founder of modern structural proof theory. His lasting methods, rules, and structures resulted not only in the technical mathematical discipline called “proof theory” but also in verification programs that are essential in computer science. The appearance, clarity, and elegance of Gentzen's work on natural deduction, the sequent calculus, and ordinal proof theory continue to be impressive even today. The present book gives the first comprehensive, detailed, accurate scientific biography expounding the life and work of Gerhard Gentzen, one of our greatest logicians, until his arrest and death in Prague in 1945. Particular emphasis in the book is put on the conditions of scientific research, in this case mathematical logic, in National Socialist Germany, the ideological fight for “German logic”, and their mutual protagonists. Numerous hitherto unpublished sources, family documents, archival material, interviews, and letters, as well as Gentzen's lectures for the mathematical public, make this book an indispensable source of information on this important mathematician, his work, and his time. The volume is completed by two deep substantial essays by Jan von Plato and Craig Smoryński on Gentzen's proof theory; its relation to the ideas of Hilbert, Brouwer, Weyl, and Gödel; and its development up to the present day. Smoryński explains the Hilbert program in more than the usual slogan form and shows why consistency is important. Von Plato shows in detail the benefits of Gentzen's program. This important book is a self-contained starting point for any work on Gentzen and his logic. The book is accessible to a wide audience with different backgrounds and is suitable for general readers, researchers, students, and teachers.

From Frege to Gödel

From Frege to Gödel PDF Author: Jean van Heijenoort
Publisher: Harvard University Press
ISBN: 0674257243
Category : Philosophy
Languages : en
Pages : 684

Get Book Here

Book Description
The fundamental texts of the great classical period in modern logic, some of them never before available in English translation, are here gathered together for the first time. Modern logic, heralded by Leibniz, may be said to have been initiated by Boole, De Morgan, and Jevons, but it was the publication in 1879 of Gottlob Frege’s Begriffsschrift that opened a great epoch in the history of logic by presenting, in full-fledged form, the propositional calculus and quantification theory. Frege’s book, translated in its entirety, begins the present volume. The emergence of two new fields, set theory and foundations of mathematics, on the borders of logic, mathematics, and philosophy, is depicted by the texts that follow. Peano and Dedekind illustrate the trend that led to Principia Mathematica. Burali-Forti, Cantor, Russell, Richard, and König mark the appearance of the modern paradoxes. Hilbert, Russell, and Zermelo show various ways of overcoming these paradoxes and initiate, respectively, proof theory, the theory of types, and axiomatic set theory. Skolem generalizes Löwenheim’s theorem, and he and Fraenkel amend Zermelo’s axiomatization of set theory, while von Neumann offers a somewhat different system. The controversy between Hubert and Brouwer during the twenties is presented in papers of theirs and in others by Weyl, Bernays, Ackermann, and Kolmogorov. The volume concludes with papers by Herbrand and by Gödel, including the latter’s famous incompleteness paper. Of the forty-five contributions here collected all but five are presented in extenso. Those not originally written in English have been translated with exemplary care and exactness; the translators are themselves mathematical logicians as well as skilled interpreters of sometimes obscure texts. Each paper is introduced by a note that sets it in perspective, explains its importance, and points out difficulties in interpretation. Editorial comments and footnotes are interpolated where needed, and an extensive bibliography is included.

Frege

Frege PDF Author: Michael Dummett
Publisher: Harvard University Press
ISBN: 9780674319318
Category : Mathematics
Languages : en
Pages : 756

Get Book Here

Book Description
No one has figured more prominently in the study of German philosopher Gottlob Frege than Michael Dummett. 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 analytic philosophy. Frege: Philosophy of Language remains indispensable for an understanding of contemporary philosophy. Harvard University Press is pleased to reissue this classic book in paperback.

The Cambridge Companion to Frege

The Cambridge Companion to Frege PDF Author: Tom Ricketts
Publisher: Cambridge University Press
ISBN: 0521624282
Category : Mathematics
Languages : en
Pages : 661

Get Book Here

Book Description
Offers a comprehensive and accessible exploration of the scope and importance of Gottlob Frege's work.

Contingent A Priori Truths

Contingent A Priori Truths PDF Author: Marco Ruffino
Publisher: Springer Nature
ISBN: 303086622X
Category : Philosophy
Languages : en
Pages : 230

Get Book Here

Book Description
This monograph offers a comprehensive study of contingent a priori truths. Building onto a theoretical framework developed by the philosopher and logician Saul Kripke, the author also presents a new approach to these truths. The first part of the book details the many theories on contingent a priori truths. The coverage examines the cases of Kripke and David Kaplan, Donnellan and the de re requirement, Evans and weak contingency, as well as Plantinga, Salmon, Soames, and the pseudo a priori. Overall, it provides a systematic discussion and critical review of all these many positions. Next, the author develops an alternative approach. His working hypothesis is that performative verbs must play a central role in Kripke’s examples, even if they do not show up at the surface structure of the corresponding sentences. This opens up an entirely new way of looking at Kripke’s cases and of treating them by exploring some aspects of the theory of illocutionary acts. His discussion also examines brute facts and institutional facts, indexicals and performatives, as well as Frege’s theory of definitions. Providing an authoritative exploration into contingent a priori truths, this book will be of interest to students, academics, and researchers in philosophy and logic.

Idealization XI: Historical Studies on Abstraction and Idealization

Idealization XI: Historical Studies on Abstraction and Idealization PDF Author:
Publisher: BRILL
ISBN: 9004333215
Category : Philosophy
Languages : en
Pages : 292

Get Book Here

Book Description
Discussions about abstraction are so important and so profound that this topic can hardly be neglected. It has inevitably cropped up again in various periods of philosophical enquiry. Despite these ancient roots and after the great debate that characterised the empirical and rationalistic tradition, interest in the problem has unfortunately been absent in large measure from the mainstream of mathematical logic and analytic philosophy. It seems that there is a gap between the epistemological theorization, in which it is difficult to find new insights on the problem of abstraction, and the historical studies concerning the development of philosophical thought. Such studies, however, present a more fertile ground for such insights. Here the reader will find presented for the first time a collection of papers about the topic, considered from an historical point of view together with an awareness of the need for building a bridge between historical research and theoretical speculation. Accordingly the volume consists of both general overviews which sketch the signifcance and the fortunes of abstraction in science, philosophy and logic (the first part) and historical case studies which focus on abstraction in particular thinkers (the second part). This volume is of interest for both general philosophers and historians of philosophy.

Frege and Fascism

Frege and Fascism PDF Author: Stephen D'Arcy
Publisher: Taylor & Francis
ISBN: 1040271162
Category : Political Science
Languages : en
Pages : 241

Get Book Here

Book Description
This book is the first to examine in minutiae the politics of Gottlob Frege (1848–1925), and his connections with various traditions of far-right and fascist thought. Frege was a philosopher of logic, language, and mathematics. But he also believed that one could reconcile the politics of the far right with a firm commitment to reason-guided inquiry and scientific objectivity. The fundamental claim of the text is that Gottlob Frege was, from the early 1890s to the mid-1920s, an anti-democratic, nationalist political thinker and that his political thought eventually took on a fascist character. This book makes no attempt to vilify or demonize Gottlob Frege, nor does it try to rescue him from criticism. It simply seeks to tell the truth about Frege’s descent into fascism: to document it in hitherto unprecedented detail; to situate it in the context of intellectual and political debates in early Weimar-era Germany; and to explain how it could have happened that someone so intelligent and so manifestly devoted to reason and logic could have embraced fascism with such unreserved enthusiasm. Frege and Fascism will be of interest to scholars of analytic philosophy, intellectual history, fascism, and anti-democratic thought.