此中有真意的真邏輯學層面，邏輯學研究思維規律的學問。邏輯和邏輯學的發展，經過了具象邏輯—抽象邏輯—具象邏輯與抽象邏輯相統一的對稱邏輯三大階段。
本專業以邏輯學為核心，橫跨多學科，培養文理交叉、理論與應用相結合的複合型高階人才。邏輯學專業學生主要學習邏輯學、數學、計算機科學和哲學方面的基本理論和基礎知識，受到公理化方法、形式化方法和語義分析方面的基本訓練，具有專業研究的基本能力。
此中有真意的真邏輯學層面，邏輯學研究思維規律的學問。邏輯和邏輯學的發展，經過了具象邏輯—抽象邏輯—具象邏輯與抽象邏輯相統一的對稱邏輯三大階段。
本專業以邏輯學為核心，橫跨多學科，培養文理交叉、理論與應用相結合的複合型高階人才。邏輯學專業學生主要學習邏輯學、數學、計算機科學和哲學方面的基本理論和基礎知識，受到公理化方法、形式化方法和語義分析方面的基本訓練，具有專業研究的基本能力。
此中有真意，欲辨已忘言。出自陶淵明《飲酒二十首》。
翻譯：這裡邊有隱居生活的真正意趣，想說出來，卻早就忘了該怎樣用語言表達。
陶淵明生於352或365年，卒於427年，字元亮，又名潛，私諡“靖節”，世稱靖節先生。潯陽柴桑人。東晉末至南朝宋初期偉大的詩人、辭賦家。曾任江州祭酒、建威參軍、鎮軍參軍、彭澤縣令等職，最末一次出仕為彭澤縣令，八十多天便棄職而去，從此歸隱田園。他是中國第一位田園詩人，被稱為“古今隱逸詩人之宗 ”，有《陶淵明集》。
“我們的生命，不是因為討別人喜歡而存在的，我們是自在之物。”看到這個觀點，心頭猛地一震，是啊，我們一直追求的不正是此麼？
人是自在之物，活就要活出自己的個性。
青山寂寂，醉採東籬。
五柳先生緊握手中杯，低吟“採菊東籬下，悠然見南山”，他本有濟天下之抱負，可悲的是，君主昏庸，政治腐敗。他擺擺衣袖，淡然轉身，去尋找心中的桃花源。終於，他找到了，他吟著“方宅十餘畝，草屋八九間”，享受著“復得返自然”的愉悅，早已忘卻了“簞瓢屢空”的困窘。有言道：蝸角名，蠅頭利，輸與淵明陶醉。說的便是此理。
陶淵明就這麼堅持著，不迎合別人，“不為五斗米折腰”，活就要活出自己的味兒。青山寂寂中，淵明轉吟低唱，悠悠自得，快哉！
賜金放還，遊賞河山。
“仰天大笑出門去，我輩豈是蓬蒿人”的李白啊，不畏貴妃磨墨，力士脫靴的後果，不費心去討人歡喜，只知活出真我。
龍紋劍，千斤酒，五花馬，萬古愁，個性與淡泊是太白的腳印，踏破了摧眉折腰的名利。
李白最終未能在官場展現風采。然而，歷史拋棄他了嗎？時代忘記他了嗎？不，從此，詩壇多了位浪蕩不羈的詩仙。他如椽大筆一揮，書寫下無數吟誦祖國大好河山的壯麗篇章。
李白就這麼堅持著，不刻意去討統治者歡心，活出了真我，在壯麗的山河中放情高歌，壯哉，壯哉！
冷暖自知，閒花碎雨。
胸懷能容，神貌亦若。胸懷經天緯地之才，日月同輝之德，只是可惜了，未活出自己的特色！
所以，人活一輩子並不容易，只有記住，自己是自在之物，要活出自己的精彩，你的人生才會有無窮的可能；只有這樣，你才能瞭解生命的真意。