書籍紹介

哲学・思想

論理学をつくる

戸田山和久 著

書籍のカバー画像

書籍を注文する

価格 税込4,180円/本体3,800円
判型 B5判・並製
ページ数 442頁
発行年月日 2000年10月10日
在庫状況 在庫有り
ISBNコード 978-4-8158-0390-2
Cコード C3010

書籍画像のサムネール書籍画像のサムネール

内 容

論理学って、こんなに面白かったのか! 出来あいの論理学を天下り式に解説するのでなく、論理学の目的をはっきりさせた上で、それを作り上げていくプロセスを読者と共有することによって、考え方の「なぜ」が納得できるようにした傑作テキスト。初歩の論理学が一人でマスターできる。


目 次

 はじめに

  第Ⅰ部 論理学をはじめる

第1章 What is THIS Thing called Logic?
  1.1 論理とは何か? そして論理学は何をするのか
  1.2 論理の正しさをどこに求めたらよいか

第2章 論理学の人工言語をつくる
  2.1 自然言語から人工言語へ
  2.2 人工言語L

第3章 人工言語に意味を与える —— 命題論理のセマンティクス
  3.1 結合子の意味と真理表
  3.2 論理式の真理値分析
  3.3 トートロジー
  3.4 「何だ、けっきょく同じことじゃない」を捉える —— 論理的同値性
  3.5 真理表を理論的に反省する
  3.6 矛盾とは何か
  3.7 論証の正しさとは何か
  3.8 論理的帰結という関係
  3.9 真理関数という考え方
  3.10 日本語の「ならば」と論理学の 「→」
  3.11 コンパクト性定理
  3.12 メタ言語と対象言語をめぐって

第4章 機械もすなる論理学
  4.1 意味論的タブローの方法
  4.2 タブローの信頼性

第Ⅰ部のまとめ

  第Ⅱ部 論理学をひろげる

第5章 論理学の対象言語を拡張する
  5.1 なぜ言語の拡張が必要なのか
  5.2 述語論理での命題の記号化
  5.3 述語論理のための言語をつくる
  5.4 タブローの方法を拡張する

第6章 おおっと述語論理のセマンティクスがまだだった
  6.1 述語論理のセマンティクスをつくらなければ
  6.2 セマンティクスとモデル
  6.3 存在措定と会話の含意
  6.4 伝統的論理学をちょっとだけ

第7章 さらに論理言語を拡張する
  7.1 MPLの限界
  7.2 PPLのセマンティクス
  7.3 PPLにタブローを使ってみる
  7.4 論理学者を責めないで —— 決定問題と計算の理論

第8章 さらにさらに論理言語を拡張する
  8.1 同一性を含む述語論理IPL
  8.2 個数の表現と同一性記号

第Ⅱ部のまとめ

  第Ⅲ部 論理をもう1つの目で見る

第9章 自然演繹法を使いこなそう
  9.1 自然演繹法をつくる
  9.2 他の結合子のための推論規則
  9.3 矛盾記号を導入した方がよいかも
  9.4 述語論理への拡張
  9.5 同一性記号を含む自然演繹

第10章 シンタクスの視点から論理学のゴールに迫る
  10.1 公理系という発想
  10.2 シンタクスとセマンティクス
  10.3 命題論理の公理系の完全性証明

第Ⅲ部のまとめ

   第Ⅳ部 論理学はここから先が面白い! 進んだ話題のロードマップ

第11章 めくるめく非古典論理の世界にようこそ!
  11.1 古典論理は神の論理である —— 2値原理と排中律のいかがわしさ
  11.2 多値論理
  11.3 直観主義論理
  11.4 古典論理の拡張としての様相論理

第12章 古典論理にもまだ学ぶことがたくさん残っている
  12.1 完全武装した述語論理の言語FOL
  12.2 AFOLの完全性とそこから得られるいくつかの結果
  12.3 第1階の理論
  12.4 モデル同士の同型性
  12.5 第2階の論理

第Ⅳ部のまとめ

付 録
  A. A little bit of mathematics
  B. 練習問題解答
  C. ブックガイド


書 評


著者の既刊書


関連書


関連キーワードの一覧


関連カテゴリーの一覧


各オンライン書籍販売サービスサイトからも書籍は購入できます。

近刊案内

2024年7月8日出来予定

市場経済の世界史

B. ファン・バヴェル 著
友部謙一・加藤博・大月康弘・田口英明 訳
A5判・上製・388頁
税込5,940円/本体5,400円
ISBN 978-4-8158-1159-4
Cコード 3022

近刊書籍のご注文を受け付けております。ご希望の方は、上の「注文フォーム」で手続きをお願いいたします。刊行次第、商品を発送いたします。

重版案内

2024年7月20日頃出来予定

ジョン・ダン全詩集[新装版]

湯浅信之 訳
A5判・上製・734頁
税込11,000円/本体10,000円
ISBN 978-4-8158-1161-7
Cコード 0098

2024年7月20日頃出来予定

レオパルディ カンティ[新装版]

ジャコモ・レオパルディ 著
脇 功・柱本元彦 訳
A5判・上製・628頁
税込9,900円/本体9,000円
ISBN 978-4-8158-1162-4
Cコード 0098

2024年7月20日頃出来予定

ペトラルカ 凱旋[新装版]

フランチェスコ・ペトラルカ 著
池田 廉 訳
A5判・上製・344頁
税込6,600円/本体6,000円
ISBN 978-4-8158-1163-1
Cコード 0098

2024年6月11日出来

男同士の絆(第8刷)

イヴ・K・セジウィック 著
上原早苗・亀澤美由紀 訳
A5判・上製・394頁
税込4,180円/本体3,800円
ISBN 978-4-8158-0400-8
Cコード 3098

2024年6月10日出来

超伝導接合の物理(第2刷)

田仲由喜夫 著
A5判・上製・356頁
税込6,380円/本体5,800円
ISBN 978-4-8158-1028-3
Cコード 3042

2024年5月27日出来

今夜ヴァンパイアになる前に(第2刷)

L.A. ポール 著
奥田太郎・薄井尚樹 訳
A5判・上製・236頁
税込4,180円/本体3,800円
ISBN 978-4-8158-0873-0
Cコード 3010

2024年5月15日出来

社会科学の考え方(第8刷)

野村 康 著
A5判・上製・358頁
税込3,960円/本体3,600円
ISBN 978-4-8158-0876-1
Cコード 3030

2024年4月30日出来

博士号のとり方[第6版](第4刷)

E・M・フィリップス/D・S・ピュー 著
角谷快彦 訳
A5判・並製・362頁
税込2,970円/本体2,700円
ISBN 978-4-8158-0923-2
Cコード 1037

2024年4月1日出来

教育原理を組みなおす(第2刷)

松下晴彦・伊藤彰浩・服部美奈 編
A5判・並製・336頁
税込2,970円/本体2,700円
ISBN 978-4-8158-1045-0
Cコード 3037

2024年4月1日出来

現代アート入門(第2刷)

デイヴィッド・コッティントン 著/松井裕美 訳
四六判・並製・224頁
税込2,970円/本体2,700円
ISBN 978-4-8158-1009-2
Cコード 3070

2024年4月1日出来

科学技術をよく考える(第6刷)

伊勢田哲治・戸田山和久・調 麻佐志・村上祐子 編
A5判・並製・306頁
税込3,080円/本体2,800円
ISBN 978-4-8158-0728-3
Cコード 3040

2024年1月19日出来

アメリカの人種主義(第2刷)

竹沢泰子 著
A5判・上製・516頁
税込4,950円/本体4,500円
ISBN 978-4-8158-1118-1
Cコード 3022

2023年12月22日出来

進化倫理学入門(第2刷)

スコット・ジェイムズ 著
児玉 聡 訳
A5判・上製・336頁
税込4,950円/本体4,500円
ISBN 978-4-8158-0896-9
Cコード 3012

2023年11月30日出来

派閥の中国政治(第2刷)

李 昊 著
A5判・上製・396頁
税込6,380円/本体5,800円
ISBN 978-4-8158-1131-0
Cコード 3031

2023年11月17日出来

消え去る立法者(第3刷)

王寺賢太 著
A5判・上製・532頁
税込6,930円/本体6,300円
ISBN 978-4-8158-1120-4
Cコード 3010

2023年10月27日出来

統計学を哲学する(第5刷)

大塚 淳 著
A5判・並製・248頁
税込3,520円/本体3,200円
ISBN 978-4-8158-1003-0
Cコード 3010

2023年10月23日出来

質的研究の考え方(第7刷)

大谷 尚 著
菊判・並製・416頁
税込3,850円/本体3,500円
ISBN 978-4-8158-0944-7
Cコード 3036

購入について

書籍を購入される方は以下の注文フォームからご注文下さい。

また、個別の書籍紹介ページ上からもご購入いただけます。ご購入に関する詳細については、下の「購入についての説明」をクリックして、説明をご覧ください。

その他の書籍購入方法

お問い合わせ

書籍に関するお問い合わせ、その他のお問い合わせについては、以下のメールアドレス宛にご連絡ください。電話でのお問い合わせも受け付けております。

info@unp.nagoya-u.ac.jp

TEL:052-781-5027

FAX:052-781-0697


ページの先頭へ戻る