预测

预测,在逻辑的归因特点,产生一个有意义的话题语句结合语言和名义上的元素。因此,一个“温暖”等特点(传统的象征大写字母W)可能是建立一些奇异的主题,例如,dish-symbolized由小写字母d,通常被称为“论点。“生成的语句”这道菜是温暖的”;也就是说,Wd。使用∼象征着“不”,否认∼Wd也可以建立。如果这“温暖”的建立是无限期,空白可能离开的谓词,W——或变量x可能是工作,Wx,从而产生命题函数”x是温暖的”,而不是明确的命题。通过量化的功能(∀x),意思是“为每一个x。”,或通过(∃x),意思是“有一个x这样。,“这又转化为命题,一般或特定的而不是单一的,谓词温暖(或否定)的几个或多个主题的一种。预测是相同的,如果描述每一个指示物(x);它是不同的如果不能描述一些或所有的指示物。预测是正式如果subject一定需要(或排除)谓词;它是材料如果暗含或有。

哲学家们长期争论的谓词。在中世纪早期,他们通常被视为有一个以外的所有语言和精神实体,因此被视为形而上学的。花环的Computist的作者的早期系统逻辑,然而,将预测视为纯粹的话语(vox)。彼得。阿伯拉尔12世纪的最重要的辩论的能手,修改这一观点包括significatio以及vox。

逻辑学家长期以来杰出的存在主义声明”x是“从predicational声明”x是Y”。弗朗茨布,一个前体之前的现象学第一次世界大战认为,他们都是存在的,“x是Y”的意思是“xY是”;例如,“一些鱼有四个眼睛”的意思是“只鱼存在。“一个被完全相反的方法亚历山大·贝恩苏格兰哲学家和心理学家,他认为所有的语句有复杂的谓词,可以提炼出主题。

预测作为一个逻辑形式的局限性越来越明显。谓词逻辑现在看作是但一个物种的逻辑而言,其他类的逻辑,逻辑关系和身份的逻辑;和整个的逻辑条件,反过来,明显不同于命题逻辑,处理或分析语句。在的逻辑关系,甚至怀疑是否存在谓词,因为所有的术语可以被认为是对象在同一基础(如“简的妹妹伊迪丝的妹妹瑞秋”)。此外,逻辑,分发谓词(量词“,”“一些”等)也一直在探索。