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