必将导致循环定义的理由

上一篇 / 下一篇  2009-12-16 11:53:18

我国一位逻辑学者刘社军对定义的所谓“逻辑循环”作了分析。按刘社军的观点,就模态逻辑与经典逻辑的关系而言,古典逻辑“和”以前 经典逻辑作为千百年来学术研究的既得成果,是非常适合于我们通常所谓的现实世界的,而在经典逻辑中,逻辑一致性的意义和逻辑上的矛盾是很清楚的清除。 至于“可能世界”概念,它是模态逻辑语义学中的一个概念,只有语义为基础,其基础和经典逻辑模态逻辑语义, 相对于经典逻辑中的“逻辑矛盾”、“一致性”这些在先的和明了的概念,这个职位是不确定的。 因此,用经典逻辑中含义十分明确的基本的概念“逻辑一致性”或“无矛盾性”去定义模态逻辑中的“可能世界”概念,目前还不知道在什么是所谓的循环定义。
我十分同意冯棉、刘社军的意见。概念,事实上,模态逻辑“,”可能世界语义, 相对于经典逻辑学中的“逻辑矛盾”、“逻辑一致性”等基本概念,这篇文章是不一样的水平。 用先它一个层次、地位更为基本的经典逻辑中的“一致性”或“无矛盾性”来定义它是完全可以的。事实上,我们所谈论的经典逻辑“,”逻辑一致性和概念不一致“” 根本无需再通过“可能世界”去定义。因此,原因类型的定义,“世界”可以说足以导致循环定义并非是不可避免的。
摹?

相关链接:

Youtube to MOV Professional

Merry DVD-Audio APE MPC to MP3 Maker

谈谈中国民族绘画虚实疏密结合的特点

不同的颜色使人产生不同的情感

头脑灵活且具有挑战意识的大学生

面试前的五个必要准备

管理者不愿意授权的原因

权威拒绝法产生荣光效果

饮酒的学问都有哪些

How to convert RAM to Sony PSP

有些女人心甘情愿丈夫有外遇


TAG:

 

评分:0

我来说两句

显示全部

:loveliness: :handshake :victory: :funk: :time: :kiss: :call: :hug: :lol :'( :Q :L ;P :$ :P :o :@ :D :( :)

日历

« 2012-04-18  
1234567
891011121314
15161718192021
22232425262728
2930     

我的存档

数据统计

  • 访问量: 132
  • 日志数: 2
  • 建立时间: 2009-12-15
  • 更新时间: 2009-12-16

RSS订阅

Open Toolbar