以谚语引入：
变得愈多，愈是不变。
先有了变的观点，又兴起了不变的观点：区分了事物的一面，才能看到另一面。看到两面时，才能看到他们之间的循环。
借助理论阐述(尝试)：
群论 The Theory if group,逻辑类型理论The Theory of Logical Types
群论定义及类比：
图片发自简书App
a.同特征组合
b.无序
c.有一恒等成员(看做不变性的一个特例)
d都有互反元素，且结合为恒等成员，结合结果仍为群成员。
(群论是一个已经规定好其架构的模型)
群论局限：无法提供一个解释超越既定系统或者参考架构变化的模型。
逻辑类型理论：
《数学原理》：罗素悖论的一种解决方式：凡涉及集合的全部成员者，必定不是该集合的一员。而规定成为class，类型。
两个不同层次的事物：(一个居民经济行为，一个城市人口的经济行为)若想以其中一个解释另一个，势必导致荒谬和混淆。
语言(成员)可以用来描述万物，若想谈论某种语言(类型)，就需要一种后设语言(metalanguage,元语言，描述语言的语言)来描述自身的结构。
Gottlob Frege：必须分辨两种情况，其一，我谈论的是记号本身；其二，我谈论的是它的意义。……人们失去对这一"对其不准确性的"警觉，最后都会造成思想的混淆。
(加例)方法与方法论：方法，指的是一系列的科学的步骤；方法论则是后设方法，讨论的是如何获取知识(方法)。
现实困境：同一语言描述两类事物。波：波是一种粒子移动的种类：波动。但是我们可以说波向前移动的速度是xxx：移动种类的移动？
两种理论的联系：
即引入两种理论的原因
群论强调的是系统之内发生的变化维持了系统的不变。逻辑类型理论则可以考虑到成员和种类的关系，不同层次之间的转变。
一种改变发生在系统内，而系统本身维持不变；另一种改变发生时，则改变了系统本身。
新区分产生：(新知识)
第一序的改变：梦里变化的行为。
第二序的改变：梦醒了。
第二序的改变在事实上呈现的是一种反逻辑，且悖论的形式，总是不连续或者逻辑跳跃的。
