귀속 그래프
Entitative graph유혹적 그래프는 찰스 샌더스 피르스가 1880년대부터 시작되는 질적 논리라는 이름으로 개발한 논리의 도표적 구문의 한 요소로, 논리의 명제적 또는 지각적 측면에 관한 한 형식주의의 적용범위를 취한다. Peirce's Collected Paper에서 3.468, 4.434 및 4.564를 참조하십시오.
구문은 다음과 같다.
- 빈 페이지;
- 단문자, 구문;
- 절단이라고 하는 단순한 닫힌 곡선으로 둘러싸인 물체(하위 그래프) 베인 상처는 비어 있을 수 있다.
의미론은 다음과 같다.
- 빈 페이지는 False를 나타낸다.
- 문자, 구문, 하위 그래프 및 전체 그래프는 참 또는 거짓일 수 있다.
- 절단된 객체를 둘러싸는 것은 부울 보완과 동일하다. 따라서 빈 상처는 진리를 의미한다.
- 주어진 절단 내에 있는 모든 물체는 암묵적으로 분리되어 결합된다.
"증명"은 짧은 규칙 목록을 사용하여 그래프가 빈 컷이나 빈 페이지로 축소될 때까지 그래프를 조작한다. 그렇게 줄일 수 있는 그래프는 현재 tautology(또는 그 보완물)라고 불리는 것이다. 일정 지점 이상으로 단순화할 수 없는 그래프는 1차 로직의 만족스러운 공식과 유사하다.
Peirce는 곧 실존적 그래프에 대한 귀속적 그래프를 포기했는데, 그 존재론적 그래프(알파) 부분은 귀속적 그래프에 이중적이다. 그는 실존적 그래프를 개발하여 현재 1차적 논리학 및 정상적 모달 논리학이라고 불리는 것에 대한 또 다른 형식주의가 되었다.
G. Spencer-Brown의 형태 법칙의 1차 대수학은 이형성 그래프와 이형성적이다.
참고 항목
참조
- Peirce, C. S. Charles Sanders Peirce, Vols. 찰스 샌더스 피어의 논문 수집 1–6, 찰스 하트손과 폴 와이스(에드스), 볼스. 7–8, Arthur W. Burks, Ed, Harvard University Press, Cambridge, MA, 1931–1935, 1958. CP 볼륨으로 인용됨. 단락.
- Peirce, C. S, "질적 논리", MS 736 (c. 1886), 페이지 101–115 (Charles S에 의한 수학의 새로운 요소들) Peirce, 제4권, 수학철학, Carolyn Eisele (ed.), Mouton, The Hague, 1976.
- Peirce, C. S., "질적 논리", MS 582 (1886), 페이지 323–371 Charles S의 저술. Peirce: A Trailer Edition, Volume 5, 1884–1886, Peirce Edition Project (eds), Indiana University Press, Bloomington, IN, 1993.
- Peirce, C. S. "인척의 논리: 정성적 및 정량적", MS 584(1886), 찰스 S의 저술 페이지 372–378. Peirce: A Trailer Edition, Volume 5, 1884–1886, Peirce Edition Project (eds), Indiana University Press, Bloomington, IN, 1993.
- 신, 선주(2002년), Peirce's Graphs, MIT Press, MA, Cambridge. Peirce's Graphs의 상징적 논리학.
