基于莱布尼兹偶然真理概念的逻辑
本文关键词:基于莱布尼兹偶然真理概念的逻辑
更多相关文章: 莱布尼兹 偶然性 事实真理 偶真 可能世界语义学
【摘要】:事实的真理是偶然的,它们的反面是可能的。基于莱布尼兹的这种偶然真概念,一个刻画偶真命题的极小非标准逻辑系统LC被给出。基于典范模型,LC被证明在任意克里普克框架下是可靠且完全的。通过增加不同公理,LC被扩张到不同系统;这些系统(包括不足道系统)在相应的"弱框架"下是可靠的且完全的。偶真的逻辑是关于事实真理的逻辑,这些逻辑有形而上学价值,同时它们可用来处理"不可证真理"等一类哲学问题。
【作者单位】: 南京大学哲学系;
【分类号】:B812
【正文快照】: 1导言偶然性是一个哲学概念,但它被认为是一个非独立的概念。在一些哲学家看来,它是事实真理的特征。莱布尼兹提出有两种真理存在。他说:“有两种真理:推理的真理和事实的真理。推理的真理是必然的,它们的反面是不可能的;事实的真理是偶然的,它们的反面是可能的。”[1]482本
【相似文献】
中国期刊全文数据库 前10条
1 李春泰;论莱布尼兹的可能世界[J];石河子大学学报(哲学社会科学版);2002年01期
2 白海霞;;试论克里普克的先验偶然命题和后验必然命题[J];湘潮(下半月)(理论);2009年06期
3 李鸿才;;“逻辑真”的哲学思考[J];理论导刊;2007年09期
4 李勇;;论逻辑真理的特征[J];辽宁行政学院学报;2008年06期
5 张力锋;;论模态柏拉图主义[J];科学技术与辩证法;2006年06期
6 张力锋;;一种温和的模态实在论纲要[J];社会科学战线;2008年01期
7 丁萍;贺业明;;论莱布尼茨的哲学逻辑观[J];重庆工学院学报(社会科学版);2008年04期
8 刘张华;;可及关系的哲学分析[J];东方论坛;2011年01期
9 沈洁;;现代模态逻辑对必然性的刻画[J];东南大学学报(哲学社会科学版);2006年S1期
10 许国平;逻辑真理的相对必然性及其经验基础[J];学术月刊;1996年01期
中国重要会议论文全文数据库 前10条
1 倪鼎夫;;关于充足理由律——兼与《哲学研究》有关文章商榷[A];全国逻辑讨论会论文选集[C];1979年
2 王路;;数理逻辑的光辉历程——介绍张家龙著《数理逻辑发展史——从莱布尼兹到哥德尔》[A];1994年逻辑研究专辑[C];1994年
3 许涤非;;二重命题逻辑系统■_(T4)[A];2001年逻辑研究专辑[C];2001年
4 林铭钧;杨芾荪;刘锦方;黄奕显;;充足理由律不是形式逻辑的基本规律[A];逻辑学文集[C];1978年
5 刘培育;;充足理由律是形式逻辑的基本规律吗?[A];逻辑学文集[C];1978年
6 邢滔滔;;一种本体论证明的数学分析[A];逻辑今探——中国逻辑学会第五次代表大会暨学术讨论会论文集[C];1996年
7 马佩;;充足理由律是形式逻辑的重要规律——与林铭钧等同志并与李先q同志商榷[A];全国逻辑讨论会论文选集[C];1979年
8 刘奎林;;灵感——人类的一种基本思维规律[A];《思维科学与21世纪》学术研讨会论文集[C];2010年
9 王中江;;论金岳霖的“理有固然,势无必至”[A];金岳霖学术思想研究——金岳霖学术思想研讨会论文集[C];1985年
10 孔红;;逻辑真理与分析性、必然性[A];2001年逻辑研究专辑[C];2001年
中国重要报纸全文数据库 前1条
1 王习胜;应该正确理解演绎逻辑[N];光明日报;2004年
中国博士学位论文全文数据库 前1条
1 刘奋荣;非单调推理的逻辑研究[D];中国社会科学院研究生院;2001年
中国硕士学位论文全文数据库 前10条
1 张焱;什么是命题——从两种命题处理方案来看[D];华东师范大学;2005年
2 乌云高娃;论塔尔斯基语义真理[D];内蒙古师范大学;2007年
3 刘国锋;D·刘易斯的可能世界理论——模态实在论研究[D];华南师范大学;2003年
4 曾兰平;浅析塔尔斯基的语义真理论[D];西南大学;2010年
5 叶燕萍;卡尔纳普逻辑句法学的特征及演变[D];山西大学;2010年
6 王慧展;罗素的数学逻辑主义本质探析[D];山西大学;2010年
7 郭欣恺;亨普尔逻辑真理思想探析[D];山西大学;2010年
8 王建江;奎因逻辑真理理论研究[D];河北大学;2011年
9 王红娟;卡尔纳普意义理论[D];河北大学;2011年
10 张雨;蒯因逻辑真理理论研究[D];燕山大学;2010年
,本文编号:1165314
本文链接:https://www.wllwen.com/shekelunwen/ljx/1165314.html