Charles Peirce 论二元关系的分类及其对数理逻辑的启示
历史与综述
2017-09-19 v1
摘要
Charles Peirce 发展了一套对一元、二元和三元关系进行分类的方案。他对这些不同关系类的阐述在其代数和图解数理逻辑系统的发展中占有重要地位。本文旨在重构和考察他所发展的分类系统的核心特征。鉴于该系统的复杂性,我们将注意力集中于退化与真二元关系的分类和解释,而关于三元关系的讨论将留待他处。我们希望探索这一关系阐述的原因之一,是为了更好地理解它如何影响了关系在数理逻辑史中的后续发展。Peirce 关于二元关系的早期工作影响了 Ernst Schroder、Leopold Lowenheim、Thoralf Skolem 和 Alfred Tarski 著作中二元逻辑关系阐述的发展。因此,本文的主要目的是追溯关于二元形式关系这些思想的早期发展,以便更好地理解它可能如何影响了这些后续发展。
关键词
引用
@article{arxiv.1709.05722,
title = {Charles Peirce on the Classification of Dyadic Relations and the Implications for Mathematical Logic},
author = {Jeffrey Downard},
journal= {arXiv preprint arXiv:1709.05722},
year = {2017}
}
备注
50 pages, 18 figures