基于萊布尼茲偶然真理概念的邏輯
本文關(guān)鍵詞:基于萊布尼茲偶然真理概念的邏輯
更多相關(guān)文章: 萊布尼茲 偶然性 事實真理 偶真 可能世界語義學
【摘要】:事實的真理是偶然的,它們的反面是可能的。基于萊布尼茲的這種偶然真概念,一個刻畫偶真命題的極小非標準邏輯系統(tǒng)LC被給出�;诘浞赌P�,LC被證明在任意克里普克框架下是可靠且完全的。通過增加不同公理,LC被擴張到不同系統(tǒng);這些系統(tǒng)(包括不足道系統(tǒng))在相應(yīng)的"弱框架"下是可靠的且完全的。偶真的邏輯是關(guān)于事實真理的邏輯,這些邏輯有形而上學價值,同時它們可用來處理"不可證真理"等一類哲學問題。
【作者單位】: 南京大學哲學系;
【分類號】:B812
【正文快照】: 1導(dǎo)言偶然性是一個哲學概念,但它被認為是一個非獨立的概念。在一些哲學家看來,它是事實真理的特征。萊布尼茲提出有兩種真理存在。他說:“有兩種真理:推理的真理和事實的真理。推理的真理是必然的,它們的反面是不可能的;事實的真理是偶然的,它們的反面是可能的�!盵1]482本
【相似文獻】
中國期刊全文數(shù)據(jù)庫 前10條
1 李春泰;論萊布尼茲的可能世界[J];石河子大學學報(哲學社會科學版);2002年01期
2 白海霞;;試論克里普克的先驗偶然命題和后驗必然命題[J];湘潮(下半月)(理論);2009年06期
3 李鴻才;;“邏輯真”的哲學思考[J];理論導(dǎo)刊;2007年09期
4 李勇;;論邏輯真理的特征[J];遼寧行政學院學報;2008年06期
5 張力鋒;;論模態(tài)柏拉圖主義[J];科學技術(shù)與辯證法;2006年06期
6 張力鋒;;一種溫和的模態(tài)實在論綱要[J];社會科學戰(zhàn)線;2008年01期
7 丁萍;賀業(yè)明;;論萊布尼茨的哲學邏輯觀[J];重慶工學院學報(社會科學版);2008年04期
8 劉張華;;可及關(guān)系的哲學分析[J];東方論壇;2011年01期
9 沈潔;;現(xiàn)代模態(tài)邏輯對必然性的刻畫[J];東南大學學報(哲學社會科學版);2006年S1期
10 許國平;邏輯真理的相對必然性及其經(jīng)驗基礎(chǔ)[J];學術(shù)月刊;1996年01期
中國重要會議論文全文數(shù)據(jù)庫 前10條
1 倪鼎夫;;關(guān)于充足理由律——兼與《哲學研究》有關(guān)文章商榷[A];全國邏輯討論會論文選集[C];1979年
2 王路;;數(shù)理邏輯的光輝歷程——介紹張家龍著《數(shù)理邏輯發(fā)展史——從萊布尼茲到哥德爾》[A];1994年邏輯研究專輯[C];1994年
3 許滌非;;二重命題邏輯系統(tǒng)■_(T4)[A];2001年邏輯研究專輯[C];2001年
4 林銘鈞;楊芾蓀;劉錦方;黃奕顯;;充足理由律不是形式邏輯的基本規(guī)律[A];邏輯學文集[C];1978年
5 劉培育;;充足理由律是形式邏輯的基本規(guī)律嗎?[A];邏輯學文集[C];1978年
6 邢滔滔;;一種本體論證明的數(shù)學分析[A];邏輯今探——中國邏輯學會第五次代表大會暨學術(shù)討論會論文集[C];1996年
7 馬佩;;充足理由律是形式邏輯的重要規(guī)律——與林銘鈞等同志并與李先q同志商榷[A];全國邏輯討論會論文選集[C];1979年
8 劉奎林;;靈感——人類的一種基本思維規(guī)律[A];《思維科學與21世紀》學術(shù)研討會論文集[C];2010年
9 王中江;;論金岳霖的“理有固然,勢無必至”[A];金岳霖學術(shù)思想研究——金岳霖學術(shù)思想研討會論文集[C];1985年
10 孔紅;;邏輯真理與分析性、必然性[A];2001年邏輯研究專輯[C];2001年
中國重要報紙全文數(shù)據(jù)庫 前1條
1 王習勝;應(yīng)該正確理解演繹邏輯[N];光明日報;2004年
中國博士學位論文全文數(shù)據(jù)庫 前1條
1 劉奮榮;非單調(diào)推理的邏輯研究[D];中國社會科學院研究生院;2001年
中國碩士學位論文全文數(shù)據(jù)庫 前10條
1 張焱;什么是命題——從兩種命題處理方案來看[D];華東師范大學;2005年
2 烏云高娃;論塔爾斯基語義真理[D];內(nèi)蒙古師范大學;2007年
3 劉國鋒;D·劉易斯的可能世界理論——模態(tài)實在論研究[D];華南師范大學;2003年
4 曾蘭平;淺析塔爾斯基的語義真理論[D];西南大學;2010年
5 葉燕萍;卡爾納普邏輯句法學的特征及演變[D];山西大學;2010年
6 王慧展;羅素的數(shù)學邏輯主義本質(zhì)探析[D];山西大學;2010年
7 郭欣愷;亨普爾邏輯真理思想探析[D];山西大學;2010年
8 王建江;奎因邏輯真理理論研究[D];河北大學;2011年
9 王紅娟;卡爾納普意義理論[D];河北大學;2011年
10 張雨;蒯因邏輯真理理論研究[D];燕山大學;2010年
,本文編號:1165314
本文鏈接:http://sikaile.net/shekelunwen/ljx/1165314.html