第371章 馬飛給健身房做慈善之後直接買下小亮（2 / 2）
2021年12月11日，周六。
下周考英語。碩士生英語，有些人是不用考的。免修的和提高班的。
早上焦藏藏去看馬飛，他25k高刷3060的筆記本玩aex滂爽。馬濤淩晨一點半還在群《約繩鴿遊搞學習》裡發消息，估計早上是不會很早來實驗室了。
焦藏藏到實驗室，楊ly永遠在學習，不是課程學習就是研究學習。嗯，研二的學姐基本上也是常駐嘉賓了。有時候焦藏藏常常有一種這個實驗室隻有他一個男生的錯覺，實際上這個實驗室還有一個社會帶哥風格的蔡同學以及兩個學長，一個研三的長年不在，一個額隻有周四上午賀老師開組會他才會出現。因為他們三個基本不在實驗室，平常呢就焦藏藏一個男生。好在座位是最邊角的地方，而且無論離誰都有相當的距離，加上不是一個實驗室的，也不怎麼交流，焦藏藏也就比較自在了。
《約繩鴿遊搞學習》群裡，馬濤是群主，代號：討厭出門。
馬飛是管理員，代號：不想喝水。
小芳是群成員，代號：局外人。
馬負乘是群成員，代號：討厭起床。
焦藏藏是群成員，代號：喜歡遊戲。
馬濤小號群成員，代號：喜歡美女。
■■■■焦藏藏記仇日記■■■■
2021年12月10日
馬飛馬負乘他們出去聚餐沒有喊我，這個仇我記下了。
馬負乘把聚餐的飲料偷偷帶給我，這個仇消掉。
2021年12月10日
馬飛們走的時候又沒喊我，這個仇我記下了。
晚上馬飛艾特我看美女、給我視頻點贊，馬負乘發澀圖，馬濤表示慰問，這個仇消掉。
對形式邏輯思考
我最初接觸到「哲學」，是在高中的某一堂課上，當時我的高中語文老師提到了「發展的、辯證的眼光看待事物」，她告訴我們，這是哲學，或者說，哲學的一部分。「哲學」這個詞，第一次從我認為的權威口中說出，從此我萌生了探索它的想法。但並未真正開始實施，因為我是高中生，我得參加高考。
有一次高中放月假我照常在網咖包夜打遊戲，打累了的找動漫看的時候，當時那個網站「這裡是興趣使然的無名小站」把動漫和日劇常常搞一起，我就看到了《尼采老師》這部日劇，由此，我就對「我是太陽」、「每一個不曾起舞的日子都是對生命的辜負」的尼采產生了興趣。
正好語文課程要求提升課外量，我就買了《尼采生存哲學》作為課外讀物。
再後來我不單滿足尼采，雖然我蠻喜歡他，但我知道，哲學不隻是手中的尼采和課上的馬克思，於是我逐漸了其他和哲學有關的書籍，比如斯通普夫的《西方哲學史》、有趣的《柏拉圖和鴨嘴獸一起去酒吧》，還有最近在看的《智者的思辨花園：邏輯辨謬與求真趣談》。
從劉老師講計算思維時，我就時不時會想到哲學中關於「邏輯」的東西。「邏輯」在從小到大的數學課理論相關中並不少見，即使我們並未專門接受過邏輯學的教導，我們也耳濡目染對邏輯學有相應的概念。溯源追本，我在《西方哲學史》的亞裡士多德那裡找到了源頭：「亞裡士多德發明了形式邏輯，他也提出了分門別類的諸科學的思想」。
這大概就是「形式邏輯」最初的模樣。它的基礎就是我們今天習以為常的三段論：大前提、小前提再到結論。當然，現在邏輯體係也是有所發展的。
我們來看「形式邏輯」這四個字，「形式」我們習以為常，什麼走個形式的太熟了，同樣「邏輯」我們也很熟稔，「這不符合邏輯」、「簡單的邏輯推導……」。但是把「形式」和「邏輯」放在一起組成「形式邏輯」，我們可能就要懵圈了，這個「形式邏輯」是個什麼玩意兒？
這裡暫且不去管它什麼定義，我說說我的粗淺理解。對於「邏輯」，其實我感覺是隱藏在事物之中的深刻的原理、本質一類的存在，就像「人終有一死、柏拉圖是人、柏拉圖終有一死」，我們可以發現這幾乎是「理所當然」的，沒錯，我認為邏輯就是要理所當然的。但是這樣還沒體現出邏輯的具體感官，再舉個反例：「金星上有人並且金星上沒人」，無論「金星上有人」是否為真，我相信諸位都能判斷「金星上有人並且金星上沒人」這整個句子為假，也就是不符合邏輯的。這就是邏輯的某種體現。我認為呢，邏輯本身是抽象的，但邏輯蘊涵在具象之中。而形式，是妥妥的抽象，把「邏輯」加上形式，我的理解就是強調「邏輯」的抽象性，把邏輯從具體的事物中「拿」出來，就相當於抽出了邏輯的靈魂，這個脫離具象的邏輯就變成了「形式邏輯」，這就是我對形式邏輯的理解。
形式邏輯，就是研究人的思維本身的規律，我的理解是「規律的規律」。劉老師《計算機程序理論與模型》這門課主要上的內容還是形式語言與自動機理論，這裡麵呢，以二、三章舉例，正則文法呢擅長語言產生，自動機擅長識別，具體的某個正則文法就是由其邏輯產生語言，自動機呢也有其識別語言的邏輯。具體可能用到的概念、判斷、推理（演繹、歸納）就是形式邏輯的內容了。所以我對形式邏輯的思考就是它是相應理性思維的的核心，有一係列主客觀相統一的關於思維的理論。
以上■■■■■■■■■■■■■■■■■■■■■■關思考。