라이프니츠의 위엄 #다이어그램
게시글 주소: https://m.orbi.kr/00057535903
0. 라이프니츠의 위엄
유튜브에서 '이게 바로 라이프니츠의 위엄이죠' 영상을 봤습니다.
저도 떠오르는 게 있어서 주저리주저리 라이프니츠 썰을 풀어봅니다.
1. 정언문장
모든 S는 P이다
어떤 S도 P가 아니다(=모든 S는 P가 아니다)
어떤 S는 P이다
어떤 S는 P가 아니다
위와 같은 문장을 논리학에서는 정언문장(categorical proposition)이라고 합니다. 쉽게 말해, 두 카테고리 간의 관계를 나타내는 문장이라고 생각하면 됩니다. 수학 집합과 명제 시간에 배워서 다들 익숙할 겁니다.
2. 라이프니츠 다이어그램
라이프니츠는 정언문장을 다음과 같이 선형 diagram으로 나타냈습니다. 따로 설명이 필요하지 않을 만큼 직관적입니다.
예를 들어, “모든 S는 M이다.”, “모든 M은 P이다.”는 아래 그림처럼 표현됩니다. 이때 결론 “모든 S는 P이다.”가 타당하게 도출됨을 직관적으로 파악할 수 있죠.
3. 오일러 다이어그램
오일러는 원으로 정언문장을 나타냅니다.
예를 들어, “모든 S는 M이다.”, “모든 M은 P이다.”는 다음 그림처럼 표현됩니다. 이때 결론 “모든 S는 P이다.”가 타당하게 도출됨을 직관적으로 파악할 수 있죠.
4. 벤 다이어그램
벤은 오일러 다이어그램을 개량합니다. 아무것도 없는 부분에는 빗금을, 대상이 존재하는 곳에는 x를 표시하는 방식입니다.
예를 들어, “모든 S는 M이다.”, “모든 M은 P이다.”는 다음 그림처럼 표현됩니다. 이때 결론 “모든 S는 P이다.”가 타당하게 도출됨을 직관적으로 파악할 수 있죠.
5. 루이스 캐럴의 다이어그램
벤 다이어그램은 집합이 넷인 경우에는 원으로 나타낼 수가 없습니다.
위와 같이 그리면 ‘A와 D만 있는 영역’과 ‘B와 C만 있는 영역’을 나타낼 수 없습니다.
참고로 벤이 제시한 집합이 4개일 때의 다이어그램은 아래와 같습니다.
이거 말고 아래처럼 꿀렁꿀렁한 버전도 제시하긴 했습니다.
_이미지 출처: Venn, J. (1880). On the Diagrammatic and Mechanical Representation of Propositions and Reasonings. London, Edinburgh, and Dublin philosophical magazine and journal of science. R. Taylor.
이외에도 벤은 집합이 다섯, 여섯인 경우까지도 어떻게든(혹은 억지로) 그림을 그려내긴 했는데, 일곱 개부터는 따로 언급이 없습니다. 실제로 컴퓨터 없이 그려내기가 몹시 어렵고, 추상화 같은 벤 다이어그램이라서 실용적으로 활용하기도 어렵습니다.
이런 문제점을 해결하기 위해 루이스 캐럴은 아래와 같이 사각형으로 나타내는 방법을 고안합니다.
(참고로 여기서 루이스 캐럴은 『이상한 나라의 앨리스』, 『거울 나라의 앨리스』 저자이기도 합니다. 작가이기 전에 수학자이기도 했으며, 『Symbolic Logic』을 쓰기도 했어요.)
사각형의 위쪽은 X, 아래쪽은 ~X, 왼쪽은 Y, 오른쪽은 ~Y를 할당하는 거죠. 그러면 아래와 같이 영역이 나뉩니다. (∧는 and, ~은 not을 뜻함.)
셋일 때는? 안쪽에 사각형을 하나 더 만들어서, 사각형 안에 있으면 Z, 밖에 있으면 ~Z를 할당합니다.
예를 들어, 질병관리청에서 제시한 <중독 분류도>는 캐럴의 사각형을 활용했습니다.
_출처: https://www.kdca.go.kr/contents.es?mid=a20308060100
이런 식으로 나타내면 카테고리가 더 많은 경우도 다음과 같이 체계적으로 나타낼 수 있습니다.
_그림출처: Carroll, Lewis (1896). Symbolic Logic. Macmillan.
6. 파그난의 SYLL
2012년에 발표된 따끈따끈한 다이어그램입니다. 키보드에서 완전히 구현가능합니다.
모든 S는 P이다
S→P
어떤 S도 P가 아니다
S→•←P
어떤 S는 P이다
S←•→P
어떤 S는 P가 아니다
S←•→•←P
직관적으로 화살표 방향으로만 이동할 수 있을 것 같죠? 맞습니다. 예를 들어, “모든 S는 M이다.”, “모든 M은 P이다.”는 S→M, M→P이며, 이를 연결하면 S→M→P입니다. S에서 출발하여 P에 도착했으니 결론 “모든 S는 P이다.”가 타당하게 도출됩니다.
다음과 같은 규칙도 직관적으로 받아들일 수 있습니다.
대우규칙: 어떤 S도 P가 아니다(S→•←P) ≡ 어떤 P도 S가 아니다(P→•←S)
교환법칙: 어떤 S는 P이다(S←•→P) ≡ 어떤 P는 S이다(P←•→S)
그러면 연습을 해볼까요? (직관적으로 “이게 되나?” 싶은 추론들은 다 성립합니다. ㅎㅎ)
1. 모든 A는 B이다. 어떤 A는 C이다. 따라서 ____
A→B, A←•→C를 연결하면 B←A←•→C이고, 이는 B←•→C로 간결하게 나타낼 수 있습니다. 따라서 정답은 “어떤 C는 B이다.”입니다.
2. 어떤 A도 B가 아니다. 어떤 A는 C이다. 따라서 ____
A→•←B, A←•→C를 연결하면 C←•→A→•←B이고, 이는 C←•→•←B으로 간결하게 나타낼 수 있습니다. 따라서 정답은 어떤 “C는 B가 아니다.”입니다.
3. 모든 A는 B이다. 어떤 B도 C가 아니다. 따라서 ____
A→B, B→•←C를 연결하면 A→B→•←C이고, 이는 A→•←C로 간결하게 나타낼 수 있습니다. 따라서 정답은 “어떤 A도 C가 아니다.”입니다.
덧: * SYLL은 syllogisms(삼단논법)에서 가져온 용어입니다. 관련 논문은 다음과 같습니다.
Pagnan, R. (2013). A diagrammatic calculus of syllogisms. In Visual Reasoning with Diagrams (pp. 33-53). Birkhäuser, Basel.
7. 라이프니츠의 위엄
오일러 다이어그램이나 벤 다이어그램은 시각장애인이 점자로 인식하기에는 다소 어려운 구조라고 합니다. 그래서 2015년 서울대학교 산업공학과 삶향상기술연구실(박우진 교수)에서 시각장애인을 위한 다이어그램을 개발했는데, 다음과 같습니다.
이렇게 하면 두 집합이 겹치는 부분이 어느 정도인지 점자로도 쉽게 확인할 수 있다고 해요. 뭔가 앞에서 봤던 것과 비슷하죠? 네, 라이프니츠 다이어그램과 핵심 발상이 똑같습니다. 박우진 교수님 연구실에서 라이프니츠 다이어그램을 알고 만들었는지는 잘 모르겠지만, 라이프니츠가 참 대단한 사람이라는 생각이 들긴 합니다. 이 역시 라이프니츠의 위엄이랄까요. ㅎㅎ
8. 잡담
2019학년도 수능에 나온 '가능세계' 다들 알죠? 라이프니츠가 “이 세계는 무한하게 많은 가능세계 중 최선의 세계이다”라고 말한 데서 출발한 개념입니다.
또한 수능국어/PSAT/LEET 준비하는 분들은 '라이프니츠의 법칙'도 이미 알고 있을 겁니다.
"라이프니츠는 만일 X와 Y가 동일하다면 이들이 똑같은 특성을 갖는다는 ‘동일자 식별 불가능성 원리’를 제시했는데"
_출처: 2022학년도 수능 예시문항 국어 5~10번
"두 대상이 모든 속성을 공유할 경우 그리고 오직 그때에만 그 두 대상은 동일하다"라는 라이프니츠의 법칙"
_출처: 2010학년도 언어추론(예비) 25~27번
만약 예시문항을 분석하지 않아서 이 내용을 지금 처음 본 수험생이 있다면, 아래 영상을 꼭 보길 바랍니다. 3분 정도면 출제 포인트를 하나 정리할 수 있습니다. :)
필요충분조건 표현법 #라이프니츠의 법칙
https://class.orbi.kr/course/1888/lesson/40685
이해황
0 XDK (+0)
유익한 글을 읽었다면 작성자에게 XDK를 선물하세요.
-
강민철 ㄹㅈㄷ인게 13
강민철 들었다면 최소 3수 이상인데 오르비에 ㅈㄴ 찬양하는 사람들이 왜그렇게...
-
안녕하세요 삽자루 선생님 현강생이었던 제가 글을 작성해보려 합니다. 그리고 기사...
-
삽자루쌤 의식이 올라오셨다니 너무 다행입니다 ㅠㅠ 저는 2013~2015년쯤...
-
아 개꿀잼 파티 기대했는데 혹시 레전드 하나 터지는 줄 알았는데 ㅅㅂ
-
삽자루T 증거 보시고 깨끗이 인정하셨네요 ,,
-
순서대로 작전명 발키리 삽자루 혹성탈출 삽자루 유관순 삽거지 삽갑옷 삽형기ㅋㅋㅋㅋ...
-
팝콘각..
-
https://youtu.be/8i-rTVO7Bbw
-
http://m.news.naver.com/read.nhn?mode=LSD&mid=s...
-
8시 뉴스에 다 나오네요 ㅋㅋㅋㅔ 여러분 자루형하세요~
-
이대로면 10만회는문제없을듯
-
삽자루 쌤...ㄷㄷ 11
이투스랑 소송중이셨구나.. 근데 무슨일이 있었음? 126억이면 너무 쎈거 아닌가?...
-
참여 절차 1. 해당문제를 검토한 후 아래 후기작성양식에 맞추어 오류나 난이도 및...
-
파렙만 600개고 복생까지 다하면 1000문제 가까이 된다고 들어서 파렙만 할려고...
-
삽자루 근황.jpg 12
(출처 : 삽자루 페이스북 페이지)......은근 이쁘다
-
남자는 삼세판이다!! 자루쌤 믿고 갑니다
-
n수를 해나가면서 좌절하지 않고 삽자루 선생님과 함께 열심히 해내겠습니다.
-
이번에 재수하는 동생이 프리패스를 사려는데 집에서 욕을 안쓰고 자라서 욕에 대해...
-
저도 듣는데 필기를 해야하나요 문제풀이 부분말고개념강의 하는 부분에 신승범처럼...
-
일학년때만해도 수학 모고 1~2등급이였는데아예 수능수학을 공부 안해서 지금은...
-
이지영쌤강의 보려고 프패 사는건데 난 지금까지 신승범쌤 강의 듣고 있어서 갑자기...
-
신승범선생님을 2학년부터 듣긴 들었지만 엄청난 효과는 못느낌 일단 내가 내신을 파서...
-
노량진에서 삽샘하고 이충권샘 현강들으려면 어디서 신청해야하나요? ㅠㅠ\지방충인데 ㅠㅠ
-
수학a형 20번 21번 보니까 삽자루쌤 명언이 떠오르네요 5
문과가 문과인 이유는 거리를 구하라고 해도 절댓값을 안씌워서라고ㅋㅋㅋ 참스승 자루쌤
-
스듀 가도 안보이고 검색해도 안보이는데 어디 들을 수 있는 곳 있을까요??
-
우선 저는 고3 자연계 학생이고,0원프패로 강의듣고 있습니다. 알바나 그런거...
-
?????????? 정확히좀
-
이번에 삽자루 쌤 좁수부터 파렙, 파이널까지 커리 타보려고 하는이과 고3...
-
삽자루 본수학 0
본수학 하시는분 복생까지 다 하세요? 복습도 포함.. 참 시간 많이걸리던데 이래서...
-
갓자루갓자루 0
삽자루선생님 존경합니다ㅠㅠㅠㅠ 항상 응원해요!!
-
삽쌤이랑 스듀인터뷰 한거보니까 불법알바나 학원들이 저지르는 각종 비리등 없애려고...
-
문과인데요 삽자루 들은지 얼마안됫고 현재 본수학 수1 미통기 그리고 본수학 복생도...
-
스듀에삽쌤뜸거이제봤네요 그럼 이투스에서 삽쌤 프패듣고있는건 어떻게되는건지 ㅠㅠ
-
이투스 무한패스 3
삽자루프패들어서그런지 이투스무한패스가 0원이더군요.근데 무한패스 구입? 전환? 하면...
-
삽자루 0
대박 이투스에서 스카이에듀로 옮겻뗭!!!!!!!!!!!!!!끄앙!!!!!!!!!!!!!!!!!
-
삽자루쌤... 3
반수생인데 커리탈려다가 안 탔는데... 탔으면..ㄷㄷ... 근데 정말 정의로운...
-
어케되는거죠... 프패끊은지 보름됫는데 미통기파렙은 안나오는건가요 엉엉ㅇ.. p.s...
-
대인배 삽자루 선생님의本수학 『적분과 통계』 전범위 무료 수강 안내오늘 3월...
-
예비고3인데 이번11월은 3등급나왔어요 삽자루프리패스끊어서 따라하기듣고있습니다...
-
다른분들은 어느정도인지 궁금해서.. 전 3점3개 4점3개 틀려서 79나왔어요..
-
파렙 지금들어도 괜찮을까요??
-
오르비에 대문짝만하게 '삽자루가 왔다' 해놓고는 어떻게 인증글도 없으세요? 왔으면...
-
현재 파렙끝난상태인데 친구가 B형인데 자기는 파헤치기 되게 괜찮았다고 하더라구요....
-
SJR 정석수1 전부 무난하고 갠춘함 신승범 , 한석원 , 삽자루를 동일...
-
4탄은 삽자루로 갑니다.출처는 엔하위키 미러입니다.1탄...
-
[약스압] 삽자루 선생님이 평하시는 입학사정관제.txt 16
2014 뉴파렙 3강에서 발췌한 내용입니다. 저작권 관련해서 문제될 시 즉시 글...
-
신승범이근갑 김기훈 백호 백인덕박호진 김성재 이기상 고종훈 최진기 로즈리
-
수학b형에서 a형으로 갈아탔는데 한석원 계속들을까요 아니면 삽자루 파렙들을까요?? 2
고민되네요.ㅠㅠㅠ
-
한석원모의고사 이해원모의고사 포카칩모의고사 말고도 질좋은 모의고사 있으면...
-
수1까지는 과외했었는데, 과외를하니 스스로 공부하는 느낌도 없고 뭔가 스스로...
파그난의 방식은 좀 어렵네요.
킹갓해황쌤
이것이 바로 라이프니츠의 위엄이죠
이것이 바로 실력파쌤의 위엄
실력파임을 강조하기 위해 본문하단에 제 얼굴사진을 방금 넣었습니다.
찰스 도지슨 A.K.A 루이스 캐럴
뭐라는거죠?
오..
이..이게뭐노..
해황쌤 리트 준비생인데 혹시 오르비클래스에 리기추 강의 업로드 일정계획이 어떻게 되실까요?? 막판에 3개년 기출 정리하고 시험장 들어가려고 하는데 21년도와 22년도는 각각 2지문씩밖에 업로드가 안되어 있어 근 1-2주 내로 추가 업로드 계획이 있으신지 궁금합니다 ㅠㅠ
감사합니다!