實體查爾斯·皮爾士於1880年代開始在定性邏輯的名義下開發的邏輯圖形語法的一個要素,只覆蓋了邏輯的命題演算方面所關心的內容的形式化。請參見《Peirce's Collected Papers》的 3.468, 4.434, 和 4.564。

語法是:

  • 空白頁;
  • 單一的字母,短語;
  • 包圍在叫做簡單閉合曲線內的物件(子圖)。切可以為空。

語意是:

  • 空白頁指示
  • 字母,短語,子圖和整個圖可以為
  • 用切包圍物件等價於布林補運算。因此空切指示真理
  • 在一個給定切內的所有物件都預設的用析取連結起來了。

"證明"使用規則的簡短列表操縱一個圖,直到這個圖被簡約到一個空切或空白頁。可以如此簡約的圖現在叫做重言式矛盾。不能簡化超過一個特定點的圖類似於一階邏輯可滿足公式

皮爾士不久就放棄了實體圖而轉向存在圖,它的句子(alpha)部分是實體圖的對偶。他開發了存在圖使其成為一階邏輯正規模態邏輯的另一個形式化。

G. Spencer-Brown初等代數同構於實體圖。

參照

編輯
  • Peirce, C.S., Collected Papers of Charles Sanders Peirce, Vols. 1–6, Charles Hartshorne and Paul Weiss (eds.), Vols. 7–8, Arthur W. Burks, ed., Harvard University Press, Cambridge, MA, 1931–1935, 1958. Cited as CP volume.paragraph.
  • Peirce, C.S., "Qualitative Logic", MS 736 (c. 1886), pp. 101–115 in The New Elements of Mathematics by Charles S. Peirce, Volume 4, Mathematical Philosophy, Carolyn Eisele (ed.), Mouton, The Hague, 1976.
  • Peirce, C.S., "Qualitative Logic", MS 582 (1886), pp. 323–371 in Writings of Charles S. Peirce: A Chronological Edition, Volume 5, 1884–1886, Peirce Edition Project (eds.), Indiana University Press, Bloomington, IN, 1993.
  • Peirce, C.S., "The Logic of Relatives: Qualitative and Quantitative", MS 584 (1886), pp. 372–378 in Writings of Charles S. Peirce: A Chronological Edition, Volume 5, 1884–1886, Peirce Edition Project (eds.), Indiana University Press, Bloomington, IN, 1993.
  • Shin, Sun-Joo (2002), The Iconic Logic of Peirce's Graphs, MIT Press, Cambrodge, MA.

參見

編輯