PEIRCE’S TRUTH-FUNCTIONAL ANALYSIS AND THE ORIGIN OF TRUTH TABLES 译文:皮尔士的真值 - 函数分析和真值表的起源 Irving H. Anellis 摘要:我们探讨查尔斯 - 皮尔士( Charles Sanders Peirce , 1839- 1914 )在 1893 年阐述真值表的技术细节和历史演变,其背景是他 对涉及蕴含的命题的真值函数分析 ...
一个 “ 前提( prémisse ) ” 是一个命题,一个为支持结论而提出的陈述。前提一词来自拉丁文 praemissa : prae (向前),和 mittere (发送)。 Aristote a déclaré que tout argument logique pourrait être réduit à deux prémisses et une conclusion1. Par exemple : 亚里士多德指 ...
溯源 “Horn 子句 ” 来自于逻辑学家 霍恩( Alfred Horn )在 1951 年发表的文章 “On sentences which are true of direct unions of algebras”, 首次强调了这种子句的重要性。 Horn 子句 在命题逻辑中,Horn子句是带有最多一个肯定变元的子句(文字的析取)。有且只有 ...
1. 霍恩 霍恩( Alfred Horn 1918-2001 ),美国逻辑学家,因其在格子理论和通用代数方面的工作而闻名。他在 1951 年发表的论文 “On sentences which are true of direct unions of algebras” 描述了 Horn 子句和 Horn 句子,后来成为逻辑编程的基础。 霍恩出生在曼哈顿下东城,父母都是聋哑人 ...