期刊文献+

基于莱布尼兹偶然真理概念的逻辑 被引量:2

在线阅读 下载PDF
导出
摘要 事实的真理是偶然的,它们的反面是可能的。基于莱布尼兹的这种偶然真概念,一个刻画偶真命题的极小非标准逻辑系统LC被给出。基于典范模型,LC被证明在任意克里普克框架下是可靠且完全的。通过增加不同公理,LC被扩张到不同系统;这些系统(包括不足道系统)在相应的"弱框架"下是可靠的且完全的。偶真的逻辑是关于事实真理的逻辑,这些逻辑有形而上学价值,同时它们可用来处理"不可证真理"等一类哲学问题。
作者 潘天群
机构地区 南京大学哲学系
出处 《湖北大学学报(哲学社会科学版)》 CSSCI 北大核心 2013年第3期36-40,共5页 Journal of Hubei University(Philosophy and Social Science)
  • 相关文献

参考文献4

  • 1G. E. Hughes, M. J. Cresswell.A New Introduction to Modal Logic[M].London and New York:Routledge, 1996.
  • 2I. L.Humberstone.The logic of non-contingency[J].Notre Dame Journal of Formal Logic, 1995,36(2).
  • 3C.Steinsvold.Completeness for various logics of essence and accident[J].Bulletin oi the Section oi Logic, 200, 47( 2 ).
  • 4S. T. Kuhn.Minimal non-contingency logic[J].Notre Dame Journal of Fornlal Logic, 1995,36( 2 ).

同被引文献5

  • 1潘天群.《心灵、意向性与心智模态》,《浙江大学学报》2010年第8期.
  • 2Luis Farifias del Cerro, Andreas Herzig. Logics of Contingency,AAAl Spring Symposium : Logical Formalizations of Common- sense Reasoning, 2011 ; J. Marcos, Logics of essence and accident, Bulletin of the Section of Logic, 2005 - filozof, uni. lodz. p! ; C. Steinsvold, Completeness for various logics of essence and accident, Bulletin of the Section of Logic, vol. 37, no. 2, 2008, pp. 93 - 101.
  • 3Luis Farifias de1 Cerro, Andreas Herzig, Logics of Contingency ,AAAI Spring Symposium: Logical Formalizations of Common- sense Reasoning, 20! 1 ; I. L. Humberstone, The logic of non - contingency, Notre Dame Journalof Formal Logic, vol. 36, no. 2,1995, pp. 214 -229 ;J. Marcos. Logics of essence and accident, Bulletin of the Section of Logic ,2005 - filozof, uni. lodz. pl.
  • 4Luis Farifias de! Cerro, Andreas Herzig, Logics of Contingency ,AAAI Spring Symposium: Logical Formalizations of Common- sense Reasoning,2011 ; J. Marcos, Logics of essence and accident,Bulletin of the Section of Logic, 2005 - filozof, uni. lodz. pl.
  • 5潘天群.逻辑学视域中的思想分析技术[J].南京大学学报(哲学.人文科学.社会科学),2013,50(1):141-147. 被引量:34

引证文献2

二级引证文献3

相关作者

内容加载中请稍等...

相关机构

内容加载中请稍等...

相关主题

内容加载中请稍等...

浏览历史

内容加载中请稍等...
;
使用帮助 返回顶部