逻辑与知识主要内容讲的是什么？

逻辑与知识主要内容讲的是：

我没有成

功地使自己遵守公式表示的规则，让所有符号都排成一行；就关系而言，我

必须区分RP 和RP。

在其他方面我已经采用了皮亚诺的逻辑中给出的全部

符号，同时也采用了由帕都亚Padoa）提出的Elm单元）的记法［数学

评论，第6 卷，第117 页；但是，我已经区分了eu这里u 是包含在一

个关系R 的域之内的一个类）和eu。

鉴于以上理由，一个类u 和由一个希

腊字母代表的一个类的逻辑积总是由eu 或者πu 等等来表示，而不是由

eu 或者ue 来表示。

参见第1 节，命题1* 33* 34*35*36。

1。

关系的一般理论

1*0 初始观念：Rel＝关系

如果R 是一种关系，e 可以称作关系R 的前域，就是说，与单个项或者

几个项具有那种关系的一些项的类，我总是使用大写字母代表关系除了在

公式汇编里所碰到的那些关系），而用相对应的小写希腊字母代表这些关系

的前域。

在定义*21。

22 中，R 这个字母被假定为变项。

就是说，a 将是一个

关系A 的前域，β将是一个关系B 的前域，以此类推。

我将？

看作这样一个

初始观念，它允许我将这个符号放在一些命题的前面，倘若没有这个符号的

帮助，这些命题就不可归约为x？

这个形式。

以上这个初始命题尤其在算术中很重要①。

它肯定在两个个体之间存在一

种对任意其他一对个体并不成立的关系。

既然ｘ和ｙ不受任何限制，这个关

系也就不需要一种假设。

但是人们可以将这一关系限制在ｘ和ｙ是不同的情

形，因为，ｘ和ｙ是相同的情形可以通过关系的乘法从这一点推论出来。

我们有必要对R1？

R2表示逻辑积）和R1R2表示关系积）作出区别。