【摘要】：模態(tài)邏輯涉及的“必然性”具有多樣性,作為邏輯系統(tǒng)定理的邏輯規(guī)律體現(xiàn)了邏輯的必然性,而模態(tài)謂詞邏輯中反映“從物模態(tài)”的公式中的必然算子則主要體現(xiàn)了事實(shí)的必然性。同時(shí),模態(tài)系統(tǒng)中的模態(tài)公理,從另一個(gè)側(cè)面對(duì)該系統(tǒng)中的“必然性”概念的邏輯特性作了描述�！氨厝恍浴备拍畹慕缍ㄅc“可能世界”密切相關(guān)。在分析現(xiàn)實(shí)世界中事物的本質(zhì)屬性時(shí),應(yīng)限制可能世界概念的范圍,摒棄現(xiàn)實(shí)世界的非真實(shí)情形。
[Abstract]:Modal logic involves a variety of "inevitability". As the logic law of logic system theorem, it embodies the inevitability of logic. The inevitable operator in modal predicate logic reflects the formula of "from material mode" mainly reflects the inevitability of fact. At the same time, the logical characteristics of the concept of inevitability in the modal system are described from the other side of the modal axiom. The definition of inevitability is closely related to the possible world. In analyzing the nature of things in the real world, we should limit the scope of the concept of the possible world and abandon the non-real situation of the real world.
【作者單位】： 華東師范大學(xué)哲學(xué)系
【基金】：國(guó)家教育部九五規(guī)劃項(xiàng)目《廣義模態(tài)邏輯研究》
【分類號(hào)】：B812

【共引文獻(xiàn)】

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

1 程仲棠;;無(wú)“是”即無(wú)三段論:語(yǔ)言主義的邏輯迷誤——答王左立先生[J];重慶工學(xué)院學(xué)報(bào)(社會(huì)科學(xué)版);2009年03期

2 劉蘭軍;夏年喜;;種屬關(guān)系與亞里士多德直言三段論[J];重慶工學(xué)院學(xué)報(bào)(社會(huì)科學(xué)版);2009年03期

3 席天揚(yáng);;當(dāng)代元倫理學(xué)中的亞里士多德主義──簡(jiǎn)析黑爾對(duì)“道德語(yǔ)言”的建構(gòu)[J];東岳論叢;2006年05期

4 趙玉增;;論法律推理的概念——從法律方法論的視角[J];法律方法;2005年00期

5 張玉萍;;司法三段論的歷史[J];法律方法;2007年00期

6 張其山;;司法三段論的意義重構(gòu)[J];法律方法;2010年01期

7 張力鋒;;關(guān)于公安院校本科邏輯教學(xué)的思考[J];江蘇警官學(xué)院學(xué)報(bào);2005年06期

8 程仲棠;一個(gè)古典的自然推理系統(tǒng)——論斯多葛命題邏輯[J];廣東社會(huì)科學(xué);1990年01期

9 李若暉;殷代量詞初探[J];古漢語(yǔ)研究;2000年02期

10 賈改琴,劉衛(wèi)花,蔣萍;傳統(tǒng)邏輯教科書(shū)中的“概念”與“詞項(xiàng)”之取舍[J];貴陽(yáng)師范高等�？茖W(xué)校學(xué)報(bào)(社會(huì)科學(xué)版);2004年02期

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

1 張其山;司法三段論研究[D];山東大學(xué);2007年

2 蔣濤;罪刑法定下我國(guó)刑法司法解釋的完善[D];華東政法大學(xué);2008年

3 李志雄;亞里士多德的古典敘事理論研究[D];浙江大學(xué);2007年

4 張立娜;個(gè)體詞的邏輯語(yǔ)義[D];清華大學(xué);2007年

5 肖敏;犯罪概念研究[D];西南政法大學(xué);2008年

6 袁影;修辭批評(píng)新模式構(gòu)建研究[D];上海外國(guó)語(yǔ)大學(xué);2008年

7 侯學(xué)勇;法律論證的融貫性研究[D];山東大學(xué);2009年

8 明文軍;從民間自然形態(tài)走向科學(xué)化傳承之自覺(jué)[D];中國(guó)藝術(shù)研究院;2010年

9 劉張華;大衛(wèi)·劉易斯模態(tài)哲學(xué)思想研究[D];南京大學(xué);2011年

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

1 尹來(lái)也;論歸納法與演繹法的辯證統(tǒng)一[D];南昌大學(xué);2010年

2 侯占香;亞里士多德的邏輯學(xué)說(shuō)與語(yǔ)言的淵源關(guān)系研究[D];廣西師范大學(xué);2004年

3 李光宇;刑法因果關(guān)系基本問(wèn)題研究[D];河南大學(xué);2005年

4 鮑建竹;馬克思主義哲學(xué)本體論問(wèn)題溯源[D];華中師范大學(xué);2006年

5 史t，

本文編號(hào)：2378529