题 目:弗雷格论概念
主讲人:刘靖贤 博士
时 间:2013年11月4日 15:00-17:00
地 点:博远楼401
摘要:
弗雷格在《概念文字》中建立的逻辑系统标志着现代数理逻辑的诞生。“概念”是弗雷格逻辑系统的基石。本文主要探讨弗雷格的概念观。首先,本文探讨弗雷格如何把概念看作函数,即概念是其值总为真值的函数。其次,本文把“什么是概念”这个大问题分为两个小问题,即“如何确定概念的存在”和“如何给出概念的同一性标准”。然后,把概念的存在性与二阶逻辑的概括公理(即弗雷格概念文字中的代入规则)关联起来,把概念的同一性与公理V关联起来。概括公理是说,韧崴故只锹尖可表达公式都可以断定一个概念的存在;公理V是说,一个概念的外延与另一个概念的外延相等当且仅当这两个概念等价。最后,因为概括公理和公理V导致罗素悖论,所以弗雷格的概念观包含不可调和的内在冲突。事实上,弗雷格本人已经意识到这种冲突,并且把这种冲突归结为自然语言的误导。
关键字:概念,存在性,同一性,罗素悖论
主要内容
1. 什么是概念:概念是其值总为真值的函数
2. “概念是什么”与“概念的同一性”和“概念的存在性”
3. 什么是概念的存在性:韧崴故只锹尖可表达条件都可以断定一个概念的存在
4. 概念的存在性与概括公理的关系
5. 什么是概念的同一性:两个概念是同一的当且仅当两个概念是等价的
6. 概念的同一性与公理V的关系。
7. 罗素悖论
8. 语言的迷雾
9. 如何拯救弗雷格