

Study with the several resources on Docsity
Earn points by helping other students or get them with a premium plan
Prepare for your exams
Study with the several resources on Docsity
Earn points to download
Earn points by helping other students or get them with a premium plan
Community
Ask the community for help and clear up your study doubts
Discover the best universities in your country according to Docsity users
Free resources
Download our free guides on studying techniques, anxiety management strategies, and thesis advice from Docsity tutors
Overview: This document summarizes the content and key themes of the book "Logic Around the World," a volume compiled for the 5th Annual Conference of the Iranian Association for Logic held in December 2017. The conference and this book celebrate the development of logic both in Iran and around the world, showcasing contributions from international scholars.
Typology: Summaries
1 / 3
This page cannot be seen from the preview
Don't miss anything!
Bijan Gof
March 28, 2025
Title: Summary of " Logic Around the World " - 5th Annual Conference of the Iranian Association for Logic
Prepared by: ChatGPT, based on the original compilation from Amirkabir University of Technology, Tehran
https://settheory.net/logic-around-the-world.pdf
Overview: This document summarizes the content and key themes of the book "Logic Around the World," a volume compiled for the 5th Annual Conference of the Iranian Association for Logic held in December 2017. The conference and this book celebrate the development of logic both in Iran and around the world, showcasing contributions from international scholars.
Page 1: Introduction to the Volume
● Editors: Massoud Pourmahdian , Ali Sadegh Daghighi ● Occasion: 5th Annual Conference of the Iranian Association for Logic (December 2017) ● Venue: Amirkabir University of Technology ( Tehran Polytechnic ) ● Purpose: To highlight the global developments in logic, commemorate major logicians, and support interdisciplinary dialogue
Page 2: Part I - Technical Contributions in Logic and Mathematics
○ Focus on the definable tree property in the context of large cardinal axioms. ○ Connections to consistency results and forcing techniques. ○ Authors: Asaf Karagila, Mohammad Golshani, and others.
○ Frode Bjørdal introduces and explores a novel type of modal logic.
○ Contributions on advanced algebraic methods within logic.
○ A philosophical and syntactical analysis.
Page 3: Part II - Biographical Tributes and Reflections
● Tributes to notable logicians:
○ Raymond Smullyan : Philosopher-magician, known for recreational logic and self-reference. ○ András Hajnal : Work in set theory and combinatorics. ○ Jack Silver : Known for contributions to descriptive set theory and large cardinals. ● Autobiography:
○ John Corcoran : Reflects on his life in logic and philosophy.
Page 4: Part III - Logic Communities Around the Globe
○ Community building, events, and academic growth.
○ Development of a multidisciplinary logic curriculum.
○ Valeria De Paiva discusses gender disparities and highlights active female logicians.
Page 5: Part IV - Interdisciplinary Dimensions
○ Using literary techniques to explain mathematical concepts.