Handbook of the History of Logic: Sets and extensions in the twentieth century PDF Download
Are you looking for read ebook online? Search for your book and save it on your Kindle device, PC, phones or tablets. Download Handbook of the History of Logic: Sets and extensions in the twentieth century PDF full book. Access full book title Handbook of the History of Logic: Sets and extensions in the twentieth century by Dov M. Gabbay. Download full books in PDF and EPUB format.
Author: Dov M. Gabbay
Publisher:
ISBN:
Category : Logic
Languages : en
Pages : 0
Get Book
Book Description
In designing the Handbook of the History of Logic, the Editors have taken the view that the history of logic holds more than an antiquarian interest, and that a knowledge of logic's rich and sophisticated development is, in various respects, relevant to the research programmes of the present day. Ancient logic is no exception. The present volume attests to the distant origins of some of modern logic's most important features, such as can be found in the claim by the authors of the chapter on Aristotle's early logic that, from its infancy, the theory of the syllogism is an example of an intuitionistic, non-monotonic, relevantly paraconsistent logic. Similarly, in addition to its comparative earliness, what is striking about the best of the Megarian and Stoic traditions is their sophistication and originality.
Author: Dov M. Gabbay
Publisher:
ISBN:
Category : Logic
Languages : en
Pages : 0
Get Book
Book Description
In designing the Handbook of the History of Logic, the Editors have taken the view that the history of logic holds more than an antiquarian interest, and that a knowledge of logic's rich and sophisticated development is, in various respects, relevant to the research programmes of the present day. Ancient logic is no exception. The present volume attests to the distant origins of some of modern logic's most important features, such as can be found in the claim by the authors of the chapter on Aristotle's early logic that, from its infancy, the theory of the syllogism is an example of an intuitionistic, non-monotonic, relevantly paraconsistent logic. Similarly, in addition to its comparative earliness, what is striking about the best of the Megarian and Stoic traditions is their sophistication and originality.
Author:
Publisher: Elsevier
ISBN: 0080930662
Category : Mathematics
Languages : en
Pages : 878
Get Book
Book Description
Set theory is an autonomous and sophisticated field of mathematics that is extremely successful at analyzing mathematical propositions and gauging their consistency strength. It is as a field of mathematics that both proceeds with its own internal questions and is capable of contextualizing over a broad range, which makes set theory an intriguing and highly distinctive subject. This handbook covers the rich history of scientific turning points in set theory, providing fresh insights and points of view. Written by leading researchers in the field, both this volume and the Handbook as a whole are definitive reference tools for senior undergraduates, graduate students and researchers in mathematics, the history of philosophy, and any discipline such as computer science, cognitive psychology, and artificial intelligence, for whom the historical background of his or her work is a salient consideration Serves as a singular contribution to the intellectual history of the 20th century Contains the latest scholarly discoveries and interpretative insights
Author: Don Berkich
Publisher: Springer
ISBN: 3030018008
Category : Computers
Languages : en
Pages : 403
Get Book
Book Description
This edited volume explores the intersection between philosophy and computing. It features work presented at the 2016 annual meeting of the International Association for Computing and Philosophy. The 23 contributions to this volume neatly represent a cross section of 40 papers, four keynote addresses, and eight symposia as they cut across six distinct research agendas. The volume begins with foundational studies in computation and information, epistemology and philosophy of science, and logic. The contributions next examine research into computational aspects of cognition and philosophy of mind. This leads to a look at moral dimensions of man-machine interaction as well as issues of trust, privacy, and justice. This multi-disciplinary or, better yet, a-disciplinary investigation reveals the fruitfulness of erasing distinctions among and boundaries between established academic disciplines. This should come as no surprise. The computational turn itself is a-disciplinary and no former discipline, whether scientific, artistic, or humanistic, has remained unchanged. Rigorous reflection on the nature of these changes opens the door to inquiry into the nature of the world, what constitutes our knowledge of it, and our understanding of our place in it. These investigations are only just beginning. The contributions to this volume make this clear: many encourage further research and end with open questions.
Author: Borut Robič
Publisher: Springer Nature
ISBN: 3662624214
Category : Computers
Languages : en
Pages : 422
Get Book
Book Description
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.
Author: Maria Zack
Publisher: Springer
ISBN: 3319909835
Category : Mathematics
Languages : en
Pages : 203
Get Book
Book Description
This volume contains thirteen papers that were presented at the 2017 Annual Meeting of the Canadian Society for History and Philosophy of Mathematics/Société canadienne d’histoire et de philosophie des mathématiques, which was held at Ryerson University in Toronto. It showcases rigorously reviewed modern scholarship on an interesting variety of topics in the history and philosophy of mathematics from Ancient Greece to the twentieth century. A series of chapters all set in the eighteenth century consider topics such as John Marsh’s techniques for the computation of decimal fractions, Euler’s efforts to compute the surface area of scalene cones, a little-known work by John Playfair on the practical aspects of mathematics, and Monge’s use of descriptive geometry. After a brief stop in the nineteenth century to consider the culture of research mathematics in 1860s Prussia, the book moves into the twentieth century with an examination of the historical context within which the Axiom of Choice was developed and a paper discussing Anatoly Vlasov’s adaptation of the Boltzmann equation to ionized gases. The remaining chapters deal with the philosophy of twentieth-century mathematics through topics such as an historically informed discussion of finitism and its limits; a reexamination of Mary Leng’s defenses of mathematical fictionalism through an alternative, anti-realist approach to mathematics; and a look at the reasons that mathematicians select specific problems to pursue. Written by leading scholars in the field, these papers are accessible to not only mathematicians and students of the history and philosophy of mathematics, but also anyone with a general interest in mathematics.
Author: Åsa Hirvonen
Publisher: Walter de Gruyter GmbH & Co KG
ISBN: 1614516871
Category : Philosophy
Languages : en
Pages : 438
Get Book
Book Description
In recent years, mathematical logic has developed in many directions, the initial unity of its subject matter giving way to a myriad of seemingly unrelated areas. The articles collected here, which range from historical scholarship to recent research in geometric model theory, squarely address this development. These articles also connect to the diverse work of Väänänen, whose ecumenical approach to logic reflects the unity of the discipline.
Author: Elaine M. Landry
Publisher: Oxford University Press
ISBN: 019874899X
Category : Mathematics
Languages : en
Pages : 486
Get Book
Book Description
This is the first book on category theory for a broad philosophical readership. There is no other discussion of category theory comparable in its scope. It is designed to show the interest and significant of category theory for philosophers working in a range of areas, including mathematics, proof theory, computer science, ontology, physics, biology, cognition, mathematical modelling, the structure of scientific theories, and the structure of the world. Moreover, it does this in a way that is accessible to non specialists. Each chapter is written by either a category-theorist or a philosopher working in one of the represented fields, in a way that builds on the concepts already familiar to philosophers working in these areas. The book is split into two halves. The 'pure' chapters focus on the use of category theory for mathematical, foundational, and logical purposes, while the 'applied' chapters consider the use of category theory for representational purposes, investigating category theory as a framework for theories of physics and biology, for mathematical modelling more generally, and for the structure of scientific theories. Book jacket.
Author: Penelope Rush
Publisher: Cambridge University Press
ISBN: 1107039649
Category : Mathematics
Languages : en
Pages : 279
Get Book
Book Description
This wide-ranging collection of essays explores the nature of logic and the key issues and debates in the metaphysics of logic.
Author: Juliet Floyd
Publisher: Springer
ISBN: 3319532804
Category : Science
Languages : en
Pages : 369
Get Book
Book Description
Chapters “Turing and Free Will: A New Take on an Old Debate” and “Turing and the History of Computer Music” are available open access under a Creative Commons Attribution 4.0 International License via link.springer.com.
Author: Andrei Rodin
Publisher: Springer Science & Business Media
ISBN: 3319004042
Category : Philosophy
Languages : en
Pages : 285
Get Book
Book Description
This volume explores the many different meanings of the notion of the axiomatic method, offering an insightful historical and philosophical discussion about how these notions changed over the millennia. The author, a well-known philosopher and historian of mathematics, first examines Euclid, who is considered the father of the axiomatic method, before moving onto Hilbert and Lawvere. He then presents a deep textual analysis of each writer and describes how their ideas are different and even how their ideas progressed over time. Next, the book explores category theory and details how it has revolutionized the notion of the axiomatic method. It considers the question of identity/equality in mathematics as well as examines the received theories of mathematical structuralism. In the end, Rodin presents a hypothetical New Axiomatic Method, which establishes closer relationships between mathematics and physics. Lawvere's axiomatization of topos theory and Voevodsky's axiomatization of higher homotopy theory exemplify a new way of axiomatic theory building, which goes beyond the classical Hilbert-style Axiomatic Method. The new notion of Axiomatic Method that emerges in categorical logic opens new possibilities for using this method in physics and other natural sciences. This volume offers readers a coherent look at the past, present and anticipated future of the Axiomatic Method.
