Docsity
Docsity

Prepare for your exams
Prepare for your exams

Study with the several resources on Docsity


Earn points to download
Earn points to download

Earn points by helping other students or get them with a premium plan


Guidelines and tips
Guidelines and tips

Summary of "Logic Around the World", Summaries of Mathematical logic

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

2016/2017

Uploaded on 03/28/2025

bijan-gof
bijan-gof 🇺🇸

1 document

1 / 3

Toggle sidebar

This page cannot be seen from the preview

Don't miss anything!

bg1
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
1. Set Theory and Tree Properties
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.
2. Aoristic Modal Logic
Frode Bjørdal introduces and explores a novel type of modal logic.
3. Ramsey Algebras
pf3

Partial preview of the text

Download Summary of "Logic Around the World" and more Summaries Mathematical logic in PDF only on Docsity!

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

  1. Set Theory and Tree Properties

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

  1. Aoristic Modal Logic

○ Frode Bjørdal introduces and explores a novel type of modal logic.

  1. Ramsey Algebras

○ Contributions on advanced algebraic methods within logic.

  1. Natural Deduction and Classical 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

  1. Logic in Bogotá, Colombia

○ Community building, events, and academic growth.

  1. Logic in Singapore

○ Development of a multidisciplinary logic curriculum.

  1. Women in Logic

○ Valeria De Paiva discusses gender disparities and highlights active female logicians.

Page 5: Part IV - Interdisciplinary Dimensions

  1. Set Theory for Poets

○ Using literary techniques to explain mathematical concepts.

  1. Logic in Cognitive Science