掃一掃
關(guān)注中圖網(wǎng)
官方微博
本類五星書更多>
-
>
傳習(xí)錄
-
>
無障礙閱讀典藏版:莊子全書
-
>
素書
-
>
孔子的世界——儒家文化的世界價值
-
>
王陽明全集(全四冊)
-
>
生活與憶念
-
>
名家小全集(4冊)
自由摹狀詞理論研究 版權(quán)信息
- ISBN：9787010106625
- 條形碼：9787010106625 ; 978-7-01-010662-5
- 裝幀：簡裝本
- 冊數(shù)：暫無
- 重量：暫無
- 所屬分類：>>
自由摹狀詞理論研究 本書特色
馮艷編著的《自由摹狀詞理論研究》內(nèi)容介紹:本書是國內(nèi)外**部系統(tǒng)地論述自由摹狀詞理論的專著。本書從自由摹狀詞理論產(chǎn)生的理論背景、邏輯基礎(chǔ)以及該理論的歷史發(fā)展等方面對其進(jìn)行系統(tǒng)、全面的研究,史論結(jié)合,重點(diǎn)突出;并且在自由邏輯和以往提出的自由摹狀詞理論的基礎(chǔ)上,創(chuàng)造性地提出一個把自由摹狀詞理論與模態(tài)邏輯相結(jié)合的新理論,把自由摹狀詞理論的研究進(jìn)一步推向深入。本書采用創(chuàng)新性強(qiáng)、難度高的技術(shù)手段,證明了新理論的可靠性和完全性,在理論上具有國際前沿性。
自由摹狀詞理論研究 內(nèi)容簡介
《自由摹狀詞理論研究》是國內(nèi)外**部系統(tǒng)地論述自由摹狀詞理論的專著！蹲杂赡钤~理論研究》從自由摹狀詞理論產(chǎn)生的理論背景、邏輯基礎(chǔ)以及該理論的歷史發(fā)展等方面對其進(jìn)行系統(tǒng)、全面的研究，史論結(jié)合，重點(diǎn)突出；并且在自由邏輯和以往提出的自由摹狀詞理論的基礎(chǔ)上，創(chuàng)造性地提出一個把自由摹狀詞理論與模態(tài)邏輯相結(jié)合的新理論，把自由摹狀詞理論的研究進(jìn)一步推向深入！蹲杂赡钤~理論研究》采用創(chuàng)新性強(qiáng)、難度高的技術(shù)手段，證明了新理論的可靠性和完全性，在理論上具有國際前沿性。
自由摹狀詞理論研究 目錄
序引 言**章 自由摹狀詞理論產(chǎn)生之前的幾種摹狀詞理論 **節(jié) 弗雷格的摹狀詞理論 第二節(jié) 羅素的摹狀詞理論 第三節(jié) 希爾伯特一貝奈斯的摹狀詞理論 第四節(jié) 素樸的限定摹狀詞理論第二章 自由摹狀詞理論的邏輯基礎(chǔ)——自由邏輯 **節(jié) 自由邏輯概述 第二節(jié) 自由邏輯的形式語言&FL 第三節(jié) 肯定自由邏輯公理系統(tǒng)PFL及其形式語義 第四節(jié) 否定自由邏輯公理系統(tǒng)NFL及其形式語義 第五節(jié) 中性自由邏輯SFFL 第六節(jié) 自由邏輯中的“存在” 第三章 幾個肯定的自由摹狀詞理論 **節(jié) 列奧納德的存在邏輯LE1 第二節(jié) 亨迪卡的自由摹狀詞理論LH 第三節(jié) 拉姆伯特的幾個自由摹狀詞理論 第四節(jié) 斯科特的自由摹狀詞理論LS 第五節(jié) 格蘭迪的自由摹狀詞理論LG 第六節(jié) 肯定自由摹狀詞理論的主要特征 第七節(jié) 肯定自由摹狀詞理論之間的關(guān)系第四章 否定的自由摹狀詞理論 **節(jié) 博格提出的自由摹狀詞理論LB 第二節(jié) 否定自由摹狀詞理論LB的主要特征 第三節(jié) 否定自由摹狀詞理論與肯定自由摹狀詞理論的比較 第四節(jié) 自由摹狀詞理論研究的意義第五章 一個自由模態(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)后記
展開全部
自由摹狀詞理論研究 節(jié)選
馮艷編著的《自由摹狀詞理論研究》內(nèi)容介紹:本書是國內(nèi)外**部系統(tǒng)地論述自由摹狀詞理論的專著。本書從自由摹狀詞理論產(chǎn)生的理論背景、邏輯基礎(chǔ)以及該理論的歷史發(fā)展等方面對其進(jìn)行系統(tǒng)、全面的研究,史論結(jié)合,重點(diǎn)突出;并且在自由邏輯和以往提出的自由摹狀詞理論的基礎(chǔ)上,創(chuàng)造性地提出一個把自由摹狀詞理論與模態(tài)邏輯相結(jié)合的新理論,把自由摹狀詞理論的研究進(jìn)一步推向深入。本書采用創(chuàng)新性強(qiáng)、難度高的技術(shù)手段,證明了新理論的可靠性和完全性,在理論上具有國際前沿性。
自由摹狀詞理論研究 作者簡介
馮艷 女,1975年生,河北省滄州市人。現(xiàn)為首都師范大學(xué)文學(xué)院副教授,中國邏輯學(xué)會應(yīng)用邏輯專業(yè)委員會副秘書長。1998年獲河北大學(xué)哲學(xué)學(xué)士學(xué)位,2003年獲南京大學(xué)哲學(xué)碩士學(xué)位,2006年獲北京大學(xué)哲學(xué)博士學(xué)位。主要研究方向:哲學(xué)邏輯與邏輯哲學(xué)。在《哲學(xué)研究》、《哲學(xué)動態(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)目“自由摹狀詞理論研究”、教育部人文社會科學(xué)規(guī)劃基金項(xiàng)目“邏輯思維能力與創(chuàng)新型人才培養(yǎng)研究”、首都師范大學(xué)教學(xué)改革項(xiàng)目“邏輯學(xué)教學(xué)改革與創(chuàng)新”。
書友推薦
- >
大紅狗在馬戲團(tuán)-大紅狗克里弗-助人
- >
羅庸西南聯(lián)大授課錄
- >
二體千字文
- >
名家?guī)阕x魯迅:朝花夕拾
- >
伯納黛特,你要去哪(2021新版)
- >
龍榆生：詞曲概論/大家小書
- >
有舍有得是人生
- >
朝聞道
本類暢銷
