發(fā)布時(shí)間：2018-07-09 19:24

  本文選題：語(yǔ)用邏輯 + 語(yǔ)用行為�。� 參考：《中國(guó)社會(huì)科學(xué)》1997年05期

【摘要】：語(yǔ)用邏輯是言語(yǔ)行為理論的邏輯分析工具和邏輯分析系統(tǒng)。本世紀(jì)中葉，奧斯汀創(chuàng)立了言語(yǔ)行為理論。１９８５年，塞爾和范德維克建立了一個(gè)非形式的語(yǔ)用邏輯體系。本文通過(guò)分析奧斯汀和塞爾的工作，明確了語(yǔ)用邏輯的研究對(duì)象，并對(duì)語(yǔ)用邏輯作了形式化的研究。在語(yǔ)形研究方面，作者構(gòu)造了命題語(yǔ)用邏輯的形式公理系統(tǒng)ＰＦ，，在ＰＦ中證明了語(yǔ)用邏輯的三類定理：關(guān)于語(yǔ)用行為的定理、關(guān)于條件的語(yǔ)用行為的定理和關(guān)于語(yǔ)用力量的定理。在語(yǔ)義研究方面，作者構(gòu)造了語(yǔ)用邏輯的語(yǔ)義模型，給出了系統(tǒng)的語(yǔ)義解釋。在元邏輯的研究方面，作者證明了ＰＦ的可靠性、一致性和完全性。最后簡(jiǎn)要指出ＰＦ與塞爾和范德維克系統(tǒng)的區(qū)別以及語(yǔ)用邏輯的意義。
[Abstract]:Pragmatic logic is the logical analysis tool and logic analysis system of speech act theory. In the middle of this century, Austin founded the speech act theory. In 1985, Searle and van der Vickers established a non-formal pragmatic logic system. Based on the analysis of Austin and Searle's work, this paper clarifies the object of pragmatic logic and formalizes the study of pragmatic logic. In the aspect of morphological study, the author constructs the formal axiom system of propositional pragmatic logic (PFF), and proves three kinds of theorems of pragmatic logic in PF: the theorem on pragmatic behavior. The theorems about pragmatic acts of conditions and the theorems on pragmatic power. In the aspect of semantic research, the author constructs a semantic model of pragmatic logic and gives a systematic semantic explanation. In the research of meta logic, the author proves the reliability, consistency and completeness of PF. Finally, the differences between PF and Searle and van der Vickers system and the meaning of pragmatic logic are briefly pointed out.
【作者單位】： 全國(guó)哲學(xué)社會(huì)科學(xué)規(guī)劃辦公室
【分類號(hào)】：B81-05

【相似文獻(xiàn)】

相關(guān)期刊論文 前10條

1 盧戀;;語(yǔ)言游戲論對(duì)語(yǔ)用邏輯形成和發(fā)展的影響[J];重慶理工大學(xué)學(xué)報(bào)(社會(huì)科學(xué));2011年08期

2 ;[J];;年期

3 ;[J];;年期

4 ;[J];;年期

5 ;[J];;年期

6 ;[J];;年期

7 ;[J];;年期

8 ;[J];;年期

9 ;[J];;年期

10 ;[J];;年期

相關(guān)會(huì)議論文 前2條

1 蔡曙山;;語(yǔ)用邏輯研究[A];邏輯今探——中國(guó)邏輯學(xué)會(huì)第五次代表大會(huì)暨學(xué)術(shù)討論會(huì)論文集[C];1996年

2 王靜;;真的邏輯表達(dá)[A];邏輯研究文集——中國(guó)邏輯學(xué)會(huì)第六次代表大會(huì)暨學(xué)術(shù)討論會(huì)論文集[C];2000年

相關(guān)碩士學(xué)位論文 前2條

1 鄭科紅;語(yǔ)用邏輯中的語(yǔ)境研究[D];西南大學(xué);2008年

2 車付翠;計(jì)算機(jī)科學(xué)中的邏輯應(yīng)用研究[D];燕山大學(xué);2011年

本文編號(hào)：2110411