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

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