“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