ALI

Welcome to the home page of the Association for Logic in India! ALI is an orgnization of researchers from various disciplines, and from various parts of India and abroad with an abiding interest in logic.

The basic aim of the Association is to build a logic community in India, promote research and education in logic, and its applications. Learn more about ALI here.

ALI is actively involved in organising a biennial conference and school that take place every alternate year. Learn more about ALI events here.

9th Indian Conference on Logic and Applications (ICLA 2021, virtual mode)

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.

World Logic Day Lectures

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.

Chennai scientist chosen for INSA science popularisation prize - The Hindu

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.

Dr. Sourav Tarafder

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)

8th Indian School on Logic and its applications (ISLA 2020)

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.