Programme: Logic and Philosophy Today


5 January 2011
9:00 – 10:00 Amitabha Gupta and S D Agashe
Introduction: the initiative, and logic in India
10:00 – 10:30 Coffee break
10:30 – 11:30 Johan van Benthem
Logic in philosophy: the interface today
11:30 – 12:30 Rohit Parikh
Logic and society: where are we going?
12:30 – 14:00 Lunch
14:00 – 16:30 Jan Jaspars and Johan van Benthem
Invitation to modern logic: a new Amsterdam web course
16:30 – 17:00 Coffee break
17:00 – 18:00 Forum and discussion with audience on logic and philosophy today
19:00 – 21:00 Buffet (internal) and after-dinner talk
Sven Ove Hanson
6 January 2011
9:00 – 11:00 Logic in philosophy
Edward N Zalta
Logic and metaphysics
Isidora Stojanovic
Meaning, context, and logical truth
Nina Gierasimczuk and Jakub Szymanik
Logic and cognition
11:00 – 11:15 Coffee break
11:15 – 12:30 Logic, mathematics, and science
Jouko Väänänen
Logic, extended logic, set theory
Sonja Smets
Logic and quantum physics
12:30 – 14:00 Lunch
14:00 – 15:30 Logic, computation, and agency
R Ramanujam
The tale of logic and automata theory
Alexandru Baltag
Logic, information, and agency
15:30 – 15:45 Coffee break
15:45 – 17:45 Logic in other traditions
Fabian Schang
Indian dialectical logic
Prabal Sen
Navya-nyaya logic
Fenrong Liu
Chinese logic
19:00 Conference dinner


  • Registration closed!
  • Dates
  • Conference dates:
    January 5–11, 2011
  • Contact
  • icla at cse.iitk.ac.in