DOCSLIB.ORG

Philosophia Scientiæ, 18-3 | 2014, « Logic and Philosophy of Science in Nancy (I) » [Online], Online Since 01 October 2014, Connection on 05 November 2020

Total Page：16

File Type：pdf, Size：1020Kb

Download full-text PDF Read full-text
Philosophia Scientiæ, 18-3 | 2014, « Logic and Philosophy of Science in Nancy (I) » [Online], Online Since 01 October 2014, Connection on 05 November 2020 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
Load more

Recommended publications
  • Boston Studies in the Philosophy and History of Science
    Boston Studies in the Philosophy and History of Science Volume 318 Series editors Alisa Bokulich, Boston University, Boston, MA, USA Robert S. Cohen, Boston University, Boston, MA, USA Jürgen Renn, Max Planck Institute for the History of Science, Berlin, Germany Kostas Gavroglu, University of Athens, Athens, Greece Managing Editor Lindy Divarci, Max Planck Institute for the History of Science Editorial Board Theodore Arabatzis, University of Athens Heather E. Douglas, University of Waterloo Jean Gayon, Université Paris 1 Thomas F. Glick, Boston University Hubert Goenner, University of Goettingen John Heilbron, University of California, Berkeley Diana Kormos-Buchwald, California Institute of Technology Christoph Lehner, Max Planck Institute for the History of Science Peter Mclaughlin, Universität Heidelberg Agustí Nieto-Galan, Universitat Autònoma de Barcelona Nuccio Ordine, Universitá della Calabria Ana Simões, Universidade de Lisboa John J. Stachel, Boston University Sylvan S. Schweber, Harvard University Baichun Zhang, Chinese Academy of Science The series Boston Studies in the Philosophy and History of Science was conceived in the broadest framework of interdisciplinary and international concerns. Natural scientists, mathematicians, social scientists and philosophers have contributed to the series, as have historians and sociologists of science, linguists, psychologists, physicians, and literary critics. The series has been able to include works by authors from many other countries around the world. The editors believe that the history and philosophy of science should itself be scientific, self-consciously critical, humane as well as rational, sceptical and undogmatic while also receptive to discussion of first principles. One of the aims of Boston Studies, therefore, is to develop collaboration among scientists, historians and philosophers.
    [Show full text]
  • Report of the Economic and Social Council on Its 2017 Session
    General Assembly A/72/3 Official Records Seventy-second Session Supplement No. 3 Report of the Economic and Social Council on its 2017 session (New York, 28 July 2016-27 July 2017) United Nations New York, 2017 Note Symbols of United Nations documents are composed of letters combined with figures. Mention of such a symbol indicates a reference to a United Nations document. ISSN 0082-8203 [17 August 2017] Contents Chapter Page I. Matters calling for action by or brought to the attention of the General Assembly .......... 6 II. Special meetings of the Economic and Social Council at the seventy-first session of the General Assembly .............................................................. 33 III. Special meeting of the Economic and Social Council on international cooperation in tax matters ....................................................................... 36 IV. Multi-stakeholder forum on science, technology and innovation for the Sustainable Development Goals ............................................................. 40 V. Economic and Social Council forum on financing for development follow-up ............. 41 VI. High-level segment ............................................................. 43 A. Ministerial meeting of the high-level political forum on sustainable development convened under the auspices of the Economic and Social Council ................... 45 B. High-level policy dialogue with international financial and trade institutions .......... 45 C. Thematic discussion .......................................................
    [Show full text]
  • Committee of Experts on International Cooperation in Tax Matters
    Economic and Social Council E/2015/45-E/C.18/2015/6 Official Records, 2015 Supplement No. 25 Committee of Experts on International Cooperation in Tax Matters Report on the eleventh session (19-23 October 2015) United Nations New York, 2015 Note Symbols of United Nations documents are composed of letters combined with figures. Mention of such a symbol indicates a reference to a United Nations document. [29 December 2015] Contents Chapter Page I. Introduction ................................................................... 4 II. Organization of the session ....................................................... 6 III. Discussion and conclusions on substantive issues related to international cooperation in tax matters .................................................................... 7 A. Article 1 (Persons covered): application of treaty rules to hybrid entities ............. 7 B. Article 5 (Permanent establishment): the meaning of “connected projects” ............ 9 C. Article 8 (Shipping, inland waterways transport and air transport) ................... 10 D. Article 9 (Associated enterprises): issues for the next update of the United Nations Practical Manual on Transfer Pricing for Developing Countries ..................... 12 E. Article 12 (Royalties): the meaning of “industrial, commercial and scientific equipment”; and issues regarding software-related payments ....................... 13 F. Article 26 (Exchange of information): proposed code of conduct .................... 14 G. Taxation of technical services ................................................
    [Show full text]
  • Philosophy of Science -----Paulk
    PHILOSOPHY OF SCIENCE -----PAULK. FEYERABEND----- However, it has also a quite decisive role in building the new science and in defending new theories against their well-entrenched predecessors. For example, this philosophy plays a most important part in the arguments about the Copernican system, in the development of optics, and in the Philosophy ofScience: A Subject with construction of a new and non-Aristotelian dynamics. Almost every work of Galileo is a mixture of philosophical, mathematical, and physical prin~ a Great Past ciples which collaborate intimately without giving the impression of in­ coherence. This is the heroic time of the scientific philosophy. The new philosophy is not content just to mirror a science that develops independ­ ently of it; nor is it so distant as to deal just with alternative philosophies. It plays an essential role in building up the new science that was to replace 1. While it should be possible, in a free society, to introduce, to ex­ the earlier doctrines.1 pound, to make propaganda for any subject, however absurd and however 3. Now it is interesting to see how this active and critical philosophy is immoral, to publish books and articles, to give lectures on any topic, it gradually replaced by a more conservative creed, how the new creed gener­ must also be possible to examine what is being expounded by reference, ates technical problems of its own which are in no way related to specific not to the internal standards of the subject (which may be but the method scientific problems (Hurne), and how there arises a special subject that according to which a particular madness is being pursued), but to stan­ codifies science without acting back on it (Kant).
    [Show full text]
  • Diagrammatics in Categorification and Compositionality
    Diagrammatics in Categorification and Compositionality by Dmitry Vagner Department of Mathematics Duke University Date: Approved: Ezra Miller, Supervisor Lenhard Ng Sayan Mukherjee Paul Bendich Dissertation submitted in partial fulfillment of the requirements for the degree of Doctor of Philosophy in the Department of Mathematics in the Graduate School of Duke University 2019 ABSTRACT Diagrammatics in Categorification and Compositionality by Dmitry Vagner Department of Mathematics Duke University Date: Approved: Ezra Miller, Supervisor Lenhard Ng Sayan Mukherjee Paul Bendich An abstract of a dissertation submitted in partial fulfillment of the requirements for the degree of Doctor of Philosophy in the Department of Mathematics in the Graduate School of Duke University 2019 Copyright c 2019 by Dmitry Vagner All rights reserved Abstract In the present work, I explore the theme of diagrammatics and their capacity to shed insight on two trends|categorification and compositionality|in and around contemporary category theory. The work begins with an introduction of these meta- phenomena in the context of elementary sets and maps. Towards generalizing their study to more complicated domains, we provide a self-contained treatment|from a pedagogically novel perspective that introduces almost all concepts via diagrammatic language|of the categorical machinery with which we may express the broader no- tions found in the sequel. The work then branches into two seemingly unrelated disciplines: dynamical systems and knot theory. In particular, the former research defines what it means to compose dynamical systems in a manner analogous to how one composes simple maps. The latter work concerns the categorification of the slN link invariant. In particular, we use a virtual filtration to give a more diagrammatic reconstruction of Khovanov-Rozansky homology via a smooth TQFT.
    [Show full text]
  • Popper, Objectification and the Problem of the Public Sphere
    View metadata, citation and similar papers at core.ac.uk brought to you by CORE provided by The Australian National University Popper, Objectification and the Problem of the Public Sphere Jeremy Shearmur1 1. Introduction: World 3 Popper’s approach to philosophy was anti-psychologistic, at least since he wrote The Two Fundamental Problems of the Theory of Knowledge (cf. Popper 2009 [1979; 1930-3]). In his work, anti-psychologism meant not an opposition to the recognition of psychological activity and its significance (in correspondence with Hayek in the 1950s he identified himself as a dualist interactionist), but, rather, an opposition to the reduction of knowledge to psychology. He stressed – in ways that are familiar from Frege and the early Husserl – the non-psychologistic status of logic. And in The Open Society (Popper 1945), with reference to Marx, he stressed his opposition to attempts to offer psychologistic explanations in the social sciences. His own interpretation of ‘methodological individualism’ viewed human action as taking place in social situations. His short papers on the mind-body problem in the 1950s (included in Popper 1963) developed an argument that the descriptive and argumentative functions of language posed a problem for reductionistic accounts of the mind-body relation. While in his ‘Of Clouds and Clocks’ (in Popper 1972), issues concerning what he was subsequently to call ‘world 3’ played an important role in his more systematic treatment of the mind-body problem. As David Miller suggested, Popper called world 3 in to redress the balance of world 1 and world 2 (see Popper 1976b, note 302).
    [Show full text]
  • E/2009/INF/2/Add.1 Economic and Social Council
    United Nations E/2009/INF/2/Add.1 Economic and Social Council Distr.: General 21 August 2009 Original: English Resolutions and decisions adopted by the Economic and Social Council at its substantive session of 2009 (Geneva, 6-31 July 2009) Note: The provisional texts of the resolutions and decisions adopted by the Council at its substantive session of 2009 are circulated herein for information. The final texts will be issued in Official Records of the Economic and Social Council, 2009, Supplement No. 1 (E/2009/99). 09-49043 (E) 061009 *0949043* E/2009/INF/2/Add.1 Contents Resolutions Resolution number Title Agenda item Date adopted Page 2009/1 Progress in the implementation of General Assembly 3 (a) 22 July 2009 12 resolution 62/208 on the triennial comprehensive policy review of operational activities for development of the United Nations system (E/2009/L.18 and E/2009/SR.32) 2009/2 Appointment of the Executive Director of the 3 (b) 22 July 2009 19 United Nations Population Fund (E/2009/L.19 and E/2009/SR.32) 2009/3 Strengthening of the coordination of emergency 5 22 July 2009 20 humanitarian assistance of the United Nations (E/2009/SR.32) 2009/4 Ad Hoc Advisory Group on Haiti (E/2009/L.13 and 7 (d) 23 July 2009 24 E/2009/SR.34) 2009/5 Recovering from the crisis: a Global Jobs Pact 6 (a) 24 July 2009 26 (E/2009/L.24 and E/2009/SR.35) 2009/6 Joint United Nations Programme on HIV/AIDS 7 (g) 24 July 2009 27 (UNAIDS) (E/2009/L.23 and E/2009/SR.36) 2009/7 Assessment of the progress made in the 13 (b) 24 July 2009 32 implementation of and follow-up to the outcomes of the World Summit on the Information Society (E/2009/31, chap.
    [Show full text]
  • Gc(09)/Inf/82
    International Atomic Energy Agency GC(IX)/INF/82 17 September 1965 General Conference GENERAL Distr. ENGLISH only Ninth Regular Session DELEGATIONS Information received by noon on 15 September 1965 CONTENTS Pages I. States A. Member States 3 B. Non-Member States 31 II, Organizations A. United Nations and specialized agencies 32 B. Intergovernmental organizations 33 C. Non-governmental organizations having 34 consultative status with the Agency ANNEX: Addresses I. States II. Organizations An asterisk following the name of a participant indicates that his wife is present in Tokyo, REQUESTS FOR CHANGES IN SUBSEQUENT EDITIONS OF THIS LIST SHOULD BE ADDRESSED TO THE PROTOCOL OFFICE IN WRITING. 65-5760 GC(IX)/lHP/82 page 3 STATES A. LIMBER STATES AFGHANISTAN ALBANIA ALG^HTA ARGENTINA Delegates Rear-Admiral Oscar A. QUIHILLALT * Chairman, Atomic Energy Commission! Governor from Argentina on the Board of Governors £Lksraai&J Professor Mario E. BANCORA * Director, Atcciic Energy Commission! Alternate to the Governor Adviser? Mr. Carlos G. LOUGE Third Secretary, the Embassy in Japan AUSTRALIA Delegate; Sir Philip BAXTER, K.B.E<., C.M.G. Chairman, Atomic Energy Commission! Governor from Australia on the Board of Governors Alternates J- Mr. A.B. THOMAS Head, International Relations Section, Atomic Energy Commission GC(IX)/INF/82 page 4 Mr- Ro do FERCIVAL First Secretary, the Embassy in Japan Mr. P. F. PETERS * First Secretary? the Embassy in Japan Mr. G. Ao CHANDLER Executive Assistants International Relations Section, Atomic Energy Commission AUSTRIA Relegates H.E, Dr. Heinrich HAYMERLE Minister1 Plenipotentiary, Federal Ministry of Foreign Affairs Alternates Mr. Richard POLACZEK Director, Federax Chancellery Advisers Dr.
    [Show full text]
  • PDF (Dissertation.Pdf)
    Kind Theory Thesis by Joseph R. Kiniry In Partial Fulfillment of the Requirements for the Degree of Doctor of Philosophy California Institute of Technology Pasadena, California 2002 (Defended 10 May 2002) ii © 2002 Joseph R. Kiniry All Rights Reserved iii Preface This thesis describes a theory for representing, manipulating, and reasoning about structured pieces of knowledge in open collaborative systems. The theory's design is motivated by both its general model as well as its target user commu- nity. Its model is structured information, with emphasis on classification, relative structure, equivalence, and interpretation. Its user community is meant to be non-mathematicians and non-computer scientists that might use the theory via computational tool support once inte- grated with modern design and development tools. This thesis discusses a new logic called kind theory that meets these challenges. The core of the work is based in logic, type theory, and universal algebras. The theory is shown to be efficiently implementable, and several parts of a full realization have already been constructed and are reviewed. Additionally, several software engineering concepts, tools, and technologies have been con- structed that take advantage of this theoretical framework. These constructs are discussed as well, from the perspectives of general software engineering and applied formal methods. iv Acknowledgements I am grateful to my initial primary adviser, Prof. K. Mani Chandy, for bringing me to Caltech and his willingness to let me explore many unfamiliar research fields of my own choosing. I am also appreciative of my second adviser, Prof. Jason Hickey, for his support, encouragement, feedback, and patience through the later years of my work.
    [Show full text]
  • Plural Reference.Pdf
    OUP UNCORRECTED PROOF – FIRST PROOF, 11/12/2015, SPi Plurality and Unity Dictionary: NOSD 0002624321.INDD 1 11/12/2015 3:07:20 PM OUP UNCORRECTED PROOF – FIRST PROOF, 11/12/2015, SPi Dictionary: NOSD 0002624321.INDD 2 11/12/2015 3:07:20 PM OUP UNCORRECTED PROOF – FIRST PROOF, 11/12/2015, SPi Plurality and Unity Logic, Philosophy, and Linguistics !"#$!" %& Massimiliano Carrara, Alexandra Arapinis, and Friederike Moltmann Dictionary: NOSD 0002624321.INDD 3 11/12/2015 3:07:20 PM OUP UNCORRECTED PROOF – FIRST PROOF, 11/12/2015, SPi Great Clarendon Street, Oxford, OX' (DP, United Kingdom Oxford University Press is a department of the University of Oxford. It furthers the University’s objective of excellence in research, scholarship, and education by publishing worldwide. Oxford is a registered trade mark of Oxford University Press in the UK and in certain other countries © the several contributors ')*( +e moral rights of the authors have been asserted First Edition published in ')*( Impression: * All rights reserved. No part of this publication may be reproduced, stored in a retrieval system, or transmitted, in any form or by any means, without the prior permission in writing of Oxford University Press, or as expressly permitted by law, by licence or under terms agreed with the appropriate reprographics rights organization. Enquiries concerning reproduction outside the scope of the above should be sent to the Rights Department, Oxford University Press, at the address above You must not circulate this work in any other form and you must impose this same condition on any acquirer Published in the United States of America by Oxford University Press *,- Madison Avenue, New York, NY *))*(, United States of America British Library Cataloguing in Publication Data Data available Library of Congress Control Number: ')*.,//0/.
    [Show full text]
  • Nazi Rule and Teaching of Mathematics in the Third Reich, Particularly School Mathematics
    Oral presentations 863 Nazi Rule and Teaching of Mathematics in the Third Reich, Particularly School Mathematics Reinhard SIEGMUND-SCHULTZE University of Agder, Faculty of Engineering and Science, 4604 Kristiansand, Norway [email protected] Abstract The paper investigates the consequences of the Nazi seizure of power in Germany in 1933 for the teaching of mathematics on several levels, particularly for school mathematics. The roles of the Mathematischer Reichsverband and the F¨orderverein during the political coordination will be investigated. Particular emphasis is put on the reactions by school and research mathematicians, in particular by the leading representative of mathematical didactics, Walther Lietzmann, the research mathematician Georg Hamel, and by the would-be didactician of mathematics, Hugo Dingler. It will be shown that in the choice of the subjects of mathematics teaching, the Nazi rule promoted militaristic as well as racist and eugenicist thinking. Some remarks on the effects of the reform of 1938 conclude the paper. Much emphasis is put on basic dates and literature for further study. 1 Nazi seizure of power, dismissals and “German mathematics” After the Nazis had seized power in Germany in early 1933 there was of course concern among mathematicians and mathematics teachers about the consequences for mathematics both on the university and school levels. The most immediate and visible effect were the dismissals. The purge of school teachers seems to have been on a much lesser scale than the dismissals at the universities: apparently much fewer teachers were affected by the “Aryan paragraph” of the infamous Nazi “Law for the Restoration of the Civil Service” of April 7, 1933.1 One knows of several German-Jewish mathematics teachers who later were murdered in concentration camps,2 and the chances of emigration for teachers were slim.
    [Show full text]
  • Philosophia Scientić, 17-1
    Philosophia Scientiæ Travaux d'histoire et de philosophie des sciences 17-1 | 2013 The Epistemological Thought of Otto Hölder Paola Cantù et Oliver Schlaudt (dir.) Édition électronique URL : http://journals.openedition.org/philosophiascientiae/811 DOI : 10.4000/philosophiascientiae.811 ISSN : 1775-4283 Éditeur Éditions Kimé Édition imprimée Date de publication : 1 mars 2013 ISBN : 978-2-84174-620-0 ISSN : 1281-2463 Référence électronique Paola Cantù et Oliver Schlaudt (dir.), Philosophia Scientiæ, 17-1 | 2013, « The Epistemological Thought of Otto Hölder » [En ligne], mis en ligne le 01 mars 2013, consulté le 04 décembre 2020. URL : http:// journals.openedition.org/philosophiascientiae/811 ; DOI : https://doi.org/10.4000/ philosophiascientiae.811 Ce document a été généré automatiquement le 4 décembre 2020. Tous droits réservés 1 SOMMAIRE General Introduction Paola Cantù et Oliver Schlaudt Intuition and Reasoning in Geometry Inaugural Academic Lecture held on July 22, 1899. With supplements and notes Otto Hölder Otto Hölder’s 1892 “Review of Robert Graßmann’s 1891 Theory of Number”. Introductory Note Mircea Radu Review of Graßmann, Robert, Theory of Number or Arithmetic in Strict Scientific Presentation by Strict Use of Formulas (1891) Otto Hölder Between Kantianism and Empiricism: Otto Hölder’s Philosophy of Geometry Francesca Biagioli Hölder, Mach, and the Law of the Lever: A Case of Well-founded Non-controversy Oliver Schlaudt Otto Hölder’s Interpretation of David Hilbert’s Axiomatic Method Mircea Radu Geometry and Measurement in Otto Hölder’s Epistemology Paola Cantù Varia Hat Kurt Gödel Thomas von Aquins Kommentar zu Aristoteles’ De anima rezipiert? Eva-Maria Engelen Philosophia Scientiæ, 17-1 | 2013 2 General Introduction Paola Cantù and Oliver Schlaudt 1 The epistemology of Otto Hölder 1 This special issue is devoted to the philosophical ideas developed by Otto Hölder (1859-1937), a mathematician who made important contributions to analytic functions and group theory.
    [Show full text]