Peirce’s Dragon-Head Logic (R 501, 1901)

IF 0.7 2区 哲学 Q2 HISTORY & PHILOSOPHY OF SCIENCE
Minghui Ma, Ahti-Veikko Pietarinen
{"title":"Peirce’s Dragon-Head Logic (R 501, 1901)","authors":"Minghui Ma,&nbsp;Ahti-Veikko Pietarinen","doi":"10.1007/s00407-021-00285-0","DOIUrl":null,"url":null,"abstract":"<div><p>Peirce wrote in late 1901 a text on formal logic using a special Dragon-Head and Dragon-Tail notation in order to express the relation of logical consequence and its properties. These texts have not been referred to in the literature before. We provide a complete reconstruction and transcription of these previously unpublished sets of manuscript sheets and analyse their main content. In the reconstructed text, Peirce is seen to outline both a general theory of deduction and a general theory of consequence relation. The two are the cornerstones of modern logic and have played a crucial role in its development. From the wider perspective, Peirce is led to these theories by three important generalizations: propositions to all signs, truth to scriptibility, and derivation to transformability. We provide an exposition of such proposed semiotic foundation for logical constants and point out a couple of further innovations in this rare text, including the sheet of assertion, correction as a dual of deduction and the nature of conditionals as variably strict conditionals.</p></div>","PeriodicalId":50982,"journal":{"name":"Archive for History of Exact Sciences","volume":null,"pages":null},"PeriodicalIF":0.7000,"publicationDate":"2022-02-24","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"0","resultStr":null,"platform":"Semanticscholar","paperid":null,"PeriodicalName":"Archive for History of Exact Sciences","FirstCategoryId":"98","ListUrlMain":"https://link.springer.com/article/10.1007/s00407-021-00285-0","RegionNum":2,"RegionCategory":"哲学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"Q2","JCRName":"HISTORY & PHILOSOPHY OF SCIENCE","Score":null,"Total":0}
引用次数: 0

Abstract

Peirce wrote in late 1901 a text on formal logic using a special Dragon-Head and Dragon-Tail notation in order to express the relation of logical consequence and its properties. These texts have not been referred to in the literature before. We provide a complete reconstruction and transcription of these previously unpublished sets of manuscript sheets and analyse their main content. In the reconstructed text, Peirce is seen to outline both a general theory of deduction and a general theory of consequence relation. The two are the cornerstones of modern logic and have played a crucial role in its development. From the wider perspective, Peirce is led to these theories by three important generalizations: propositions to all signs, truth to scriptibility, and derivation to transformability. We provide an exposition of such proposed semiotic foundation for logical constants and point out a couple of further innovations in this rare text, including the sheet of assertion, correction as a dual of deduction and the nature of conditionals as variably strict conditionals.

皮尔斯龙头逻辑(r501, 1901)
皮尔斯在1901年底写了一篇关于形式逻辑的文章,用一种特殊的龙头和龙尾符号来表达逻辑结果与其性质的关系。这些文本以前从未在文献中提及。我们对这些以前未发表的手稿进行了完整的重建和转录,并分析了它们的主要内容。在重建后的文本中,皮尔斯既概括了一般的演绎理论,又概括了一般性的结果关系理论。二者是现代逻辑的基石,对现代逻辑的发展起着至关重要的作用。从更广泛的角度来看,皮尔斯通过三个重要的概括得出了这些理论:命题到所有符号,真理到可写性,以及推导到可转换性。我们对逻辑常数的符号学基础进行了阐述,并在这篇罕见的文章中指出了一些进一步的创新,包括断言表、作为演绎对偶的更正以及条件句作为可变严格条件句的性质。
本文章由计算机程序翻译,如有差异,请以英文原文为准。
求助全文
约1分钟内获得全文 求助全文
来源期刊
Archive for History of Exact Sciences
Archive for History of Exact Sciences 管理科学-科学史与科学哲学
CiteScore
1.30
自引率
20.00%
发文量
16
审稿时长
>12 weeks
期刊介绍: The Archive for History of Exact Sciences casts light upon the conceptual groundwork of the sciences by analyzing the historical course of rigorous quantitative thought and the precise theory of nature in the fields of mathematics, physics, technical chemistry, computer science, astronomy, and the biological sciences, embracing as well their connections to experiment. This journal nourishes historical research meeting the standards of the mathematical sciences. Its aim is to give rapid and full publication to writings of exceptional depth, scope, and permanence.
×
引用
GB/T 7714-2015
复制
MLA
复制
APA
复制
导出至
BibTeX EndNote RefMan NoteFirst NoteExpress
×
提示
您的信息不完整,为了账户安全,请先补充。
现在去补充
×
提示
您因"违规操作"
具体请查看互助需知
我知道了
×
提示
确定
请完成安全验证×
copy
已复制链接
快去分享给好友吧!
我知道了
右上角分享
点击右上角分享
0
联系我们:info@booksci.cn Book学术提供免费学术资源搜索服务,方便国内外学者检索中英文文献。致力于提供最便捷和优质的服务体验。 Copyright © 2023 布克学术 All rights reserved.
京ICP备2023020795号-1
ghs 京公网安备 11010802042870号
Book学术文献互助
Book学术文献互助群
群 号:481959085
Book学术官方微信