【中国からのダイレクトメール】I READING Loves Reading 論理入門：プリンストン大学古典論理コース

簡単な紹介

現代社会では、知識を学ぶにも、仕事に従事するにも、「論理」という強力な思考法が必要です。たとえば、エンジニアはコンピューター プログラミングを使用し、弁護士は訴訟手続きを使用し、投資家は株で投機をし、科学者は新エネルギーと新素材を研究し、医師は病気を治療します。健全な知性を備えた次世代を育てるには、親であっても論理的思考スキルを使用する必要があります。

他の同様の論理書とは異なり、深い数学的知識がなくても、この本は科学的論理的思考と厳密な推論スキルを教えることができます。本書の基本的な論理記号の応用は、私たちが日常生活や学習で頻繁に使用する抽象的思考能力に基づいています。 「真実の木」を使ってアルゴリズムを教えるほとんどの論理書とは異なり、この本は議論を定式化して評価する生来の能力を開発し、強化します。本書では自然演繹法も紹介されており、証明方法や問題解決方法だけでなく、効果的な推論の原則とは何か、それを勉強や仕事に応用する方法も学べます。

この本は、より高度な論理トピックにスムーズに移行するのにも役立ち、特定のトピックに関する理論の定式化など、より複雑なシナリオに適用できる一般的なテクニックをいくつか教えます。

この本は、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ポッパー賞受賞

『論理入門: プリンストン大学の古典的な論理コース』は、論理的思考の哲学と実践への優れたガイドを提供します。ハンス ハルヴォルセンは、古典論理の基本原理を紹介する場合でも、読者をより高度なトピックに導く場合でも、説得力のある言葉で執筆します。本書は、基礎ロジックを深く理解し、業務能力を確実に向上させるユニークな内容となっています。