逻辑图:从古典到形式化的发展

Logic Diagrams:From Ancient Ideas to Formalism

古典的逻辑图主要包括欧拉图和文恩图(一般也把经过皮尔士改造过的文恩图“皮尔士-文恩图”包括在内)。由于可靠(且完全)的逻辑推演规则的提出,在逻辑图从古典形式走向形式化的发展历程中,具有转折性的是皮尔士-文恩图以及皮尔士的存在图系统,现代形式的图式逻辑就是在这两者的基础上建立起来的。

This paper presents a view on the evolution of the logic diagrams from ancient ideas to modem formalisms most of which extended Euler diagrams by adding further syntax to increase expressiveness. The classical logic diagrams include the Euler diagrams and Venn diagrams （sometimes, ＂Peirce- Venn diagrams＂ included）. During this development the landmark is Peiree- Venn diagrams and Peiree＇ s existential graphs by theirs sound （and complete） deduction rules, and the Diagrammtie Logic, as a branch of philosophical logic, is aetualy based and generalised on these diagrammtic deduction systems.