天才一秒记住【畅想小说网】地址：http://www.cxtra.net
老教授一条一条地写着：
“界域（domain）：一种关系R的界域乃使R与各种事物发生联系的一切事物之类。
例如，‘作丈夫’关系的界域乃一切丈夫之类。
“逆界域（versedomain）：一种关系R的逆界域乃该关系R由之而生的一切事物之类。
例如‘作丈夫’的关系之逆界域，乃一切妻子之类。
没有妻子，当无丈夫之可言。
当然，我们也可以说‘丈夫’之类乃‘作妻子’的关系R之逆界域。
“范限（field）：一种关系R的范限乃属于关系R的界域与逆界域的一切事物之类。
换句话说，范限乃一种关系R的界域及逆界域之逻辑和（logicalsum）。
例如，一切丈夫与妻子的类乃‘作丈夫’的关系之范限，也是‘作妻子’的关系之范限，也是‘夫妇’关系之范限。
“反逆（verse）：关系R的反逆，乃当任何时候a与b有R关系时，b与a所具有的关系。
‘在东’的关系乃‘在西’的关系之反逆。
‘被称赞’这种关系，乃‘称赞’关系之反逆；一种关系R的反逆之界域的分子与R的逆界域的分子相同。
“谈到关系的性质，基本的有三种，即自反性（reflexivity）、对称性（symmetry）和传达性（transitivity）。
而每一种都有其反面和中间情形，所以一共有九种。
“自反性，一谈到自反性，我们不要望文生义，以为是‘吾日三省’中的那种‘自反’。
那种‘自反’，是在道德修养上做功夫；也不是所谓‘自反的思想’（refleking）中的‘自反’。
这种自反，至少在一种意义之下，是思想反照着思想。
我们现在所说的自反是一种纯粹的关系，一个类是它自己，一个语句是它自己。
用符号来表示是：
xRx
“如果aRa对于关系R的范限之每一分子为真，则此关系R是自反的。
‘相似’是一种自反关系。
一个人，无论如何，在任何情形之下，总是与他自己相似的。
“自反的反面是不自反（irreflexive）关系。
如果aRa对于关系R的范限之每一分子为假，则此关系是不自反的。
‘异于’是不自反的关系。
任何人不能‘异于’他自己。
‘作儿子’的关系是不自反的，任何人不能够自己作自己的儿子；‘作父亲’的关系也不是自反的，一个人不能是他自己的父亲。
不自反关系，在我们现在看来，似乎无关重要，不值一提，这是因为我们没有碰见逻辑上比较精细的问题。
类的分子关系（classmembership）是不自反的，这点就甚关重要，如果不然，我们说类是它自己的分子，那么便会引起极严重的自相矛盾。
这种自相矛盾，是一种诡论。
现代逻辑家费了很大的气力才消除了这种诡论的。
本章未完，请点击下一章继续阅读！若浏览器显示没有新章节了，请尝试点击右上角↗️或右下角↘️的菜单，退出阅读模式即可，谢谢！