[일반] 형식논리학 깊게 파본 사람 있냐

[ㅇㅇㅇㅇ(175.208)]

Gensler꺼 보는데 졸라 어렵네 ㅅㅂ

왜 논리학 책은 기본서라도 책마다 기호며 추론 규칙이며 내용이 조금씩 다른거임?

꽤 여러권 읽었는데

타당성 증명에서 easier proof harder proof, S,규칙, I규칙 첨 듣네

이 책이 수리논리에 가까워서 그런가

[익명(175.223)]

논리학파면 어디에좋냐 차라리 수학이나 통계파면 계량분석에 써먹을수라도 있쟈냐

[ㅇㅇㅇㅇ(175.208)]

ㄴ귀납논리가 과학적 추론이랑 관련 있는데 다음학기 귀납논리 수강전에 다시 기본서 보는 중

[ㅇㅇㅇㅇ(175.208)]

물론 귀납논리하면 기본적인 통계지식도 알아둬야 함 ㅠㅠ

[도치아빠(twis1202)]

논리학 기본서만 읽고 있는 늒네라 모르갯서요

[도치아빠(twis1202)]

그나저나 추리소설에서 대표적으로 쓰이는 논리가 가추법이라는데 논리학 책에는 이런 건 제대로 된 논리로 치지도 않는지 언급이 안 되네. 이런 건 어디서 찾아봐야 하나...

[QQ(49.143)]

학자마다 다 다름. 러셀-화이트헤드가 쓰는 기호법, 뭐 루이스가 쓰는 기호법 다 다르고 증명법도 다를 수밖에 없지. 걔네 하는 일 중에 하나가 증명개발하는건데.. 완전성,건전성정리도 내가 보던 책에서는 Henkin식으로 가르치는데 다른식으로 가르치는 책들도 많고 ㅇㅇ

[QQ(49.143)]

gensler 책에서 나오는 S규칙 I규칙 그냥 단순화랑 추론인거같은데; P&Q에서 연언지 제거해서 P나 Q 뽑아내는식으로 하는게 전자고 PorQ에서 ~Q가지고 P 추론해내는 그런거같은데.. 지금 명제논리정도 하는거면 그냥 국내서봐도 될텐데. 논리적 추론과 증명 같은거 ㅇ;

[ㅇㅇㅇㅇ(175.208)]

ㄴ아 그런거야? 기호 다른건 혼용할 수 있다 쳐도 입문서인데도 체계가 달라서 혼란스러움 ㅋㅋ 기호 다르게 쓰면 다른 체계인건가? 명제논리 추론 규칙에 대한 (19-21가지) 기본적 추론이라는게 말이 다 다르네. 조건증명, 귀류법을 기본 추론에 넣는 책도 있고

[ㅇㅇㅇㅇ(175.208)]

단순화, 추론은 맞는데 그 책에서 S규칙 I규칙은 여러공식들을 두개로 나눈거ㅋㅋ 이병덕교수 책도 봄 ㅋㅋ 코피꺼도 예전에 영어로 보고(그래서 이해도가 ㅠ) 근데 이 세 책들 조금씩 상당히 다르더라고 ㅋㅋ

[ㅇㅇㅇㅇ(175.208)]

궁극적으로 비고전논리랑 귀납논리 파는게 목표라 복습겸 다시 보는 중 ㅎㅎ 이병덕교수 책은 쉽게 봤는데 Gensler꺼는 영어+새로운 내용이 많아서 헤매는 중 ㅋㅋㅋ ㅠㅜ

[QQ(49.143)]

다른체계라기보다 베이스로하는게 다르지. 가령 러셀-화이트헤드의 수학원리 체계같은경우는 ∨랑 ~이거를 기본기호로 쓰는 반면에 콰인의 수리논리 체계는 초기에는 |(scheffer stroke A|B는 A랑 B가 둘다 참인경우만 아니면 참임)기호 하나를 기본기호로 쓰고 추론규칙을 MP만 쓰기도 했음. 기본기호랑 추론규칙을 뭘로 잡느냐는 논리학자마다 차이가 있는데, 어쨌건 큰 체계로 들어가면 거의 다 같은 얘기하는거니까 크게 신경 안 써도 될듯. 특히 고전논리에서는 어차피 다 고전논리체계를 잘 설명하는쪽으로 가는거니까 ㅇㅇ 나중에 다른책봐도 큰 틀에서 다르진 않을꺼야

[QQ(49.143)]

나도 비고전논리 중에 연관논리랑 의무논리 파보려다가 지금 스탑상탠데 수리적으로 비고전논리 들어가려니까 참 어렵더라. 기초수리논리부터 해야되는데 ㅋㅋ

[ㅇㅇㅇㅇ(175.208)]

ㄴ친절한 댓글 고마워 ㅋㅋ 많이 알아가네.. 학교 교수님한테 독학하게 책 추천해달라니까 혼자서는 못한다는데 진짜 그런 듯 ㅋㅋ 청강이라도 들어야겠엉