Carlo Cellucci

A traditional question in the philosophy of mathematics is to give an answer to the question: What is the nature of mathematical objects? This chapter considers the main answers that have been given to this question, specifically those according to which mathematical objects are independently existing entities, or abstractions, or logical objects, or simplifications, or mental constructions, or structures, or fictions, or idealizations of sensible things, or idealizations of operations. The chapter also shows the shortcomings of these answers, and considers an alternative answer, according to which mathematical objects are hypotheses introduced to solve mathematical problems by the analytic method.

This monograph addresses the question of the increasing irrelevance of philosophy, which has seen scientists as well as philosophers concluding that philosophy is dead and has dissolved into the sciences. It seeks to answer the question of whether or not philosophy can still be fruitful and what kind of philosophy can be such. The author argues that from its very beginning philosophy has focused on knowledge and methods for acquiring knowledge. This view, however, has generally been abandoned in the last century with the belief that, unlike the sciences, philosophy makes no observations or experiments and requires only thought. Thus, in order for philosophy to once again be relevant, it needs to return to its roots and focus on knowledge as well as methods for acquiring knowledge. Accordingly, this book deals with several questions about knowledge that are essential to this view of philosophy, including mathematical knowledge. Coverage examines such issues as the nature of knowledge; plausibility and common sense; knowledge as problem solving; modeling scientific knowledge; mathematical objects, definitions, diagrams; mathematics and reality; and more. This monograph presents a new approach to philosophy, epistemology, and the philosophy of mathematics. It will appeal to graduate students and researchers with interests in the role of knowledge, the analytic method, models of science, and mathematics and reality.

This volume examines the limitations of mathematical logic and proposes a new approach to logic intended to overcome them. To this end, the book compares mathematical logic with earlier views of logic, both in the ancient and in the modern age, including those of Plato, Aristotle, Bacon, Descartes, Leibniz, and Kant. From the comparison it is apparent that a basic limitation of mathematical logic is that it narrows down the scope of logic confining it to the study of deduction, without providing tools for discovering anything new. As a result, mathematical logic has had little impact on scientific practice. Therefore, this volume proposes a view of logic according to which logic is intended, first of all, to provide rules of discovery, that is, non-deductive rules for finding hypotheses to solve problems. This is essential if logic is to play any relevant role in mathematics, science and even philosophy. To comply with this view of logic, this volume formulates several rules of discovery, such as induction, analogy, generalization, specialization, metaphor, metonymy, definition, and diagrams. A logic based on such rules is basically a logic of discovery, and involves a new view of the relation of logic to evolution, language, reason, method and knowledge, particularly mathematical knowledge. It also involves a new view of the relation of philosophy to knowledge. This book puts forward such new views, trying to open again many doors that the founding fathers of mathematical logic had closed historically.

MEDIEVAL AND RENAISSANCE LOGICSMARK D. JOHNSTON, The spiritual logic of Ramon Llull. Oxford: Clarendon Press,1987. xi + 336 pp. £35.00E. J. ASHWORTH, Thomas Bricot: Tractatus Znsolubilium. Nijmegen: Ingenium, 1986. xxiii+ 155 pp. 44 Dfl.CYPRIANI REGNERI, Demonstratio logicae verae iuridica. Edited by G. Kalinowski. Bologna: Cooperativa Libraria Universitaria Editrice Bologna, 1986. xxviii + 167 pp. No price stated.GIROLAMO SACCHERI, Euclides vindicatus. Edited and translated by George Bruce Halsted: second, expanded, edition. New York: Chelsea Publishing Company 1986. xxx + 255 pp. $16.95.THE NINETEENTH CENTURYT. HAILPERIN, Boole's logic andprobability. Second edition. Amsterdam, New York,Oxford and Tokyo: North-Holland, 1986. xii + 428 pp. $76.00.WALTER PURKERT and HANS JOACHIM ILGAUDS, Georg Cantor 1845-1918. Basel/Boston/Stuttgart: Birkhauser Verlag, 1987. 262 pp., 26 plts. SFr. 48.MAX H. FISCH, Peirce, semeiotic, andpragmatism: essays by Max H. Fisch. Edited by Kenneth Laine Ketner and Christian J. W. Kloesel. Bloomington: Indiana University Press, 1986. xiv + 464 pp. $45.00.LOGIC AND LANGUAGEJOËLLE PROUST, Qusesting de forme. logique et proposition analtique de kant á Carnap. Paris Fayard, 1986. xxviii + 504 pp. FF 160H. PALMER, Presupposition and transcendental inference. London and Sydney: Croom Helm, 1985. 208 pp. £15.95EDITIONSALFRED TARSKI, Collected papers. Edited by Steven R. Givant and Ralph N. McKenzie. Vol. I, 1921-1934, 659 pp. Vol. 11, 1935-1944, 699 pp. Vol. 111, 1945-1957, 682 pp. Vol. IV, 1958-1979, 757 pp. Basel, Boston, Stuttgart: Birkhäuser,1986. SF 1280KURT GöDEL, Collected works, Volume 1. Edited by Solomon Feferman, John W. Dawson Jr., Stephen Kleene, Gregory H. Moore, Robert M. Solovay and Jean van Heijenoort. New York: Oxford University Press; Oxford: Clarendon Press; 1986. xviii + 474 pp. £25.00.MISCELLANEOUSJ. MACNAMARA, A border dispute. The place of logic in psychology. Cambridge, Mass. and London: M. I. T. Press. 1986. xviii + 212 pp. £22.50.G. LOLLI, La macchina e le dimostrazioni. Bologna: il Mulino, 1987. 157 pp. L. 15.000.

The problematic relation between logic and knowledge has given rise to some of the most important works in the history of philosophy, from Books VIVII of Platos Republic and Aristotles Prior and Posterior Analytics, to Kants Critique of Pure Reason and Mills A System of Logic, Ratiocinative and Inductive. It provides the title of an important collection of papers by Bertrand Russell. However, it has remained an underdeveloped theme in the last century, because logic has been treated as separate from knowledge. This book does not hope to make up for a century-long absence of discussion. Rather, its ambition is to call attention to the theme and stimulating renewed reflection upon it. The book collects essays of leading figures in the field and it addresses the theme as a topic of current debate, or as a historical case study, or when appropriate as both. Each essay is followed by the comments of a younger discussant, in an attempt to transform what might otherwise appear as a monologue into an ongoing dialogue; each section begins with an historical essay and ends with an essay by one of the editors.

Although there have never been so many professional philosophers as today, most of the questions discussed by today’s philosophers are of no interest to cultured people at large. Specifically, several scientists have maintained that philosophy has become an irrelevant subject. Thus philosophy is at a crossroads: either to continue on the present line, which relegates it into irrelevance, or to analyse the reasons of the irrelevance and seek an escape. This paper is an attempt to explore the second alternative.

The present form of mathematical logic originated in the twenties and early thirties from the partial merging of two different traditions, the algebra of logic and the logicist tradition (see [27], [41]). This resulted in a new form of logic in which several features of the two earlier traditions coexist. Clearly neither the algebra of logic nor the logicist’s logic is identical to the present form of mathematical logic, yet some of their basic ideas can be distinctly recognized within it. One of such ideas is Boole’s view that logic is the study of the laws of thought. This is not to be meant in a psychologistic way. Frege himself states that the task of logic can be represented “as the investigation of the mind; [though] of the mind, not of minds” [17, p. 369]. Moreover Frege never charges Boole with being psychologistic and in a letter to Peano even distinguishes between the followers of Boole and “the psychological logicians” [16, p. 108]. In fact for Boole the laws of thought which are the object of logic belong “to the domain of what is termed necessary truth” [2, p. 404]. For him logic does not depend on psychology, on the contrary psychology depends on logic insofar as it is only through an investigation of logical operations that we could obtain “some probable intimations concerning the nature and constitution of the human mind” [2, p. 1]. Logic is normative, not descriptive. For, the laws of thought do not “manifest their presence otherwise than by merely prescribing the conditions of formal inference” [2, p. 419]. They are, “properly speaking, the laws of right reasoning only” [2, p. 408]. So they “form but a part of the system of laws by which the actual processes of reasoning, whether right or wrong, are governed” [2, p. 409]. Boole’s idea that logic is the study of the laws of thought was taken over by Hilbert. According to him logic is “a discipline which expresses the structure of all our thought” [31, p..

In a very influential paper Rota stresses the relevance of mathematical beauty to mathematical research, and claims that a piece of mathematics is beautiful when it is enlightening. He stops short, however, of explaining what he means by ‘enlightening’. This paper proposes an alternative approach, according to which a mathematical demonstration or theorem is beautiful when it provides understanding. Mathematical beauty thus considered can have a role in mathematical discovery because it can guide the mathematician in selecting which hypothesis to consider and which to disregard. Thus aesthetic factors can have an epistemic role qua aesthetic factors in mathematical research

It has been maintained by Smullyan that the importance of cut-free proofs does not stem from cut elimination per se but rather from the fact that they satisfy the subformula property. In accordance with such a viewpoint in this paper we introduce analytic cut trees, a system from which cuts cannot be eliminated but satisfying the subformula property. Like tableaux analytic cut trees are a refutation system but unlike tableaux they have a single inference rule and several branch closure rules. The main advantage of analytic cut trees over tableaux is efficiency: while analytic cut trees can simulate tableaux with an increase in complexity by at most a constant factor, tableaux cannot polynomially simulate analytic cut trees. Indeed analytic cut trees are intrinsically more efficient than any cut-free system.

Logic and Knowledge Editor: Carlo Cellucci, Emily Grosholz and Emiliano Ippoliti Date Of Publication: Aug 2011 Isbn13: 978-1-4438-3008-9 Isbn: 1-4438-3008-9 The problematic relation between logic and knowledge has given rise to some of the most important works in the history of philosophy, from Books VI–VII of Plato’s Republic and Aristotle’s Prior and Posterior Analytics, to Kant’s Critique of Pure Reason and Mill’s A System of Logic, Ratiocinative and Inductive. It provides the title of an important collection of papers by Bertrand Russell (Logic and Knowledge. Essays, 1901–1950). However, it has remained an underdeveloped theme in the last century, because logic has been treated as separate from knowledge. This book does not hope to make up for a century-long absence of discussion. Rather, its ambition is to call attention to the theme and stimulating renewed reflection upon it. The book collects essays of leading figures in the field and it addresses the theme as a topic of current debate, or as a historical case study, or when appropriate as both. Each essay is followed by the comments of a younger discussant, in an attempt to transform what might otherwise appear as a monologue into an ongoing dialogue; each section begins with an historical essay and ends with an essay by one of the editors. Carlo Cellucci is Emeritus Professor of Philosophy at the University of Rome ‘La Sapienza,’ Italy. He is currently completing a book entitled, Remaking Logic: What is Logic Really? Emily Grosholz is Professor of Philosophy at the Pennsylvania State University, USA. She is the author of Representation and Productive Ambiguity in Mathematics and the Sciences (Oxford University Press, 2007). Emiliano Ippoliti is a Research Fellow at the University of Rome ‘La Sapienza,’ Italy. His main interests are heuristics, the logic of discovery, and problem-solving. He is currently working on a book, Ampliating Knowledge: Data, Hypotheses and Novelty. TABLE OF CONTENTS Foreword .................................................................................................... ix Acknowledgements ................................................................................. xxv Section I: Logic and Knowledge Chapter One................................................................................................. 3 The Cognitive Importance of Sight and Hearing in Seventeenthand Eighteenth-Century Logic (Mirella Capozzi) Discussion .............................................................................................. 26 (Chiara Fabbrizi) Chapter Two .............................................................................................. 33 Nominalistic Content (Jody Azzouni) Discussion ............................................................................................... 52 (Silvia De Bianchi) Chapter Three ............................................................................................ 57 A Garden of Grounding Trees (Göran Sundholm) Discussion............................................................................................ 75 (Luca Incurvati) Chapter Four .............................................................................................. 81 Logics and Metalogics (Timothy Williamson) Discussion.......................................................................................... 101 (Cesare Cozzo) Chapter Five ............................................................................................ 109 Is Knowledge the Most General Factive Stative Attitude? (Cesare Cozzo) Discussion.......................................................................................... 117 (Timothy Williamson) Chapter Six .............................................................................................. 123 Classifying and Justifying Inference Rules (Carlo Cellucci) Discussion.......................................................................................... 143 (Norma B. Goethe) Section II: Logic and Science Chapter Seven.......................................................................................... 151 The Universal Generalization Problem and the Epistemic Status of Ancient Medicine: Aristotle and Galen (Riccardo Chiaradonna) Discussion.......................................................................................... 168 (Diana Quarantotto) Chapter Eight........................................................................................... 175 The Empiricist View of Logic (Donald Gillies) Discussion.......................................................................................... 191 (Paolo Pecere) Chapter Nine............................................................................................ 197 Artificial Intelligence and Evolutionary Theory: Herbert Simon’s Unifying Framework (Roberto Cordeschi) Discussion.......................................................................................... 216 (Francesca Ervas) Chapter Ten ............................................................................................. 221 Evolutionary Psychology and Morality: The Renaissance of Emotivism? (Mario De Caro) Discussion.......................................................................................... 232 (Annalisa Paese) Chapter Eleven ........................................................................................ 237 Between Data and Hypotheses (Emiliano Ippoliti) Discussion.......................................................................................... 262 (Fabio Sterpetti) Section III: Logic and Mathematics Chapter Twelve ....................................................................................... 273 Dedekind Against Intuition: Rigor, Scope and the Motives of his Logicism (Michael Detlefsen) Discussion.......................................................................................... 290 (Marianna Antonutti) Chapter Thirteen...................................................................................... 297 Mathematical Intuition: Poincaré, Polya, Dewey (Reuben Hersh) Discussion.......................................................................................... 324 (Claudio Bernardi) Chapter Fourteen ..................................................................................... 329 On the Finite: Kant and the Paradoxes of Knowledge (Carl Posy) Discussion.......................................................................................... 358 (Silvia Di Paolo) Chapter Fifteen ........................................................................................ 363 Assimilation: Not Only Indiscernibles are Identified (Robert Thomas) Discussion.......................................................................................... 380 (Diego De Simone) Chapter Sixteen ....................................................................................... 385 Proofs and Perfect Syllogisms (Dag Prawitz) Discussion.......................................................................................... 403 (Julien Murzi) Chapter Seventeen ................................................................................... 411 Logic, Mathematics, Heterogeneity (Emily Grosholz) Discussion.......................................................................................... 427 (Valeria Giardino) Contributors............................................................................................. 433 Index........................................................................................................ 437 Price Uk Gbp: 49.99 Price Us Usd: 74.99

Giaquinto’s book is a philosophical examination of how the search for certainty was carried out within the philosophy of mathematics from the late nineteenth to roughly the mid-twentieth century. It is also a good introduction to the philosophy of mathematics and the views expressed in the body of the book, in addition to being thorough and stimulating, seem generally undisputable. Some doubts, however, could be raised about the concluding remarks concerning the present situation in the philosophy of mathematics, specifically Zermelo's iterative concept of set as a foundation for set theory, Simpson's reverse mathematics, Feferman’s Predicativist Programme, and the cognitive foundations of mathematics.

La logica matematica di Russell, di K. Gödel.--Che cos'è il problema del continuo di Cantor?, di K. Gödel.--Osservazioni al Convegno su i problemi di matematica per il secondo centenario di Princeton, di K. Gödel.--Matematica e logica, di A. Church.--Osservazioni sulla definizione e sulla natura della matematica, di H.B. Curry.--Sull'infinito, di D. Hilbert.--Il programma di Hilbert, di G. Kreisel.--Fondamenti storici, principi e metodi dell'intuizionismo, di L.E.J. Brouwer.--Disputa, di A. Heyting.--L'intuizionismo in matematica, di A. Heyting.--Verso un nominalismo costruttivo, di N. Goodman e W.V. Quine.--Un mondo di individui, di N. Goodman.

This article examines the current justifications of deductive inferences, and finds them wanting. It argues that this depends on the fact that all such justification take no account of the role deductive inferences play in knowledge. Alternatively, the article argues that a justification of deductive inferences may be given in terms of the fact that they are non-ampliative, in the sense that the content of the conclusion is merely a reformulation of the content of the premises. Some possible objections to this view are discussed and found inadequate.

The aim of this article is to show that intuition plays no role in mathematics. That intuition plays a role in mathematics is mainly associated to the view that the method of mathematics is the axiomatic method. It is assumed that axioms are directly (Gödel) or indirectly (Hilbert) justified by intuition. This article argues that all attempts to justify axioms in terms of intuition fail. As an alternative, the article supports the view that the method of mathematics is the analytic method, a method originally used by the mathematician Hippocrates of Chios and the physician Hippocrates of Cos, and first explicitly formulated by Plato. The article examines the main features of the analytic method, and argues that, while intuition plays an essential role in the axiomatic method, it plays no role in the analytic method, either in the discovery or in the justification of hypotheses. That the method of mathematics is the analytic method involves that mathematical knowledge is not absolutely certain but only plausible, but the article argues that this is the best we can achieve.

In his book The Value of Science Poincaré criticizes a certain view on the growth of mathematical knowledge: “The advance of science is not comparable to the changes of a city, where old edifices are pitilessly torn down to give place to new ones, but to the continuous evolution of zoological types which develop ceaselessly and end by becoming unrecognizable to the common sight, but where an expert eye finds always traces of the prior work of the centuries past” (Poincaré 1958, p. 14). The view criticized by Poincaré corresponds to Frege’s idea that the development of mathematics can be described as an activity of system building, where each system is supposed to provide a complete representation for a certain mathematical field and must be pitilessly torn down whenever it fails to achieve such an aim. All facts concerning any mathematical field must be fully organized in a given system because “in mathematics we must always strive after a system that is complete in itself” (Frege 1979, p. 279). Frege is aware that systems introduce rigidity and are in conflict with the actual development of mathematics because “in history we have development; a system is static”, but he sticks to the view that “science only comes to fruition in a system” because “only through a system can we achieve complete clarity and order” (Frege 1979, p. 242). He even goes so far as saying that “no science can be so enveloped in obscurity as mathematics, if it fails to construct a system” (Frege 1979, p. 242). By ‘system’ Frege means ‘axiomatic system’. In his view, in mathematics we cannot rest content with the fact that “we are convinced of something, but we must strive to obtain a clear insight into the network of inferences that support our conviction”, that is, to find “what the primitive truths are”, because “only in this way can a system be constructed” (Frege 1979, p. 205). The primitive truths are the principles of the axiomatic system. Frege’s stress on the role of systems also determines his views on the growth of mathematical knowledge..