Are you looking for read ebook online? Search for your book and save it on your Kindle device, PC, phones or tablets. Download Modern Logic — A Survey PDF full book. Access full book title Modern Logic — A Survey by E. Agazzi. Download full books in PDF and EPUB format.
Author: E. Agazzi Publisher: Springer Science & Business Media ISBN: 9400990561 Category : Philosophy Languages : en Pages : 470
Book Description
Logic has attained in our century a development incomparably greater than in any past age of its long history, and this has led to such an enrichment and proliferation of its aspects, that the problem of some kind of unified recom prehension of this discipline seems nowadays unavoidable. This splitting into several subdomains is the natural consequence of the fact that Logic has intended to adopt in our century the status of a science. This always implies that the general optics, under which a certain set of problems used to be con sidered, breaks into a lot of specialized sectors of inquiry, each of them being characterized by the introduction of specific viewpoints and of technical tools of its own. The first impression, that often accompanies the creation of one of such specialized branches in a diSCipline, is that one has succeeded in isolating the 'scientific core' of it, by restricting the somehow vague and redundant generality of its original 'philosophical' configuration. But, after a while, it appears that some of the discarded aspects are indeed important and a new specialized domain of investigation is created to explore them. By follOwing this procedure, one finally finds himself confronted with such a variety of independent fields of research, that one wonders whether the fact of labelling them under a common denomination be nothing but the contingent effect of a pure historical tradition.
Author: E. Agazzi Publisher: Springer Science & Business Media ISBN: 9400990561 Category : Philosophy Languages : en Pages : 470
Book Description
Logic has attained in our century a development incomparably greater than in any past age of its long history, and this has led to such an enrichment and proliferation of its aspects, that the problem of some kind of unified recom prehension of this discipline seems nowadays unavoidable. This splitting into several subdomains is the natural consequence of the fact that Logic has intended to adopt in our century the status of a science. This always implies that the general optics, under which a certain set of problems used to be con sidered, breaks into a lot of specialized sectors of inquiry, each of them being characterized by the introduction of specific viewpoints and of technical tools of its own. The first impression, that often accompanies the creation of one of such specialized branches in a diSCipline, is that one has succeeded in isolating the 'scientific core' of it, by restricting the somehow vague and redundant generality of its original 'philosophical' configuration. But, after a while, it appears that some of the discarded aspects are indeed important and a new specialized domain of investigation is created to explore them. By follOwing this procedure, one finally finds himself confronted with such a variety of independent fields of research, that one wonders whether the fact of labelling them under a common denomination be nothing but the contingent effect of a pure historical tradition.
Author: Leila Haaparanta Publisher: OUP USA ISBN: 0195137310 Category : Philosophy Languages : en Pages : 1005
Book Description
This volume contains newly-commissioned articles covering the development of modern logic from the late medieval period (fourteenth century) through the end of the twentieth-century. It is the first volume to discuss the field with this breadth of coverage and depth. It will appeal to scholars and students of philosophical logic and the philosophy of logic.
Author: Paul Weingartner Publisher: Springer Science & Business Media ISBN: 9783540407447 Category : Computers Languages : en Pages : 396
Book Description
Initially proposed as rivals of classical logic, alternative logics have become increasingly important in sciences such as quantum physics, computer science, and artificial intelligence. The contributions collected in this volume address and explore the question whether the usage of logic in the sciences, especially in modern physics, requires a deviation from classical mathematical logic. The articles in the first part of the book set the scene by describing the context and the dilemma when applying logic in science. In part II the authors offer several logics that deviate in different ways from classical logics. The twelve papers in part III investigate in detail specific aspects such as quantum logic, quantum computation, computer-science considerations, praxic logic, and quantum probability. Most of the contributions are revised and partially extended versions of papers presented at a conference of the same title of the Académie Internationale de Philosophie des Sciences held at the Internationales Forschungszentrum Salzburg in May 1999. Others have been added to complete the picture of recent research in alternative logics as they have been developed for applications in the sciences.
Author: Francine F. Abeles Publisher: Birkhäuser ISBN: 3319247565 Category : Mathematics Languages : en Pages : 268
Book Description
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.
Author: W. D. Hart Publisher: Cambridge University Press ISBN: 1139491202 Category : Philosophy Languages : en Pages :
Book Description
Examines the relations between logic and philosophy over the last 150 years. Logic underwent a major renaissance beginning in the nineteenth century. Cantor almost tamed the infinite, and Frege aimed to undercut Kant by reducing mathematics to logic. These achievements were threatened by the paradoxes, like Russell's. This ferment generated excellent philosophy (and mathematics) by excellent philosophers (and mathematicians) up to World War II. This book provides a selective, critical history of the collaboration between logic and philosophy during this period. After World War II, mathematical logic became a recognized subdiscipline in mathematics departments, and consequently but unfortunately philosophers have lost touch with its monuments. This book aims to make four of them (consistency and independence of the continuum hypothesis, Post's problem, and Morley's theorem) more accessible to philosophers, making available the tools necessary for modern scholars of philosophy to renew a productive dialogue between logic and philosophy.
Author: Gabriele Lolli Publisher: Springer ISBN: 3319104349 Category : Philosophy Languages : en Pages : 346
Book Description
This book brings together young researchers from a variety of fields within mathematics, philosophy and logic. It discusses questions that arise in their work, as well as themes and reactions that appear to be similar in different contexts. The book shows that a fairly intensive activity in the philosophy of mathematics is underway, due on the one hand to the disillusionment with respect to traditional answers, on the other to exciting new features of present day mathematics. The book explains how the problem of applicability once again plays a central role in the development of mathematics. It examines how new languages different from the logical ones (mostly figural), are recognized as valid and experimented with and how unifying concepts (structure, category, set) are in competition for those who look at this form of unification. It further shows that traditional philosophies, such as constructivism, while still lively, are no longer only philosophies, but guidelines for research. Finally, the book demonstrates that the search for and validation of new axioms is analyzed with a blend of mathematical historical, philosophical, psychological considerations.
Author: Norman M. Martin Publisher: Cambridge University Press ISBN: 9780521367707 Category : Philosophy Languages : en Pages : 340
Book Description
This advanced study of systems of propositional logic offers a comprehensive account of a wide variety of logical systems and encourages students to take a critical stance toward the subject. A great variety of systems and subsystems are defined and compared as regards their deductive power and relation to their model theory. Special attention is given to the weakenings of classical logic and a more refined treatment of modal logic is presented.
Author: Albert Lautman Publisher: A&C Black ISBN: 1441146547 Category : Philosophy Languages : en Pages : 354
Book Description
Albert Lautman (1908-1944) was a French philosopher of mathematics whose work played a crucial role in the history of contemporary French philosophy. His ideas have had an enormous influence on key contemporary thinkers including Gilles Deleuze and Alain Badiou, for whom he is a major touchstone in the development of their own engagements with mathematics. Mathematics, Ideas and the Physical Real presents the first English translation of Lautman's published works between 1933 and his death in 1944. Rather than being preoccupied with the relation of mathematics to logic or with the problems of foundation, which have dominated philosophical reflection on mathematics, Lautman undertakes to develop an understanding of the broader structure of mathematics and its evolution. The two powerful ideas that are constants throughout his work, and which have dominated subsequent developments in mathematics, are the concept of mathematical structure and the idea of the essential unity underlying the apparent multiplicity of mathematical disciplines. This collection of his major writings offers readers a much-needed insight into his influence on the development of mathematics and philosophy.
Author: E. Agazzi
Author: E. Agazzi
Author: Leila Haaparanta
Author: Clarence Irving Lewis
Author: Paul Weingartner
Author: Francine F. Abeles
Author: W. D. Hart
Author: Michele Malatesta
Author: Gabriele Lolli
Author: Norman M. Martin
Author: Albert Lautman