Study on Russell’s Theory of Types
摘要: 类型论是罗素为解决逻辑悖论而构造的一个重要理论,它以恶性循环原则为前提,其核心思想是不把类当实体看,其总体思想是任一函项必定属于一定的类型和阶。类型论提供了一种对悖论的统一的解决办法,其排除悖论的实质是把引起悖论的表达式归于“无意义”。类型论本身并不完善,引来了争论,争论的焦点首先是可化归性公理,其次是恶性循环原则,引起争论的实质是在类的实在性问题上实在论和唯名论的对立。类型论尽管在总体上不那么令人满意,但它给逻辑和哲学都带来了重大的影响,这种影响是积极的。
Abstract: The theory of types Russell put forward to solve logical paradoxes is very important. From the premise of the vicious-circle principle, the theory argued that classes should not be seen as substance and pointed out that every function belongs to one type and one order with no exception. Such were its central thoughts. The theory of types has successfully presented a general method to solve paradoxes by virtually ascribing the expressions, which would produce paradox, to “nonsense”. Nevertheless, it is imperfect and causes many controversies. This thesis has pointed out that what cause controversies mainly lie in two points: the axiom of reducibility first and the vicious-circle principle second, and the deep reason causing controversies is the opposition between Realists and Nominalists as to the reality of classes. Though the theory of types is not so satisfactory a theory in general, it has brought great, positive influences on logic and philosophy.
[V1] | 2024-01-04 13:26:59 | PSSXiv:202401.00046V1 | 下载全文 |
1. 《海国图志》中“长技”的多重义蕴及其深闳的改制理想——魏源“师夷长技以制夷”的再诠释 | 2024-09-20 |
2. 内修与外用——略论《六韬》的政治思想 | 2024-09-19 |
3. 中华民族现代文明的人学意蕴 | 2024-09-18 |
4. 马克思政治经济学批判视域中的 需要范畴及当代价值 | 2024-09-17 |
5. 《左传》所见民本思想析论 | 2024-09-17 |