라이프니츠의 위엄 #다이어그램
게시글 주소: https://old.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를 선물하세요.
-
갈만한가요.... ㅈㄴ 고민되는디 이번달 다음달 안으로 추모 넣어서 가면 칼복학 ㅆㄱㄴ인데
-
미래 30년 뒤에 미국과 중국 중 어느 나라가 초강대국으로 남을지를 예측하기...
-
중국-대만 전쟁이 한국과 일본에 끼치는 영향.gpt 0
양안전쟁이 발생할 경우, 한국과 일본에 미칠 수 있는 안보적 위협을 좀 더...
-
그냥 사탐 개념노트?같은거에 적으셨나용? 아니면 사탐 과목별 선지노트?를 따로...
-
으아... 뭔노무 공부할게 이리 많아!!! 전보발령 준비로 좋아했는데 공부할게...
-
수학 n제 질문 2
n티켓 시즌1, 2다 풀었는데 N티켓 2회독 할까요 다른 N제 풀까요? 다른 N제...
-
엔제 추천좀 0
ㅈㄱㄴ
-
수학 강의 추천 0
현우진 선생님 잘 안맞아서 뉴런 듣다가 그만 뒀는데요 현우진T 말고 수학 들을만한...
-
금지어 좀 찾아주세요
-
자연수가 짝수랑 기수(원소개수) 같다는데 자연수는 짝수랑 홀수로 나뉘니까 짝수까리...
-
25년부터 교대 정원 12퍼 감소 + 초등교사 임용 증가 ㄷㄷ.
-
이게 논란이 많네여 누구는 안 먹어서 나쁠 거 없다 이러고 누구는 먹으면 오히려...
-
성장이 없어
-
확통 3점에 불을 질러놓으면 확통 표본수준을 감안했을때 표점이 미적이상으로 올라가지...
-
[단독] 정부, 미복귀 전공의 1만명 불이익 안 준다 2
면허정지 등 행정처분 안 하기로… 다른 병원 갈 수 있게 지침도 개정 정부가 8일...
-
걍 메가대성만 컨텐츠만 풀려는데 서바 강k가 낫나요
-
1종보통은 0
투표ㄱ 난 2종 독학으로 땄음
-
아침부터 개빡치네ㅠㅠ 백색소음 존나 크게 틀어놔서 혹시 조금만 낮춰주실 수 있냐고...
-
나 피곤했나보네 2
지금 일어나버렸넻
-
문이과 통합전이면 비교할 가치가 없지만 지금은 통합 백분위라 문과 확통 1등급...
-
이대부고 자사고→일반고 전환 신청…서울서만 11번째, 왜? 1
이화여대 사범대학 부속 이화금란고등학교(이대부고)가 일반고로 전환하기 위해...
-
삼각함수 방정식/부등식 <<<< 진짜 개못하네
-
'용암 모평'에 직장인 '의대 열풍' 한풀 꺾이나…난이도 '변수' 6
(서울=뉴스1) 이유진 기자 = 의대 증원 확정된 이후 처음 치러진 6월 모의평가가...
-
????? 5
이게 무슨 프랑스는 왜 좌파연합이 1위냐
-
고1이고 여름방학때 내년에 할 과탐 물&화 선행하려하는데 물리&화학은 학원에서...
-
얼버등 0
(゜∇^d)!!
-
시대 서바 단과 2
현역이고 수학 모고 풀면 3뜨는데 시대 서바이벌 단과 다녀도 괜찮겠죠? 가서...
-
coincide 동시에 일어나다, 일치하다 seduce 현혹시키다, 유혹하다,...
-
글루따띠온~ 1
따띠온~
-
ㄹㅇㅋㅋㅋㅋ
-
얘들아 6
-
갑자기 개쉬워짐 ㄷㄷㄷㄷ
-
목포대 약대 정시로 갈려면 최소(추추추합)할 수 있는 성적으로 국수영탐 몇등급 이내...
-
인생은 정시다 0
수시처럼 보험 6개를 만들어두진 못할지라도 3개씩은 만들어둬라 하하하 어디 한 번...
-
보복부게이야 꺼토미랑 야애니 좀 그만보고 +) 조기입학 그딴거 할바엔 모든 남중...
-
수특 수완 0
언미물지하는 사람입니다! 수특은 영어 빼고 다 사서 풀고 있는데 수완도 영어 빼고...
-
한국의 민주당 지지층 혹은 당직자로 있는 586 운동권 세력과 2030으로 대표되는...
-
농업사회 익명성 1
정보 사회가 익명성이 더 높은 거 어닌가요? 이해가 안돼요
-
대 황 타 타 2
그저씹곹ㅋㅋ
-
제곧내 내신 A만 맞으면 됨.. 쌤피셜 교과서 열심히 풀면 A 맞고도 남는닥고
-
레전드 아침헬스 0
후 출근
-
뭔 일이 있었는지 설명해주실분..
-
오르비만 하는 애들도 있겠지?
-
전장연 진짜 휠체어 집어던지고 싶네.
-
슬슬 가야겠지 0
오늘은 비 많이 안오게 해주세요,,,,
-
귀국! 1
으아 너무 피곤해요
-
안녕하세용 14
이틀정도 사리다가 일이 좋게 마무리된 거 같아서 다시 왔습니다. 그냥 어제까지 있던...
-
난 지금껏 한번도 먹은 적 없음.
-
그냥 뇌 빼고 때려침 안 해 시발 좃같아서 못해먹겠네
-
( 일본 의사 --> 2024.7 발행 신규 1000엔 지폐 인물 ) 0
의사 출신이 지폐인물이 될 정도로 대단한 업적이 있었나 보군요....
파그난의 방식은 좀 어렵네요.
킹갓해황쌤
이것이 바로 라이프니츠의 위엄이죠
이것이 바로 실력파쌤의 위엄
실력파임을 강조하기 위해 본문하단에 제 얼굴사진을 방금 넣었습니다.
찰스 도지슨 A.K.A 루이스 캐럴
뭐라는거죠?
오..
이..이게뭐노..
해황쌤 리트 준비생인데 혹시 오르비클래스에 리기추 강의 업로드 일정계획이 어떻게 되실까요?? 막판에 3개년 기출 정리하고 시험장 들어가려고 하는데 21년도와 22년도는 각각 2지문씩밖에 업로드가 안되어 있어 근 1-2주 내로 추가 업로드 계획이 있으신지 궁금합니다 ㅠㅠ
감사합니다!