書後雜記

數學與邏輯
亞里士多德的形式邏輯學 -符號邏輯學-數理邏輯學-形而上學   真或假
有些看起來非常簡單的問題 其實是做不到的 無法實現的。
把角三等分
提出問題後 就要去求解  有些問題是無解的 ！！！！！！！！！！！！！

 政治問題的無解 與政治家
邏輯是爭論的藝術 爭論的方法

古代中國的辯論術就是遊說術  在討論時 辯贏對方 不是用邏輯把對方逼到牆角 而是讓對方瞭解：
原來是這麼一回事。  先生果然是個先人，原來是這麼一回事
技巧在於掌握對方的心！

同一律 非常明確對象的定義！
矛盾律  （中國的矛盾不是邏輯上的矛盾律：矛盾詞的起源 a:破任何盾的矛 b:低檔任何矛的盾  ）
                     a b不可能同時成立 但非a 非b可以
矛盾：即2個問題 不能同時爲真 也不可同時爲假  a：狗不是動物  b：狗是動物    （無個別情況）
相反：2個問題不同時真 有可能同時假           a：所有學生是優等  b：所有學生都不是優等（有個別情況）

數學就是不允許矛盾 即：個別情況出現！！！ 數學是絕對的科學！
絕對禁止矛盾的大原則使數學產生了歸繆法__研究證明方法.
歸繆法在哲學上也被當成談論的技術。
畢達哥拉斯在古希臘用歸繆法證明 根2不是有理數。

 

排中律  法律
人對於與絕對神的契約 不是遵守 就是不遵守 沒有第三者！
要麼犯法 要麼不犯法  沒有同時存在的可能

數學的邏輯孕育出資本主義
數學與資本主義

佛教最深奧的“空”的思想。
空的思想否定了形式邏輯學
佛教否定實在的東西 說一切是空 一切都是假的。
空是什麼： 空即不是有也不是無  同時即時有又是無 也是有於無之外的一切。 無視矛盾律與排中律的存在

私有所有權是資本主義的根基
絕對性 物品物主的唯一性

數學邏輯的用法 證明的技術
歸繆法 歸納法 充分必要條件 對偶

阿奎奈證明神的存在：

這五大「證明」如下:

   （1）本體論之證明──人（特別是哲學家）的頭腦中思想到一位理想的，完善的本體（神）; 而完善的特徵之一乃是該「本體」實際的存在，否則就有缺陷。因此，神必定是實際存在的。

   （2）宇宙論之證明── 宇宙之存在，乃是一件無可否認之事實; 凡是神志正常的人，都會承認此一事實。但宇宙從無中生有的可能性極小，因萬事都有因果力量; 而且科學家也大多承認，宇宙在久遠的以往，有一個開始，而不是永遠存在的“因此，宇宙是由一位永存之神所創造的，乃是一個比較合理的推論。

    （3）目的論之證明──世界上的一切自然秩序，使人推想到宇宙結構之美妙和精細，大如地球之自轉，地球對太陽方位的角度及其繞太陽之公轉而致的四季循環，小如各種生物植物之結構及其適應特性，處處都使人聯想到這一切事物存在之目的，無法諉諸於機遇巧合。

    （4）人種及歷史論之證明──人之有別於其他一切動物，並且兩者之間隔限之距離，乃是無可否認之事實。人有理智，辯論的能力，道德及宗教觀念。人的歷史也證明，在各時代，各種族的人，都具有宗教意識。

    （5）道德論之證明──在全世界的生物中，只有人是具有道德觀念的。各民族的道德標準，在細則上雖因環境或其它因素之故，並不完全相同，但在基本的倫理觀念上（如對謀殺和姦淫之看法），大致相同。這種道德觀念必有其起源，而最合理的解答乃是相信它是起源於神。神在創造人的時候，在他心裏灌注了倫理觀念。

變量的分離 排除法
充分必要條件複習 記憶不清晰噠

對偶：
貓是動物 
不是貓不是動物

170

亂七八糟