What link might connect two far worlds like quantum theory and music? There is something universal in the mathematical formalism of quantum theory that goes beyond the limits of its traditional physical applications. We are now beginning to understand how some mysterious quantum concepts, like superposition and entanglement, can be used as a semantic resource.

This book provides a general survey of the main concepts, questions and results that have been developed in the recent interactions between quantum information, quantum computation and logic. Divided into 10 chapters, the books starts with an introduction of the main concepts of the quantum-theoretic formalism used in quantum information. It then gives a synthetic presentation of the main "mathematical characters" of the quantum computational game: qubits, quregisters, mixtures of quregisters, quantum logical gates. Next, the book investigates the puzzling entanglement-phenomena and logically analyses the Einstein-Podolsky-Rosen paradox and introduces the reader to quantum computational logics, and new forms of quantum logic. The middle chapters investigate the possibility of a quantum computational semantics for a language that can express sentences like "Alice knows that everybody knows that she is pretty", explore the mathematical concept of quantum Turing machine, and illustrate some characteristic examples that arise in the framework of musical languages. The book concludes with an analysis of recent discussions, and contains a Mathematical Appendix which is a survey of the definitions of all main mathematical concepts used in the book.

This is the first of two volumes comprising the papers submitted for publication by the invited participants to the Tenth International Congress of Logic, Methodology and Philosophy of Science, held in Florence, August 1995. The Congress was held under the auspices of the International Union of History and Philosophy of Science, Division of Logic, Methodology and Philosophy of Science. The invited lectures published in the two volumes demonstrate much of what goes on in the fields of the Congress and give the state of the art of current research. The two volumes cover the traditional subdisciplines of mathematical logic and philosophical logic, as well as their interfaces with computer science, linguistics and philosophy. Philosophy of science is broadly represented, too, including general issues of natural sciences, social sciences and humanities. The papers in Volume One are concerned with logic, mathematical logic, the philosophy of logic and mathematics, and computer science.

"Is quantum logic really logic?" This book argues for a positive answer to this question once and for all. There are many quantum logics and their structures are delightfully varied. The most radical aspect of quantum reasoning is reflected in unsharp quantum logics, a special heterodox branch of fuzzy thinking.
For the first time, the whole story of Quantum Logic is told; from its beginnings to the most recent logical investigations of various types of quantum phenomena, including quantum computation. Reasoning in Quantum Theory is designed for logicians, yet amenable to advanced graduate students and researchers of other disciplines.

This book gives a state-of-the-art survey of current research in logic and philosophy of science, as viewed by invited speakers selected by the most prestigious international organization in the field. In particular, it gives a coherent picture of foundational research into the various sciences, both natural and social. In addition, it has special interest items such as symposia on interfaces between logic and methodology, semantics and semiotics, as well as updates on the current state of the field in Eastern Europe and the Far East.

A vivid and comprehensive picture of the current state of research in all directions of logic and philosophy of science. The book presents a wide combination of papers containing relevant technical results in the foundations of science and papers devoted to conceptual analyses, deeply rooted in advanced present-day research. Audience: The volume is attractive both for specialists in foundational questions and scholars interested in general epistemology.

"Is quantum logic really logic?" This book argues for a positive answer to this question once and for all. There are many quantum logics and their structures are delightfully varied. The most radical aspect of quantum reasoning is reflected in unsharp quantum logics, a special heterodox branch of fuzzy thinking.
For the first time, the whole story of Quantum Logic is told; from its beginnings to the most recent logical investigations of various types of quantum phenomena, including quantum computation. Reasoning in Quantum Theory is designed for logicians, yet amenable to advanced graduate students and researchers of other disciplines.

A vivid and comprehensive picture of the current state of research in all directions of logic and philosophy of science. The book presents a wide combination of papers containing relevant technical results in the foundations of science and papers devoted to conceptual analyses, deeply rooted in advanced present-day research. Audience: The volume is attractive both for specialists in foundational questions and scholars interested in general epistemology.

This is the first of two volumes comprising the papers submitted for publication by the invited participants to the Tenth International Congress of Logic, Methodology and Philosophy of Science, held in Florence, August 1995. The Congress was held under the auspices of the International Union of History and Philosophy of Science, Division of Logic, Methodology and Philosophy of Science. The invited lectures published in the two volumes demonstrate much of what goes on in the fields of the Congress and give the state of the art of current research. The two volumes cover the traditional subdisciplines of mathematical logic and philosophical logic, as well as their interfaces with computer science, linguistics and philosophy. Philosophy of science is broadly represented, too, including general issues of natural sciences, social sciences and humanities. The papers in Volume One are concerned with logic, mathematical logic, the philosophy of logic and mathematics, and computer science.

This book gives a state-of-the-art survey of current research in logic and philosophy of science, as viewed by invited speakers selected by the most prestigious international organization in the field. In particular, it gives a coherent picture of foundational research into the various sciences, both natural and social. In addition, it has special interest items such as symposia on interfaces between logic and methodology, semantics and semiotics, as well as updates on the current state of the field in Eastern Europe and the Far East.

The impressive record of Italian philosophical research since the end of Fascism thirty-two years ago is shown in many fields: esthetics, social and" personal ethics, history and sociology of philosophy, and magnificently, perhaps above all, in logic, foundations of mathematics and the philosophY, methodology, and intellectual history ofthe empirical sciences. To our pleasure, Maria Luisa Dalla Chiara of the University of Florence gladly agreed to assemble a 'sampler' of recent Italian logical and analytical work on the philosophical foundations of mathematics and physics, along with a number of historical studies of epistemological and mathematical concepts. The twenty-five essays that form this volume will, we expect, encourage English-reading philosophers and scientists to seek further works by these authors and by their teachers, colleagues, and students; and, we hope, to look for those other Italian currents of thought in the philosophy of science for which points of departure are not wholly analytic, and which also deserve study and recognition in the world wide philosophical community. Of course, Italy has long been related to that world community in scien titlc matters."

The impressive record of Italian philosophical research since the end of Fascism thirty-two years ago is shown in many fields: esthetics, social and" personal ethics, history and sociology of philosophy, and magnificently, perhaps above all, in logic, foundations of mathematics and the philosophY, methodology, and intellectual history ofthe empirical sciences. To our pleasure, Maria Luisa Dalla Chiara of the University of Florence gladly agreed to assemble a 'sampler' of recent Italian logical and analytical work on the philosophical foundations of mathematics and physics, along with a number of historical studies of epistemological and mathematical concepts. The twenty-five essays that form this volume will, we expect, encourage English-reading philosophers and scientists to seek further works by these authors and by their teachers, colleagues, and students; and, we hope, to look for those other Italian currents of thought in the philosophy of science for which points of departure are not wholly analytic, and which also deserve study and recognition in the world wide philosophical community. Of course, Italy has long been related to that world community in scien titlc matters."

Foundational questions in logic, mathematics, computer science and physics are constant sources of epistemological debate in contemporary philosophy. To what extent is the transfinite part of mathematics completely trustworthy? Why is there a general 'malaise' concerning the logical approach to the foundations of mathematics? What is the role of symmetry in physics? Is it possible to build a coherent worldview compatible with a macroobjectivistic position and based on the quantum picture of the world? What account can be given of opinion change in the light of new evidence? These are some of the questions discussed in this volume, which collects 14 lectures on the foundation of science given at the School of Philosophy of Science, Trieste, October 1989. The volume will be of particular interest to any student or scholar engaged in interdisciplinary research into the foundations of science in the context of contemporary debates.

This book provides an interdisciplinary perspective on one of the most fascinating and important open questions in science: What is quantum mechanics talking about? Quantum theory is perhaps our best confirmed physical theory. However, despite its great empirical effectiveness and the subsequent technological developments that it gave rise to in the 20th century, from the interpretation of the periodic table of elements to CD players, holograms and quantum state teleportation, it stands even today without a universally accepted interpretation. The novelty of the book comes from the multiple viewpoints and subjects investigated by a group of researchers from Europe and North and South America.

In recent years there has been a great deal of interaction among game theorists, philosophers, and logicians in certain foundational problems concerning rationality, the formalization of knowledge and practical reasoning, and models of learning and deliberation. This unique volume brings together the work of some of the preeminent figures in their respective disciplines, all of whom are engaged in research at the forefront of their fields. Together they offer a conspectus of the interaction of game theory, logic, and epistemology in the formal models of knowledge, belief, deliberation, and learning and in the relationship between Bayesian decision theory and game theory, as well as between bounded rationality and computational complexity.

There has been a great deal of interaction among game theorists, philosophers and logicians in certain foundational problems concerning rationality, the formalization of knowledge and practical reasoning, and models of learning and deliberation. This volume brings together the work of some of the pre-eminent figures in their respective disciplines, all of whom are engaged in research at the forefront of their fields. Together they offer a conspectus of the interaction of game theory, logic and epistemology in the formal models of knowledge, belief, deliberation and learning, and in the relationship between Bayesian decision theory and game theory, as well as between bounded rationality and computational complexity.