10月30-31日：著名哲学家Jaakko Hintikka教授讲座
来源：会议讲座
作者：
时间：2012-10-18
Jaakko Hintikka，著名哲学家，美国波士顿大学哲学系教授
（紧急通知：因主讲人生病不能来京，讲座取消）
第一次讲演：Rene thinks ergo Cartesius exists
地点：英杰交流中心第八会议室
时间：10月30日14:30-17:00
主持人：韩林合教授
第二次讲演：To Logician's "Finland Station": A New Look at Logical Theory
时间：10月31日14:30-17:00
地点：英杰交流中心第八会议室
主持人：陈波教授
内容摘要：
Three revolutions are taking place in logical theory and in the foundations of mathematics. First, it is being realized that mathematicians were using before Frege a logic richer than the one which Frege formalized and which has been used as our basic first-order logic ever since. The stronger logic turns out to be the so-called IF logic of Hintikka and Sandu.
Second, set theory cannot be formulated as a first-order axiomatic theory, as most set theorists have done for almost 100 years.
Third, our basic first-order logic should be formulated as a logic of functions and equations, as a kind of universal algebra, and not in terms of predicates and quantifiers.
These developments are not only corrections to earlier mistakes. They open tremendous opportunities for future research including solutions to the main open problems in the relevant fields.
（紧急通知：因主讲人生病不能来京，讲座取消）
第一次讲演：Rene thinks ergo Cartesius exists
地点：英杰交流中心第八会议室
时间：10月30日14:30-17:00
主持人：韩林合教授
第二次讲演：To Logician's "Finland Station": A New Look at Logical Theory
时间：10月31日14:30-17:00
地点：英杰交流中心第八会议室
主持人：陈波教授
内容摘要：
Three revolutions are taking place in logical theory and in the foundations of mathematics. First, it is being realized that mathematicians were using before Frege a logic richer than the one which Frege formalized and which has been used as our basic first-order logic ever since. The stronger logic turns out to be the so-called IF logic of Hintikka and Sandu.
Second, set theory cannot be formulated as a first-order axiomatic theory, as most set theorists have done for almost 100 years.
Third, our basic first-order logic should be formulated as a logic of functions and equations, as a kind of universal algebra, and not in terms of predicates and quantifiers.
These developments are not only corrections to earlier mistakes. They open tremendous opportunities for future research including solutions to the main open problems in the relevant fields.