真正的逻辑学家只有两个特征：一，以逻辑不变性作为最高不变性，拒绝逻辑不变性被其它方法定义（成可变的）；二，关注形式的代数结构。
虚假的逻辑学家的特征则是，掌握了很多种解释（interpretation），经常强调和动用直觉，术语混乱，理论很多，彼此井水不犯河水，哪个看上去象就用哪个。
发布于 上海
概念机器
真正的逻辑学家只有两个特征：一，以逻辑不变性作为最高不变性，拒绝逻辑不变性被其它方法定义（成可变的）；二，关注形式的代数结构。
虚假的逻辑学家的特征则是，掌握了很多种解释（interpretation），经常强调和动用直觉，术语混乱，理论很多，彼此井水不犯河水，哪个看上去象就用哪个。