【摘要】：塞里格曼的恰當(dāng)描述情景邏輯的基本原則源自于奧斯汀的真理理論,該理論認(rèn)為每一陳述都是關(guān)于情景的。塞里格曼通過在一句子和一情景之間成立的恰當(dāng)描述關(guān)系的描述,從而形式化了奧斯汀的真理理論。系統(tǒng)提供了恰當(dāng)描述的遞歸定義,考察了一個極強(qiáng)的情景邏輯系統(tǒng),邏輯的自然演繹系統(tǒng)通過使用局部索引的自然推理事例的方式而引入。
[Abstract]:The basic principle of Seligman's proper description of situational logic originates from Austin's theory of truth, which holds that every statement is about situational. Seligman formalized Austin's theory of truth by properly describing the relationship between a sentence and a scene. The system provides a properly described Recursive definition, and investigates a very strong situational logic system. The logical natural deductive system is introduced by using the natural reasoning case of the local index.
【作者單位】： 蘇州大學(xué)政治與公共管理學(xué)院;
【分類號】：B812

【相似文獻(xiàn)】

相關(guān)會議論文 前10條

1 顏中軍;;殊型句與真值承擔(dān)者[A];“回顧與前瞻：中國邏輯史研究30年”全國學(xué)術(shù)研討會論文集[C];2010年

2 萬繼華;;基于哲學(xué)本體論的真值演算系統(tǒng)——實(shí)現(xiàn)計算機(jī)理解自然語言的邏輯方法[A];邏輯學(xué)及其應(yīng)用研究——第四屆全國邏輯系統(tǒng)、智能科學(xué)與信息科學(xué)學(xué)術(shù)會議論文集[C];2008年

3 梁慶寅;;略論真值載體[A];1996年邏輯研究專輯[C];1996年

4 李立鋒;;K-SEQ語義下經(jīng)典定理的真值與“真”概念[A];1998年邏輯研究專輯[C];1998年

5 余俊偉;;弗協(xié)調(diào)真值道義邏輯分析[A];2003年邏輯研究專輯[C];2003年

6 張尚水;;模糊邏輯[A];全國邏輯討論會論文選集[C];1979年

7 郝兆寬;;一個無窮值邏輯[A];1998年邏輯研究專輯[C];1998年

8 劉壯虎;;自指性命題的邏輯構(gòu)造[A];1993年邏輯研究專輯[C];1993年

9 陳圖云;劉新友;;模糊基數(shù)量詞初論[A];1994年邏輯研究專輯[C];1994年

10 沈躍春;;略論20世紀(jì)西方悖論研究[A];邏輯研究文集——中國邏輯學(xué)會第六次代表大會暨學(xué)術(shù)討論會論文集[C];2000年

相關(guān)重要報紙文章 前1條

1 陳嘉明;知識論中的“信念論”問題[N];光明日報;2003年

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

1 戴細(xì)華;多值邏輯語義博弈[D];中山大學(xué);2006年

2 周允程;第一人稱信念的哲學(xué)研究[D];清華大學(xué);2008年

3 余俊偉;弗協(xié)調(diào)邏輯應(yīng)用于道義邏輯的研究[D];中國社會科學(xué)院研究生院;2001年

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

1 和寶珍;淺析弗雷格的真值理論[D];西南大學(xué);2007年

2 趙蓉;試論弗雷格的意義理論[D];蘇州大學(xué);2009年

3 林偉;悖論探究[D];復(fù)旦大學(xué);2009年

4 孫華程;言說的邏輯與沉默之域[D];西南師范大學(xué);2002年

5 李晉紅;語義悖論研究述評[D];西南大學(xué);2007年

6 賈國恒;盧卡西維茨多值邏輯及其與一些邏輯的比較[D];河南大學(xué);2003年

7 季方舟;大衛(wèi)—劉易斯的反事實(shí)條件句理論[D];華東師范大學(xué);2009年

8 鄭允;試析弗雷格的概念論與意義理論[D];河南大學(xué);2003年

9 孫維浠;論語境與語用推理[D];西南師范大學(xué);2004年

10 戴寧淑;預(yù)設(shè)、語義蘊(yùn)涵及其鑒別方法研究[D];華東師范大學(xué);2005年

，

本文編號：2478633