LOGIC AROUND the WORLD on the Occasion of 5Th Annual Conference of the Iranian Association for Logic

Total Page:16

File Type:pdf, Size:1020Kb

LOGIC AROUND the WORLD on the Occasion of 5Th Annual Conference of the Iranian Association for Logic LOGIC AROUND THE WORLD On the Occasion of 5th Annual Conference of the Iranian Association for Logic Edited by: Massoud Pourmahdian Ali Sadegh Daghighi Department of Mathematics & Computer Science Amirkabir University of Technology In memory of Avicenna, the great Iranian medieval polymath who made a major contribution to logic. LOGIC AROUND THE WORLD On the Occasion of 5th Annual Conference of the Iranian Association for Logic Editors: Massoud Pourmahdian, Ali Sadegh Daghighi Cover Design: Ali Sadegh Daghighi Page Layout: Seyyed Ahmad Mirsanei Circulation: 500 Price: 6 $ ISBN: 978-600-6386-99-7 سرشناسه: کنفرانس ساﻻنه ی انجمن منطق ایران )پنجمین : ۷۱۰۲م.= ۰۹۳۱ : تهران( Annual Conference of the Iranian Association for Logic (5th : 2017 : Tehran) عنوان و نام پدیدآور: Logic around the World : On the Occasion of 5th Annual Conference of the Iranian Association for Logic / edited by Massoud Pourmahdian, Ali Sadegh Daghighi. مشخصات نشر: قم : اندیشه و فرهنگ جاویدان، ۶۹۳۱= ۷۱۶۲م. مشخصات ظاهری: ۷۵۱ ص. شابک: 978-600-6386-99-7 وضعیت فهرست نویسی: فیپا یادداشت: انگلیسی. موضوع: منطق ریاضی-- کنگره ها موضوع: Logic, Symbolic and Mathematical – Congresses شناسه افزوده: پورمهدیان، مسعود، ۶۹۳۱ -، ویراستار شناسه افزوده: Pourmahdian, Massoud شناسه افزوده: صادق دقیقی، علی، ۶۹۱۵ -، ویراستار شناسه افزوده: Sadegh Daghighi, Ali رده بندی کنگره: ۶۹۳۱ ۳ک/ BC ۶۹۵ رده بندی دیویی: ۵۶۶/۹ شماره کتابشناسی ملی: ۳۳۴۶۳۷۳ © 2017 A.F.J. Publishing This work is subject to copyright. All rights are reserved, whether the whole or part of the material is concerned, specifically the rights of translation, reprinting, reuse of illustrations, recitation, broadcasting, reproduction on microfilm or in any other way, and storage in data banks. Printed in Iran. Address: Unit 1. No.356, Ayat-allah Kashani Street, Tehran, Iran. Postal Code: 1481855486. TeleFax: +9821 44038066. Unit 2. No.94, Alley 59, Imam Street, Qom, Iran. Postal Code: 3718665835. TeleFax: +9825 36500401-3. Website: http://eafj.ir/ E-mail: [email protected] CONTENTS PREFACE 7 CONTRIBUTORS 9 PART 1 TOPICS IN LOGIC AND PHILOSOPHY OF MATHEMATICS 11 THE ROLE OF DEFINABILITY IN TREE PROPERTY 13 Ali Sadegh Daghighi SKOLEM SATISFIED: ON AND 31 Frode Alfson Bjørdal SET THEORETIC PLURALISM 43 Toby Meadows THE DEVELOPMENT OF AORISTIC MODAL LOGIC 57 Christopher Gifford AN INTRODUCTION TO RAMSEY ALGEBRAS 67 Zu Yao Teoh ADDITIONAL SET THEORETIC ASSUMPTIONS AND TWISTED SUMS OF BANACH SPACES 75 Claudia Correa ŁUKASIEWICZ, JASKOWSKI AND NATURAL DEDUCTION: CURRY-HOWARD FOR CL 89 Adrian Rezus PART 2 ON THE LIFE AND WORK OF LOGICIANS 139 IN MEMORY OF RAYMOND SMULLYAN 141 Melvin Fitting ANDRAS HAJNAL, LIFE AND WORK 147 Mirna Džamonja MY MEMORIES OF PROFESSOR JACK SILVER 153 Aleksandar Ignjatovic A LOGICIAN’S AUTOBIOGRAPHY 157 John Corcoran PART 3 LOGIC COMMUNITIES AROUND THE WORLD 165 LOGIC IN BOGOTA: SOME NOTES 167 Andres Villaveces THE LOGIC GROUP AT NATIONAL UNIVERSITY OF SINGAPORE: A PERSONAL VIEW 177 Yang Yue WOMEN IN LOGIC: WHAT, HOW & WHY 183 Valeria De Paiva PART 4 ON INTERDISCIPLINARY APPLICATIONS OF LOGIC 187 SEMANTICS IN LOGIC AND COGNITION 189 Vadim Kulikov LOGICAL METHODS FOR THE VERIFICATION OF SOFTWARE MODELS 203 Magdalena Widl SET THEORY FOR POETS, POETRY FOR SET THEORISTS 207 William Flesch PART 5 ON LOGIC BOOKS AND WEBSITES 213 CLARIFYING THE FOUNDATIONS: AN INTRODUCTION TO THE SITE SETTHEORY.NET 215 Sylvain Poirier INDIAN LOGIC IN “THE COLLECTED WRITINGS OF JAYSANKAR LAL SHAW” 233 Jaysankar Lal Shaw A NOTE ON “THERE ARE TWO ERRORS IN THE TITLE OF THIS BOOK” 243 Robert Martin BRAIN’S ALGORITHM: ON VON NEUMANN’S “THE COMPUTER AND THE BRAIN” 247 Keyvan Yahya PREFACE The present volume has been provided by the Amirkabir Logic Group on the occasion of 5th Annual Conference of the Iranian Association for Logic (IAL), a unique national event with occasional international contributors which brings many Iranian mathematical and philosophical logicians together. In December 2017, this event took place at the Amirkabir University of Technology, which hosts Amirkabir Logic Group. Currently, the group consists of several faculty members, postdoctoral researchers and graduate students who conduct research in different branches of mathematical logic, including model theory, recursion theory, set theory and modal logic. The following collection includes several articles in various disciplines of logic and its applications. It is intended to give an introductory view of some particular topics in mathematical and philosophical logic to the general audience in the Iranian logic society in the hope of preparing the ground for possible collaborations between Iranian researchers and their colleagues in other countries along these lines. Also, as a source of inspiration for the researchers and managers of the Iranian logic community, the development history of some successful logic schools around the world, as well as some biographies of internationally renowned logicians, have been added into the contents. Furthermore, the collection contains some brief reviews of logic websites and books of interdisciplinary nature in favor of motivating the readers to follow the related content in future. Many people have contributed either directly or indirectly to this collection. First and foremost, the editors thank all logician and philosopher fellows of various nationalities who kindly accepted our invitation for contributing to the present book. We would also like to thank William Flesch for the re-publication permission of his submitted article and Heike Mildenberger for her supportive note which has been sent to the editors after her visit of the Institute for Research in Fundamental Sciences (IPM) in April 2017. We also express a special gratitude to Robert Solovay, Tomek Bartoszynski, John Corcoran, Parisa Jahangiri, Anand Jayprakash Vaidya and Keyvan Yahya who assisted the editors during communications with some of our collaborators at the University of California, Berkeley, the University of New South Wales, City University of New York, Dalhousie University, Victoria University of Wellington and University of Bristol respectively. Further thanks to Sylvain Poirier for advertising the Iranian logic groups as well as the present book on his comprehensive logic portal, settheory.net. Also, we thank Jaysankar Lal Shaw, who kindly invited the second editor (as the representative of the Amirkabir Logic Group) to send a message about the present volume addressing the members of the Society for Philosophy and Culture in New Zealand. Additionally, we would like to extend our appreciation to Vadim Kulikov for his effort to provide an article for us based on an already organized interview with Hugh Woodin. Unfortunately, the interview got canceled due to Prof. Woodin’s busy schedule. In the same way, we appreciate Samuel Gomez da Silva’s help with organizing a team of Brazilian logicians to provide a paper on the history of Brazilian logic for the present collection. However, this project also got canceled due to some co-authors’ lack of time. We also thank Sergei Akbarov and Merve Secgin for their effort in the direction of preparing some articles (with the help of their colleagues) on the history of the Russian school of mathematical logic and the logic activities at Nesin’s Mathematics Village in Turkey respectively. Although, both projects failed to get prepared in time due to various reasons. While the editors regret this, we are consoled that these topics, at least, will be documented elsewhere in the future. Last but not least, we would like to thank Mohammad Golshani for reviewing some of the papers in this collection, Mina Mohammadian for helpful communications with the officials at the Iranian Association for Logic concerning this project, and Atefeh Rohani for reformatting part of the text which enabled us to prepare the earlier draft for publication more quickly. Also, we are grateful to Seyyed Ahmad Mirsanei, the manager of Andisheh & Farhang-e Javidan Publishing, for his close collaboration during the publication process. The Editors Massoud Pourmahdian Ali Sadegh Daghighi CONTRIBUTORS Frode Alfson Bjørdal University of Oslo [email protected] John Corcoran University of Buffalo [email protected] Claudia Correa University of Sao Paulo [email protected] Ali Sadegh Daghighi Amirkabir University of Technology [email protected] Valeria De Paiva Nuance Communications [email protected] Mirna Džamonja University of East Anglia [email protected] Melvin Fitting City University of New York [email protected] William Flesch Brandeis University [email protected] Christopher Gifford University of Bristol [email protected] Aleksandar Ignjatovic University of New South Wales [email protected] Vadim Kulikov University of Helsinki [email protected] Robert Martin Dalhousie University [email protected] Toby Meadows University of Aberdeen [email protected] Massoud Pourmahdian Amirkabir University of Technology [email protected] Sylvain Poirier The Fourier Institute of Grenoble [email protected] Adrian Rezus University of Utrecht [email protected] Jaysankar Lal Shaw Victoria University of Wellington [email protected] Zu Yao Teoh University Sains Malaysia [email protected] Andres Villaveces National University of Colombia [email protected] Magdalena Widl Vienna University of Technology [email protected] Keyvan Yahya Chemnitz University of Technology [email protected] Yang Yue National University of Singapore [email protected] PART 1 TOPICS IN LOGIC AND PHILOSOPHY OF
Recommended publications
  • Story of Logic – Class Notes Fall 2010 Revised August 2012 CS 4860 Fall 2012 By: Robert L
    Applied Logic The Story of Logic – Class Notes Fall 2010 Revised August 2012 CS 4860 Fall 2012 By: Robert L. Constable 1 Classical Period These brief notes on the history of logic are meant to be an easily understood basis for stating very informally some of the great ideas in logic.1 Appreciating how the basic concepts were discovered and why they were needed is an accessible basis for a technical understanding of these concepts. For many students, this historical approach has been a route by which they have come to deeply understand and appreciate logic. Logic is one of the oldest continuously studied academic subjects, and while investigating its central questions, Alan M. Turing gave birth to computer science in 1936 as you will see toward the end of these notes. He and his thesis advisor at Princeton University, Alonzo Church, laid theoretical foundations for computer science that continue to frame some of the deepest questions and provide the conceptual tools for important applications. Indeed, their ideas underlie one of the most enduring contributions of computer science to intellectual history, the discovery that we can program computers to assist us in solving mathematical and scientific problems that we could not solve without them. It is no longer in doubt that computers can be programmed to perform high level mental operations that were once regarded as the pinnacle of human mental activity. Let us start as far back as is historically sensible as far as we know. 1.1 Epimenides of Crete circa 500 BCE Epimenides is reputed to have posed a version of the Liar’s Paradox, “All Cretans are liars” said a known Cretan.
    [Show full text]
  • Raymond Smullyan, the Amazing Mathematician and Logician, Died
    Remembering Raymond 1 S. Parthasarathy [email protected] His looks would remind you of the wizard from Harry Potter movies. His nimble fingers can play effortlessly, Mozart and Chopin, on the piano. He can wave his empty hands and pull out a pigeon from nowhere. All this would have happened till 6 February 2017. That was when Raymond Smullyan, the amazing mathematician and logician, died. Raymond Merrill Smullyan (aka Raymond Smullyan), was born on May 25, 1919, in Far Rockaway, N.Y., the son of Isidore Smullyan and Rosina Freeman Smullyan. He was educated at the University of Chicago and Princeton University. He was a mathematician and logician, professor emeritus of philosophy at Lehman College and the Graduate Center, City University of New York, and Oscar Ewing professor of philosophy at Indiana University Bloomington. He was one of many logi- cians to have studied under Alonzo Church. As an academic, he was known for his work in math and logic. He was also an author of a series of popular books on recreational logic, including, "What is the name of this book?" and \The lady and the tiger". A review of his book \Satan, Cantor and Infinity: Mind-Boggling Puzzles" appeared sometime ago in Gonitsora. Smullyan's life itself was closely influenced by logic. Here are two instances: The following story (published earlier in Gonitsora) was narrated by Smullyan himself in a video presentation: When Smullyan, the master of puzzles, met his date, he challenged her to a logical puzzle. The contract: Smullyan was to make a statement. • If the statement were true, the date had to give Smullyan an autograph.
    [Show full text]
  • Squares and Uncountably Singularized Cardinals
    SQUARES AND UNCOUNTABLY SINGULARIZED CARDINALS MAXWELL LEVINE AND DIMA SINAPOVA Abstract. It is known that if κ is inaccessible in V and W is an outer model of + V + W W V such that (κ ) = (κ ) and cf (κ) = !, then κ,ω holds in W . (Many strengthenings of this theorem have been investigated as well.) We show that this theorem does not generalize to uncountable cofinalities: There is a model V in which κ is inaccessible, such that there is a forcing extension W of V in + V + W W which (κ ) = (κ ) and ! < cf (κ) < κ, while in W , κ,τ fails for all τ < κ. We make use of Magidor's forcing for singularizing an inaccessible κ to have uncountable cofinality. Along the way, we analyze stationary reflection in this model, and we show that it is possible for κ,cf(κ) to hold in a forcing extension by Magidor's poset if the ground model is prepared with a partial square sequence. 1. Introduction Singular cardinals are a topic of great interest in set theory, largely because they are subject to both independence results and intricate ZFC constraints. Here we focus on the subject of singularized cardinals: cardinals that are regular in some inner model and singular in some outer model. Large cardinals are in fact necessary to consider such situations, so in actuality we consider cardinals that are inaccessible in some inner model and singular in some outer model. Singularized cardinals were originally sought in order to prove the consistency of the failure of the Singular Cardinals Hypothesis|the idea was to blow up the powerset of a cardinal and then singularize it|and obtaining singularized cardinals was a significant problem in its own right.
    [Show full text]
  • UC Irvine UC Irvine Electronic Theses and Dissertations
    UC Irvine UC Irvine Electronic Theses and Dissertations Title Axiom Selection by Maximization: V = Ultimate L vs Forcing Axioms Permalink https://escholarship.org/uc/item/9875g511 Author Schatz, Jeffrey Robert Publication Date 2019 Peer reviewed|Thesis/dissertation eScholarship.org Powered by the California Digital Library University of California UNIVERSITY OF CALIFORNIA, IRVINE Axiom Selection by Maximization: V = Ultimate L vs Forcing Axioms DISSERTATION submitted in partial satisfaction of the requirements for the degree of DOCTOR OF PHILOSOPHY in Philosophy by Jeffrey Robert Schatz Dissertation Committee: Distinguished Professor Penelope Maddy, Chair Professor Toby Meadows Dean’s Professor Kai Wehmeier Professor Jeremy Heis 2019 All materials c 2019 Jeffrey Robert Schatz DEDICATION To Mike and Lori Schatz for always encouraging me to pursue my goals AND In memory of Jackie, a true and honest friend. ii TABLE OF CONTENTS Page ACKNOWLEDGMENTS iv CURRICULUM VITAE vi ABSTRACT OF THE DISSERTATION vii CHAPTER 1: Two Contemporary Candidates for A Strong Theory of Sets 1 1 The Axiomatization of Set Theory and The Question of Axiom Selection 2 1.1 The Inner Model Program 14 1.2 The Forcing Axiom Program 27 1.3 How to Settle This Dispute? 36 1.4 CHAPTER 2: Axiom Selection and the Maxim of ‘Maximize’ 38 2 ‘Maximize’ as a Methodological Maxim 39 2.1 Two Notions of Maximize 43 2.2 Re-characterizing M-Max for Extensions of ZFC 50 2.3 CHAPTER 3: Applying ‘Maximize’ to Contemporary Axiom Candidates 53 3 Towards a Theory for Ultimate L 54 3.1 S-Max:
    [Show full text]
  • An Obituary of Raymond Smullyan - 02-20-2017 by S
    Remembering Raymond: An Obituary of Raymond Smullyan - 02-20-2017 by S. Parthasarathy - Gonit Sora - http://gonitsora.com Remembering Raymond: An Obituary of Raymond Smullyan by S. Parthasarathy - Monday, February 20, 2017 http://gonitsora.com/obituary-raymond-smullyan/ His looks would remind you of the wizard from Harry Potter movies. His nimble fingers can play effortlessly, Mozart and Chopin, on the piano. He can wave his empty hands and pull out a pigeon from nowhere. All this would have happened till 6 February 2017. That was when Raymond Smullyan, the amazing mathematician and logician, died. Raymond Merrill Smullyan (aka Raymond Smullyan), was born on May 25, 1919, in Far Rockaway, N.Y., the son of Isidore Smullyan and Rosina Freeman Smullyan. He was educated at the University of Chicago and Princeton University. He was a mathematician and logician, professor emeritus of philosophy at Lehman College and the Graduate Center, City University of New York, and Oscar Ewing professor of philosophy at Indiana University Bloomington. He was one of many logicians to have studied under Alonzo Church. As an academic, he was known for his work in math and logic. He was also an author of a series of popular books on recreational logic, including, "What is the name of this book?" and ``The lady and the tiger''. A review of his book ``Satan, Cantor and Infinity: Mind-Boggling Puzzles'' appeared sometime ago in this website. Smullyan's life itself was closely influenced by logic. Here are two instances: The following story (published earlier in this website) was narrated by Smullyan himself in a video presentation: When Smullyan, the master of puzzles, met his date, he challenged her to a logical puzzle.
    [Show full text]
  • MICHAEL FREDE Michael Johannes Frede 1940–2007
    MICHAEL FREDE Michael Johannes Frede 1940–2007 WHEN MICHAEL JOHANNES FREDE died (11 August 2007), by drowning in the Corinthian Gulf at a beach near Itea below Delphi, Greece, the world of ancient philosophy lost the most accomplished philosopher and scholar, and one of the most distinguished and influential teachers, of the generation of specialists in this field internationally who began their careers in the 1960s and 1970s. He was born 31 May 1940, in Kreuzberg, a working-class district of Berlin, the first child of Roman Catholic parents (a second, Stefanie, was born several years later). He was brought up in Germany and educated there through the Ph.D. and beyond, emigrating later, first to the United States in 1971, then to the United Kingdom, where he was Professor of the History of Philosophy at Oxford University and Fellow of Keble College from 1991 until he chose to retire two years before required, in 2005. In 1943, at the age of two, the apartment building where his family lived was reduced to rubble in an Allied bombing attack while his mother had taken him out for a walk in his carriage, so the family had to move, first to Lippstadt in Westphalia and then in the early 1950s to Hamburg, where Frede attended the Sankt Ansgar-Gymnasium, a Jesuit school, studying classics and the classical languages (Abitur 1959). At university, he studied first in Munich (1959–60) then back in Hamburg (1960–2), where he became a student of Günther Patzig; he rejoined Patzig at Göttingen in 1963 to complete his Ph.D., after a momentous year (1962–3) at Oxford, on Patzig’s suggestion and with his assistance, as a visiting research student, working on his dissertation on Plato’s Sophist, in consul- tation with G.
    [Show full text]
  • STOIC and CHRISTIAN CONCEPTIONS of HAPPINESS Dr
    STOIC AND CHRISTIAN CONCEPTIONS OF HAPPINESS Dr. David Naugle Introduction With reference to the Western concept of courage, the "theologian of culture" Paul Tillich (1886-1965) once wrote that Stoicism is "the only real alternative to Christianity in the Western world."1 Affinities between these two Weltanschauungen not only make a comparison between their respective views of courage possible, but the same may be done with regard to their outlooks on happiness as well. In the popular imagination at least, Christians in general and Christian "saints" in particular are stereotypically imaged as "stoical," which, according to the dictionary, refers to those marked by "austere indifference to joy, grief, pleasure, or pain."2 Historically, this impression is neither unjustified nor wholly inaccurate, for views of Christian character have been greatly affected by interaction with the Stoic teaching throughout the centuries.3 For example, with only minor modification, Richard Tarnas' generic description of Stoicism could seemingly be applied to Christianity as well. In the Stoic view, all reality was pervaded by an intelligent divine force, the logos or universal reason which ordered all things. Man could achieve genuine happiness only by attuning his life and character to this all- powerful providential wisdom. To be free was to live in conformity with God's will, and what mattered finally in life was the virtuous state of the soul, not the circumstances of the outer life. The Stoic sage, marked by 1 Paul Tillich, The Courage To Be (New Haven: Yale University Press, 1952), p. 9. 2 Webster's New World Dictionary of the American Language, College Edition (1962), s.
    [Show full text]
  • [Math.LO] 26 Nov 2002
    LOGICAL DREAMS Saharon Shelah Institute of Mathematics The Hebrew University Jerusalem, Israel Rutgers University Mathematics Department New Brunswick, NJ USA Abstract. We discuss the past and future of set theory, axiom systems and inde- pendence results. We deal in particular with cardinal arithmetic. Contents Reading instructions 0. Introductory remarks 1 What does mathematical logic do for you? 2 The glory of proven ignorance 3 Set theory and additional axioms 4 ZFC indecisiveness 5 Is ZFC really so weak? 6 Concluding remarks arXiv:math/0211398v1 [math.LO] 26 Nov 2002 2000 Mathematics Subject Classification. 03-02, 03Exx. Key words and phrases. mathematical logic, set theory, independence, incompleteness, forcing, large cardinals. I would like to thank Alice Leonhardt for the beautiful typing. This paper is based on my lecture (and the preparations to the lecture) during the conference Mathematical Challenges of the 21th Century. Publication E23 Typeset by AMS-TEX 1 2 SAHARON SHELAH Annotated Content Reading instructions. §0 Introductory remarks. [How to read; what this article tries to do; what is cardinal arithmetic.] §1 What does mathematical logic do for me? [Why is it needed; what is this animal ZFC; thesis: general results; the Jeffersonian thesis for the best framework; the scale thesis.] §2 The glory of proven ignorance. [G¨odel’s diet, Cohen’s fattening; independence in number theory; primes are random; the Riemann hypothesis, consistency strength.] §3 Set theory and additional axioms. [G¨odel sentences and large cardinals; semi-axioms; new axioms; semi-axioms on ADL[R] positive but not true; is there just one nice descriptive set theory? cardinal invariants for the continuum.] §4 ZFC indecisiveness.
    [Show full text]
  • Professor Alan Kim's CV
    ALAN KIM Dept. of Philosophy Stony Brook University Stony Brook, NY 11794 [email protected] Appointments 2019-present Associate Professor of Philosophy, Stony Brook University 2013-2019 Assistant Professor of Philosophy, Stony Brook University 2011-2013 Senior Lecturer in Philosophy, Dartmouth College 2008-2011 Visiting Assistant Professor of Philosophy, Colgate University 2007-2008 Visiting Assistant Professor of Philosophy, Hamilton College 2000-2007 Assistant Professor of Philosophy, University of Memphis Education 1993-2001 Ph.D. in Philosophy (Dean’s Honor List), McGill University 1986-1990 B.A. in Philosophy (Departmental Honors), Haverford College 1998-2000 Fulbright Fellow, University of Heidelberg 1990-1991 Doctoral Student (East Asian Languages & Literatures), UCLA Dissertation “Original Fracture: Plato in the Philosophies of Paul Natorp and Martin Heidegger” Directors: Stephen Menn, Philip Buckley Areas of Specialization Ancient Philosophy, esp. Plato and Aristotle German Philosophy, esp. Kant, neo-Kantianism, Husserl, Heidegger Areas of Competence Existentialism, Philosophy of Technology, Philosophy of Literature, Classical Chinese Thought, History of Philosophy, Philosophy of Psychology Awards Fulbright Full Grant & seven-month renewal, Heidelberg, Germany (1998-2000) Stony Brook University AHLSS Faculty Research Award (2018) Colgate University Research Council Publication Grant (2009-10) Colgate University Research Council Discretionary Grant (2009-10) McGill University Dean’s Honor List (2001) KIM: 2/10 J.W. McConnell McGill Major Research Fellowship (1997) Gordon H. Eberts McGill Major Research Fellowship (1996) Publications Books • Selves in Dialogue: Authenticity, Autonomy, and the Socratic Art of Living. [Under contract with SUNY Press] • The Brill Companion to German Platonism. xii, 388 pp. Volume editor. Brill Publishing, Leiden, Netherlands (2019) The fourteen contributors include such leading scholars as Manfred Baum, Richard Bett, Francisco Gonzalez, André Laks, François Renaud, and Thomas Szlezák.
    [Show full text]
  • Deductions and Reductions Decoding Syllogistic Mnemonics
    Entelekya Logico-Metaphysical Review Vol 2 No 1 May 2018: 5-39 ___________________________________________________________ Deductions and Reductions Decoding Syllogistic Mnemonics JOHN CORCORAN SUNY: University at Buffalo DANIEL NOVOTNÝ University of South Bohemia KEVIN TRACY Christendom College Research Article Submitted: 12.05.2018Accepted: 21.06.2018 Abstract: The syllogistic mnemonic known by its first two words Barbara Celarent introduced a constellation of ter- Metaphysical Review minology still used today. This concatenation of nineteen - o words in four lines of verse made its stunning and almost unprecedented appearance around the beginning of the thirteenth century, before or during the lifetimes of the lo- gicians William of Sherwood and Peter of Spain, both of whom owe it their lasting places of honor in the history of syllogistic. The mnemonic, including the theory or theories it encoded, was prominent if not dominant in syllogistics for the next 700 years until a new paradigm was estab- Entelekya Logic lished in the 1950s by the great polymath Jan Łukasiewicz, ___________________________________________________________ JOHN CORCORAN University at Buffalo, College of Arts and Sciences, Department of Philosophy 119 Park Hall, Buffalo, NY 14260-4150, USA [[email protected]] [Corresponding Author] DANIEL NOVOTNÝ University of South Bohemia, Faculty of Theology, Department of Philosophy and Religious Studies České Budějovice, 370-01, CZ [[email protected]] KEVIN TRACY Christendom College, Department of Classical and Early Christian Studies Front Royal, VA 22630-6534, USA [[email protected]] 6 John Corcoran, Daniel Novotný, Kevin Tracy a scholar equally at home in philosophy, classics, mathe- matics, and logic. Perhaps surprisingly, the then-prominent syllogistic mnemonic played no role in the Łukasiewicz work.
    [Show full text]
  • Raymond Smullyan on Self Reference Outstanding Contributions to Logic
    Outstanding Contributions to Logic 14 Melvin Fitting Brian Rayman Editors Raymond Smullyan on Self Reference Outstanding Contributions to Logic Volume 14 Editor-in-chief Sven Ove Hansson, Royal Institute of Technology, Stockholm, Sweden Editorial Board Marcus Kracht, Universität Bielefeld Lawrence Moss, Indiana University Sonja Smets, Universiteit van Amsterdam Heinrich Wansing, Ruhr-Universität Bochum More information about this series at http://www.springer.com/series/10033 Melvin Fitting • Brian Rayman Editors Raymond Smullyan on Self Reference 123 Editors Melvin Fitting Brian Rayman City University of New York (CUNY) NYC Department of Education System Brooklyn, NY City University of New York USA New York City, NY USA ISSN 2211-2758 ISSN 2211-2766 (electronic) Outstanding Contributions to Logic ISBN 978-3-319-68731-5 ISBN 978-3-319-68732-2 (eBook) https://doi.org/10.1007/978-3-319-68732-2 Library of Congress Control Number: 2017956336 © Springer International Publishing AG 2017 This work is subject to copyright. All rights are reserved by the Publisher, whether the whole or part of the material is concerned, specifically the rights of translation, reprinting, reuse of illustrations, recitation, broadcasting, reproduction on microfilms or in any other physical way, and transmission or information storage and retrieval, electronic adaptation, computer software, or by similar or dissimilar methodology now known or hereafter developed. The use of general descriptive names, registered names, trademarks, service marks, etc. in this publication does not imply, even in the absence of a specific statement, that such names are exempt from the relevant protective laws and regulations and therefore free for general use. The publisher, the authors and the editors are safe to assume that the advice and information in this book are believed to be true and accurate at the date of publication.
    [Show full text]
  • In Memoriam: James Earl Baumgartner (1943-2011)
    In memoriam: James Earl Baumgartner (1943–2011) J.A. Larson Department of Mathematics University of Florida, Gainesville Gainesville, FL 32611–8105, USA October 9, 2018 Abstract James Earl Baumgartner (March 23, 1943 – December 28, 2011) came of age mathematically during the emergence of forcing as a fun- damental technique of set theory, and his seminal research changed the way set theory is done. He made fundamental contributions to the development of forcing, to our understanding of uncountable or- ders, to the partition calculus, and to large cardinals and their ideals. He promulgated the use of logic such as absoluteness and elementary submodels to solve problems in set theory, he applied his knowledge of set theory to a variety of areas in collaboration with other math- ematicians, and he encouraged a community of mathematicians with engaging survey talks, enthusiastic discussions of open problems, and friendly mathematical conversations. arXiv:1705.02219v1 [math.HO] 2 May 2017 1 Overview of Baumgartner’s Life James E. Baumgartner was born on March 23, 1943 in Wichita, Kansas. His high school days included tennis, football, and leading roles in school plays. In 1960 he entered the California Institute of Technology, but stayed only two years, moving to the University of California, Berkeley in 1962, in part because it was co-educational. There he met and married his wife Yolanda. He continued his interest in drama and mathematics as an undergraduate, earned his A.B. in mathematics in 1964, and continued study as a graduate 1 student. Baumgartner [9, page 2] dated his interest in set theory to the four week long 1967 UCLA Summer Institute on Axiomatic Set Theory.1 The mathematics for his dissertation was completed in spring 1969, and Baumgartner became a John Wesley Young Instructor at Dartmouth College in fall 1969.
    [Show full text]