자기 학습 논리를위한 좋은 첫 번째 교과서는 무엇입니까?

논리 공부를 스스로 시작하고 싶습니다. 문제 : 사용 가능한 책의 양으로 인해 좋은 책과 나쁜 책을 구별하는 방법을 모르겠습니다. 좋은 책을 제안 해주세요.

댓글

  • 이 질문이 삭제되지 않은 경우 ' / closed / etc .: Barwise & Etchemendy '의 Language, Proof 및 Logic 을 확인하세요. ' 매우 명확하게 작성되었으며 ' 대화 형 (3 개의 멋진 소프트웨어와 함께 제공), 그리고 세 번째 부분에서는 공리 집합 이론, 해결 원칙, 제한적 " 기상 학적 " 결과 등과 같은 중요한 중간 주제에 대한 간략한 소개가 있습니다. 첫 번째 교과서로 추천합니다.
  • 논리는 매우 광범위한 주제입니다. 어떤 사람들은 추론을 돕기 위해 그것을 연구합니다. 어떤 사람들은 수학적 논리를 연구합니다. 나 자신은 언어에 적용하는 관점에서 그것을 연구합니다. 저는 ' 내가 모르는 논리 측면이 ' 확실합니다. 간단히 말해, " logic "은 방대한 주제 모음입니다. 정확히 무엇을 배우고 싶고 그 이유는 무엇입니까?
  • ' 수학적 측면에 관심이 있습니다!
  • 과정, coursera.org/course/intrologic 은 수학적 논리로 시작하는 아주 좋은 방법입니다.
  • 논리에 대해 읽기 시작하기에 좋은 곳은 어디입니까?

답변

http://www.logicmatters.net/students/tyl/

§2.2에서 로직 북에 대한 읽기 가이드 다운로드 완전한 초보자를위한 몇 가지 권장 사항을 제공합니다.

가이드의 나머지 부분에서는 추가 읽기에 대한 광범위한 조언을 제공합니다.

답변

각각 힌트와 전체 솔루션이 제공되는 무료 수학 중심의 증명 소프트웨어와 함께 작동하는 예제와 연습이 포함 된 튜토리얼을 겸손하게 제안하겠습니다. 비디오 데모를 보려면 내 웹 사이트 를 방문하세요.

답변

여기에서 이미 검토 한 책 을 제외하고 Reddit의 몇 가지 제안을 재현합니다. “book”검색 , “textbook”을 다음과 같이 검색합니다 (하지만 쉽게 읽을 수 있도록 인용구는 생략합니다).

2011/11/17 게시물 :

논리 : 소개 , by Greg Restall
[…] “훌륭한 책이지만 오류가 가득합니다. 다행히도 대부분은 그의 웹 사이트 에 있습니다. .

Logical Labyrinths by Raymond Smullyan은 주제에 대한 친근한 소개 역할을합니다. Smullyan은 자신의 텍스트 전체에 걸쳐 유명한 논리 퍼즐을 통해 다양한 수업을 가르 칠 수 있습니다. 그리고 경고의 한 마디 : 친근 함이 쉬운 것을 의미하지는 않습니다! Smullyan은 버튼을 눌러 까다로운 개념에 대해 깊이 생각하게합니다. 이것은 매우 보람 있고 적극 권장됩니다.

The Power of Logic by Howard-Snyder, Howard -Snyder and Wasserman […]
참고로 여기에 유용한 온라인 리소스 가 있습니다.

2012/9/6에 제출 된 게시물 :

(pdf) 참조. CL Hamblin의 " 오류 " 및 Doug Walton의 내용을 읽어보세요.

2014/6/5에 제출 된 게시물 :

Virginia Klenk의 기호 논리 이해

2014/9/28에 제출 된 게시물 :

Hausman “의 논리 및 철학

온라인 연습 문제에 대한 답변이 포함 된 무료 책을 보려면 Paul Teller의 A Modern Formal Logic Primer 를 참조하세요. http://tellerprimer.ucdavis.edu

Logic : The Laws of Truth by Nicholas JJ Smith (온라인 연습 문제에 대한 답변 제공)

더 짧고 더 명확 할 수도 있습니다. Peter Smith s An Introduction to Formal Logic (온라인 연습 문제에 대한 답변도 제공). 특히 초보자가 고집 점을 찾을 수있는 정량화 된 표기법의 안팎으로 번역에 탁월합니다.

Logic , by Paul Tomassi

2015/7/11 게시 :

핵심 철학적 개념을 이해하면서 먼저 논리로 시작 했으므로 먼저 Grayling의 철학 논리 <를 추천합니다. / em>.그것은 귀하의 요청에 대한 적절한 대답이 아니라 개인적인 권장 사항입니다. 그러나 철학적 단계를 건너 뛰고 싶다면 Benson Mate의 초등 논리 를 받아보십시오. Smullyan의 First Order Logic 에 문제가 있습니다. 제가 추천하는 또 다른 책은 Peter Strawson의 Introduction to a Logical-Theory 입니다. 다시 한 번 형식 논리뿐만 아니라 철학을 다룹니다. 자연스럽게 떠오르는 질문.

2015 년 10 월 6 일 포스트 :

기호 논리의 필수 요소 by RL Simpson.

2015 년 12 월 3 일 게시 :

인트로를 받았습니다. 학교의 논리 수업에서는 Bergmann, Moor, Nelson의 The Logic Book (6 판)을 사용했습니다. 대부분의 학습은 교과서에서 이루어졌으며 강의는 주로 질문 및 더 어려운 연습 문제를 해결합니다. 내가 올바르게 기억하면 텍스트는 상당히 비싸지 만 믿을 수 없을 정도로 도움이되었습니다. 솔루션 매뉴얼이 온라인에 있으며 약간의 작업으로도 온라인에서 텍스트 자체를 찾을 수 있다고 확신합니다. 적극 권장합니다.

Nelson Lande의 책인 Classical Logic and its Rabbit Holes 를 사용해보세요. 매우 접근하기 쉽고 재미 있기도합니다. 온라인에서도 많은 문제에 대한 해결책이 있습니다.

Richard E. Hodel의 수학 논리 소개 (Dover Books on Mathematics)

논리 입문 : 그리고 연역 과학의 방법론 by Alfred Tarski

답글 남기기

이메일 주소를 발행하지 않을 것입니다. 필수 항목은 *(으)로 표시합니다