露丝-巴尔坎-马库斯：模态逻辑中的演绎定理

IF 0.5 3区哲学 Q3 HISTORY & PHILOSOPHY OF SCIENCE

History and Philosophy of Logic Pub Date : 2024-04-30 DOI:10.1080/01445340.2024.2336404

Roberta Ballarin

引用次数: 0

摘要

在本文中，我研究了露丝-巴尔坎-马库斯（Ruth Barcan Marcus）关于模态系统和演绎定理的早期形式工作，包括物质条件和严格条件。马库斯证明了演绎定理...

本文章由计算机程序翻译，如有差异，请以英文原文为准。

查看原文本刊更多论文

Ruth Barcan Marcus on the Deduction Theorem in Modal Logic

In this paper, I examine Ruth Barcan Marcus's early formal work on modal systems and the deduction theorem, both for the material and the strict conditional. Marcus proved that the deduction theore...

求助全文

通过发布文献求助，成功后即可免费获取论文全文。去求助

来源期刊

History and Philosophy of Logic 综合性期刊-科学史与科学哲学

CiteScore

0.80

自引率

0.00%

发文量

审稿时长

>12 weeks

期刊介绍： History and Philosophy of Logic contains articles, notes and book reviews dealing with the history and philosophy of logic. ’Logic’ is understood to be any volume of knowledge which was regarded as logic at the time in question. ’History’ refers back to ancient times and also to work in this century; however, the Editor will not accept articles, including review articles, on very recent work on a topic. ’Philosophy’ refers to broad and general questions: specialist articles which are now classed as ’philosophical logic’ will not be published. The Editor will consider articles on the relationship between logic and other branches of knowledge, but the component of logic must be substantial. Topics with no temporal specification are to be interpreted both historically and philosophically. Each topic includes its own metalogic where appropriate.