Principia Mathematica Book
Score: 2
From 1 Ratings

Principia Mathematica


  • Author : Alfred North Whitehead
  • Publisher : Unknown
  • Release Date : 1910
  • Genre: Logic, Symbolic and mathematical
  • Pages : null
  • ISBN 10 : UOM:39015002922881
  • Total Read : 75
  • File Size : 7,5 Mb

DOWNLOAD BOOK
Principia Mathematica Summary:

Logic  A History of its Central Concepts Book

Logic A History of its Central Concepts


  • Author : Dov M. Gabbay
  • Publisher : Newnes
  • Release Date : 2012-12-31
  • Genre: Mathematics
  • Pages : 708
  • ISBN 10 : 9780080931708
  • Total Read : 90
  • File Size : 17,7 Mb

DOWNLOAD BOOK
Logic A History of its Central Concepts Summary:

The Handbook of the History of Logic is a multi-volume research instrument that brings to the development of logic the best in modern techniques of historical and interpretative scholarship. It is the first work in English in which the history of logic is presented so extensively. The volumes are numerous and large. Authors have been given considerable latitude to produce chapters of a length, and a level of detail, that would lay fair claim on the ambitions of the project to be a definitive research work. Authors have been carefully selected with this aim in mind. They and the Editors join in the conviction that a knowledge of the history of logic is nothing but beneficial to the subject's present-day research programmes. One of the attractions of the Handbook's several volumes is the emphasis they give to the enduring relevance of developments in logic throughout the ages, including some of the earliest manifestations of the subject. Covers in depth the notion of logical consequence Discusses the central concept in logic of modality Includes the use of diagrams in logical reasoning

Frege and the Logic of Sense and Reference Book

Frege and the Logic of Sense and Reference


  • Author : Kevin C. Klement
  • Publisher : Routledge
  • Release Date : 2017-09-25
  • Genre: Philosophy
  • Pages : 275
  • ISBN 10 : 9781136710926
  • Total Read : 73
  • File Size : 16,5 Mb

DOWNLOAD BOOK
Frege and the Logic of Sense and Reference Summary:

First published in 2002. Routledge is an imprint of Taylor & Francis, an informa company.

The Foundations of Computability Theory Book

The Foundations of Computability Theory


  • Author : Borut Robič
  • Publisher : Springer Nature
  • Release Date : 2020-11-13
  • Genre: Computers
  • Pages : 422
  • ISBN 10 : 9783662624210
  • Total Read : 87
  • File Size : 16,5 Mb

DOWNLOAD BOOK
The Foundations of Computability Theory Summary:

This book offers an original and informative view of the development of fundamental concepts of computability theory. The treatment is put into historical context, emphasizing the motivation for ideas as well as their logical and formal development. In Part I the author introduces computability theory, with chapters on the foundational crisis of mathematics in the early twentieth century, and formalism. In Part II he explains classical computability theory, with chapters on the quest for formalization, the Turing Machine, and early successes such as defining incomputable problems, c.e. (computably enumerable) sets, and developing methods for proving incomputability. In Part III he explains relative computability, with chapters on computation with external help, degrees of unsolvability, the Turing hierarchy of unsolvability, the class of degrees of unsolvability, c.e. degrees and the priority method, and the arithmetical hierarchy. Finally, in the new Part IV the author revisits the computability (Church-Turing) thesis in greater detail. He offers a systematic and detailed account of its origins, evolution, and meaning, he describes more powerful, modern versions of the thesis, and he discusses recent speculative proposals for new computing paradigms such as hypercomputing. This is a gentle introduction from the origins of computability theory up to current research, and it will be of value as a textbook and guide for advanced undergraduate and graduate students and researchers in the domains of computability theory and theoretical computer science. This new edition is completely revised, with almost one hundred pages of new material. In particular the author applied more up-to-date, more consistent terminology, and he addressed some notational redundancies and minor errors. He developed a glossary relating to computability theory, expanded the bibliographic references with new entries, and added the new part described above and other new sections.

British Logic in the Nineteenth Century Book

British Logic in the Nineteenth Century


  • Author : Dov M. Gabbay
  • Publisher : Elsevier
  • Release Date : 2008-03-10
  • Genre: Mathematics
  • Pages : 750
  • ISBN 10 : 0080557015
  • Total Read : 77
  • File Size : 18,9 Mb

DOWNLOAD BOOK
British Logic in the Nineteenth Century Summary:

The present volume of the Handbook of the History of Logic is designed to establish 19th century Britain as a substantial force in logic, developing new ideas, some of which would be overtaken by, and other that would anticipate, the century's later capitulation to the mathematization of logic. British Logic in the Nineteenth Century is indispensable reading and a definitive research resource for anyone with an interest in the history of logic. - Detailed and comprehensive chapters covering the entire range of modal logic - Contains the latest scholarly discoveries and interpretative insights that answer many questions in the field of logic

The Search for Mathematical Roots  1870 1940 Book
Score: 4
From 1 Ratings

The Search for Mathematical Roots 1870 1940


  • Author : I. Grattan-Guinness
  • Publisher : Princeton University Press
  • Release Date : 2011-02-11
  • Genre: Mathematics
  • Pages : 624
  • ISBN 10 : 1400824044
  • Total Read : 80
  • File Size : 12,6 Mb

DOWNLOAD BOOK
The Search for Mathematical Roots 1870 1940 Summary:

While many books have been written about Bertrand Russell's philosophy and some on his logic, I. Grattan-Guinness has written the first comprehensive history of the mathematical background, content, and impact of the mathematical logic and philosophy of mathematics that Russell developed with A. N. Whitehead in their Principia mathematica (1910-1913). ? This definitive history of a critical period in mathematics includes detailed accounts of the two principal influences upon Russell around 1900: the set theory of Cantor and the mathematical logic of Peano and his followers. Substantial surveys are provided of many related topics and figures of the late nineteenth century: the foundations of mathematical analysis under Weierstrass; the creation of algebraic logic by De Morgan, Boole, Peirce, Schröder, and Jevons; the contributions of Dedekind and Frege; the phenomenology of Husserl; and the proof theory of Hilbert. The many-sided story of the reception is recorded up to 1940, including the rise of logic in Poland and the impact on Vienna Circle philosophers Carnap and Gödel. A strong American theme runs though the story, beginning with the mathematician E. H. Moore and the philosopher Josiah Royce, and stretching through the emergence of Church and Quine, and the 1930s immigration of Carnap and GödeI. Grattan-Guinness draws on around fifty manuscript collections, including the Russell Archives, as well as many original reviews. The bibliography comprises around 1,900 items, bringing to light a wealth of primary materials. Written for mathematicians, logicians, historians, and philosophers--especially those interested in the historical interaction between these disciplines--this authoritative account tells an important story from its most neglected point of view. Whitehead and Russell hoped to show that (much of) mathematics was expressible within their logic; they failed in various ways, but no definitive alternative position emerged then or since.

Russell s Logical Atomism Book

Russell s Logical Atomism


  • Author : David Bostock
  • Publisher : Oxford University Press
  • Release Date : 2012-04-19
  • Genre: Philosophy
  • Pages : 320
  • ISBN 10 : 9780191631221
  • Total Read : 69
  • File Size : 18,7 Mb

DOWNLOAD BOOK
Russell s Logical Atomism Summary:

David Bostock presents a critical appraisal of Bertrand Russell's philosophy from 1900 to 1924—a period that is considered to be the most important in his career. Russell developed his theory of logic from 1900 to 1910, and over those years wrote the famous work Principia Mathematica with A. N. Whitehead. Bostock explores Russell's development of 'logical atomism', which applies this logic to problems in the theory of knowledge and in metaphysics, and was central to his philosophical work from 1910 to 1924. This book is the first to focus on this important period of Russell's development, examining the three key areas of logic and mathematics, knowledge, and metaphysics, and demonstrating the enduring value of his work in these areas.