강의록 보니까 이제 얼마 안남은거 같은데 언제쯤 완강될지 알고 싶어요

항상 잘보고 있습니다. 혹시 1주일에 2강씩 올리시는건 안되시겠죠? 다보는데 6개월은 너무 긴거 같아서요...

감사합니다. 재미있게 시청하고 있습니다.😂

감사합니다.

프로필의 캐리커처가 멋지네요? 어느분이 그린건가요?^^

강의록 다운이 안되네요 ㅠ

좋은 강의를 무료로 제공해 주셔서 감사합니다.. 혹시 몇강으로 구성 되어있는지 알 수 있을까요?

책으로 봐서는 이해가 안되는 부분이 조금 있었는데 이렇게 강의를 올려주시다니 정말 감사합니다 ㅠㅠ

기존 올려주신 논리적이다와 어떤점에서 다를까요? 이 책은 용어가 낯설더라구요. 무엇으로 시작할지 여쭈어봅니다.

선생님이 너무 젠틀하게 잘 가르쳐서 도움이 많이 됩니당 ㅎㅎ

구독하고 갑니다~

알고리즘에 이런 귀한 채널이 뜨다니... 강의록 프린트해서 조금씩 공부해보겠습니다

작년쯔음에 올려주신 영상덕분에 많은 도움 받았습니다. 그때는 필요한 부분만 보고 나중에 완독해야겠다 결심했는데 게으름때문에 미루고미루다 오늘에서야 시작하게됐네요 ㅎ;; 영상 올려주셔서 감사합니다 꼭 완독하겠습니다!!

👍

20240715. 46분 ~ 47분대에 "서수와 관련된"이라고 말하는 부분은 "소수와 관련된"으로 수정합니다. ㅠㅠ... 산수의 기본 정리(Fundamental theorem of arithmetic)와 중국인 나머지 정리(Chinese remainder theorem)를 말하는 부분인 것 같아요. 알려주셔서 감사드립니다. 😀 설명 오류는 알려주시면 꾸준히 댓글로 달아 둘께요~

1학년 때 교수님 비판적 사고와 논리 들었는데, 지금은 수리철학 들으면서 보고 있습니다. 항상 자세히 잘 알려주셔서 감사합니다

강의록까지 있어 너무 좋습니다. 잘 듣도록 하겠습니다!!

이해하지 못해서 1강부터 정주행하겠습니다

ㅋㅋㅋㅋㅋㅋ

원하던 영상이네요 정주행 시작하겠습니다

괴델의 불완전성 정리는 괴델수(즉, 소수의 곱으로 이루어진 자연수)를 적용해서 증명을 합니다. 실수의 집합의 크기는 자연수의 집합의 크기보다 훨씬 큽니다. 어떤 공리계에서 명제의 수가 실수만큼이나 많은 경우 괴델수로 증명하는 것은 한계가 있을 않을까란 생각이 듭니다.

안녕하세요 혹시 강의 교재는 무엇인가요? 구입하여 강의들으며 공부해보고싶습니다. 좋은 강의해주셔서 감사합니다

Ai노래군요!

좋은 강의 감사합니다. 🙂

좋은 강의 올려주셔서 감사합니다!! 앞으로 열심히 듣겠습니다 ㅎㅎ

2024년 3월 4일. 민족사관고등학교에서 국어를 가르치시는 박기순 선생님과 학우분들이 번역 오류를 지적해 주셨습니다. "만약 비글이가 배가 고프면 비글이는 밥을 먹는다."라는 문장을 영상에서는 "∀x∀y∀z(Txyz ∧ (Hax → Eay))"로 번역하고 있는데요. 이렇게 되면, Txyz부분이 각자의 모든 시점이 그 시점을 포함한 모든 시점 다음에 있다는 의미가 되어 적절한 번역이라고 할 수 없게 됩니다. 그래서 (2) "∀x∀y∀z((Txyz ∧ Hax) → Eay))"로 번역하던가 이 문장의 동치 문장인, (3) ∀x∀y∀z(Txyz → (Hax → Eay))으로 번역하는 게 옳다고 생각됩니다. 박기순 선생님과 학우분들께 다시 한번 감사의 말씀 드립니다.

좋은 영상 감사합니다.

재밌게 잘봤습니다.

최고👍👍👍👍👍👍👍👍

혹시 강의에서 쓰시는 교재를 구입할 수 있을까요?

(2) ~Jb ∧ ~Gb ∧ Hbh 는 영상에서 나온 답과 동치이긴 하지만 문장이 쓰여진 형식대로 번역하지 않아서 틀린 것일까요? (3) ∀x ( Gx ∧ Mx ) → ∃y ( My ∧ By ∧ Hyx ) ) 는 강원도에 있는 어떤 산도 그 보다 높은 산이 북한에 있다는 뜻인 거 같아서 헷갈립니다.

오오! 다시 시작하시는군요! 영상 잘 보겠습니다.

너무 설명감사합니다 혹시 본영상에 있는 문제들은 어디사이트에서볼수있는지 알수있을까요??

이산수학 파트 중 술어논리 부분이 헷갈렸는데 올려주신 강의 덕분에 어느정도 갈피가 잡히네요. 감사드립니다.

논리학 강의 영상을 찾고 있었는데 알고리즘에 딱 떴어요 반가워요👋 영상 올려주셔서 감사합니다 잘 볼게용👍👍

계절학기 논리와사고, 2022 1학기 철학과논술 들었던 학생입니다. 이번에 리트 보니 인서울 가능점수가 떴는데 교수님 수업내용 복습하고 영상 간간히 올라오는거 감상하는게 도움이 되었네요 감사합니다 ㅎㅎ 영상들은 수업하고 별개로 올리시는건가요?

좋은 강의 감사드립니다.

진리값이 T, B, F 뿐인 3가 논리에서 C→D 의 진리표는 여러 가지 방식으로 정의될 수 있고, 구 중 하나가 B를 일종의 참으로 여겨서 얻어지는 것이 강의(06:00)에 나온 방식인 것 맞나요? 그런데 이 방식대로 해서 C의 진리값이 B이고 D의 진리값이 F인 경우 C→D의 진리값은 F 라고 했는데, 이 방식대로라면 C의 진리값이 F이고 D의 진리값이 B인 경우 C→D의 진리값은 T라고 해야할 것 같은데 왜 B라고 한 것인가요? D가 참이든 거짓이든 2가 고전논리에서 C가 거짓일 때 C→D의 진리값은 T니까 , C의 진리값이 F이고 D의 진리값이 B인 경우 C→D의 진리값은 T라고 해야할 것 같아서요. 말이 길어졌는데, 강의에 나온 진리표를 정확히 어떻게 얻을 수 있는지 모르겠어요.

"x 는 뽀로로이다"를 "x = 뽀로로"로 번역할 수 있는데, "~는 뽀로로이다"를 하나의 술어로 보면 안되는 것인지 모르겠습니다. 비슷하게 3항 술어 P(x,y,z) 관해 P(x,a,b)를 x에 관한 술어로 생각해서 Q(x)로 나타낼 수 있다고 생각했는데 잘못된 것이 있을까요?

06:08 x가 A에 나타난다의 뜻이 무엇인가요?

좋은채널을 알아서 기분이 좋네요. 구독좋아요 박고 갑니다. 유익한 논리분석과 유용한정보 앞으로도 많이부탁드립니다.

와..진짜 영어설명 밖에 없었는데.. 넘 감사해용😊

진리나무 타당성 검사할 때 결론& 기호를 부정하면 어떤 기호가 나오나요?

안녕하세요. 열일하는 알고리즘 덕분에 선생님 채널을 알게 됐고 배우고 있습니다. 친절한 강의 감사합니다. 이제까지 본 강의들 중에 제일 컴팩트하면서 개인적으로 이해에 가장 도움이 되는 것 같아요. 강의를 보다가 드리고 싶은 질문이 있는데요, 여유가 되실 때 답변 주시면 정말 감사드릴 것 같습니다ㅜㅜ 7번의 예시-2번째 문장을 재진술하고 뒤의 스튜어디스 문장이 없다고 했을 때, 1) 충분-필요조건 ㄱ. "그녀가 여행 가이드가 된다면, 그녀는 여행을 자주 하게 될 것이다." -> ㄱ'. "그녀가 여행을 자주 하려면, 그녀는 여행 가이드가 되어야 한다." -> ㄱ''. "그녀가 여행 가이드가 되는 것은 그녀가 여행을 자주 하기 위한 필요조건이다." 제 직관과 필요조건의 관점에서 ㄱ', ㄱ''처럼 재진술하는게 더 맞는 것 같은데요, (분명히 틀렸겠지만) 조건문을 포함한 ㄱ문장을 번역하면 A(여행 가이드) -> B(여행을 자주한다) 이지만 필요조건으로 본 ㄱ', ㄱ''문장은 번역하면 B(여행을 자주한다) -> A(여행 가이드)로 문장의 번역이 바뀔 텐데요, 제가 어떤 인식의 혼동 때문에 이렇게 틀렸는지 궁금합니다. 2) 벤 다이어그램-포함관계 그런데 또 벤 다이어그램, 포함관계로 보면 'A(여행 가이드인 사람들의 집합)'이 B(여행을 자주 하는 사람들의 집합)'에 포함되므로 A->B가 되어 선생님의 답과 일치하게 됩니다. 여행 가이드인 사람들은 전부 여행을 자주하는 사람들이지만 여행을 자주하는 사람들이 전부 여행 가이드인 건 아닐 테니까요. 선생님의 답과 1이 다르고 2가 일치하는 건 어떤 차이 때문일까요? 둘 다 제 직관에 옳다고 여겨지면서 하나의 접근으로 다른 하나를 보면 직관이 무너집니다. 항상 조건문 문장을 번역할 때마다 이런 난관에 봉착하네요ㅜㅜ 길고 두서없는 질문이라서 부끄럽고 죄송합니다. 꼭 답변 안주셔도 되니까 부담 가지지 않으셨으면 좋겠습니다. 3) 선생님에 대하여 그리고 채널 정보란에 선생님과 강의에 대한 정보가 없어서요, 혹시 공교육, 사교육, 대학에 계시는지 어떤 경위로 이 강의가 촬영되었는지도 궁금합니다.

항상 잘보고 있습니다 감사합니다

겨울 계절때 논사 들었던 학생입니다 오랜만에 영상뜨니까 반갑네요. 건강하세요 교수님!