**Author**: Richard G. Heck

**Publisher:** Oxford University Press

**ISBN:** 0199695644

**Category:** Mathematics

**Page:** 307

**View:** 7957

Skip to content
# Free eBooks PDF

## Frege's Theorem

Richard Heck explores a key idea in the work of the great philosopher/logician Gottlob Frege: that the axioms of arithmetic can be logically derived from a single principle. Heck uses the theorem to explore historical, philosophical, and technical issues in philosophy of mathematics and logic, relating them to key areas of contemporary philosophy.
## Gottlob Frege: Frege's philosophy of mathematics

This collection brings together recent scholarship on Frege, including new translations of German material which is made available to Anglophone scholars for the first time.
## Gottlob Frege: Frege's philosophy in context

This collection brings together recent scholarship on Frege, including new translations of German material which is made available to Anglophone scholars for the first time.
## Gottlob Frege: Frege's philosophy of logic

This collection brings together recent scholarship on Frege, including new translations of German material which is made available to Anglophone scholars for the first time.
## Frege's Philosophy of Mathematics

Widespread interest in Frege's general philosophical writings is, relatively speaking, a fairly recent phenomenon. But it is only very recently that his philosophy of mathematics has begun to attract the attention it now enjoys. This interest has been elicited by the discovery of the remarkable mathematical properties of Frege's contextual definition of number and of the unique character of his proposals for a theory of the real numbers. This collection of essays addresses three main developments in recent work on Frege's philosophy of mathematics: the emerging interest in the intellectual background to his logicism; the rediscovery of Frege's theorem; and the reevaluation of the mathematical content of The Basic Laws of Arithmetic. Each essay attempts a sympathetic, if not uncritical, reconstruction, evaluation, or extension of a facet of Frege's theory of arithmetic. Together they form an accessible and authoritative introduction to aspects of Frege's thought that have, until now, been largely missed by the philosophical community.
## The Reason's Proper Study

Bob Hale and Crispin Wright draw together here the key writings in which they have worked out their distinctive neo-Fregean approach to the philosophy of mathematics. The two main components in Frege's mathematical philosophy were his platonism and his logicism - the claims, respectively, that mathematics is a body of knowledge about independently existing objects, and that this knowledge may be acquired on the basis of general logical laws and suitable definitions. The central thesis ofthis collection is that Frege was - his own eventual recantation notwithstanding - substantially right in both claims. Where neo-Fregeanism principally differs from Frege is in taking a more optimistic view of the kind of contextual explanation (proceeding via what are now commonly called abstraction principles) of the fundamental concepts of arithmetic and analysis which Frege considered and rejected. On this basis, neo-Fregeanism promises defensible and attractive answers to some of the most important ontological and epistemological questions in 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 programme and the contributions made to it by the various papers; a postscript explaining which issues most require further attention; and bibliographies both of references and of further useful sources. The Reason's Proper Study will be recognized as the most powerful presentation yet of the neo-Fregean programme; it will prove indispensable reading not just to philosophers of mathematics but to all who are interested in the fundamental metaphysical and epistemological issues on which the programme impinges.
## Language, Thought, and Logic

In this exciting new collection, a distinguished international group of philosophers contribute new essays on central issues in philosophy of language and logic, in honor of Michael Dummett, one of the most influential philosophers of the late twentieth century. The essays are focused on areas particularly associated with Professor Dummett. Five are contributions to the philosophy of language, addressing in particular the nature of truth and meaning and the relation between language and thought. Two contributors discuss time, in particular the reality of the past. The last four essays focus on Frege and the philosophy of mathematics. The volume represents some of the best work in contemporary analytical philosophy.
## Logik und Mathematik

## Frege's Theory of Sense and Reference

This book provides a completely new and systematic account of Frege's philosophy by focusing on its cornerstone: the theory of sense and reference.
## Die Grundlagen der Arithmetik

Excerpt from Die Grundlagen der Arithmetik: Eine Logisch Mathematische Untersuchung Über den Begriff der Zahl Auf die Frage, was die Zahl Eins sei, oder was das Zeichen 1 bedeute, wird man meistens die Antwort erhalten: nun, ein Ding. Und wenn man dann darauf aufmerksam macht, dass der Satz. About the Publisher Forgotten Books publishes hundreds of thousands of rare and classic books. Find more at www.forgottenbooks.com This book is a reproduction of an important historical work. Forgotten Books uses state-of-the-art technology to digitally reconstruct the work, preserving the original format whilst repairing imperfections present in the aged copy. In rare cases, an imperfection in the original, such as a blemish or missing page, may be replicated in our edition. We do, however, repair the vast majority of imperfections successfully; any imperfections that remain are intentionally left to preserve the state of such historical works.
## Reading Frege's Grundgesetze

Gottlob Frege's Grundgesetze der Arithmetik, or Basic Laws of Arithmetic, was intended to be his magnum opus, the book in which he would finally establish his logicist philosophy of arithmetic. But because of the disaster of Russell's Paradox, which undermined Frege's proofs, the more mathematical parts of the book have rarely been read. Richard G. Heck, Jr., aims to change that, and establish it as a neglected masterpiece that must be placed atthe center of Frege's philosophy. He argues that Frege knew that his proofs could be reconstructed so as to avoid Russell's Paradox, and presents Frege's arguments in a way that makes them available to a wide audience.Heck demonstrates that careful attention to the structure of Frege's arguments, to what he proved, to how he proved it, and even to what he tried to prove but could not, has much to teach us about Frege's philosophy.
## The Bulletin of Symbolic Logic

## Fixing Frege

Gottlob Frege's attempt to found mathematics on a grand logical system came to grief when Bertrand Russell discovered a contradiction in it. This book surveys consistent restrictions in both the old and new versions of Frege's system, determining just how much of mathematics can be reconstructed in each.
## Husserl Or Frege?

Most areas of philosopher Edmund Husserl’s thought have been explored, but his views on logic, mathematics, and semantics have been largely ignored. These essays offer an alternative to discussions of the philosophy of contemporary mathematics. The book covers areas of disagreement between Husserl and Gottlob Frege, the father of analytical philosophy, and explores new perspectives seen in their work.
## Two Soviet Studies on Frege

1 The significance of the two papers by B. V. Birjukov on Frege within Soviet studies on logic and its history is indicated by G. 1. Ruzavin and P. V. Tavanec in their article 'Fundamental Periods in the Evolution of Formal Logic' in the collective volume Philo 2 sophical Questions of Contemporary Formal Logic. There (page 18) while the organization of "systematic studies on history of logic" is proposed as "one of the fundamental tasks for Marxist logicians", reference is made to a series of recent publications which suggest that such a task is already being accomplished. These are A. S. 3 Axmanov's The Logical Doctrine of Aristotle , v. F. Asmus' 'Criticism of the Bourgeois Idealist Logical Doctrine in the Era of Imperia lism'4, in Voprosy Logiki (Logical Questions), P. S. Popov's A 5 History of Modern Logic and B. V. Birjukov's 'G. Frege's Theory of Sense' in the collective work Applications of Logic in Science and 6 Technology. In this book, published by the Academy of Sciences of the USSR, Moscow, in a printing of 10 000 copies, Birjukov's article fills 56 pages. Before this one, however, Birjukov published another study on Frege: 'On Frege's Works on Philosophical Problems of Mathe matics' in the collective volume Philosophical Questions of Natural Sciences 7, published in a printing of 8000 copies by the Moscow University Press. This article fills 45 pages.
## Frege

No one has figured more prominently in the study of the German philosopher Gottlob Frege than Michael Dummett. His magisterial Frege: Philosophy of Language is a sustained, systematic analysis of Frege's thought, omitting only the issues in philosophy of mathematics. 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 of Basic Laws of Arithmetic, establishing what parts of the philosopher's views can be salvaged and employed in new theorizing, and what must be abandoned, either as incorrectly argued or as untenable in the light of technical developments. Gottlob Frege (1848-1925) was a logician, mathematician, and philosopher whose work had enormous impact on Bertrand Russell and later on the young Ludwig Wittgenstein, making Frege one of the central influences on twentieth-century Anglo-American philosophy; he is considered the founder of analytic philosophy. His philosophy of mathematics contains deep insights and remains a useful and necessary point of departure for anyone seriously studying or working in the field.
## Frege’s Notations

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's Conception of Logic

In Frege's Conception of Logic Patricia A. Blanchette explores the relationship between Gottlob Frege's understanding of conceptual analysis and his understanding of logic. She argues that the fruitfulness of Frege's conception of logic, and the illuminating differences between that conception and those more modern views that have largely supplanted it, are best understood against the backdrop of a clear account of the role of conceptual analysis in logical investigation. The first part of the book locates the role of conceptual analysis in Frege's logicist project. Blanchette argues that despite a number of difficulties, Frege's use of analysis in the service of logicism is a powerful and coherent tool. As a result of coming to grips with his use of that tool, we can see that there is, despite appearances, no conflict between Frege's intention to demonstrate the grounds of ordinary arithmetic and the fact that the numerals of his derived sentences fail to co-refer with ordinary numerals. In the second part of the book, Blanchette explores the resulting conception of logic itself, and some of the straightforward ways in which Frege's conception differs from its now-familiar descendants. In particular, Blanchette argues that consistency, as Frege understands it, differs significantly from the kind of consistency demonstrable via the construction of models. To appreciate this difference is to appreciate the extent to which Frege was right in his debate with Hilbert over consistency- and independence-proofs in geometry. For similar reasons, modern results such as the completeness of formal systems and the categoricity of theories do not have for Frege the same importance they are commonly taken to have by his post-Tarskian descendants. These differences, together with the coherence of Frege's position, provide reason for caution with respect to the appeal to formal systems and their properties in the treatment of fundamental logical properties and relations.
## Logic, Logic, and Logic

George Boolos was one of the most prominent and influential logician-philosophers of recent times. This collection, nearly all chosen by Boolos himself shortly before his death, includes thirty papers on set theory, second-order logic, and plural quantifiers; on Frege, Dedekind, Cantor, and Russell; and on miscellaneous topics in logic and proof theory, including three papers on various aspects of the Gödel theorems. Boolos is universally recognized as the leader in the renewed interest in studies of Frege's work on logic and the philosophy of mathematics. John Burgess has provided introductions to each of the three parts of the volume, and also an afterword on Boolos's technical work in provability logic, which is beyond the scope of this volume.
## All We Need Is a Paradigm

The Harvard Review of Philosophy has long been a forum for new thoughts in the field — this collection includes some of the most important essays from that publication. Exploring the unexpected ways that philosophy impacts our world, this book considers the discipline as an essential element in our understanding of science, economics, and logic. This fascinating read for both laypeople and those familiar with philosophical concepts delves deep into questions of human nature, intellectual thought, and the manner in which our world operates. Using several different approaches, including puzzles, essays, and songs, this book challenges our basic assumptions about how things work.

Just another PDF Download site

Mathematics

Mathematics

Philosophy

Language Arts & Disciplines

Philosophy

Philosophy

Philosophy

Mathematics

Logic, Symbolic and mathematical

Mathematics

Philosophy

Social Science

Philosophy

Philosophy

Mathematics

Philosophy

Philosophy