汇报人：谢立民

主持人：王文方

地点：知新楼A1618

时间：5.16 19：00-21：00

题目：A logic of mereological kinds (with application to Sudoku and Mohist 'dialectics')

讲座简介：

Consider a classification of objects into kinds. Now take their mereological sums. Those sums can be classified according to the sum of the kinds of their parts, or in more abstract ways that supervene on such a construction. I examine some basic patterns of inference that characterise these classificatory judgements, and apply the analysis to some pencil and paper puzzles such as Sudoku. Finally, I form some wild and wooly conjectures about how the Mohist 'dialectics' (墨辩）relate to the kind of logic I have been talking about.

个人简介：

Jeremy Seligman is currently affliated with the University of Auckland, Aoteroa New Zealand, and Tsinghua University. He oroginally studied in the United Kingdom: first in Mathematics and Philosophy at Oxford University, and then Cognitive Science at Edinburgh University. Since then his research has been mostly in situation theory and applied modal logic, but with an interest in the history of logic in China.