簡単な紹介
現代社会では、知識を学ぶにも、仕事に従事するにも、「論理」という強力な思考法が必要です。たとえば、エンジニアはコンピューター プログラミングを使用し、弁護士は訴訟手続きを使用し、投資家は株で投機をし、科学者は新エネルギーと新素材を研究し、医師は病気を治療します。健全な知性を備えた次世代を育てるには、親であっても論理的思考スキルを使用する必要があります。
他の同様の論理書とは異なり、深い数学的知識がなくても、この本は科学的論理的思考と厳密な推論スキルを教えることができます。本書の基本的な論理記号の応用は、私たちが日常生活や学習で頻繁に使用する抽象的思考能力に基づいています。 「真実の木」を使ってアルゴリズムを教えるほとんどの論理書とは異なり、この本は議論を定式化して評価する生来の能力を開発し、強化します。本書では自然演繹法も紹介されており、証明方法や問題解決方法だけでなく、効果的な推論の原則とは何か、それを勉強や仕事に応用する方法も学べます。
この本は、より高度な論理トピックにスムーズに移行するのにも役立ち、特定のトピックに関する理論の定式化など、より複雑なシナリオに適用できる一般的なテクニックをいくつか教えます。
この本は、20 年以上にわたって論理入門の知識を教えてきた著者による、簡潔で読みやすく、学びやすく、面白く、基礎的な論理リテラシーと推論スキルを短期間で身につけるのに役立ちます。
論理を学ぶと、より良い思考ができるようになります。
著者について
【アメリカ】ハンス・ハルバーソン
スチュワート プリンストン大学哲学教授。主な研究対象は科学哲学、分析哲学史など。彼は科学と日常生活における論理的推論の役割に焦点を当てています。
翻訳者プロフィール
チェン・ロン
彼はロンドンのキングス・カレッジで哲学の博士号を取得しており、現在は北京師範大学哲学部の講師を務めており、数学哲学や論理哲学などの研究に興味を持っています。
郭嘉紅
北京師範大学教授、哲学院副学部長、中国論理学会事務局長、北京論理学会副会長兼事務局長。主な研究方向は哲学論理と人工知能論理です。
目次
第1章 人間の論理
引数/003
論理形式/005
共通フォーム/007
第2章 控除
ネガティブ/023
相当/028
総集編/028
第 3 章 前提条件
依存関係がないことの証明 仮定/044
本質含意の奇妙な理論/045
選言的前提からの推論/048
不条理な行為の削減/055
第 4 章 証明: 古いものから新しいものへ
置換ルール/063
カットルール/065
もし、そしてその場合に限り/069
置き換えルール/072
第5章 真実
真理値表/079
真実で証明してみろ/084
ショートカット/088
可能世界の集合としての命題/095
第6章 定量化
フルネーム削除ルール/111
フルネーム紹介ルール/113
輸入ルールの有無/119
消去ルールの有無/122
量指定子とブール接続詞の関係/131
新しいトートロジー/134
早く考えて、じっくり考えて/136
第7章 理論
相当語理論/140
順序関係/149
機能/153
算数/157
定義/161
集合論/168
同値関係/176
機能的関係/177
第8章 モデル
論理文法/188
正式な説明/190
広義の解釈/196
チャートの解釈/200
丁寧な説明/203
概要/206
第9章 命題論理理論
ステートメント構造に基づく帰納/213
真理値関数/216
証明に関する理論/222
選言正規形/229
完全性/234
第10章 述語論理理論
交換/242
信頼性/246
完全性/249
完全な理論と不完全な理論/252
決断力/254
硬さ/256
第11章 論理を超えて
次に何をするか/263
付録 1 推論ルールの概要/267
付録 2 有用かつ効果的な推論フォーム/269
付録 3 数量指定子の便利な論理的等価物/271
付録 4 真理値表/272
付録5 述語論理の妥当性テスト/273
付録6 用語解説/275
メディアのコメント
チェン・ボー 武漢大学哲学院人文社会科学部教授、国際哲学研究所(IIP)会員、国際科学哲学アカデミー(AIPS)会員
『 Introduction to Logic: Classic Logic Courses from Princeton University 』で提供される論理テクニックは複雑ではありませんが、伝えられる論理概念は比較的完成されており、論理学の入門書としては最適です。この本の特徴は、簡潔さ、明確さ、正確さであり、日常用語での応用例と組み合わされており、大学生や一般の論理愛好家が読むことができます。読者の皆様に心からお勧めします!
シン・タオタオ 北京大学哲学学部教授、北京大学哲学学部論理教育研究室長
この論理学の入門書は、まず平易でシンプルで親しみやすいので、気軽に始められます。さらに、コンセプトとテクノロジー、直感と形式、深さとシンプルさの間の適度な選択と賢い組み合わせによるバランスを追求します。専門家以外はこれを行うことはできません。この翻訳は本書の内容と上記の特徴を忠実に表現しており、誰にでもお勧めできる一冊である。
リウ・フェンロン清華大学哲学部教授、博士指導主事、長江奨学生教育学特別教授
『論理学入門: プリンストン大学古典論理コース』の著者が独自の方法で一階論理学を解説し、豊富な事例と演習を収録した論理学学習におすすめの教科書です。国内の論理学者が自ら翻訳しており、中国語版は滑らかな言語です。
トーマス・バレットカリフォルニア大学サンタバーバラ校准教授
『 Introduction to Logic: Classic Logic Courses at Princeton University 』という本は、論理学の優れた入門書です。多くの論理学の入門書では論理の使い方だけが示されていますが、この本では論理の使い方の背後にある原則が示されています。
ヨナ・シューバッハユタ大学教授 2018年BJPSポッパー賞受賞
『論理入門: プリンストン大学の古典的な論理コース』は、論理的思考の哲学と実践への優れたガイドを提供します。ハンス ハルヴォルセンは、古典論理の基本原理を紹介する場合でも、読者をより高度なトピックに導く場合でも、説得力のある言葉で執筆します。本書は、基礎ロジックを深く理解し、業務能力を確実に向上させるユニークな内容となっています。