逻辑学
0.什么是逻辑？
概念
模型
判断
已知——>未知：推理
(概念-命题-论证)—>逻辑
1.逻辑：已知->未知
1)演绎逻辑：大范围找小范围（必然有效）–机器思维
经典逻辑学（亚里士多德：必然得出），形式逻辑
形式：增加确定性:计算出结果
人类：类比
形式：公式得出——科技
AEIO（基本命题）
三段论（形式逻辑，词项逻辑）
三段式：一个一般性的原则（大前提），一个附属于前面大前提的特殊化陈述（小前提），以及由此引申出的特殊化陈述符合一般性原则的结论。
三段论推理：思维时，大脑首先用一个人为定义的内容极为明确的、囊括的范围比较大的总的原则A（简称“大前提”），再通过科学实验寻找另外一个概念小前提B，B的概念的全部内涵能够一定被包含在大前提A内、并且用文字描述的B的概念的内容时，不能人为与大前提A的内容本质完全一样（B简称小前提），然后按照小前提B如果属于大前提A范围内，那么B的性质一定与大前提的性质一样，而得到可靠而正确的判断，此思维过程叫做正确的下结论C过程——科学术语叫做“三段论推理”。
e.g.
生物包括所有的动物和不吃肉的动物等等
动物都属于生物
只有一部分动物吃肉
老虎属于吃肉动物（最小的的圈）
“得出”老虎属于生物
复合命题（包括连接词）
而且（and）两者同真为真
或者（or）两者有一为真即为真
……
2）非形式逻辑，合情推理，或然性–人类思维
①归纳逻辑：小范围找大范围（强度）
A(已婚）->B->C（未婚） 是否有一个已婚人士盯着未婚人士？
A.是
B.不是
C.不确定
人的正常思维：C（直觉）； 计算机思维：A（演绎全部可能性）
处理有限经验可能性（关键变量）
对“特殊对象”有限观察，整理出“性质”，归纳推理出事务“类型”
密尔五法之三：
求同法：两者同时发生(不知因果)
求异法：控制变量，找不同（无法找全所有变量）
共变法：定量（统计）
总体-样本-可统计变量-参数
相关性（函数）-因果关系
随机对照测试（增加样本数）
归纳-对象-因果关系-统计-庞大数据-变量-推理-从过去到未来（观测手段有局限性）
e.g.烟与肺癌
如果单看1960年前的数据，无法判断烟与肺癌的关系；但在呼吁人们减少吸烟后，肺癌减少可以证明。
科学&神学
科学：将已于处理的结构嵌入人的经验的手段更高明（更易被实证证明，更有效）
②类比逻辑：相似范围类比（可接受度）（认知语言学）老-新，心理内容-物理实体
e.g.逝者如斯夫
属性类比（形容词）
关系类比（动词，介词）
结构类比（名词）
原型Prototype：高效认知，限制想象力
语言链-拓展（原型范畴论）
家庭类比社会
推己及人
认为别人对我们的评价=我们对别人的评价的翻版
马克思·韦伯：我们都是悬挂在自己意义之网上的动物
被牢笼束缚
避无可避->扩大牢笼
2.谬误
前提谬误
支持谬误
相干谬误