Essays In The Philosophy And History Of Logic And Mathematics

The book is a collection of the author’s selected works in the philosophy and history of logic and mathematics. Papers in Part I include both general surveys of contemporary philosophy of mathematics as well as studies devoted to specialized topics, like Cantor's philosophy of set theory, the Church thesis and its epistemological status, the history of the philosophical background of the concept of number, the structuralist epistemology of mathematics and the phenomenological philosophy of mathematics. Part II contains essays in the history of logic and mathematics. They address such issues as the philosophical background of the development of symbolism in mathematical logic, Giuseppe Peano and his role in the creation of contemporary logical symbolism, Emil L. Post's works in mathematical logic and recursion theory, the formalist school in the foundations of mathematics and the algebra of logic in England in the 19th century. The history of mathematics and logic in Poland is also considered. This volume is of interest to historians and philosophers of science and mathematics as well as to logicians and mathematicians interested in the philosophy and history of their fields.

The volume includes twenty-five research papers presented as gifts to John L. Bell to celebrate his 60th birthday by colleagues, former students, friends and admirers. Like Bell’s own work, the contributions cross boundaries into several inter-related fields. The contributions are new work by highly respected figures, several of whom are among the key figures in their fields. Some examples: in foundations of maths and logic (William Lawvere, Peter Aczel, Graham Priest, Giovanni Sambin); analytical philosophy (Michael Dummett, William Demopoulos), philosophy of science (Michael Redhead, Frank Arntzenius), philosophy of mathematics (Michael Hallett, John Mayberry, Daniel Isaacson) and decision theory and foundations of economics (Ken Bimore). Most articles are contributions to current philosophical debates, but contributions also include some new mathematical results, important historical surveys, and a translation by Wilfrid Hodges of a key work of arabic logic.

This volume collects 22 essays on the history of logic written by outstanding specialists in the field. The book was originally prompted by the 2018-2019 celebrations in honor of Massimo Mugnai, a world-renowned historian of logic, whose contributions on Medieval and Modern logic, and to the understanding of the logical writings of Leibniz in particular, have shaped the field in the last four decades. Given the large number of recent contributions in the history of logic that have some connections or debts with Mugnai’s work, the editors have attempted to produce a volume showing the vastness of the development of logic throughout the centuries. We hope that such a volume may help both the specialist and the student to realize the complexity of the history of logic, the large array of problems that were touched by the discipline, and the manifold relations that logic entertained with other subjects in the course of the centuries. The contributions of the volume, in fact, span from Antiquity to the Modern Age, from semantics to linguistics and proof theory, from the discussion of technical problems to deep metaphysical questions, and in it the history of logic is kept in dialogue with the history of mathematics, economics, and the moral sciences at large.

In a career that spans 60 years so far, W.W. Tait has made many highly influential contributions to logic, the philosophy of mathematics, and their history. The present collection of new essays - contributed by former students, colleagues, and friends - is a Festschrift, i.e., a celebration of his life and work. The essays address a variety of themes prominent in his work or related to it. The collection starts with an introduction in which Tait's contributions are sketched and put into context. The eleven essays that follow are arranged in three parts: Part I. Proof Theory and its History; Part II. Logic and Philosophy of Mathematics; and Part III. History of Logic and Philosophy of Mathematics. Each of the essays contributes substantially to one or several of these areas. The authors included are: Steve Awodey, Solomon Feferman, Michael Friedman, Warren Goldfarb, Geoffrey Hellman, William Howard, Stephen Menn, Rebecca Morris, Charles Parsons, Erich Reck, Thomas Ricketts, and Wilfried Sieg. The editor, Erich H. Reck is Professor of Philosophy at the University of California at Riverside.

This volume is a collection of essays in honour of Professor Mohammad Ardeshir. It examines topics which, in one way or another, are connected to the various aspects of his multidisciplinary research interests. Based on this criterion, the book is divided into three general categories. The first category includes papers on non-classical logics, including intuitionistic logic, constructive logic, basic logic, and substructural logic. The second category is made up of papers discussing issues in the contemporary philosophy of mathematics and logic. The third category contains papers on Avicenna’s logic and philosophy. Mohammad Ardeshir is a full professor of mathematical logic at the Department of Mathematical Sciences, Sharif University of Technology, Tehran, Iran, where he has taught generations of students for around a quarter century. Mohammad Ardeshir is known in the first place for his prominent works in basic logic and constructive mathematics. His areas of interest are however much broader and include topics in intuitionistic philosophy of mathematics and Arabic philosophy of logic and mathematics. In addition to numerous research articles in leading international journals, Ardeshir is the author of a highly praised Persian textbook in mathematical logic. Partly through his writings and translations, the school of mathematical intuitionism was introduced to the Iranian academic community.

The book presents the state of the art of research into the legacy of interwar Polish analytic philosophy and exemplifies different approaches to the history of philosophy. It contains discussions and reconstructions of aspects of Polish philosophy and logic as well as reactions to and developments of this tradition.

The papers collected in this volume are based on the best contributions to the conference of the Italian Society for Logic and Philosophy of Science (SILFS) that took place in Milan on 8-10 October 2007. The aim of the Society, since its foundation in 1952, has always been that of bringing together scholars - working in the broad areas of Logic, Philosophy of Science and History of Science - who share an open-minded approach to their disciplines and regard them as essentially requiring continuous confrontation and bridge-building to avoid the danger of over-specialism. In this perspective, logicians and philosophers of science should not indulge in inventing and cherishing their own "internal problems" - although these may occasionally be an opportunity for conceptual clarification - but should primarily look at the challenging conceptual and methodological questions that arise in any genuine attempt to extend our objective knowledge. As Ludovico Geymonat used to put it: " good] philosophy should be sought in the folds of science itself." Contributions are distributed into six sections, five of which - "Logic and Computing," "Physics and Mathematics," "Life Sciences," "Economics and Social Sciences," "Neuroscience and Philosophy of Mind" - are devoted to the discussion of cutting-edge problems that arise from current-day scientific research, while the remaining section on "General Philosophy of Science" is focused on foundational and methodological questions that are common to all areas.

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.