{"title":"Peirce’s Dragon-Head Logic (R 501, 1901)","authors":"Minghui Ma, 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.
期刊介绍:
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.