亚洲大乳无码一级毛片,各种少妇正面着BBW撒尿视频,99riav午夜福利精品一区

內(nèi)容簡介

　　本書是一本面向邏輯學(xué)專業(yè)學(xué)生的邏輯學(xué)教材，適用于文科哲學(xué)、語言學(xué)、數(shù)學(xué)、思政、管理學(xué)等專業(yè)本科生、研究生。本書系統(tǒng)地闡述了從萊布尼茨到哥德爾的數(shù)理邏輯的思想和方法：不僅介紹了構(gòu)造命題邏輯、謂詞邏輯的公理系統(tǒng)、自然推理系統(tǒng)以及系統(tǒng)內(nèi)定理的操作規(guī)則和技巧等思想的形式化方法，同時也進一步探討了這些形式化方法所包含的生動活潑的思想（這是本書的鮮明特色），便于人們“徜徉”數(shù)理邏輯“秀山麗水”的本質(zhì)與全貌。

作者簡介

　　昂揚，生于1939年，復(fù)旦大學(xué)哲學(xué)系副教授、邏輯學(xué)專業(yè)碩士研究生導(dǎo)師，四川師范大學(xué)哲學(xué)學(xué)院邏輯與信息研究所特聘教授；曾任上市邏輯學(xué)會理事。林勝強，四川師范大學(xué)哲學(xué)研究所教授，四川師范大學(xué)邏輯與信息研究所研究員，長期從事研究生邏輯學(xué)、科學(xué)思維方法論的研究和教學(xué)工作，出版專著（教材）多部、發(fā)表論文40余篇。李晟，四川師范大學(xué)哲學(xué)學(xué)院副教授，主要從事現(xiàn)代邏輯的教學(xué)與研究，發(fā)表學(xué)術(shù)論文10余篇。

圖書目錄

目錄
第一章數(shù)理邏輯與人工語言//001
第一節(jié)自然語言與人工語言//001
第二節(jié)數(shù)理邏輯的思想和方法的演進//005
第三節(jié)人工語言對數(shù)理邏輯的影響//011
第二章命題演算的思想和方法//018
第一節(jié)真值函項//018
第二節(jié)重言式//032
第三節(jié)范式//045
第三章命題演算系統(tǒng)//059
第一節(jié)重言式形式系統(tǒng)//059
第二節(jié)自然推理系統(tǒng)與重言式公理系統(tǒng)//072
第四章直覺主義邏輯的思想和方法//085
第一節(jié)直覺主義邏輯的思想//086
第二節(jié)直覺主義邏輯的演算系統(tǒng)//090
第五章元邏輯的方法和意義//098
第一節(jié)演算系統(tǒng)的形式定理//099
第二節(jié)演算系統(tǒng)的整體性質(zhì)//111
第六章謂詞演算的思想和方法//123
第一節(jié)日常用語的進一步刻畫//123
第二節(jié)翻譯中的幾個問題//138
第三節(jié)謂詞邏輯的核心//150
第四節(jié)解釋//163
第七章謂詞演算系統(tǒng)//176
第一節(jié)謂詞演算系統(tǒng)//177
第二節(jié)謂詞演算系統(tǒng)定理和導(dǎo)出規(guī)則//190
第三節(jié)謂詞演算系統(tǒng)的一致性和完全性//202
第八章哥德爾不完全性定理//218
第一節(jié)形式化的算術(shù)理論//219
第二節(jié)哥德爾不完全性定理的內(nèi)容和思想//222
第三節(jié)哥德爾不完全性定理的證明//228
第九章公理化方法和形式化方法//233
第一節(jié)從歸約法到公理化//233
第二節(jié)從公理化到形式化//235
第三節(jié)公理化與形式化的交會//241
第十章數(shù)理邏輯思想和方法的實踐//245
第一節(jié)一場邏輯爭論//245
第二節(jié)關(guān)于三段論的本質(zhì)//248
第三節(jié)摹狀詞理論的要點//253
后記//258