實體圖

實體圖是查爾斯 · 皮爾士於1880年代開始在定性邏輯的名義下開發的邏輯的圖形語法的一個要素 ， 只覆蓋了邏輯的命題演算方面所關心的內容的形式化 。 請參見 《 Peirce's Collected Papers 》 的 3.468, 4.434, 和 4.564 。 語法是: 空白頁 ； 單一的字母 ， 短語 ； 包圍在叫做切的簡單閉合曲線內的對象 。 切可以爲空 。 語義是: 空白頁指示假 ； 字母 ， 短語 ， 子圖和整個圖可以爲真或假 ； 用切包圍對象等價於布爾補運算 。 因此空切指示真理 ； 在一個給定切內的所有對象都默認的用析取連結起來了 。 " 證明 " 使用規則的簡短列表操縱一個圖 ， 直到這個圖被簡約到一個空切或空白頁 。 可以如此簡約的圖現在叫做重言式或矛盾 。 不能簡化超過一個特定點的圖類似於一階邏輯的可滿足的公式 。 皮爾士不久就放棄了實體圖而轉向存在圖 ， 它的句子 ( alpha ) 部分是實體圖的對偶 。 他開發了存在圖使其成爲一階邏輯和正規模態邏輯的另一個形式化 。 G. Spencer - Brown 的初等代數同構於實體圖 。