无码人妻系列专区久久小草,午夜福利理论片在线播放1极

內(nèi)容簡介

　　《自由摹狀詞理論研究》是國內(nèi)外第一部系統(tǒng)地論述自由摹狀詞理論的專著?！蹲杂赡钤~理論研究》從自由摹狀詞理論產(chǎn)生的理論背景、邏輯基礎(chǔ)以及該理論的歷史發(fā)展等方面對其進(jìn)行系統(tǒng)、全面的研究，史論結(jié)合，重點(diǎn)突出；并且在自由邏輯和以往提出的自由摹狀詞理論的基礎(chǔ)上，創(chuàng)造性地提出一個(gè)把自由摹狀詞理論與模態(tài)邏輯相結(jié)合的新理論，把自由摹狀詞理論的研究進(jìn)一步推向深入?！蹲杂赡钤~理論研究》采用創(chuàng)新性強(qiáng)、難度高的技術(shù)手段，證明了新理論的可靠性和完全性，在理論上具有國際前沿性。

作者簡介

　　馮艷女，1975年生，河北省滄州市人?，F(xiàn)為首都師范大學(xué)文學(xué)院副教授，中國邏輯學(xué)會(huì)應(yīng)用邏輯專業(yè)委員會(huì)副秘書長。1998年獲河北大學(xué)哲學(xué)學(xué)士學(xué)位，2003年獲南京大學(xué)哲學(xué)碩士學(xué)位，2006年獲北京大學(xué)哲學(xué)博士學(xué)位。主要研究方向：哲學(xué)邏輯與邏輯哲學(xué)。在《哲學(xué)研究》、《哲學(xué)動(dòng)態(tài)》等刊物發(fā)表學(xué)術(shù)論文十余篇，出版譯著《實(shí)在論的多副面孔》（獨(dú)譯）、《當(dāng)代語言哲學(xué)導(dǎo)論》（合譯），任《語言學(xué)習(xí)：發(fā)現(xiàn)與提升》、《語言教學(xué)：課程與改革》著作副主編。參加《語義學(xué)》、《邏輯學(xué)》、《現(xiàn)代漢語》等校級或市級精品課程建設(shè)，主持國家社科基金青年項(xiàng)目“自由摹狀詞理論研究”、教育部人文社會(huì)科學(xué)規(guī)劃基金項(xiàng)目“邏輯思維能力與創(chuàng)新型人才培養(yǎng)研究”、首都師范大學(xué)教學(xué)改革項(xiàng)目“邏輯學(xué)教學(xué)改革與創(chuàng)新”。

圖書目錄

序引言第一章自由摹狀詞理論產(chǎn)生之前的幾種摹狀詞理論第一節(jié)弗雷格的摹狀詞理論第二節(jié)羅素的摹狀詞理論第三節(jié)希爾伯特一貝奈斯的摹狀詞理論第四節(jié)素樸的限定摹狀詞理論第二章自由摹狀詞理論的邏輯基礎(chǔ)——自由邏輯第一節(jié)自由邏輯概述第二節(jié)自由邏輯的形式語言&FL 第三節(jié)肯定自由邏輯公理系統(tǒng)PFL及其形式語義第四節(jié)否定自由邏輯公理系統(tǒng)NFL及其形式語義第五節(jié)中性自由邏輯SFFL 第六節(jié)自由邏輯中的“存在” 第三章幾個(gè)肯定的自由摹狀詞理論第一節(jié)列奧納德的存在邏輯LE1 第二節(jié)亨迪卡的自由摹狀詞理論LH 第三節(jié)拉姆伯特的幾個(gè)自由摹狀詞理論第四節(jié)斯科特的自由摹狀詞理論LS 第五節(jié)格蘭迪的自由摹狀詞理論LG 第六節(jié)肯定自由摹狀詞理論的主要特征第七節(jié)肯定自由摹狀詞理論之間的關(guān)系第四章否定的自由摹狀詞理論第一節(jié)博格提出的自由摹狀詞理論LB 第二節(jié)否定自由摹狀詞理論LB的主要特征第三節(jié)否定自由摹狀詞理論與肯定自由摹狀詞理論的比較第四節(jié)自由摹狀詞理論研究的意義第五章一個(gè)自由模態(tài)的摹狀詞理論LFMDTX 第一節(jié)形式語言&K與公理系統(tǒng)LK 第二節(jié)LK的形式語義第三節(jié)LK的可靠性證明第四節(jié)一致集和Henkin集第五節(jié)力迫模型與LK的完全性證明第六節(jié)關(guān)于理論LK的幾點(diǎn)哲學(xué)討論參考文獻(xiàn) 后記