Author: Bob Coecke Publisher: Springer Science & Business Media ISBN: 9401712018 Category : Science Languages : en Pages : 329
Book Description
The present volume has its origins in a pair of informal workshops held at the Free University of Brussels, in June of 1998 and May of 1999, named "Current Research 1 in Operational Quantum Logic". These brought together mathematicians and physicists working in operational quantum logic and related areas, as well as a number of interested philosophers of science, for a rare opportunity to discuss recent developments in this field. After some discussion, it was decided that, rather than producing a volume of conference proceedings, we would try to organize the conferees to produce a set of comprehensive survey papers, which would not only report on recent developments in quantum logic, but also provide a tutorial overview of the subject suitable for an interested non-specialist audience. The resulting volume provides an overview of the concepts and methods used in current research in quantum logic, viewed both as a branch of mathemati cal physics and as an area of pure mathematics. The first half of the book is concerned with the algebraic side of the subject, and in particular the theory of orthomodular lattices and posets, effect algebras, etc. In the second half of the book, special attention is given to categorical methods and to connections with theoretical computer science. At the 1999 workshop, we were fortunate to hear three excellent lectures by David J. Foulis, represented here by two contributions. Dave's work, spanning 40 years, has helped to define, and continues to reshape, the field of quantum logic.
Author: Kurt Engesser Publisher: Elsevier ISBN: 0080931669 Category : Mathematics Languages : en Pages : 727
Book Description
Quantum mechanics is said to be the most successful physical theory ever. It is, in fact, unique in its success when applied to concrete physical problems. On the other hand, however, it raises profound conceptual problems that are equally unprecedented. Quantum logic, the topic of this volume, can be described as an attempt to cast light on the puzzle of quantum mechanics from the point of view of logic. Since its inception in the famous 1936 paper by Birkhoff and von Neumann entitled, "The logic of quantum mechanics, quantum logic has undergone an enormous development. Various schools of thought and approaches have emerged, and there are a variety of technical results. The chapters of this volume constitute a comprehensive presentation of the main schools, approaches and results in the field of quantum logic. - Authored by eminent scholars in the field - Material presented is of recent origin representing the frontier of the subject - Provides the most comprehensive and varied discussion of Quantum Mechanics available
Author: Leila Haaparanta Publisher: Oxford University Press ISBN: 0199722722 Category : Philosophy Languages : en Pages : 1005
Book Description
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.
Author: Hans Halvorson Publisher: Cambridge University Press ISBN: 113949922X Category : Mathematics Languages : en Pages : 487
Book Description
No scientific theory has caused more puzzlement and confusion than quantum theory. Physics is supposed to help us to understand the world, but quantum theory makes it seem a very strange place. This book is about how mathematical innovation can help us gain deeper insight into the structure of the physical world. Chapters by top researchers in the mathematical foundations of physics explore new ideas, especially novel mathematical concepts at the cutting edge of future physics. These creative developments in mathematics may catalyze the advances that enable us to understand our current physical theories, especially quantum theory. The authors bring diverse perspectives, unified only by the attempt to introduce fresh concepts that will open up new vistas in our understanding of future physics.
Author: Bob Coecke Publisher: Springer Science & Business Media ISBN: 9780792362586 Category : Science Languages : en Pages : 346
Book Description
The present volume has its origins in a pair of informal workshops held at the Free University of Brussels, in June of 1998 and May of 1999, named "Current Research 1 in Operational Quantum Logic". These brought together mathematicians and physicists working in operational quantum logic and related areas, as well as a number of interested philosophers of science, for a rare opportunity to discuss recent developments in this field. After some discussion, it was decided that, rather than producing a volume of conference proceedings, we would try to organize the conferees to produce a set of comprehensive survey papers, which would not only report on recent developments in quantum logic, but also provide a tutorial overview of the subject suitable for an interested non-specialist audience. The resulting volume provides an overview of the concepts and methods used in current research in quantum logic, viewed both as a branch of mathemati cal physics and as an area of pure mathematics. The first half of the book is concerned with the algebraic side of the subject, and in particular the theory of orthomodular lattices and posets, effect algebras, etc. In the second half of the book, special attention is given to categorical methods and to connections with theoretical computer science. At the 1999 workshop, we were fortunate to hear three excellent lectures by David J. Foulis, represented here by two contributions. Dave's work, spanning 40 years, has helped to define, and continues to reshape, the field of quantum logic.
Author: D. Aerts (ed.) Publisher: World Scientific ISBN: 9789810248475 Category : Technology & Engineering Languages : en Pages : 404
Book Description
During the last decade, scientists working in quantum theory have been engaging in promising new fields such as quantum computation and quantum information processing, and have also been reflecting on the possibilities of nonlinear behavior on the quantum level. These are challenging undertakings because (1) they will result in new solutions to important technical and practical problems that were unsolvable by the classical approaches (for example, quantum computers can calculate problems that are intractable if one uses classical computers); and (2) they open up new 'hard' problems of a fundamental nature that touch the foundation of quantum theory itself (for example, the contradiction between locality and nonlinearity and the interpretation of quantum computing as a universal process).In this book, one can distinguish two main streams of research to approach the just-mentioned problem field: (1) a theoretical structural part, which concentrates on the elaboration of a nonlinear quantum mechanics and the fundamentals of quantum computation; and (2) a theoretical experimental part, which focuses on the theoretical aspects of applications that arise from new technology and novel research perspectives such as quantum optics and quantum cryptography. Particular attention is also paid to the measurement problem, the classical limit and alternative interpretations (such as the hidden measurement approach).
Author: Sahotra Sarkar Publisher: Taylor & Francis ISBN: 9780415977104 Category : Science Languages : en Pages : 530
Book Description
The first in-depth reference to the field that combines scientific knowledge with philosophical inquiry, this encyclopedia brings together a team of leading scholars to provide nearly 150 entries on the essential concepts in the philosophy of science. The areas covered include biology, chemistry, epistemology and metaphysics, physics, psychology and mind, the social sciences, and key figures in the combined studies of science and philosophy. (Midwest).
Author: Shahid Rahman Publisher: Springer Science & Business Media ISBN: 1402028083 Category : Philosophy Languages : en Pages : 618
Book Description
The first volume in this new series explores, through extensive co-operation, new ways of achieving the integration of science in all its diversity. The book offers essays from important and influential philosophers in contemporary philosophy, discussing a range of topics from philosophy of science to epistemology, philosophy of logic and game theoretical approaches. It will be of interest to philosophers, computer scientists and all others interested in the scientific rationality.
Author: Marco Aiello Publisher: Springer Science & Business Media ISBN: 1402055870 Category : Science Languages : en Pages : 1072
Book Description
The aim of this handbook is to create, for the first time, a systematic account of the field of spatial logic. The book comprises a general introduction, followed by fourteen chapters by invited authors. Each chapter provides a self-contained overview of its topic, describing the principal results obtained to date, explaining the methods used to obtain them, and listing the most important open problems. Jointly, these contributions constitute a comprehensive survey of this rapidly expanding subject.
Author: Bob Coecke
Author: Kurt Engesser
Author: Jennifer Chubb
Author: Leila Haaparanta
Author: Hans Halvorson
Author: Bob Coecke
Author: D. Aerts (ed.)
Author: Sahotra Sarkar
Author: Shahid Rahman
Author: Marco Aiello