論理学

野矢茂樹

※この商品はタブレットなど大きいディスプレイを備えた端末で読むことに適しています。また、文字だけを拡大することや、文字列のハイライト、検索、辞書の参照、引用などの機能が使用できません。

現代論理学という知の風景へ誘う、文科のための入門書。初心者の素朴な疑問と驚きに満ちた、不思議の国への旅だち。豊富な問題・論題を設け、説き明かすことよりも、読者への問いかけを意図した。

• カテゴリ: ビジネス・実用
• ジャンル: 学術・語学 / 哲学・宗教・心理
• 出版社: 東京大学出版会
• ページ数: 274ページ
• 電子版発売日: 2021年02月12日
• コンテンツ形式: EPUB
• サイズ(目安): 117MB

[ブクログ · ★★★★★]

アリストテレスの論理学からゲーデルの不完全性定理まで、数理的になり過ぎずにその思想的重要性を示しつつも教科書的体裁を保って解説しているところが、さすが野矢先生の本だなぁといった感があります。
以前数理論理学の先生の書く不完全性定理の本に躓いたことがありましたが、本書で不完全性定理のノリが掴めたような気がして、再チャレンジする気力が湧いてきました。

[ブクログ · ★★★★★]

論理学の仕組みが分かる内容。
とても読みやすいはずなのに理解が追いつかないので、
本来の論理学が持つ硬さを感じる。

論理は何を説明しようとするのか、何を説明できないのか。
そんな線引きまでしてくれている。

[ブクログ · ★★★★★]

2006.12.19。東京大学出版会だから難しいんだろうな、と思って読んだら、こんなにも分かりやすい本だったとは！と驚き（と言っても、後半につれて十分理解したとは言い切れないが）詳しい感想は後日書こう。

[ブクログ · ★★★★★]

おもしろい！の一言に尽きる。特に、「無門」｢道元」のすっとぼけた対話が、ケケッと笑わさせられて勉強している気にならない。しかも、そのすっとぼけた質問が結構「痒い所に手が届く」ような質問で、役に立つ。練習問題や論題もたくさんあり、解きながら読み進めば、理解度がさらに向上するのかも。

[ブクログ · ★★★★☆]

　序文によると本書は論理学の初歩について、その「はじめの一歩」が「終わりの一歩」になるであろう読者を想定して書かれたものであるらしい。しかし、個人的にこの本は数理論理学ひいては数学基礎論、及び分析哲学への興味を強く掻き立ててくれるものであった。あくまで論理学を「観光する」ことを目的としているために、哲学の歴史的背景の説明を軸に数学的な部分において初学者にとって煩瑣と思われる箇所は多少の厳密性を排しつつ先に進んでいく本書のスタイルがうまく自分にマッチしたのだろう。読んでいるうちに浮かんだ疑問点や気になる部分を解決したくなってくるというわけである。
　ところでスタイルといえばこの本の構成において目立つのはその対話形式の文章である。先生役として登場する野矢(著者と同姓)と、生徒役として登場する二人の僧侶道元・無門の掛け合いは読んでいてとても和んだ。特に無門には萌えの感情を抱いたのだが、共感してくれる人がいるとうれしい。
　さて、いささかの脱線を挟んだところで本書を読むにあたって浮かんだ感想などを章ごとに分けて書いていきたいと思う。今改めて考えてみれば野暮だと思えることも恥を忍んで挙げていく。

　第一章
・これは序論の内容にも絡むものなのだが、命題論理の本格的な説明に入る前にそれを包摂する言語使用一般における論理にまで射程を広げて記述している点がいかにも哲学畑らしいなと感じた。ただ、命題論理と述語論理を少しだけかじった程度の自分としては日常の推論や言葉の意味の規定においても述語論理の範疇でだいたい事足りる気がしたので「命題論理は現実に推論実践に対する一つの近似である」という主張があまりしっくり来なかった。命題論理などが現実の言語における論理の一部分を切り出したものであり、論理に対するアプローチは他にもある、ということは理解できる。でも、日常言語におけるなんらかの事実を示した文を意味内容をほぼ失うことなしにある論理的アプローチの俎上に載せることは余程偏屈な理論でない限り可能な気がするし、「言語使用一般の論理を包括的に扱う」ことがそれほど本質的なことにも思えなかった。たとえばP22の「無門は昨日道元と寺にいた」という文の否定を考えるところも、文をうまく分析すれば真理関数を構成できるように思えたので「『真理関数的ではない、イコール論理的ではない』とはなりません」と言ってしまって本当にいいのか疑問だった。つまるところ、僕は分析哲学の本を読んでみるべきである。
・シェファーの棒記号（NAND）という論理記号一つだけであらゆる真理関数を作れることに面白さを感じた。命題論理は否定詞と接続詞に着目した体系であるということから少なくとも2個は必要だろうという先入観に囚われていたので驚きは大きかった。
・5種類の原子式を用いて作れる真理関数の総数は42億9496万7296(=2の32乗)通りであるという記述があるが、この計算方法の説明がなぜか省かれているので一応説明しておく。一般にn種類の原子式の真偽の組み合わせは2のn乗通りあり、真理関数はこのそれぞれの組み合わせに対して真偽を定めるから結局その総数は2の(2のn乗)乗通りになるということである。
・まえがきに論理学の技術的な問題にはパズル的な楽しさがあるということが書かれていたが確かにその通りで、構文論の節に入ってから一層この本を楽しむことができた。公理系は意味抜きされた記号変形の体系であるがそれはあくまでも建前の話であって、公理系の規則のもっともらしさを意味論的に解釈することは重要な気がした。
・公理系LP₂において、A,Bを前提としてA∧Bを導こうとしてみたけれどうまくいかない。できた人は教えてください。

　第二章
・述語論理の章なのだが最初の節ではアリストテレスの伝統的論理学の簡単な導入がなされる。これが19世紀後半に登場する述語論理によって革命的に転換されていくらしいのだが、一旦導入されてみると非の打ち所がないうまくできた理論のように見えてしまう。多重量化の問題を説明されれば納得が行くのだが、伝統論理学が主流だった時代に生まれていたら自力ではこの欠陥に気付けるはずがないなと思った。ただ、あのカントも同じようなことを言っているので少し安心した。
・証明問題もたくさん載っていたが、命題論理の証明とそんなに変わらないのでサクサクと楽しく進めることができた。また、P104やP105で少々犠牲となった厳密な部分をちゃんと指摘してくれていて親切さを感じた。

　第三章
・この章ではこれまでの章で説明されてきた論理学の公理系の無矛盾性などを証明していくという、なんだか壮大なことをやる。ただ、証明で必要な技術が特に変わるわけでもないのでこれも理解しやすかった。アリストテレスの論理学の欠陥を見出したフレーゲと同様にフレーゲの述語論理の欠陥(?)を見出したラッセルもとんでもなくすごい人だ。
・述語論理のメタ証明に関してはその方法があまりにも巧妙に思えたのでなんだか納得したようなしていないような、よく分からない気分になった。
・フレーゲは数を2階の述語によって扱おうとしていたらしいが、調べてみたら現在数学で一般的になっている公理系は1階の述語論理から出来ていると書いてあったので驚いた。いずれ勉強して理解してみたい。

　第四章
・直観主義論理を扱う章である。この論理学が排中律を拒否するということは聞いたことがあったのだが、その主張の一応の正当性がしっかり説明されており、そうした立場の存在を納得することが出来た。
・古典論理の公理系における二重否定除去則(規則4)をP70の定理4に置き換えることで直観主義論理の公理系となることがサラッと説明されていたが中々すごい発想だと思う。
・先程から感心ばかりだが直観主義論理の意味論の表現の一つであるクリプキ・モデルの巧妙さにも舌を巻いた。
・今考えてみれば認識史の表現であるから当然なのだが、関係Rの定義が枝分かれも許していることに気付かず矛盾律の妥当性の証明の理解に少し手間取った。
・¬の解釈が個人的に難しかった。¬Aを「Aは今後絶対証明できない」と読み替えて、真偽という概念を捨ててある知識状態における証明の有無のみを考えることで今の所理解した気になっている。
・認識史分析が今までの証明手法とは毛色が異なるものだったので新鮮な気分で証明を楽しむことができた。

　第五章
・その名称のカッコ良さゆえ小さい頃から自分の厨二心をくすぐってきた「ゲーデルの不完全性定理」の証明を大まかだが追ってくれる章。大まかとはいえ相当に楽しめたし、巷に蔓延る不完全定理についての粗雑な主張を嗅ぎ分ける能力も幾分か高まったと思う。
・メタ数学の証明を自然数論内で表現するという発想だけでも十分天才的なのだが、自己言及を作り出すために対角化定理というものを持ち出して華麗に不完全性定理を証明していく超天才ぶりに大きな感動を覚えた。
・有限の立場のもっともらしさが実はもっともらしくないなんて個人的に考えられないので公理系Nが無矛盾であることを信じてこれからも生きていきたいと思う。
・対角化定理の証明に出てくる「公理系Nの"すべての"一変数の式を列挙する」操作が一見有限の立場に反しているように思えた。一変数関数なので使用する原始記号は有限個(そのゲーデル数は43以下の素数)であり式を帰納的に構成していくことが可能であるから有限の立場には反していない、という理解をした。


総括：この本は面白い

[ブクログ · ★★★★☆]

哲学者によって書かれた論理学の入門書。ただし、論理学のテクニックを習熟するための教科書ではない。ところどころに、無門と道元という二人の禅僧と著者とのユーモラスな掛け合いが挟まれており、論理学のキモを分かりやすく解説している。

数学的な素質のある人が読むと、余計なことが書かれていてかえって分かりにくいと感じるかもしれないが、個人的にはたいへん理解しやすい本だった。ただしこれをメインのテキストにすることはさすがに無理だろう。論理学の初心者が他の教科書とともに使う副読本といった位置づけの本だと思う。

内容は、第１・２章でそれぞれ命題論理・述語論理の意味論と構文論がわかりやすく説明される。タブローは扱われていない（が、直観主義論理の意味論ではクリプキ・モデルによる認識史分析が扱われている。この選択規準はよく分からない）。第３章では、命題論理・述語論理の無矛盾性の証明が取り上げられ、メタ論理の発想がわかりやすく説かれている（完全性の証明は省略されている）。第４章は直観主義論理、第５章は不完全性定理が取り上げられており、雰囲気がつかめるようによく工夫された説明がある。

本書は、本格的に論理学を学ぶ人のための本ではない。著者は前書きで次のように述べている。「本書は、文字通り、ずぶの素人のための現代論理学への初めの一歩である。そして、おそらくはこれが終わりの一歩となるだろう読者を想定している。それゆえこれは千里の道への一歩ではない。ただ、この一歩のための一歩である」。論理学の発想を伝えることにもっとも力が注がれているのも、本書がこうした読書のために書かれた本だからだろう。

とにかく論理学の本としてはめっぽうおもしろい。中級の論理学を扱った続編があればいいのにと思う。二次創作とかできないだろうか。

[ブクログ · ★★★★☆]

本書は基本的に学術書である。よって、専門家でない限り、なかなか評価するのは
厳しいものがあるが、改めて論理学を学び直した者のざっくりとした評価ととって
もらえれば。。。。

著者は、野矢氏である。東大の助教授である。ちなみに本書は、東大の論理学の
教科書になっている。（出版も東大だし（笑））

しかし、内容はかなりわかりやすく記載されている。また、会話文によって
進んでいく形式もなかなか良い。また、網羅性も十分であると思う。というのは、
本書一冊で不完全性定理まで理解できるからだ。まぁ、ここまで理解する必要も
ないとは思うが。

学び直して思った事は、論理学というのは完全ではない。この一点に尽きる。
これが最も良かった点かもしない（笑）しかし、ロジックというのはおもしろい。
ただ、それ以上にエモーションもおもしろいけど。

散文で申し訳ないが、やはり大前提の「推論の形式化」は重要知識である。と
感じた。何事も本質を抽出して、形式化（ある枠組み？）にして考えやすいようにする。
ただ、現実世界では往々にして、形式化した時にそぎ落とされた情報が深い意味を持って
たりするので要注意。単純に、軽くすればいいってもんじゃない。

っと話がづれてしまったが、ある程度まとまった時間のある人に本書はお薦めできる。
そして、なるべく早い段階で学ぶことをお薦めする。

以上！

[ブクログ · ★★★☆☆]

推論の形式化
命題＝記述文
原子命題＝否定詞も接続詞も含まない命題
分子命題＝原子命題をもとに否定詞や接続詞を用いて構成された命題
分子命題の真偽は、原子命題の真偽の「関数」になっている

[ブクログ · ★★★★★]

12「推論の形式化」
推論に本質的に関わっている言葉だけを残して、推論の骨組みを取り出すこと。
ex AはBである

「命題論理」＝否定辞と接続詞によって成り立つ

16 否定辞とは、命題の真偽を反転させる働きを持った言葉

真理関数＝分子命題の真偽が、原子命題の真偽によって決まるということ

p20 論理記号の基本式
否定　　Pではない　¬p
連言　　ｐかつQ　　p ∧ q　
選言　　PまたはQ　 p ∨ q

条件分　PならばQ p ⊃ q (pはqに含まれる)
※条件文は、条件文が満たされなかった時のことは何も言っていないので、その時は帰結（＝Q）が成立しようがしまいがどっちでもいい

同値　　PとQは等しい　p≡q または(p⊃q)∧ (q⊃p)

33　基本的な用語の確認
命題記号、論理記号、否定子、結合子（演算子の一種）、論理式など

56 記号の意味を考慮せず、記号相互の導出関係、記号変形の規則のみを考察する仕方を「構文論」という。←おれがやりたいこと！

57 命題論理の公理系（p49）は、トートロジー(p37)を導出することを念頭に置きつつつくられた記号ゲーム。