이벤트쓰
[06월5주차] 유니크뽑기 이벤트를 시작합니다. [참여하기]를 누르시면 비로그인도 참여할 수 있으며, 유니크당첨 기회를 노려보세요!
창작물에서 논리를 초월한다고 말할 때는 고전 논리학을 말하는데 고전적인 논리학을 구성하는 3가지 논리법칙들 무모순율, 배중률, 동일률은 현대의 비고전적인 논리학들이 등장하면서 다 깨졋음 우리는 21세기를 살고있고 더이상 논리학에서 다루는 논리라는게 고전 논리를 의미하지는 않는데 비고전적인 논리학들 까지 생각하면 진짜 논리를 초월한다는게 나의 경우에는 무슨 의미인지 별로 와닿지가 않게 된 것 같음.
일단 3가지 법칙을 간략하게 설명하자면
무모순율: 말그대로 A이면서 A이가 아닌 모순이 존재해서는 안됨
배중률: 배중률의 배중은 중간을 배척한다는 말인데 이거 아니면 저거, 즉 참 아니면 거짓이어야지 그 중간의 어떤 진리값 같은 모호한 회색분자 박쥐녀석을 배척하는 흑백논리라고 생각하면 편함
동일률: 동일률은 내용과 표현이 동일한 것 즉, 의미와 지시대상이 동일한 것을 말함 기호로 적으면 A=A, 즉 A는 A이다 그러니까 나는 나이지 다른 누구가 아니잖아 그러니 모든 대상은 그 자체와 같음
무모순율이 성립하지 않는 경우부터 소개하면 초일관 논리(모순허용 논리)라는게 있고 이걸 지지하는 양진주의(dialetheism)라는 철학적 입장도 있음
초일관 논리
https://ko.wikipedia.org/wiki/%EC%B4%88%EC%9D%BC%EA%B4%80_%EB%85%BC%EB%A6%AC
양진주의
https://en.wikipedia.org/wiki/Dialetheism
배중률을 부정하는 논리체계는 직관논리, 다치논리가 있는데 직관 논리에서 참인 모든 명제는 고전 논리로도 참이지만, 고전 논리에는 직관 논리에서는 증명할 수 없는 명제들이 있음 그래서 직관 논리체계는 고전논리 체계보다 약한데 이후에 직관논리 보다는 강하지만 고전논리 보다는 약한 초직관 논리(중간 논리)도 나옴 아무튼 다치논리로 넘어가서 다치논리는 진리값이 참, 거짓 이외에도 존재하는데 그냥 3개 이상의 진리값을 가지면 다치논리임 그 중에서 특히 우카시에비치-타르스키 논리하고 퍼지논리는 진리값이 실수의 무한만큼 존재할 수 있음
직관 논리
https://ko.wikipedia.org/wiki/%EC%A7%81%EA%B4%80_%EB%85%BC%EB%A6%AC
초직관 논리
https://ko.wikipedia.org/wiki/%EC%B4%88%EC%A7%81%EA%B4%80_%EB%85%BC%EB%A6%AC
우카시에비치-타르스키 논리
https://en.wikipedia.org/wiki/%C5%81ukasiewicz_logic
퍼지 논리
https://ko.wikipedia.org/wiki/%ED%8D%BC%EC%A7%80_%EB%85%BC%EB%A6%AC
3가지 논리법칙 중에서 마지막으로 가장 당연하게 느껴지는 동일률을 부정하는 슈뢰딩거 논리라는 것도 존재함
슈뢰딩거 논리
https://en.wikipedia.org/wiki/Schr%C3%B6dinger_logic
이것들 말고도 기존의 논리학에서 다루지 않았던 필연성, 가능성, 시간, 인식, 신념, 의무, 허용 등을 다루는 양상논리도 있고, 추론자가 잠정적인 결론을 도출했는데 추가적인 증거를 바탕으로 자신의 처음의 결론을 철회할 수 있고 귀납추론 같이 논리적인 귀결이 단조롭지 않는 비단조 논리
고전 논리의 분배법칙이 성립하지 않을 수 있는 양자논리, 함의의 멱등성을 거부하는(명제를 증명할 때 동일한 가정을 계속해서 사용할 수 없음, 즉 가정을 한번 소비하면 이미 소비해버린 가정은 다시 사용할 수 없음) 선형논리, 명제를 증명하는데 있어서 무한한 길이의 증명을 허용하는(일반적으로 수학에서 증명은 유한한 과정으로 처리할 수 있어야 됨) 무한논리 등등 이런것들을 보면 현대에 와서는 그냥 논리학이라는 것을 명확하게 집어서 말하는게 불가능한듯
양상 논리
https://ko.wikipedia.org/wiki/%EC%96%91%EC%83%81_%EB%85%BC%EB%A6%AC
비단조 논리
https://en.wikipedia.org/wiki/Non-monotonic_logic
양자 논리
https://ko.wikipedia.org/wiki/%EC%96%91%EC%9E%90_%EB%85%BC%EB%A6%AC
선형 논리
https://en.wikipedia.org/wiki/Linear_logic
무한 논리
https://ko.wikipedia.org/wiki/%EB%AC%B4%ED%95%9C_%EB%85%BC%EB%A6%AC
요약: 무모순율, 배중률, 동일률 같은 기본적인 고전 논리학의 법칙들이 성립하지 않는 논리체계들이 존재한다 그것말고도 여러 특이한 비고전논리학들이 있더라 우리는 21세기에 살고 있고 이제는 고전 논리학만 생각하지 않으니 창작물에서 논리를 초월한다는게 고전논리 이상의 뭔가를 더 뛰어넘는 것을 말한다면 한 술 더 떠서 비고전 논리 초월을 생각해보니 이건 진짜 어려운 것 같다고 느낌.
추천
만물유전
