简明逻辑学第5章：自我指代

自我指代：一个名称很有可能包含它本身的事物 。例如：这个句子包含了5个单词。

讨论这种类型的话：

我现在说的这句话是假的。

麦比乌斯带：一种拓扑构型，由于扭曲带子内侧成了外侧，外侧成了内侧，真为假，假为真。

悖论

骗子悖论。

罗素悖论。

复习第2章，

1.只要命题，a具有政治，f其否定命题，非a就有政治t

2只要命题a具有真值t，其否定命题非a就具有真值f

3.只要命题a和b具有真值t，合取命题a和b就具有真值t

4只要命题，a和b中至少一个命题具有真值f，合取命题，a和b就具有真值f

5只要命题a和b中，至少一个命题，具有真值t，析取命题，a versus b就具有真值t，

6.只要命题，a和b均具有真值f，析取命题，a 对b就具有真值f

我们由此获得新体系句子的真值。

一假设命题a的真值为f，但不可为t，那么由于a的真值为f，其否定是非a的值为t。

二假设命题，a的真值即可为t，也可为f命题b的真值既不为t，也不为f。那么命题a与b的真值，既可为t，也可为f，析取命题，a versus b的正值为t。

讨论：这句话是不真的。

这句话的真值为何？如果他为真，那么该句所说确实如此，因此他不为真，但是如果他不为真，那么由于这就是该句所说的内容，所以他又为真，不管怎样他总是显得既为真，又不为真，这样我们又遇到了自相矛盾的事情了。这是说一个句子，可同时为t，又不为t。

本章要点句子，句子既可为真，又可为假即可同时为真又为假，又系可系部为真，也不为假。