𝙇𝘼𝙓 𝙒𝙄𝙆𝙄
최근 변경
최근 토론
임의 문서
도구
최근 변경
루이나/역사/철학사
(편집 요청)
[알림]
문서를 편집할 권한이 없기 때문에 편집 요청으로 이동되었습니다.
편집 권한이 부족합니다. 로그인된 사용자(이)여야 합니다. 해당 문서의
ACL 탭
을 확인하시기 바랍니다.
닫기
RAW 편집
미리보기
=== 논리학 === 논리학자 '''[[아이작 펜윅]]'''(1831~1894)은 홉스의 "추론은 계산"이라는 말을 글자 그대로 실현하려 했다. 『사고의 대수』(1873)에서 그는 '사람이다' 같은 성질이 아니라 '~보다 크다', '~의 아버지다' 같은 관계를 논리의 기본 단위로 삼았다. 펜윅의 관계 논리에서는 관계끼리 합성할 수 있다. '~의 아버지'와 '~의 아버지'를 합성하면 '~의 할아버지'가 되고, 관계를 뒤집으면 '~의 자식'이 된다. 그는 이 합성 규칙을 기호로 정리해, 전통 논리학이 다루지 못하던 "모든 사람에게는 어머니가 있다"류의 추론을 계산할 수 있게 만들었다. 셰브리에의 관계 실재론이 논리학으로 옮겨 간 셈이며, 대수를 경멸했던 홉스의 꿈이 역설적으로 대수에서 이루어졌다는 평을 듣는다.
요약
문서 편집을 저장하면 당신은 기여한 내용을 CC-BY-NC-SA 2.0 KR으로 배포하고 기여한 문서에 대한 하이퍼링크나 URL을 이용하여 저작자 표시를 하는 것으로 충분하다는 데 동의하는 것입니다.
이 동의는 철회할 수 없습니다.
비로그인 상태로 편집합니다. 로그인하지 않은 상태로 문서 편집을 저장하면, 편집 역사에 본인이 사용하는 IP(127.0.0.1) 주소 전체가 영구히 기록됩니다.
저장
닫기
Liberty
|
the seed