“Logic around the World” is a collection of articles in various disciplines of mathematical and philosophical logic by more than 20 logicians all around the world. It is edited by Dr. Massoud Pourmahdian and me and has been published by the logic group at the Amirkabir University of Technology on the occasion of the 5th annual conference of the Iranian Association for Logic (IAL).
The idea of providing such a unique collection goes back to early 2017 when I was the editor of the IAL News Bulletin. It is actually the result of the collective effort of countless people all across the globe who helped us in one way or another. On behalf of the editors, I would like to express our sincere gratitude to them all.
Please feel free to email me if you need the full text of the book for your personal use or would like to add any feedback. It will be our pleasure to hear from you! Here is the list of articles and contributors:
PART 1: TOPICS IN LOGIC AND PHILOSOPHY OF MATHEMATICS
THE ROLE OF DEFINABILITY IN TREE PROPERTY
Ali Sadegh Daghighi
Amirkabir University of Technology
SKOLEM SATISFIED: ON AND
Frode Alfson Bjørdal
University of Oslo
SET THEORETIC PLURALISM
Toby Meadows
University of Aberdeen
THE DEVELOPMENT OF AORISTIC MODAL LOGIC
Christopher Gifford
University of Bristol
AN INTRODUCTION TO RAMSEY ALGEBRAS
Zu Yao Teoh
University Sains Malaysia
ADDITIONAL SET THEORETIC ASSUMPTIONS AND TWISTED SUMS OF BANACH SPACES
Claudia Correa
University of Sao Paulo
ŁUKASIEWICZ, JASKOWSKI AND NATURAL DEDUCTION: CURRY-HOWARD FOR CL
Adrian Rezus
University of Utrecht
PART 2: ON THE LIFE AND WORK OF LOGICIANS
IN MEMORY OF RAYMOND SMULLYAN
Melvin Fitting
City University of New York
ANDRAS HAJNAL, LIFE AND WORK
Mirna Džamonja
University of East Anglia
MY MEMORIES OF PROFESSOR JACK SILVER
Aleksandar Ignjatovic
University of New South Wales
A LOGICIAN’S AUTOBIOGRAPHY
John Corcoran
University of Buffalo
PART 3: LOGIC COMMUNITIES AROUND THE WORLD
LOGIC IN BOGOTA: SOME NOTES
Andres Villaveces
National University of Colombia
THE LOGIC GROUP AT NATIONAL UNIVERSITY OF SINGAPORE: A PERSONAL VIEW
Yang Yue
National University of Singapore
WOMEN IN LOGIC: WHAT, HOW & WHY
Valeria De Paiva
Nuance Communications
PART 4: ON INTERDISCIPLINARY APPLICATIONS OF LOGIC
SEMANTICS IN LOGIC AND COGNITION
Vadim Kulikov
University of Helsinki
LOGICAL METHODS FOR THE VERIFICATION OF SOFTWARE MODELS
Magdalena Widl
Vienna University of Technology
SET THEORY FOR POETS, POETRY FOR SET THEORISTS
William Flesch
Brandeis University
PART 5: ON LOGIC BOOKS AND WEBSITES
CLARIFYING THE FOUNDATIONS: AN INTRODUCTION TO THE SITE SETTHEORY.NET
Sylvain Poirier
The Fourier Institute of Grenoble
INDIAN LOGIC IN “THE COLLECTED WRITINGS OF JAYSANKAR LAL SHAW”
Jaysankar Lal Shaw
Victoria University of Wellington
A NOTE ON “THERE ARE TWO ERRORS IN THE TITLE OF THIS BOOK”
Robert Martin
Dalhousie University
BRAIN’S ALGORITHM: ON VON NEUMANN’S “THE COMPUTER AND THE BRAIN”
Keyvan Yahya
Chemnitz University of Technology
