|
| 墨尔本大学Restall教授系列学术讲座 |
|
作者:admin 文章来源:本站原创 点击数: 更新时间:2008-11-13 |
|
|
澳大利亚墨尔本大学Greg Restall教授将于11月17—21日访问我所,其间将作三场学术讲座:
1. Substructural Logics: Relevant, Linear and Lambek logic
11月18日(星期二)上午9: 30-11: 30
2. Logical Pluralism: Worlds, Situations and Constructions
11月19日(星期三)上午9: 30-11: 30
3. Proof Theory and Philosophy: What Proof Has to Do with Meaning
11月20日(星期四)上午9: 30-11: 30
地点:文科楼307室
背景阅读材料:
1. “Substructural Logics,” entry in the Stanford Encyclopedia of Philosophy, 2000, 2007 <http://plato.stanford.edu/entries/logic-substructural/>
“Relevant and Substructural Logics” pages 289–398 in the Handbook of the History of Logic, Volume 7, Logic and the Modalities in the Twentieth Century, edited by Dov Gabbay and John Woods, Elsevier, 2006. <http://consequently.org/papers/HPPLrssl.pdf>
2. [with JC Beall] “Logical Pluralism,” Australasian Journal of Philosophy, 78 (2000) 475–493. <http://consequently.org/papers/pluralism.pdf>
3. “Multiple Conclusions,” in Logic, Methodology and Philosophy of Science: Proceedings of the Twelfth International Congress, edited by Petr Hajek, Luis Valdes-Villanueva and Dag Westerstahl, Kings’ College Publications, 2005, 189–205.
<http://consequently.org/papers/multipleconclusions.pdf>
“Proofnets for S5: sequents and circuits for modal logic,” pages 151-172 in Logic Colloquium 2005, C. Dimitracopoulos, L. Newelski, and D. Normann (eds.), number 28 in Lecture Notes in Logic, Cambridge University Press, 2007. <http://consequently.org/papers/s5nets.pdf>
|
|
|