實體圖
![本頁使用了標題或全文手工轉換](http://images.weserv.nl/?url=//upload.wikimedia.org/wikipedia/commons/thumb/c/cd/Zh_conversion_icon_m.svg/35px-Zh_conversion_icon_m.svg.png)
實體圖是查爾斯·皮爾士於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.