ICLA 2021

9th Indian Conference on Logic and its Applications

About the artist: Prabhakar Kolte (b.1946), Image source (Courtesy: Prinseps online)

Home Programme Invited Speakers Panel discussions Call for Papers Accepted Papers Important dates Registration Committee Contact

Panel discussions

Panel on logic education:

The discussions in the logic education panel will centre on the place of logic in the university. This will include several themes:

- familiarising students from mathematics, philosophy, computer science and AI to topics and techniques in logic, attracting them to research in logic.

- identifying areas of relevance of logic to mathematics, the sciences and the social sciences.

- the use of tools in teaching logic (theorem provers, sat solvers etc).

- the place of logic in school curricula and advocacy for logic at school.


Viviane Durand-Guerrier (Université de Montpellier)
Serafina Lapenta (University of Salerno), Moderator
François Schwarzentruber (IRISA, Rennes)
John Slaney (Australian National University)

Panel on logic and experimental studies: A new paradigm or contradiction in terms?

The main idea is to discuss how logic fits together (or doesn't fit together) with empirical studies. By empirical studies we mean scientific studies modeled after experimental natural sciences like physics (not natural sciences of a more historical nature, like geology). Standard textbooks on the philosophy of science give demarcation criteria like verifiability and falsifiability. Cognitive psychology and cognitive science clearly tries to live up to such ideals inherited from natural science.

When we say 'paradigm' we are not only referring to Thomas Kuhn (1962) in its original grandeur, but also to weaker notions of paradigm that might be more descriptive. The relation between logic and psychology has been discussed extensively since Frege, and is still continuing to play a role in our understanding of normative vis-a-vis descriptive enterprises. The natural questions one can ask: what would be an empirically informed logical formalism, or what would be a formalism informed experiment. In recent days, attempts have been made towards answering these questions - to this end, one could ask for a systematic study of these attempts in order to answer the query we put forward.


Torben Braüner (Roskilde University), Moderator
Nina Gierasimczuk (Technical University of Denmark)
Paula Quinon (Warsaw University of Technology)
Niels Taatgen (University of Groningen)

News and updates