从弗雷格理论看逻辑常项

Written by:网站编辑 Last updated:2024-04-26

逻辑学研究 2024 年第 2 期,73–87                          文章编号:1674-3202(2024)-02-0073-15

作者:余俊伟

摘要:自塔尔斯基提出逻辑常项(逻辑概念)的变换不变性标准以来,人们相继提

出了同构、同态与潜同构等不变性标准。这种考察方式从形式语义学的角度,给出代数

刻画,虽然精确但都与人们既有的逻辑概念有明显差异。通过分析弗雷格的论述,可以

合理地推断出逻辑常项的本质在于描述真,进而得到弗雷格标准。据此标准有两类逻

辑常项,一类以真为描述对象,即真值函项。另一类是以谓述本身为描述对象,且能归

约为基本逻辑关系。后者也即量词,刻画了“是真”。弗雷格标准深化了我们对逻辑以

及逻辑与哲学关系的认识。运用此标准分析集合论的属于关系、模态、规范等概念会获

得与流行看法很不相同的认识。

关键词:逻辑常项;弗雷格标准;是真的规律;谓述的层次

中图分类号:B81                                                       文献标识码:A