The Book “Logic around the World”

“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

Leave a Reply

Your email address will not be published. Required fields are marked *