[PDF] Logic Philosophy Of Mathematics And Their History eBook

Author : Erich H Reck
Publisher :
Page : 326 pages
File Size : 19,69 MB
Release : 2018-11-16
Category : Mathematics
ISBN : 9781848902879

GET BOOK

In a career that spans 60 years so far, W.W. Tait has made many highly influential contributions to logic, the philosophy of mathematics, and their history. The present collection of new essays - contributed by former students, colleagues, and friends - is a Festschrift, i.e., a celebration of his life and work. The essays address a variety of themes prominent in his work or related to it. The collection starts with an introduction in which Tait's contributions are sketched and put into context. The eleven essays that follow are arranged in three parts: Part I. Proof Theory and its History; Part II. Logic and Philosophy of Mathematics; and Part III. History of Logic and Philosophy of Mathematics. Each of the essays contributes substantially to one or several of these areas. The authors included are: Steve Awodey, Solomon Feferman, Michael Friedman, Warren Goldfarb, Geoffrey Hellman, William Howard, Stephen Menn, Rebecca Morris, Charles Parsons, Erich Reck, Thomas Ricketts, and Wilfried Sieg. The editor, Erich H. Reck is Professor of Philosophy at the University of California at Riverside.

Author : Harrie de Swart
Publisher : Springer
Page : 539 pages
File Size : 43,13 MB
Release : 2018-11-28
Category : Philosophy
ISBN : 3030032558

GET BOOK

This book was written to serve as an introduction to logic, with in each chapter – if applicable – special emphasis on the interplay between logic and philosophy, mathematics, language and (theoretical) computer science. The reader will not only be provided with an introduction to classical logic, but to philosophical (modal, epistemic, deontic, temporal) and intuitionistic logic as well. The first chapter is an easy to read non-technical Introduction to the topics in the book. The next chapters are consecutively about Propositional Logic, Sets (finite and infinite), Predicate Logic, Arithmetic and Gödel’s Incompleteness Theorems, Modal Logic, Philosophy of Language, Intuitionism and Intuitionistic Logic, Applications (Prolog; Relational Databases and SQL; Social Choice Theory, in particular Majority Judgment) and finally, Fallacies and Unfair Discussion Methods. Throughout the text, the author provides some impressions of the historical development of logic: Stoic and Aristotelian logic, logic in the Middle Ages and Frege's Begriffsschrift, together with the works of George Boole (1815-1864) and August De Morgan (1806-1871), the origin of modern logic. Since "if ..., then ..." can be considered to be the heart of logic, throughout this book much attention is paid to conditionals: material, strict and relevant implication, entailment, counterfactuals and conversational implicature are treated and many references for further reading are given. Each chapter is concluded with answers to the exercises. Philosophical and Mathematical Logic is a very recent book (2018), but with every aspect of a classic. What a wonderful book! Work written with all the necessary rigor, with immense depth, but without giving up clarity and good taste. Philosophy and mathematics go hand in hand with the most diverse themes of logic. An introductory text, but not only that. It goes much further. It's worth diving into the pages of this book, dear reader! Paulo Sérgio Argolo

Author : Roman Murawski
Publisher : BRILL
Page : 327 pages
File Size : 27,68 MB
Release : 2015-06-29
Category : Philosophy
ISBN : 9042030917

GET BOOK

The book is a collection of the author’s selected works in the philosophy and history of logic and mathematics. Papers in Part I include both general surveys of contemporary philosophy of mathematics as well as studies devoted to specialized topics, like Cantor's philosophy of set theory, the Church thesis and its epistemological status, the history of the philosophical background of the concept of number, the structuralist epistemology of mathematics and the phenomenological philosophy of mathematics. Part II contains essays in the history of logic and mathematics. They address such issues as the philosophical background of the development of symbolism in mathematical logic, Giuseppe Peano and his role in the creation of contemporary logical symbolism, Emil L. Post's works in mathematical logic and recursion theory, the formalist school in the foundations of mathematics and the algebra of logic in England in the 19th century. The history of mathematics and logic in Poland is also considered. This volume is of interest to historians and philosophers of science and mathematics as well as to logicians and mathematicians interested in the philosophy and history of their fields.

Author : Stewart Shapiro
Publisher : OUP USA
Page : 850 pages
File Size : 30,10 MB
Release : 2005-02-10
Category : Mathematics
ISBN : 0195148770

GET BOOK

Covers the state of the art in the philosophy of maths and logic, giving the reader an overview of the major problems, positions, and battle lines. The chapters in this book contain both exposition and criticism as well as substantial development of their own positions. It also includes a bibliography.

Author : Maria Zack
Publisher : Springer Nature
Page : 190 pages
File Size : 27,87 MB
Release : 2024-01-18
Category : Mathematics
ISBN : 3031461932

GET BOOK

This volume contains 8 papers that have been collected by the Canadian Society for History and Philosophy of Mathematics. It showcases rigorously reviewed contemporary scholarship on an interesting variety of topics in the history and philosophy of mathematics.Some of the topics explored include: A way to rethink how logic is taught to philosophy students by using a rejuvenated version of the Aristotelian idea of an argument schema A quantitative approach using data from Wikipedia to study collaboration between nineteenth-century British mathematicians The depiction and perception of Émilie Du Châtelet’s scientific contributions as viewed through the frontispieces designed for books written by or connected to her A study of the Cambridge Women’s Research Club, a place where British women were able to participate in scholarly scientific discourse in the middle of the twentieth century An examination of the research and writing process of mathematicians by looking at their drafts and other preparatory notes A global history of al-Khwārāzmī’s Kitāb al-jabr wa-l-muqābala as obtained by tracing its reception through numerous translations and commentaries Written by leading scholars in the field, these papers are accessible not only to mathematicians and students of the history and philosophy of mathematics, but also to anyone with a general interest in mathematics.

Author : Stefania Centrone
Publisher : Springer Science & Business Media
Page : 250 pages
File Size : 28,18 MB
Release : 2010-05-06
Category : Philosophy
ISBN : 9048132479

GET BOOK

Logic and Philosophy of Mathematics in the Early Husserl focuses on the first ten years of Edmund Husserl’s work, from the publication of his Philosophy of Arithmetic (1891) to that of his Logical Investigations (1900/01), and aims to precisely locate his early work in the fields of logic, philosophy of logic and philosophy of mathematics. Unlike most phenomenologists, the author refrains from reading Husserl’s early work as a more or less immature sketch of claims consolidated only in his later phenomenology, and unlike the majority of historians of logic she emphasizes the systematic strength and the originality of Husserl’s logico-mathematical work. The book attempts to reconstruct the discussion between Husserl and those philosophers and mathematicians who contributed to new developments in logic, such as Leibniz, Bolzano, the logical algebraists (especially Boole and Schröder), Frege, and Hilbert and his school. It presents both a comprehensive critical examination of some of the major works produced by Husserl and his antagonists in the last decade of the 19th century and a formal reconstruction of many texts from Husserl’s Nachlaß that have not yet been the object of systematical scrutiny. This volume will be of particular interest to researchers working in the history, and in the philosophy, of logic and mathematics, and more generally, to analytical philosophers and phenomenologists with a background in standard logic.

Author : Thomas Drucker
Publisher : Springer Science & Business Media
Page : 218 pages
File Size : 19,51 MB
Release : 2008-01-04
Category : Mathematics
ISBN : 0817647686

GET BOOK

This volume offers insights into the development of mathematical logic over the last century. Arising from a special session of the history of logic at an American Mathematical Society meeting, the chapters explore technical innovations, the philosophical consequences of work during the period, and the historical and social context in which the logicians worked. The discussions herein will appeal to mathematical logicians and historians of mathematics, as well as philosophers and historians of science.

Author : Charles Parsons
Publisher : Harvard University Press
Page : 365 pages
File Size : 36,74 MB
Release : 2014-03-10
Category : Philosophy
ISBN : 0674419499

GET BOOK

In these selected essays, Charles Parsons surveys the contributions of philosophers and mathematicians who shaped the philosophy of mathematics over the past century: Brouwer, Hilbert, Bernays, Weyl, Gödel, Russell, Quine, Putnam, Wang, and Tait.

Author : Howard DeLong
Publisher : Courier Corporation
Page : 322 pages
File Size : 38,31 MB
Release : 2012-09-26
Category : Mathematics
ISBN : 0486139158

GET BOOK

This introduction to mathematical logic explores philosophical issues and Gödel's Theorem. Its widespread influence extends to the author of Gödel, Escher, Bach, whose Pulitzer Prize–winning book was inspired by this work.

Author : Joel David Hamkins
Publisher : MIT Press
Page : 350 pages
File Size : 19,25 MB
Release : 2021-03-09
Category : Mathematics
ISBN : 0262542234

GET BOOK

An introduction to the philosophy of mathematics grounded in mathematics and motivated by mathematical inquiry and practice. In this book, Joel David Hamkins offers an introduction to the philosophy of mathematics that is grounded in mathematics and motivated by mathematical inquiry and practice. He treats philosophical issues as they arise organically in mathematics, discussing such topics as platonism, realism, logicism, structuralism, formalism, infinity, and intuitionism in mathematical contexts. He organizes the book by mathematical themes--numbers, rigor, geometry, proof, computability, incompleteness, and set theory--that give rise again and again to philosophical considerations.