Indeed, this is the first serious book-length study of the subject by a philosopher of science.

The Fifth International Congress of Logic, Methodology and Philosophy of Science was held at the University of Western Ontario, London, Canada, 27 August to 2 September 1975. 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, and was sponsored by the National Research Council of Canada and the University of Western Ontario. As those associated closely with the work of the (...) Division over the years know well, the work undertaken by its members varies greatly and spans a number of fields not always obviously related. In addition, the volume of work done by first rate scholars and scientists in the various fields of the Division has risen enormously. For these and related reasons it seemed to the editors chosen by the Divisional officers that the usual format of publishing the proceedings of the Congress be abandoned in favour of a somewhat more flexible, and hopefully acceptable, method of pre sentation. Accordingly, the work of the invited participants to the Congress has been divided into four volumes appearing in the University of Western Ontario Series in Philosophy of Science. The volumes are entitled, Logic, Foundations of Mathematics and Computability Theory, Foun dational Problems in the Special Sciences, Basic Problems in Methodol ogy and Linguistics, and Historical and Philosophical Dimensions of Logic, Methodology and Philosophy of Science. (shrink)

This volume will be of particular interest to researchers working in the history, and in the philosophy, of logic and mathematics, and more generally, to ...

At the 1993 Annual meeting of the Association for Symbolic Logic, the Council of the association voted to establish a new journal to be called The Bulletin of Symbolic Logic. The intended goal of the Council was to produce a journal that would be both accessible and of interest to as wide an audience as possible, with the stated purpose of keeping the logic community abreast of important developments in all parts of our discipline. The first issue was (...) to appear in March of 1995 and you now have it in your hands.In accordance with the Council resolution, we intend to publish primarily two types of papers. The first section of The Bulletin, Articles, will usually be devoted to works of an expository or survey nature. These papers will generally present topics of broad interest in a way that should be accessible to a large majority of the members of the Association. Topics will be drawn from all areas of logic including mathematical or philosophical logic, logic in computer science or linguistics, the history or philosophy of logic, logic education and applications of logic to other fields. One view of a role that this section of The Bulletin will play is as an ongoing handbook of logic. (shrink)

This book is dedicated to V.A. Yankov’s seminal contributions to the theory of propositional logics. His papers, published in the 1960s, are highly cited even today. The Yankov characteristic formulas have become a very useful tool in propositional, modal and algebraic logic. The papers contributed to this book provide the new results on different generalizations and applications of characteristic formulas in propositional, modal and algebraic logics. In particular, an exposition of Yankov’s results and their applications in algebraic logic, (...) the theory of admissible rules and refutation systems is included in the book. In addition, the reader can find the studies on splitting and join-splitting in intermediate propositional logics that are based on Yankov-type formulas which are closely related to canonical formulas, and the study of properties of predicate extensions of non-classical propositional logics. The book also contains an exposition of Yankov’s revolutionary approach to constructive proof theory. The editors also include Yankov’s contributions to history and philosophy of mathematics and foundations of mathematics, as well as an examination of his original interpretation of history of Greek philosophy and mathematics. (shrink)

We propose a reconstruction of the constellation of problems and philosophical positions on the nature and number of the primitives of logic in four authors of the nineteenth century logical scene: Peano, Padoa, Frege and Peirce. We argue that the proposed reconstruction forces us to recognize that it is in at least four different senses that a notation can be said to be simpler than another, and we trace the origins of these four senses in the writings of these authors. (...) We conclude that Frege, and even more so Peirce, developed new notations not to make drawing logical conclusions easier but in order to answer the needs of logical analysis. (shrink)

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. (shrink)

Ernst Cassirer occupies a unique space in Twentieth-century philosophy. A great liberal humanist, his multi-faceted work spans the history of philosophy, the philosophy of science, intellectual history, aesthetics, epistemology, the study of language and myth, and more. The Philosophy of Symbolic Forms is Cassirer's most important work. It was first published in German in 1923, the third and final volume appearing in 1929. In it Cassirer presents a radical new philosophical worldview - at (...) once rich, creative and controversial - of human beings as fundamentally "symbolic animals," placing signs and systems of expression between themselves and the world. This major new translation, the first for over fifty years, brings Cassirer's magnum opus to a new generation of students and scholars. Volume 1: Language is a fascinating examination of arguably the most fundamental of these systems of expression: human language. Cassirer traces the problem of language and expression far back in the history of philosophy, considering the work of the early Greek rationalists. He then examines the later empiricist tradition, up to the romantic tradition in the nineteenth century tackling fundamental questions about representation, signification and expression as well as language and conceptual thought in mathematics and science. Correcting important errors in previous English editions, this translation reflects the contributions of significant advances in Cassirer scholarship over the last twenty to thirty years. Each volume includes a new introduction and translator's notes by S. G. Lofts, a foreword by Peter Gordon, a glossary of key terms, and a thorough index. (shrink)