书后杂记

数学与逻辑
亚里士多德的形式逻辑学 -符号逻辑学-数理逻辑学-形而上学   真或假
有些看起来非常简单的问题 其实是做不到的 无法实现的。
把角三等分
提出问题后 就要去求解  有些问题是无解的 ！！！！！！！！！！！！！

 政治问题的无解 与政治家
逻辑是争论的艺术 争论的方法

古代中国的辩论术就是游说术  在讨论时 辩赢对方 不是用逻辑把对方逼到墙角 而是让对方了解：
原来是这么一回事。  先生果然是个先人，原来是这么一回事
技巧在于掌握对方的心！

同一律 非常明确对象的定义！
矛盾律  （中国的矛盾不是逻辑上的矛盾律：矛盾词的起源 a:破任何盾的矛 b:低档任何矛的盾  ）
                     a b不可能同时成立 但非a 非b可以
矛盾：即2个问题 不能同时为真 也不可同时为假  a：狗不是动物  b：狗是动物    （无个别情况）
相反：2个问题不同时真 有可能同时假           a：所有学生是优等  b：所有学生都不是优等（有个别情况）

数学就是不允许矛盾 即：个别情况出现！！！ 数学是绝对的科学！
绝对禁止矛盾的大原则使数学产生了归缪法__研究证明方法.
归缪法在哲学上也被当成谈论的技术。
毕达哥拉斯在古希腊用归缪法证明 根2不是有理数。

 

排中律  法律
人对于与绝对神的契约 不是遵守 就是不遵守 没有第三者！
要么犯法 要么不犯法  没有同时存在的可能

数学的逻辑孕育出资本主义
数学与资本主义

佛教最深奥的“空”的思想。
空的思想否定了形式逻辑学
佛教否定实在的东西 说一切是空 一切都是假的。
空是什么： 空即不是有也不是无  同时即时有又是无 也是有于无之外的一切。 无视矛盾律与排中律的存在

私有所有权是资本主义的根基
绝对性 物品物主的唯一性

数学逻辑的用法 证明的技术
归缪法 归纳法 充分必要条件 对偶

阿奎奈证明神的存在：

这五大「证明」如下:

   （1）本体论之证明──人（特别是哲学家）的头脑中思想到一位理想的，完善的本体（神）; 而完善的特征之一乃是该「本体」实际的存在，否则就有缺陷。因此，神必定是实际存在的。

   （2）宇宙论之证明── 宇宙之存在，乃是一件无可否认之事实; 凡是神志正常的人，都会承认此一事实。但宇宙从无中生有的可能性极小，因万事都有因果力量; 而且科学家也大多承认，宇宙在久远的以往，有一个开始，而不是永远存在的“因此，宇宙是由一位永存之神所创造的，乃是一个比较合理的推论。

    （3）目的论之证明──世界上的一切自然秩序，使人推想到宇宙结构之美妙和精细，大如地球之自转，地球对太阳方位的角度及其绕太阳之公转而致的四季循环，小如各种生物植物之结构及其适应特性，处处都使人联想到这一切事物存在之目的，无法诿诸于机遇巧合。

    （4）人种及历史论之证明──人之有别于其他一切动物，并且两者之间隔限之距离，乃是无可否认之事实。人有理智，辩论的能力，道德及宗教观念。人的历史也证明，在各时代，各种族的人，都具有宗教意识。

    （5）道德论之证明──在全世界的生物中，只有人是具有道德观念的。各民族的道德标准，在细则上虽因环境或其它因素之故，并不完全相同，但在基本的伦理观念上（如对谋杀和奸淫之看法），大致相同。这种道德观念必有其起源，而最合理的解答乃是相信它是起源于神。神在创造人的时候，在他心里灌注了伦理观念。

变量的分离 排除法
充分必要条件复习 记忆不清晰哒

对偶：
猫是动物 
不是猫不是动物

170

乱七八糟

本文出自 “放羊的(hextwolf)---BLOG” 博客，谢绝转载！