Philosophia Scientiæ Travaux d'histoire et de philosophie des sciences 18-3 | 2014 Logic and Philosophy of Science in Nancy (I) Selected Contributed Papers from the 14th International Congress of Logic, Methodology and Philosophy of Science Pierre Édouard Bour, Gerhard Heinzmann, Wilfrid Hodges and Peter Schroeder-Heister (dir.) Electronic version URL: http://journals.openedition.org/philosophiascientiae/957 DOI: 10.4000/philosophiascientiae.957 ISSN: 1775-4283 Publisher Éditions Kimé Printed version Date of publication: 1 October 2014 ISBN: 978-2-84174-689-7 ISSN: 1281-2463 Electronic reference Pierre Édouard Bour, Gerhard Heinzmann, Wilfrid Hodges and Peter Schroeder-Heister (dir.), Philosophia Scientiæ, 18-3 | 2014, « Logic and Philosophy of Science in Nancy (I) » [Online], Online since 01 October 2014, connection on 05 November 2020. URL : http://journals.openedition.org/ philosophiascientiae/957 ; DOI : https://doi.org/10.4000/philosophiascientiae.957 This text was automatically generated on 5 November 2020. Tous droits réservés 1 This issue collects a selection of contributed papers presented at the 14th International Congress of Logic, Methodology and Philosophy of Science in Nancy, July 2011. These papers were originally presented within three of the main sections of the Congress. They deal with logic, philosophy of mathematics and cognitive science, and philosophy of technology. A second volume of contributed papers, dedicated to general philosophy of science, and other topics in the philosophy of particular sciences, will appear in the next issue of Philosophia Scientiæ (19-1), 2015. Philosophia Scientiæ, 18-3 | 2014 2 TABLE OF CONTENTS Logic and Philosophy of Science in Nancy (I) Preface Pierre Edouard Bour, Gerhard Heinzmann, Wilfrid Hodges and Peter Schroeder-Heister Copies of Classical Logic in Intuitionistic Logic Jaime Gaspar A Critical Remark on the BHK Interpretation of Implication Wagner de Campos Sanz and Thomas Piecha Gödel’s Incompleteness Phenomenon—Computationally Saeed Salehi Meinong and Husserl on Existence. Two Solutions of the Paradox of Non-Existence Giuliano Bacigalupo Nicolai Vasiliev’s Imaginary Logic and Semantic Foundations for the Logic of Assent Werner Stelzner Quine’s Other Way Out Hartley Slater Minimal Logicism Francesca Boccuni The Form and Function of Duality in Modern Mathematics Ralf Krömer and David Corfield Proofs as Spatio-Temporal Processes Petros Stefaneas and Ioannis M. Vandoulakis A Scholastic-Realist Modal-Structuralism Ahti-Veikko Pietarinen Formal Ontologies and Semantic Technologies: A “Dual Process” Proposal for Concept Representation Marcello Frixione and Antonio Lieto A Philosophical Inquiry into the Character of Material Artifacts Manjari Chakrabarty What Linguistic Nativism Tells us about Innateness Delphine Blitman Can Innateness Ascriptions Avoid Tautology? Valentine Reynaud Damasio, Self and Consciousness Gonzalo Munévar The Principle Based Explanations Are Not Extinct in Cognitive Science: The Case of the Basic Level Effects Lilia Gurova Computational Mechanisms and Models of Computation Marcin Miłkowski Philosophia Scientiæ, 18-3 | 2014 3 Varia Is Church’s Picture of Frege a Good One? Zoé McConaughey Rationality of Performance Edda Weigand Erratum : « Pour une lecture continue de Hugo Dingler » Norbert Schappacher Philosophia Scientiæ, 18-3 | 2014 4 Logic and Philosophy of Science in Nancy (I) Philosophia Scientiæ, 18-3 | 2014 5 Preface Pierre Edouard Bour, Gerhard Heinzmann, Wilfrid Hodges and Peter Schroeder-Heister 1 The 14th International Congress of Logic, Methodology and Philosophy of Science was held in July, 19th – 26th, 2011 in Nancy, the historic capital of Lorraine and birthplace of Henri Poincaré. We were very honored that the President of the French Republic, Monsieur Nicolas Sarkozy, generously agreed his patronage. 2 The LMPS congresses represent the current state of the art and offer new perspectives in its fields. There were 900 registered participants from 56 different countries. They filled 115 sessions consisting of 391 individual talks (among them 6 plenary lectures and 49 invited lectures), 22 symposia (among them 4 special invited symposia), and 13 affiliated meetings and associated events such as 6 public talks—in all nearly 600 papers. These figures reflect the fact that LMPS is not only a place for scientific communication at the highest level, but also a forum for individual and collective research projects to reach a wide international audience. 3 Concerning the program, there were two innovations: 4 1. For the first time in the LMPS history, the Nancy congress had a special topic: Logic and Science Facing the New Technologies. It illuminated issues of major significance today: their integration in society. These questions were of great importance not only to LMPS participants, but to our professional and sponsoring partners likewise. Correspondingly, a section of the congress was entirely devoted to “Methological and Philosophical Issues in Technology”. With 16 individual lectures (three invited) and two symposia this special topic made a grand entrance. 5 2. We put much emphasis on symposia in the ‘non-invited’ part of the program. In addition to four symposia with invited speakers which we organized ourselves, and 13 affiliated symposia related to various topics of the congress, for which their respective organizers were responsible, we issued a call for contributed symposia in addition to the call for contributed papers, giving researchers the chance to apply as a group of up to 6 people for a short symposium on a selected topic. This call resulted in 18 contributed symposia, some of which were of exceptionally high quality. Philosophia Scientiæ, 18-3 | 2014 6 6 This volume presents a selection of contributed papers. All sections of the congress under the heading Logic are represented in this volume. Among Methodological and Philosophical Issues of Particular Sciences, two sections (Philosophy of Mathematics, Philosophy of Cognitive Science) are together represented by eight papers in all. Two papers belong to the new heading Methodological and Philosophical Issues in Technology. 7 A second volume of contributed papers will appear in the next issue of Philosophia Scientiæ (19-1), 2015. A selection of invited talks and plenary lectures are published under the title Logic, Methodology and Philosophy of Science. Proceedings of the Fourteenth International Congress (Nancy) by College Publications, London, 2014. 8 We are indebted to many persons and institutions for their integrated efforts to realize this meeting. First and foremost we would like to thank the members of our respective committees, the Local Organizing Committee, and the General Program Committee including its Senior Advisors and Advisors. They all have worked very hard, setting up an outstanding and attractive program and staging it in a comfortable surrounding that would make the congress a scientifically and socially enjoyable event. It has been a great pleasure to work with our colleagues and staff in these committees. 9 We also thank the Executive Committee of the DLMPS for its constant support and encouragement. Claude Debru (Académie des Sciences, Paris) helped us, amongst many other things, with his knowledge of French institutions, for which we are very grateful. Special thanks are also due to the University Nancy 2 and its Presidents, François Le Poultier and Martial Delignon, as well as to the Deans of Nancy’s Faculty of Law, Olivier Cachard and Éric Germain, who willingly let us occupy their splendid lecture halls and facilities. Without the generous financial support of the University of Lorraine, of local, national and international organizations, this meeting would not have been possible. To all these partners we express our warm gratitude. 10 Last but not least we would like to thank Sandrine Avril, who worked on the LATEX layout of this volume, and took care with her usual competence of a large part of the editorial process. AUTHORS PIERRE EDOUARD BOUR Université de Lorraine/CNRS, Nancy (France) GERHARD HEINZMANN Université de Lorraine/CNRS, Nancy (France) WILFRID HODGES British Academy (United Kingdom) Philosophia Scientiæ, 18-3 | 2014 7 PETER SCHROEDER-HEISTER Universität Tübingen (Germany) Philosophia Scientiæ, 18-3 | 2014 8 Copies of Classical Logic in Intuitionistic Logic Jaime Gaspar EDITOR'S NOTE Financially supported by the French Fondation Sciences Mathématiques de Paris. This article is essentially a written version of a talk given at the 14th Congress of Logic, Methodology and Philosophy of Science (Nancy, France, 19–26 July 2011), reporting on results in a PhD thesis [Gaspar 2011, chap. 14] and in an article [Gaspar 2013]. 1 Philosophy 1.1 Non-constructive and constructive proofs 1 Mathematicians commonly use an indirect method of proof called non-constructive proof: they prove the existence of an object without presenting (constructing) the object. However, many times they can also use a direct method of proof called constructive proof: to prove the existence of an object by presenting (constructing) the object. 2 Definition 1 • A non-constructive proof is a proof that proves the existence of an object without presenting the object. • A constructive proof is a proof that proves the existence of an object by presenting the object. 3 From a logical point of view, a non-constructive proof uses the law of excluded middle while a constructive proof does not use the law of excluded middle. 4 Definition 2. The law of excluded middle is the