• 主题
高级搜索  >
历史搜索 清空历史
首页> 外文期刊>Studia Logica >Dual Intuitionistic Logic and a Variety of Negations: The Logic of Scientific Research
【24h】

Dual Intuitionistic Logic and a Variety of Negations: The Logic of Scientific Research

机译：双重直觉逻辑和各种否定逻辑：科学研究的逻辑

获取原文
获取原文并翻译 | 示例
           
页面导航
  • 摘要
  • 著录项
  • 相似文献
  • 相关主题

摘要

We consider a logic which is semantically dual (in some precise sense of the term) to intuitionistic. This logic can be labeled as “falsification logic”: it embodies the Popperian methodology of scientific discovery. Whereas intuitionistic logic deals with constructive truth and non-constructive falsity, and Nelson's logic takes both truth and falsity as constructive notions, in the falsification logic truth is essentially non-constructive as opposed to falsity that is conceived constructively. We also briefly clarify the relationships of our falsification logic to some other logical systems.
机译：我们考虑一种逻辑，它在语义上（在某种意义上是精确的）对直觉是双重的。这种逻辑可以被称为“证伪逻辑”：它体现了波普尔科学发现的方法论。直觉逻辑处理建设性真理和非建设性虚假，而纳尔逊逻辑则将真理和虚假都视为建设性概念，而在证伪逻辑中，真理本质上是非建设性的，与建设性构想的虚假相反。我们还将简要阐明伪造逻辑与某些其他逻辑系统的关系。

著录项

相似文献

  • 外文文献
  • 中文文献
  • 专利
获取原文

客服邮箱：kefu@zhangqiaokeyan.com

京公网安备：11010802029741号 ICP备案号：京ICP备15016152号-6 六维联合信息科技 (北京) 有限公司©版权所有

  • 客服微信

  • 服务号