从弗雷格理论看逻辑常项
Written by:网站编辑
Last updated:2024-04-26
逻辑学研究 2024 年第 2 期,73–87 文章编号:1674-3202(2024)-02-0073-15
作者:余俊伟
摘要:自塔尔斯基提出逻辑常项(逻辑概念)的变换不变性标准以来,人们相继提
出了同构、同态与潜同构等不变性标准。这种考察方式从形式语义学的角度,给出代数
刻画,虽然精确但都与人们既有的逻辑概念有明显差异。通过分析弗雷格的论述,可以
合理地推断出逻辑常项的本质在于描述真,进而得到弗雷格标准。据此标准有两类逻
辑常项,一类以真为描述对象,即真值函项。另一类是以谓述本身为描述对象,且能归
约为基本逻辑关系。后者也即量词,刻画了“是真”。弗雷格标准深化了我们对逻辑以
及逻辑与哲学关系的认识。运用此标准分析集合论的属于关系、模态、规范等概念会获
得与流行看法很不相同的认识。
关键词:逻辑常项;弗雷格标准;是真的规律;谓述的层次
中图分类号:B81 文献标识码:A