|
數理邏輯/餘俊偉/新編21世紀哲學繫列教材.中國人民大學十三五規 
市場價：540元 優惠價：450元
立刻節省：90元
《數理邏輯》是為了給將來致力於數理邏輯研究的讀者奠定堅實基礎而寫的。概括地講，第1-4章為基礎內容，第5-6章為高階內容。具體來看，第1章從思想史角度講述哲學之於邏輯的動機催發，第2章講述命題邏輯的早期簡史、語法語義、接近性、緊致性等，第3章講述一階邏輯的早期簡史、語法語義、接近性、緊致性及應用、哲學的應用等，第4章講述一階理論的基本性質、幾種形式等，第5章講述哥德爾兩個不接近性定理的數學哲學動機、詳細證明過程、一些相關推論、數學哲學影響等，第6章以模態邏輯為例說明邏輯之於哲學的實際應用。
|
