비단조 논리학

Non-monotonic logic

비단조적 논리는 결론 관계가 단조적이 아닌 형식적 논리다. 즉, 비원론적 논리는 배변 가능한 추론(cf. 배변 가능한 추론), 즉 추론자가 잠정적인 결론을 도출하여 추론자가 추가 증거에 근거하여 결론을 철회할 수 있도록 고안된다.[1] 대부분의 연구된 형식 논리학은 단조로운 수반 관계를 가지고 있는데, 이론에 공식을 추가하는 것은 결코 그 결론의 집합의 가지치기(presuning)를 만들어내지 않는다는 것을 의미한다. 직관적으로 단조로운 것은 새로운 지식을 배우는 것이 알려진 것의 집합을 줄일 수 없다는 것을 나타낸다. 단조적 논리는 추론(반대의 증거가 부족해서만 추론이 도출될 수 있다), 유괴적 추론(합의가 가장 유력한 설명으로 추론될 뿐이다), 지식 추론에 대한 몇 가지 중요한 접근법(결과의 무지는 철회되어야 한다)과 같은 다양한 추론 작업을 처리할 수 없다. 결론이 알려질 때, 그리고 이와 유사하게, 신념 개정 (새로운 지식은 오래된 믿음과 모순될 수 있다.

유괴적 추리

납북적 추론은 알려진 사실들에 대한 충분한 설명을 도출하는 과정이다. 유괴적 논리는 가능한 설명이 반드시 정확한 것은 아니기 때문에 단조로워서는 안 된다. 예를 들어, 젖은 풀을 보는 것에 대한 가능한 설명은 비가 내렸다는 것이다. 그러나, 이 설명은 풀이 젖는 진짜 원인이 스프링클러였다는 것을 알 때 철회되어야 한다. 지식(스프링클러가 활성화되어 있었음)의 추가 때문에 옛 설명(비가 내렸음)이 후퇴하기 때문에, 설명을 모델화하는 어떤 논리도 비단조적이다.

지식에 대한 추론

만약 어떤 논리가 어떤 것을 알 수 없다는 것을 의미하는 공식을 포함하고 있다면, 이 논리는 단조로워서는 안 된다. 실제로 이전에는 알 수 없었던 것을 배우면 이 지식의 조각을 알 수 없다는 것을 명시하는 공식이 제거된다. 이 두 번째 변화(추가적인 것에 의한 제거)는 단조로운 상태를 위반한다. 지식에 대한 추론을 위한 논리는 자기 계발적 논리다.

신념개정

신념 개정은 낡은 믿음과 일치하지 않을 수도 있는 새로운 믿음을 수용하기 위해 신념을 바꾸는 과정이다. 새로운 믿음이 옳다는 가정하에, 일관성을 유지하기 위해서는 낡은 믿음의 일부를 철회해야 한다. 새로운 믿음의 추가에 대한 반응에 대한 이러한 후퇴는 신념 개정에 대한 어떤 논리도 비단조적으로 만든다. 신념 개정 접근법은 모순을 제거하려고 시도하기보다는 비일관성을 용인하는 상투적인 논리학의 대안이다.

참고 항목

메모들

  1. ^ Strasser, Christian; Antonelli, G. Aldo. "Non-Monotonic Logic". plato.stanford.edu/index.html. Stanford Encyclopedia of Philosophy. Retrieved 19 March 2015. {{cite web}}: 외부 링크 위치 ref= (도움말)

참조

외부 링크