Mathematics And Logic In History And In Contemporary Thought

Mathematics And Logic In History And In Contemporary Thought Book in PDF, ePub and Kindle version is available to download in english. Read online anytime anywhere directly from your device. Click on the download button below to get a free pdf file of Mathematics And Logic In History And In Contemporary Thought book. This book definitely worth reading, it is an incredibly well-written.

Mathematics and Logic in History and in Contemporary Thought

Ettore Carruccio,Isabel Quigly
Mathematics and Logic in History and in Contemporary Thought Book PDF

Author : Ettore Carruccio,Isabel Quigly
Publisher : Transaction Publishers
Page : 398 pages
File Size : 49,7 Mb
Release : 2006
Category : Mathematics
ISBN : 0202308502

Get Book

Mathematics and Logic in History and in Contemporary Thought by Ettore Carruccio,Isabel Quigly Pdf

This book is not a conventional history of mathematics as such, a museum of documents and scientific curiosities. Instead, it identifies this vital science with the thought of those who constructed it and in its relation to the changing cultural context in which it evolved. Particular emphasis is placed on the philosophic and logical systems, from Aristotle onward, that provide the basis for the fusion of mathematics and logic in contemporary thought. Ettore Carruccio covers the evolution of mathematics from the most ancient times to our own day. In simple and non-technical language, he observes the changes that have taken place in the conception of rational theory, until we reach the lively, delicate and often disconcerting problems of modern logical analysis. The book contains an unusual wealth of detail (including specimen demonstrations) on such subjects as the critique of Euclid's fifth postulate, the rise of non-Euclidean geometry, the introduction of theories of infinite sets, the construction of abstract geometry, and-in a notably intelligible discussion-the development of modern symbolic logic and meta-mathematics. Scientific problems in general and mathematical problems in particular show their full meaning only when they are considered in the light of their own history. This book accordingly takes the reader to the heart of mathematical questions, in a way that teacher, student and layman alike will find absorbing and illuminating. The history of mathematics is a field that continues to fascinate people interested in the course of creativity, and logical inference quite part and in addition to those with direct mathematical interests. Ettore Carruccio, who until his retirement was professor of philosophy at the University of Turin. He has made many contributions to mathematical and logical theory as well as to the history of the science. Isabel Quigly was the literary editor of The Tablet for many years.

Mathematics and Logic in History and in Contemporary Thought

Ettore Carruccio,Isabel Quigly
Mathematics and Logic in History and in Contemporary Thought Book PDF

Author : Ettore Carruccio,Isabel Quigly
Publisher : Routledge
Page : 400 pages
File Size : 47,7 Mb
Release : 2017-09-29
Category : Mathematics
ISBN : 9781351506618

Get Book

Mathematics and Logic in History and in Contemporary Thought by Ettore Carruccio,Isabel Quigly Pdf

This book is not a conventional history of mathematics as such, a museum of documents and scientific curiosities. Instead, it identifies this vital science with the thought of those who constructed it and in its relation to the changing cultural context in which it evolved. Particular emphasis is placed on the philosophic and logical systems, from Aristotle onward, that provide the basis for the fusion of mathematics and logic in contemporary thought.

Philosophy of Mathematics

Ahmet Cevik
Philosophy of Mathematics Book PDF

Author : Ahmet Cevik
Publisher : CRC Press
Page : 352 pages
File Size : 46,5 Mb
Release : 2021-11-09
Category : Mathematics
ISBN : 9781000468809

Get Book

Philosophy of Mathematics by Ahmet Cevik Pdf

The philosophy of mathematics is an exciting subject. Philosophy of Mathematics: Classic and Contemporary Studies explores the foundations of mathematical thought. The aim of this book is to encourage young mathematicians to think about the philosophical issues behind fundamental concepts and about different views on mathematical objects and mathematical knowledge. With this new approach, the author rekindles an interest in philosophical subjects surrounding the foundations of mathematics. He offers the mathematical motivations behind the topics under debate. He introduces various philosophical positions ranging from the classic views to more contemporary ones, including subjects which are more engaged with mathematical logic. Most books on philosophy of mathematics have little to no focus on the effects of philosophical views on mathematical practice, and no concern on giving crucial mathematical results and their philosophical relevance, consequences, reasons, etc. This book fills this gap. The book can be used as a textbook for a one-semester or even one-year course on philosophy of mathematics. "Other textbooks on the philosophy of mathematics are aimed at philosophers. This book is aimed at mathematicians. Since the author is a mathematician, it is a valuable addition to the literature." - Mark Balaguer, California State University, Los Angeles "There are not many such texts available for mathematics students. I applaud efforts to foster the dialogue between mathematics and philosophy." - Michele Friend, George Washington University and CNRS, Lille, France

Labyrinth of Thought

Jose Ferreiros
Labyrinth of Thought Book PDF

Author : Jose Ferreiros
Publisher : Springer Science & Business Media
Page : 472 pages
File Size : 48,8 Mb
Release : 2001-11-01
Category : Mathematics
ISBN : 3764357495

Get Book

Labyrinth of Thought by Jose Ferreiros Pdf

"José Ferreirós has written a magisterial account of the history of set theory which is panoramic, balanced, and engaging. Not only does this book synthesize much previous work and provide fresh insights and points of view, but it also features a major innovation, a full-fledged treatment of the emergence of the set-theoretic approach in mathematics from the early nineteenth century. This takes up Part One of the book. Part Two analyzes the crucial developments in the last quarter of the nineteenth century, above all the work of Cantor, but also Dedekind and the interaction between the two. Lastly, Part Three details the development of set theory up to 1950, taking account of foundational questions and the emergence of the modern axiomatization." (Bulletin of Symbolic Logic)

The Rise of Modern Logic: from Leibniz to Frege

Dov M. Gabbay,John Woods
The Rise of Modern Logic from Leibniz to Frege Book PDF

Author : Dov M. Gabbay,John Woods
Publisher : Elsevier
Page : 780 pages
File Size : 52,5 Mb
Release : 2004-03-08
Category : Mathematics
ISBN : 9780080532875

Get Book

The Rise of Modern Logic: from Leibniz to Frege by Dov M. Gabbay,John Woods Pdf

With the publication of the present volume, the Handbook of the History of Logic turns its attention to the rise of modern logic. The period covered is 1685-1900, with this volume carving out the territory from Leibniz to Frege. What is striking about this period is the earliness and persistence of what could be called 'the mathematical turn in logic'. Virtually every working logician is aware that, after a centuries-long run, the logic that originated in antiquity came to be displaced by a new approach with a dominantly mathematical character. It is, however, a substantial error to suppose that the mathematization of logic was, in all essentials, Frege's accomplishment or, if not his alone, a development ensuing from the second half of the nineteenth century. The mathematical turn in logic, although given considerable torque by events of the nineteenth century, can with assurance be dated from the final quarter of the seventeenth century in the impressively prescient work of Leibniz. It is true that, in the three hundred year run-up to the Begriffsschrift, one does not see a smoothly continuous evolution of the mathematical turn, but the idea that logic is mathematics, albeit perhaps only the most general part of mathematics, is one that attracted some degree of support throughout the entire period in question. Still, as Alfred North Whitehead once noted, the relationship between mathematics and symbolic logic has been an "uneasy" one, as is the present-day association of mathematics with computing. Some of this unease has a philosophical texture. For example, those who equate mathematics and logic sometimes disagree about the directionality of the purported identity. Frege and Russell made themselves famous by insisting (though for different reasons) that logic was the senior partner. Indeed logicism is the view that mathematics can be re-expressed without relevant loss in a suitably framed symbolic logic. But for a number of thinkers who took an algebraic approach to logic, the dependency relation was reversed, with mathematics in some form emerging as the senior partner. This was the precursor of the modern view that, in its four main precincts (set theory, proof theory, model theory and recursion theory), logic is indeed a branch of pure mathematics. It would be a mistake to leave the impression that the mathematization of logic (or the logicization of mathematics) was the sole concern of the history of logic between 1665 and 1900. There are, in this long interval, aspects of the modern unfolding of logic that bear no stamp of the imperial designs of mathematicians, as the chapters on Kant and Hegcl make clear. Of the two, Hcgel's influence on logic is arguably the greater, serving as a spur to the unfolding of an idealist tradition in logic - a development that will be covered in a further volume, British Logic in the Nineteenth Century.

Labyrinth of Thought

José Ferreirós
Labyrinth of Thought Book PDF

Author : José Ferreirós
Publisher : Springer Science & Business Media
Page : 486 pages
File Size : 46,8 Mb
Release : 2008-10-04
Category : Mathematics
ISBN : 9783764383503

Get Book

Labyrinth of Thought by José Ferreirós Pdf

"José Ferreirós has written a magisterial account of the history of set theory which is panoramic, balanced, and engaging. Not only does this book synthesize much previous work and provide fresh insights and points of view, but it also features a major innovation, a full-fledged treatment of the emergence of the set-theoretic approach in mathematics from the early nineteenth century." --Bulletin of Symbolic Logic (Review of first edition)

Perspectives on the History of Mathematical Logic

Thomas Drucker
Perspectives on the History of Mathematical Logic Book PDF

Author : Thomas Drucker
Publisher : Springer Science & Business Media
Page : 218 pages
File Size : 55,5 Mb
Release : 2009-05-21
Category : Mathematics
ISBN : 9780817647698

Get Book

Perspectives on the History of Mathematical Logic by Thomas Drucker Pdf

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.

The Development of Modern Logic

Leila Haaparanta
The Development of Modern Logic Book PDF

Author : Leila Haaparanta
Publisher : Oxford University Press
Page : 1008 pages
File Size : 51,5 Mb
Release : 2009-06-18
Category : Philosophy
ISBN : 0199722722

Get Book

The Development of Modern Logic by Leila Haaparanta Pdf

This edited volume presents a comprehensive history of modern logic from the Middle Ages through the end of the twentieth century. In addition to a history of symbolic logic, the contributors also examine developments in the philosophy of logic and philosophical logic in modern times. The book begins with chapters on late medieval developments and logic and philosophy of logic from Humanism to Kant. The following chapters focus on the emergence of symbolic logic with special emphasis on the relations between logic and mathematics, on the one hand, and on logic and philosophy, on the other. This discussion is completed by a chapter on the themes of judgment and inference from 1837-1936. The volume contains a section on the development of mathematical logic from 1900-1935, followed by a section on main trends in mathematical logic after the 1930s. The volume goes on to discuss modal logic from Kant till the late twentieth century, and logic and semantics in the twentieth century; the philosophy of alternative logics; the philosophical aspects of inductive logic; the relations between logic and linguistics in the twentieth century; the relationship between logic and artificial intelligence; and ends with a presentation of the main schools of Indian logic. The Development of Modern Logic includes many prominent philosophers from around the world who work in the philosophy and history of mathematics and logic, who not only survey developments in a given period or area but also seek to make new contributions to contemporary research in the field. It is the first volume to discuss the field with this breadth of coverage and depth, and will appeal to scholars and students of logic and its philosophy.

History and Philosophy of Modern Mathematics

William Aspray,Philip Kitcher
History and Philosophy of Modern Mathematics Book PDF

Author : William Aspray,Philip Kitcher
Publisher : U of Minnesota Press
Page : 396 pages
File Size : 54,8 Mb
Release : 1988
Category : Mathematics
ISBN : 9780816615674

Get Book

History and Philosophy of Modern Mathematics by William Aspray,Philip Kitcher Pdf

History and Philosophy of Modern Mathematics was first published in 1988. Minnesota Archive Editions uses digital technology to make long-unavailable books once again accessible, and are published unaltered from the original University of Minnesota Press editions. The fourteen essays in this volume build on the pioneering effort of Garrett Birkhoff, professor of mathematics at Harvard University, who in 1974 organized a conference of mathematicians and historians of modern mathematics to examine how the two disciplines approach the history of mathematics. In History and Philosophy of Modern Mathematics, William Aspray and Philip Kitcher bring together distinguished scholars from mathematics, history, and philosophy to assess the current state of the field. Their essays, which grow out of a 1985 conference at the University of Minnesota, develop the basic premise that mathematical thought needs to be studied from an interdisciplinary perspective. The opening essays study issues arising within logic and the foundations of mathematics, a traditional area of interest to historians and philosophers. The second section examines issues in the history of mathematics within the framework of established historical periods and questions. Next come case studies that illustrate the power of an interdisciplinary approach to the study of mathematics. The collection closes with a look at mathematics from a sociohistorical perspective, including the way institutions affect what constitutes mathematical knowledge.

Modern Logic 1850-1950, East and West

Francine F. Abeles,Mark E. Fuller
Modern Logic 1850 1950 East and West Book PDF

Author : Francine F. Abeles,Mark E. Fuller
Publisher : Birkhäuser
Page : 258 pages
File Size : 50,7 Mb
Release : 2016-05-26
Category : Mathematics
ISBN : 9783319247564

Get Book

Modern Logic 1850-1950, East and West by Francine F. Abeles,Mark E. Fuller Pdf

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.

Contemporary Logic and Computing

Adrian Rezus
Contemporary Logic and Computing Book PDF

Author : Adrian Rezus
Publisher : Unknown
Page : 738 pages
File Size : 46,7 Mb
Release : 2020-07-13
Category : Mathematics
ISBN : 1848903405

Get Book

Contemporary Logic and Computing by Adrian Rezus Pdf

The present volume stems from a book-proposal made about two years ago to College Publications, London. The main idea was that of illustrating the interplay between the contemporary work in logic and the mainstream mathematics. The division of the volume in two sections - topics in 'logic' vs topics in 'computing' - is more or less conventional. Some contributions are focussed on historical and technical details meant to put in perspective the impact of the work of some outstanding mathematicians and philosophers on the contemporary research in logic and computing science. Some other papers, also with a historical flavour, were supposed to evidentiate punctual methods of research and specific concepts or topics, as, e.g., decidability, computability, randomness, and computational or descriptive complexity. In general, the papers were intended as specific surveys of results. Other volumes - to be issued subsequently in the same series - will hopefully delineate aspects of the contemporary logic landscape that have not been illustrated here. The intended audience of the book includes graduate students in mathematical logic, foundations of matematics, and computing science, as well as philosophers, mathematicians, and, possibly, other scientists interested in the recent research on logic and computing.

Aspects of Modern Logic

E.W. Beth
Aspects of Modern Logic Book PDF

Author : E.W. Beth
Publisher : Springer Science & Business Media
Page : 186 pages
File Size : 45,6 Mb
Release : 2012-12-06
Category : Philosophy
ISBN : 9789401033329

Get Book

Aspects of Modern Logic by E.W. Beth Pdf

It is common to consider an area of science as a system of real or sup posed truths which not only continuously extends itself, but also needs periodical revision and therefore tests the inventive capacity of each generation of scholars anew. It sounds highly implausible that a science at one time would be completed, that at that point within its scope there would be no problems left to solve. Indeed, the solution of a scientific problem inevitably raises new questions, so that our eagerness for knowledge will never find lasting satisfaction. Nevertheless there is one science which seems to form an exception to this rule, formal logic, the theory of rigorous argumentation. It seems to have reached the ideal endpoint of every scientific aspiration already very shortly after its inception; using the work of some predecessors, Aristotle, or so it is at least assumed by many, has brought this branch of science once and for all to a conclusion. Of course this doesn't sound that implausible. We apparently know what rigorous argumentation is; otherwise various sciences, in particular pure mathematics, would be completely impossible. And if we know what rigorous argumentation is, then it cannot be difficult to trace once and for all the rules which govern it. The unique subject of formal logic would therefore entail that this science, in variance with the rule which holds for all other sciences, has been able to reach completion at a certain point in history.

Leibniz and the Structure of Sciences

Vincenzo De Risi
Leibniz and the Structure of Sciences Book PDF

Author : Vincenzo De Risi
Publisher : Springer Nature
Page : 304 pages
File Size : 45,8 Mb
Release : 2020-01-01
Category : Science
ISBN : 9783030255725

Get Book

Leibniz and the Structure of Sciences by Vincenzo De Risi Pdf

The book offers a collection of essays on various aspects of Leibniz’s scientific thought, written by historians of science and world-leading experts on Leibniz. The essays deal with a vast array of topics on the exact sciences: Leibniz’s logic, mereology, the notion of infinity and cardinality, the foundations of geometry, the theory of curves and differential geometry, and finally dynamics and general epistemology. Several chapters attempt a reading of Leibniz’s scientific works through modern mathematical tools, and compare Leibniz’s results in these fields with 19th- and 20th-Century conceptions of them. All of them have special care in framing Leibniz’s work in historical context, and sometimes offer wider historical perspectives that go much beyond Leibniz’s researches. A special emphasis is given to effective mathematical practice rather than purely epistemological thought. The book is addressed to all scholars of the exact sciences who have an interest in historical research and Leibniz in particular, and may be useful to historians of mathematics, physics, and epistemology, mathematicians with historical interests, and philosophers of science at large.

The Essence of Numbers

Frédéric Patras
The Essence of Numbers Book PDF

Author : Frédéric Patras
Publisher : Springer Nature
Page : 180 pages
File Size : 49,6 Mb
Release : 2020-10-06
Category : Mathematics
ISBN : 9783030567002

Get Book

The Essence of Numbers by Frédéric Patras Pdf

This book considers the manifold possible approaches, past and present, to our understanding of the natural numbers. They are treated as epistemic objects: mathematical objects that have been subject to epistemological inquiry and attention throughout their history and whose conception has evolved accordingly. Although they are the simplest and most common mathematical objects, as this book reveals, they have a very complex nature whose study illuminates subtle features of the functioning of our thought. Using jointly history, mathematics and philosophy to grasp the essence of numbers, the reader is led through their various interpretations, presenting the ways they have been involved in major theoretical projects from Thales onward. Some pertain primarily to philosophy (as in the works of Plato, Aristotle, Kant, Wittgenstein...), others to general mathematics (Euclid's Elements, Cartesian algebraic geometry, Cantorian infinities, set theory...). Also serving as an introduction to the works and thought of major mathematicians and philosophers, from Plato and Aristotle to Cantor, Dedekind, Frege, Husserl and Weyl, this book will be of interest to a wide variety of readers, from scholars with a general interest in the philosophy or mathematics to philosophers and mathematicians themselves.

A Brief History of Mathematical Thought

Luke Heaton
A Brief History of Mathematical Thought Book PDF

Author : Luke Heaton
Publisher : Oxford University Press
Page : 337 pages
File Size : 43,9 Mb
Release : 2017
Category : History
ISBN : 9780190621766

Get Book

A Brief History of Mathematical Thought by Luke Heaton Pdf

Emblazoned on many advertisements for the wildly popular game of Sudoku are the reassuring words, -no mathematical knowledge required.- Anxiety about math plagues many of us, and school memories can still summon intense loathing. In A Brief History of Mathematical Thought, Luke Heaton shows that much of what many think-and fear-about mathematics is misplaced, and to overcome our insecurities we need to understand its history. To help, he offers a lively guide into and through the world of mathematics and mathematicians, one in which patterns and arguments are traced through logic in a language grounded in concrete experience. Heaton reveals how Greek and Roman mathematicians like Pythagoras, Euclid, and Archimedes helped shaped the early logic of mathematics; how the Fibonacci sequence, the rise of algebra, and the invention of calculus are connected; how clocks, coordinates, and logical padlocks work mathematically; and how, in the twentieth century, Alan Turing's revolutionary work on the concept of computation laid the groundwork for the modern world. A Brief History of Mathematical Thought situates mathematics as part of, and essential to, lived experience. Understanding it requires not abstract thought or numbing memorization but an historical imagination and a view to its origins. --