나름 제가 생각했던 이상적인 책이 논리적 사고의 기초인 것 같네요

논리학은 올바른 추론에 대한 학문입니다. 철학, 컴퓨터 과학, 그리고 수학과 연관되어 있습니다.

매니저

없음

부매니저

없음

개설일

2016-01-15

나름 제가 생각했던 이상적인 책이 논리적 사고의 기초인 것 같네요모바일에서 작성

PaulSohn

2020.02.28 17:08:36

조회 729 추천 1 댓글 1

일본이라 한국 책 못구해서 뇌피셜 좀 싸지르던 와중에
p→q 질문하신 분이 이거 읽어보셨다는 얘기듣고 한국갔다온 친구한테 부탁해서 책을 입수하게 됐는데(딱 코로나 심해지기 직전에 갔다옴)
자연연역을 제대로 다룬다는 것만으로도 고평가하는 중입니다

저도 증명이론 베이스의 기호논리학 교과서..라기보단 렉처노트 비슷한거 만들고 있는데 참고할 부분이 많을 것 같습니다.

뭐 아무래도 좋은 불만도 몇 개 있긴 한데
수리논리 책이 아니라서 그런지 술어표시할때 Fx Gxy 이렇게 나타내는 것도 있고(덤으로 and가 &인 것도)

왜 뜬금없이 레몬 표기가 나왔는지 설명이 부족한 것도 있는 거 같아요. 그냥 시퀀트를 한줄로 써내려간 증명을 기본으로 하고, 전제를 하나하나 다 적으면 번거로우니까 번호로 표기했다는 설명 정도는 있으면 좋았겠네요.

암튼 여러분 코로나 조심하세요 ㅜ

고정닉 0

전체 댓글 0개

등록순

본문 보기

타인의 권리를 침해하거나 명예를 훼손하는 댓글은 운영원칙 및 관련 법률에 제재를 받을 수 있습니다.
Shift+Enter 키를 동시에 누르면 줄바꿈이 됩니다.

갤러리 리스트
번호	제목	글쓴이	작성일	조회	추천
설문	힘들게 성공한 만큼 절대 논란 안 만들 것 같은 스타는?	운영자	24/06/10	-	-
657	논리학을 공부하다보면 실생활에서 도움이 많이 됨? [2]	ㅇㅇ(211.215)	20.04.28	239	0
656	형님들 이 글의 주장이 뭐인거같음? '자살감금형은 불합리하다' 아님? [2]	ㅇㅇ(49.161)	20.04.28	120	0
654	도출이라는게 [3]	ㅇㅇ(59.31)	20.04.27	81	0
653	도출 해석 차이좀 [1]	ㅇㅇ(59.31)	20.04.27	78	0
651	딜레마 문제에 이거 빠져도 증명되나 [6]	라이트빌런	20.04.26	123	0
649	ZFC에서 이런 집합 구성이 가능한가요? [8]	ㅇㅇ(1.227)	20.04.24	176	0
648	귀납/연역 구분 부탁드립니다 [1]	ㅇㅇ(124.51)	20.04.23	132	0
646	논리학 고수 분 도와주세요 깊티드림	ㅇㅇ(116.124)	20.04.23	104	0
645	이 문제 완전 기초부터 알려줄사람 [1]	ㅇㅇ(115.41)	20.04.22	107	0
644	대학에서 논리학 위주로 배우는 방법좀	ㅇㅇ	20.04.22	115	0
643	드모르간 최소자연연역 증명 [2]	ㅇㅇ	20.04.22	322	0
640	리얼개쌉뉴비입니다... [2]	노리야놀자(223.38)	20.04.21	139	0
639	완전 쉬운 기초문제 이해가 안가요 [1]	ㅇㅇ(211.250)	20.04.20	115	0
638	논리학 개초보 잘모르겠는 부분 질문 [6]	ㅇㅇ(106.101)	20.04.18	162	0
637	인과논증 질문 [8]	ㅇㅇ(121.188)	20.04.18	269	0
636	불완전성 정리 이해하려면 무슨책을 봐야 되나요? [3]	ㅇㅇ(61.205)	20.04.18	181	0
635	모든 실수 x는 1이다 라는 명제의 NOT은 뭔가요? [1]	ㅇㅇ(58.77)	20.04.17	87	0
634	가능세계이론 자체가 문제가 많은 건 아닐텐데요	ㅁㅁ(111.239)	20.04.15	252	3
629	형들 [1]	ㅇㅇ(183.97)	20.04.11	77	0
628	대학1학년 수준의 Discrete Mathematics Help Plz [3]	Fuckling Logic(59.7)	20.04.08	134	0
627	상대주의 딜레마? 라고 하나 이걸 뭐라고 부름? [6]	ㅇㅇ(210.123)	20.04.04	187	2
626	벤슨메이츠 연습문제 질문 [4]	ㅇㅇ(210.111)	20.04.03	199	0
625	진리표 (truth table ) 만들줄 아시는분 ㅠㅠ [2]	ㅇㅇ(58.122)	20.04.01	131	0
622	형님덜ㅋㅋ [5]	ㅇㅇ(183.97)	20.03.30	113	0
621	함의 얘기 보고 기억난 Curry의 역설 [3]	ㅇㅇ(1.227)	20.03.30	114	0
620	포유류의 외연이 뭐임? [3]	ㅇㅇ(117.111)	20.03.29	121	0
619	질문이요 [3]	ㅁㄴㅇㄹ(122.38)	20.03.26	97	0
615	형님덜 [2]	ㅇㅇ(183.97)	20.03.23	99	0
613	논리학 잘하면 인신공격 대처도 잘함?	ㅇㅇ(183.98)	20.03.22	125	0
612	논리력 충만한 소수 vs 억지스러운 다수 [4]	ㅇㅇ(223.39)	20.03.22	190	0
611	논리학 연습문제 질문 [1]	ㅇㅇ(219.249)	20.03.21	122	0
609	논리적 검토 좀 도와주십쇼. [6]	ㅇㅇ(121.186)	20.03.18	211	0
605	인과관계와 필요충분관계 [6]	dd(211.208)	20.03.14	448	0
604	인과관계와 필요조건,충분조건에 대해 질문드립니다. [6]	dd(211.208)	20.03.13	1088	0
603	답변해주시던 분 제가 맞게 이해한건지 확인좀부탁드릴게요. [1]	dd(211.208)	20.03.13	77	0
602	질문을 좀 바꿔서 다시 글 올립니다.	ㅇㅇ(92.38)	20.03.12	53	0
601	지성의 집단 논리학 갤러리에 도움을 청합니다. 수학적 귀납법 [43]	ㅇㅇ(92.223)	20.03.12	311	0
600	조건문과 필요조건,충분조건에 대해 질문드립니다. [16]	dd(211.208)	20.03.11	288	0
599	님들 이건 같은 것 맞죠? [4]	ㅇㅇㅇ(58.140)	20.03.10	116	0
595	연역과 귀납의 정의 질문 [2]	ㅇㅇ(179.43)	20.02.29	120	0
	나름 제가 생각했던 이상적인 책이 논리적 사고의 기초인 것 같네요 [1]	PaulSohn	20.02.28	729	1
593	p->q 질문자입니다. 모든 답변감사합니다 [1]	ㅇㅇ(211.224)	20.02.26	173	2
592	p->q를 타당한논증과 결부시켜서 이해하려고하는데.. [4]	ㅇㅇ(211.224)	20.02.25	205	0
591	논리학 도움구해요. [7]	ㅇㅇ(211.224)	20.02.23	622	0
590	피셔의 비판적서고로 논리학 입문하려는데	ㅇㅇ(223.38)	20.02.17	171	0
589	밑의 p->q 질문글 작성자입니다. [17]	ㅇㅇ(211.224)	20.02.16	341	4
588	사실 이래서 제가 형식주의 합니다 [2]	PaulSohn	20.02.16	297	1
587	엣날에 논리 썰 본 거 있는데 어디서 나온 건지 알려줄 사람 [1]	ㅇㅇ(1.237)	20.02.15	98	0
586	밑의 글의 자세한내용. [54]	ㅇㅇ(211.224)	20.02.15	531	1
585	죽은갤 같은데 p->q 진리표 질문 [3]	ㅇㅇ(211.224)	20.02.15	215	0