| 函子 functor 塔尔斯基用语。系借用柯塔宾斯基提出的术语。它是通常的逻辑常项的扩充。不仅包括命题联结词，而且也包括谓词。例如：他把“x阅读”这个表达式中的“阅读”，称为带1个个体名称变目的函子;把“x看见y”中的“看见”，称为带2个个体名称变目的函子;把“p或q”中的“或”，称为带2个命题变项的函子。以上都称为句子形成函子。对于句子形成函子的语义范畴有一个一般处理规则：两个原句子函项的函子属于同一范畴，当且仅当，两个函项的变目数相同，并且要求出现在两个函项的对应位置上的每对变目也属于相同范畴。 |