Association for Logic in India

ALI, the Association for Logic in India, announces the tenth edition of its biennial Indian Conference on Logic and its Applications (ICLA), to be held at the Indian Institute of Technology Indore from March 3 to 5, 2023, in hybrid mode.

ICLA is a forum for bringing together researchers from a wide variety of fields in which formal logic plays a significant role, including mathematicians, philosophers, computer scientists, linguists, logicians studying foundations of formal logic. A special feature of this conference is the inclusion of studies in systems of logic in the Indian tradition, and historical research on logic.

For more details, visit the conference website here.

The Department of Mathematics and Statistics, Indian Institute of Technology Kanpur (IITK) is pleased to organize the 9th Indian School on Logic and its Applications (Part-I) in hybrid mode.

The school will focus on Stone-type dualities and categorical syntax-semantics dualities and is open to participants interested in mathematics, computer science, philosophy, linguistics and other areas from around the world.

ISLA is a biennial event of the Association of Logic in India (ALI).

The poster for the school is available here. For more details, visit the school website here.

ALI announces the ninth edition of its biennial International Conference on Logic and its Applications (ICLA), to be held online, from March 4 – 7, 2021.

ICLA is a forum for bringing together researchers from a wide variety of fields in which formal logic plays a significant role, including mathematicians, philosophers, linguists, computer scientists and logicians studying foundations of formal logic in itself. The conference also includes studies in systems of logic in the Indian tradition, and historical research on logic.

More details can be found here.

UNESCO has announced that January 14 will be celebrated as World Logic Day.

Here you can see the details of the celebrations happening all around the world.

To celebrate this occasion, Association for Logic in India (ALI) (in co-ordination with Mathematics Teachers’ Association, India and Calcutta Logic Circle) is pleased to announce the following lectures.

Lecture 1

Time: 5:00 pm-6:00 pm

Speaker: R. Ramanujam (Institute of Mathematical Sciences, Chennai)

Title: Logic for school mathematics

Abstract: All through school, students learn deductive procedures in equational theories
and employ deliberate means of reasoning in algebra and geometry. Yet, the question of whether these procedures are reliable never comes up in the curriculum, though there is an excellent answer: Tarski’s theorem on the decidabllity of real arithmetic. Formal propositional logic is introduced at school, but when seen in company with topics like the differential calculus, is treated  rather dismissively,

Logic is not only about deductive reasoning, it is also a conscious use of formal language, understanding truth relative to models, figuring out consequence, relating assertions to algorithms that check those assertions, and studying limits to reasoning. Viewed thus, logic can serve a range of pedagogic purposes in school mathematics.

Lecture 2

Time: 6:30 pm-8:00 pm

Speaker: Sourav Tarafder (St. Xavier’s College, Kolkata)

Title: Models of non-classical set theories

Abstract: In this presentation, we shall discuss algebra-valued models of set theories. Different classes of algebras will be introduced which produce non-classical algebra-valued models of ZF, ZFC, a proper fragment of ZF, and finally a new version of ZF axiom system, which is classically equivalent to ZF. The validity of the mathematical statements like the Axiom of Choice, the generalized continuum hypothesis, Cantor’s theorem, Schröder-Bernstein theorem depend on their validity in the ground model. Though the models are non-classical,the foundations of cardinal numbers including the cardinal arithmetic in these models are similar to those in classical set theory. Finally we shall discuss few independence results in these non-classical set theories.

Zoom meeting details:

https://us02web.zoom.us/j/85603833873?pwd=RzZHWHJwa01kbDcrVFVwUTZ2QXpDZz09

Meeting ID: 856 0383 3873

Passcode: 559120

Contact: Md. Aquil Khan, IIT Indore (aquilk@iiti.ac.in)

The Indian Institute of Science Education and Research, Bhopal (IISERB) is pleased to organize ISLA 2020, the 8th Indian School on Logic and its Applications in online mode. The school is open to participants from around the world.

The school will be held between 18-23 December 2020 and will focus on training in Set Theory and Logic: completeness and incompleteness theorems. Participants from all around the globe interested in Mathematics, Philosophy, Computer Science, Linguistics, and other related areas are welcome.

ISLA is a biennial event of the Association of Logic in India (ALI). Past editions of the school were held in Jadavpur University, PSG College of Technology, IIT Bombay, IIT Kanpur, University of Hyderabad, Manipal University, Tezpur University and IIEST Shibpur. 

For any queries, write to us at isla2020iiserbhopal@gmail.com

Click here to go to the school website and here for the poster.