Perspectives On The History Of Mathematical Logic
DOWNLOAD
Download Perspectives On The History Of Mathematical Logic PDF/ePub or read online books in Mobi eBooks. Click Download or Read Online button to get Perspectives On The History Of Mathematical Logic book now. This website allows unlimited access to, at the time of writing, more than 1.5 million titles, including hundreds of thousands of titles in various foreign languages. If the content not found or just blank you must refresh this page
Perspectives On The History Of Mathematical Logic
DOWNLOAD
Author : Thomas Drucker
language : en
Publisher: Springer Science & Business Media
Release Date : 2009-05-21
Perspectives On The History Of Mathematical Logic written by Thomas Drucker and has been published by Springer Science & Business Media this book supported file pdf, txt, epub, kindle and other format this book has been release on 2009-05-21 with Mathematics categories.
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. “...this is an important book. It exposes the richness of ideas and viewpoints, the difficult and not always direct pathways taken in the development of mathematical logic in the last century, and the various factors which did and continue to affect that development.” Modern Logic
Perspectives On The History Of Mathematical Logic
DOWNLOAD
Author : Thomas Drucker
language : en
Publisher: Birkhauser
Release Date : 1991-01-01
Perspectives On The History Of Mathematical Logic written by Thomas Drucker and has been published by Birkhauser this book supported file pdf, txt, epub, kindle and other format this book has been release on 1991-01-01 with Logic, Symbolic and mathematical categories.
Hypotheses And Perspectives In The History And Philosophy Of Science
DOWNLOAD
Author : Raffaele Pisano
language : en
Publisher: Springer
Release Date : 2017-11-23
Hypotheses And Perspectives In The History And Philosophy Of Science written by Raffaele Pisano and has been published by Springer this book supported file pdf, txt, epub, kindle and other format this book has been release on 2017-11-23 with Science categories.
To commemorate the 50th anniversary of his passing (in 2014), this special book features studies on Alexandre Koyré (1892–1964), one of the most influential historians of science of the 20th century, who re-evaluated prevalent thinking on the history and philosophy of science. In particular, it explores Koyré’s intellectual matrix and heritage within interdisciplinary fields of historical, epistemological and philosophical scientific thought. Koyré is rightly noted as both a versatile historian on the birth and development of modern science and for his interest in philosophical questions on the nature of scientific knowledge. In the 1940s and 1950s his activities in the United States established a crucial bridge between the European historical tradition of science studies and the American academic environments, and an entire generation of historians of science grew up under his direct influence. The book brings together contributions from leading experts in the field, and offers much-needed insights into the subject from historical, nature of science, and philosophical perspectives. It provides an absorbing and revealing read for historians, philosophers and scientists alike.
Constructivity And Computability In Historical And Philosophical Perspective
DOWNLOAD
Author : Jacques Dubucs
language : en
Publisher: Springer
Release Date : 2014-08-27
Constructivity And Computability In Historical And Philosophical Perspective written by Jacques Dubucs and has been published by Springer this book supported file pdf, txt, epub, kindle and other format this book has been release on 2014-08-27 with Philosophy categories.
Ranging from Alan Turing’s seminal 1936 paper to the latest work on Kolmogorov complexity and linear logic, this comprehensive new work clarifies the relationship between computability on the one hand and constructivity on the other. The authors argue that even though constructivists have largely shed Brouwer’s solipsistic attitude to logic, there remain points of disagreement to this day. Focusing on the growing pains computability experienced as it was forced to address the demands of rapidly expanding applications, the content maps the developments following Turing’s ground-breaking linkage of computation and the machine, the resulting birth of complexity theory, the innovations of Kolmogorov complexity and resolving the dissonances between proof theoretical semantics and canonical proof feasibility. Finally, it explores one of the most fundamental questions concerning the interface between constructivity and computability: whether the theory of recursive functions is needed for a rigorous development of constructive mathematics. This volume contributes to the unity of science by overcoming disunities rather than offering an overarching framework. It posits that computability’s adoption of a classical, ontological point of view kept these imperatives separated. In studying the relationship between the two, it is a vital step forward in overcoming the disagreements and misunderstandings which stand in the way of a unifying view of logic.
Aristotle S Organon In Old And New Logic
DOWNLOAD
Author : Colin Guthrie King
language : en
Publisher: Bloomsbury Publishing
Release Date : 2025-01-23
Aristotle S Organon In Old And New Logic written by Colin Guthrie King and has been published by Bloomsbury Publishing this book supported file pdf, txt, epub, kindle and other format this book has been release on 2025-01-23 with Philosophy categories.
Aristotle's Organon in Old and New Logic 18001950 explores the reception and interpretation of Aristotle's logic over the last two centuries. The volume covers seminal works during this period by logicians, historians of logic, and historians of philosophy, including John Lloyd Akrill, Francesco Barone, Günther Patzig, Enrico Berti, and Mario Mignucci. Contributors consider the reception of the Organon in old logic and chart the appearance of formal approaches to logic beginning with Boole. This in-depth study of Aristotelianism also covers logic in Kant and Hegel, alongside the problems and projects of interpreting Aristotle in the new logic after Boole and Frege. The background of modern debates concerning induction and abduction provides further insight into Aristotelian logic during the period. By filling gaps in our understanding of Aristotelian logic, this book provides a fundamental missing link in 21st century studies of the history of Aristotelianism. It brings together scholars of both ancient and modern logic to understand the interpretation of ancient logic before and after the development of the modern, algebraic approach to logic.
Modern Logic 1850 1950 East And West
DOWNLOAD
Author : Francine F. Abeles
language : en
Publisher: Birkhäuser
Release Date : 2016-05-26
Modern Logic 1850 1950 East And West written by Francine F. Abeles and has been published by Birkhäuser this book supported file pdf, txt, epub, kindle and other format this book has been release on 2016-05-26 with Mathematics categories.
This book presents diverse topics in mathematical logic such as proof theory, meta-mathematics, and applications of logic to mathematical structures. The collection spans the first 100 years of modern logic and is dedicated to the memory of Irving Anellis, founder of the journal 'Modern Logic', whose academic work was essential in promoting the algebraic tradition of logic, as represented by Charles Sanders Peirce. Anellis’s association with the Russian logic community introduced their school of logic to a wider audience in the USA, Canada and Western Europe. In addition, the collection takes a historical perspective on proof theory and the development of logic and mathematics in Eastern Logic, the Soviet Union and Russia. The book will be of interest to historians and philosophers in logic and mathematics, and the more specialized papers will also appeal to mathematicians and logicians.
The Architecture And Archaeology Of Modern Logic
DOWNLOAD
Author : Ansten Klev
language : en
Publisher: Springer Nature
Release Date : 2024-10-02
The Architecture And Archaeology Of Modern Logic written by Ansten Klev and has been published by Springer Nature this book supported file pdf, txt, epub, kindle and other format this book has been release on 2024-10-02 with Philosophy categories.
This book honors the original and influential work by Göran Sundholm in the fields of the philosophy and history of logic and mathematics. Borne from two conferences held in Paris and Leiden on the occasion of Göran Sundholm’s retirement in 2019, the contributions collected in this volume represent work from leading logicians and philosophers. Reflecting Sundholm’s contributions to the history and philosophy of logic, this book is divided into two parts: the architecture and archaeology of logic. The essays collected in the ‘architecture’ section cover primarily the systematic approach to basic logical concepts taken by Sundholm, including type theory, epistemic assumptions, and notions of consequence. The ‘archaeology’ section includes contributions focused on Sundholm’s contributions to the history of philosophy and logic. Enclosing these two sections are, on the one end, autobiographical remarks of Sundholm's and, on the other, a paper on cooking and philosophy, reflectinganother of Sundholm's passions in life. This book is of interest to logicians, philosophers, mathematicians, and computer scientists.
Dictionary Of Modern American Philosophers
DOWNLOAD
Author : John R. Shook
language : en
Publisher: Bloomsbury Publishing
Release Date : 2005-05-15
Dictionary Of Modern American Philosophers written by John R. Shook and has been published by Bloomsbury Publishing this book supported file pdf, txt, epub, kindle and other format this book has been release on 2005-05-15 with Philosophy categories.
The Dictionary of Modern American Philosophers includes both academic and non-academic philosophers, and a large number of female and minority thinkers whose work has been neglected. It includes those intellectuals involved in the development of psychology, pedagogy, sociology, anthropology, education, theology, political science, and several other fields, before these disciplines came to be considered distinct from philosophy in the late nineteenth century. Each entry contains a short biography of the writer, an exposition and analysis of his or her doctrines and ideas, a bibliography of writings, and suggestions for further reading. While all the major post-Civil War philosophers are present, the most valuable feature of this dictionary is its coverage of a huge range of less well-known writers, including hundreds of presently obscure thinkers. In many cases, the Dictionary of Modern American Philosophers offers the first scholarly treatment of the life and work of certain writers. This book will be an indispensable reference work for scholars working on almost any aspect of modern American thought.
The Bloomsbury Encyclopedia Of Philosophers In America
DOWNLOAD
Author : John R. Shook
language : en
Publisher: Bloomsbury Publishing
Release Date : 2016-02-11
The Bloomsbury Encyclopedia Of Philosophers In America written by John R. Shook and has been published by Bloomsbury Publishing this book supported file pdf, txt, epub, kindle and other format this book has been release on 2016-02-11 with Philosophy categories.
For scholars working on almost any aspect of American thought, The Bloomsbury Encyclopedia to Philosophers in America presents an indispensable reference work. Selecting over 700 figures from the Dictionary of Early American Philosophers and the Dictionary of Modern American Philosophers, this condensed edition includes key contributors to philosophical thought. From 1600 to the present day, entries cover psychology, pedagogy, sociology, anthropology, education, theology and political science, before these disciplines came to be considered distinct from philosophy. Clear and accessible, each entry contains a short biography of the writer, an exposition and analysis of his or her doctrines and ideas, a bibliography of writings and suggestions for further reading. Featuring a new preface by the editor and a comprehensive introduction, The Bloomsbury Encyclopedia to Philosophers in America includes 30 new entries on twenty-first century thinkers including Martha Nussbaum and Patricia Churchland. With in-depth overviews of Waldo Emerson, Margaret Fuller, Noah Porter, Frederick Rauch, Benjamin Franklin, Thomas Paine and Thomas Jefferson, this is an invaluable one-stop research volume to understanding leading figures in American thought and the development of American intellectual history.
The Search For Mathematical Roots 1870 1940
DOWNLOAD
Author : Ivor Grattan-Guinness
language : en
Publisher: Princeton University Press
Release Date : 2011-02-11
The Search For Mathematical Roots 1870 1940 written by Ivor Grattan-Guinness and has been published by Princeton University Press this book supported file pdf, txt, epub, kindle and other format this book has been release on 2011-02-11 with Mathematics categories.
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.