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 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