传统名词逻辑的语义解释问题——从数理逻辑看传统逻辑

(一) 在传统名词逻辑中,一切逻辑形式都由变项与四个不同的逻辑常项、即“所有……是”(A)、“所有……不是”(E)、“有的……是”(I)、“有的……不是”(0)构成;其中,某些逻辑形式还含有否定词“非”,它也属于逻辑常项。传统逻辑的表述工具既不是纯粹的自然语言,又不是纯粹的形式语言,而是一种半形式语言,其中逻辑常