文件名称：集合论-泛逻辑悖论 (2009年)
文件大小：218KB
文件格式：PDF
更新时间：2024-06-07 15:32:31
自然科学 论文
对于一类n（2≤n≤K）值逻辑可以给出一个一般形式的形式语言，通过一个六元组的模型，可以递归地定义出该形式语言中的公式的值。这构成了刻画这类逻辑的一个泛逻辑系统UL在该系统中，可以定义出抽象否定、抽象蕴涵和抽象等值等联结词，它们分别是二值逻辑中的联结词否定、蕴涵和等值的一般化。利用这些联结词，可以给出Russell型造集谓词、Curry型造集谓词的一般形式。此外，还提出了一种新型造集谓词，这种造集谓词只包含等值联结词，而不涉及其它联结词。通过这3种造集谓词，利用该系统的逻辑工具，证明了在通常的有穷值逻辑、