Reading Frege's Grundgesetze

Reading Frege's Grundgesetze

Author: Richard G. Heck Jr.

Publisher: OUP Oxford

Published: 2012-11-29

Total Pages: 315

ISBN-13: 019165535X

DOWNLOAD EBOOK

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 at the center of Frege's philosophy. Part I of Reading Frege's Grundgesetze develops an interpretation of the philosophy of logic that informs Grundgesetze, paying especially close attention to the difficult sections of Frege's book in which he discusses his notorious 'Basic Law V' and attempts to secure its status as a law of logic. Part II examines the mathematical basis of Frege's logicism, explaining and exploring Frege's formal arguments. Heck argues that Frege himself 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. He shows, by example, 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.


Reading Frege's Grundgesetze

Reading Frege's Grundgesetze

Author: Richard G. Heck

Publisher: Oxford University Press, USA

Published: 2012-11-29

Total Pages: 315

ISBN-13: 0199233705

DOWNLOAD EBOOK

Readership: Scholars and advanced students of philosophy of logic, philosophy of mathematics, and history of analytic philosophy


Essays on Frege's Basic Laws of Arithmetic

Essays on Frege's Basic Laws of Arithmetic

Author: Philip A. Ebert

Publisher: Oxford University Press

Published: 2019-09-11

Total Pages: 672

ISBN-13: 0191020052

DOWNLOAD EBOOK

The volume is the first collection of essays that focuses on Gottlob Frege's Basic Laws of Arithmetic (1893/1903), highlighting both the technical and the philosophical richness of Frege's magnum opus. It brings together twenty-two renowned Frege scholars whose contributions discuss a wide range of topics arising from both volumes of Basic Laws of Arithmetic. The original chapters in this volume make vivid the importance and originality of Frege's masterpiece, not just for Frege scholars but for the study of the history of logic, mathematics, and philosophy.


Frege’s Notations

Frege’s Notations

Author: Gregory Landini

Publisher: Springer

Published: 2012-02-10

Total Pages: 187

ISBN-13: 0230360157

DOWNLOAD EBOOK

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.


Essays on Husserl's Logic and Philosophy of Mathematics

Essays on Husserl's Logic and Philosophy of Mathematics

Author: Stefania Centrone

Publisher: Springer

Published: 2017-09-07

Total Pages: 541

ISBN-13: 9402411321

DOWNLOAD EBOOK

Essays on Husserl’s Logic and Philosophy of Mathematics sets out to fill up a lacuna in the present research on Husserl by presenting a precise account of Husserl’s work in the field of logic, of the philosophy of logic and of the philosophy of mathematics. The aim is to provide an in-depth reconstruction and analysis of the discussion between Husserl and his most important interlocutors, and to clarify pivotal ideas of Husserl’s by considering their reception and elaboration by some of his disciples and followers, such as Oskar Becker and Jacob Klein, as well as their influence on some of the most significant logicians and mathematicians of the past century, such as Luitzen E. J. Brouwer, Rudolf Carnap, Kurt Gödel and Hermann Weyl. Most of the papers consider Husserl and another scholar – e.g. Leibniz, Kant, Bolzano, Brentano, Cantor, Frege – and trace out and contextualize lines of influence, points of contact, and points of disagreement. Each essay is written by an expert of the field, and the volume includes contributions both from the analytical tradition and from the phenomenological one.


Reflections on Programming Systems

Reflections on Programming Systems

Author: Liesbeth De Mol

Publisher: Springer

Published: 2019-01-10

Total Pages: 284

ISBN-13: 331997226X

DOWNLOAD EBOOK

This book presents a historical and philosophical analysis of programming systems, intended as large computational systems like, for instance, operating systems, programmed to control processes. The introduction to the volume emphasizes the contemporary need of providing a foundational analysis of such systems, rooted in a broader historical and philosophical discussion. The different chapters are grouped around three major themes. The first concerns the early history of large systems developed against the background of issues related to the growing semantic gap between hardware and code. The second revisits the fundamental issue of complexity of large systems, dealt with by the use of formal methods and the development of `grand designs’ like Unix. Finally, a third part considers several issues related to programming systems in the real world, including chapters on aesthetical, ethical and political issues. This book will interest researchers from a diversity of backgrounds. It will appeal to historians, philosophers, as well as logicians and computer scientists who want to engage with topics relevant to the history and philosophy of programming and more specifically the role of programming systems in the foundations of computing.


Modes of Representation

Modes of Representation

Author: Richard Kimberly Heck

Publisher: Oxford University Press

Published: 2024-06-19

Total Pages: 444

ISBN-13: 0198861591

DOWNLOAD EBOOK

Modes of Presentation analyses a collection of problems, known as 'Frege's puzzle', resulting from how thinkers and speakers have a limited perspective on reference in thought and language. Heck argues that these puzzles have much to teach us both about the foundations of cognition and the nature of linguistic communication.


The Great Formal Machinery Works

The Great Formal Machinery Works

Author: Jan von Plato

Publisher: Princeton University Press

Published: 2017-08-02

Total Pages: 400

ISBN-13: 1400885035

DOWNLOAD EBOOK

The information age owes its existence to a little-known but crucial development, the theoretical study of logic and the foundations of mathematics. The Great Formal Machinery Works draws on original sources and rare archival materials to trace the history of the theories of deduction and computation that laid the logical foundations for the digital revolution. Jan von Plato examines the contributions of figures such as Aristotle; the nineteenth-century German polymath Hermann Grassmann; George Boole, whose Boolean logic would prove essential to programming languages and computing; Ernst Schröder, best known for his work on algebraic logic; and Giuseppe Peano, cofounder of mathematical logic. Von Plato shows how the idea of a formal proof in mathematics emerged gradually in the second half of the nineteenth century, hand in hand with the notion of a formal process of computation. A turning point was reached by 1930, when Kurt Gödel conceived his celebrated incompleteness theorems. They were an enormous boost to the study of formal languages and computability, which were brought to perfection by the end of the 1930s with precise theories of formal languages and formal deduction and parallel theories of algorithmic computability. Von Plato describes how the first theoretical ideas of a computer soon emerged in the work of Alan Turing in 1936 and John von Neumann some years later. Shedding new light on this crucial chapter in the history of science, The Great Formal Machinery Works is essential reading for students and researchers in logic, mathematics, and computer science.


A History of Women Philosophers

A History of Women Philosophers

Author: M.E. Waithe

Publisher: Springer Science & Business Media

Published: 2013-03-07

Total Pages: 628

ISBN-13: 9401111146

DOWNLOAD EBOOK

Like their predecessors, and like their male counterparts, most women philosophers of the 20th century have significant expertise in several specialities. Moreover, their work represents the gamut of 20th century philosophy's interests in moral pragmatism, logical positivism, philosophy of mathematics, of psychology, and of mind. Their writings include feminist philosophy, classical moral theory reevaluated in light of Kant, Mill, and the 19th century feminist and abolitionist movements, and issues in logic and perception. Included in the fourth volume of the series are discussions of L. Susan Stebbing, Edith Stein, Hedwig Conrad Martius, Simone de Beauvoir, Simone Weil, Mary Whiton Calkins, Gerda Walther, and others. While pre-20th century women philosophers were usually self-educated, those of the 20th century had greater access to academic preparation in philosophy. Yet, for all the advances made by women philosophers over two and a half millennia, the philosophers discussed in this volume were sometimes excluded from full participation in academic life, and sometimes denied full professional academic status.


Frege

Frege

Author: Dale Jacquette

Publisher: Cambridge University Press

Published: 2019-04-04

Total Pages: 683

ISBN-13: 0521863279

DOWNLOAD EBOOK

A rich and informative biography of one of the most important and influential figures of analytic philosophy.