「論理学」ってなんですか。　

Flying Zebra @f_zebra

@Butayama3 まあ、数理論理学はそうですね。大学の一般教養の「論理学」は確か独立した教科でしたが。（教科書を読んだ記憶はあるけど、授業の記憶がほとんど残っていない…）

小比良 和威 @ohira_y

@Butayama3 @ando_ryoko ちょっと前までNHKで高校向けに論理のチカラという番組やっていて面白かったですよ

ゆうくぼ @yu_kubo

@Butayama3 NHK教育「ロンリのちから」はこちらで全部見れますよん＞nhk.or.jp/kokokoza/tv/ro…

大西琢朗 @takuro_onishi

現代の論理学の出発点は「数学という学問の理論構成を論理的に整理しよう」ですかね。この定理はあの定理に依存していて，そいつらは結局のところこちらの原理から導かれる，のような形で。その整理のための強力なツールとして19世紀の終わりにいまの論理学の原型が誕生。

大西琢朗 @takuro_onishi

で論理学の研究対象は数学という理論だけど，その手法も数学的。数学について数学的に研究して，「数学にはいったい何ができて何ができないのだろうか。その可能性と限界を知りたい」というのが，いまの数理論理学 (メタ数学・数学基礎論)。 kurims.kyoto-u.ac.jp/~kenkyubu/koka…

大西琢朗 @takuro_onishi

他方，数学からはちょっと離れて，さっきの「ならば」みたいな日常でも使う論理的な語彙・概念について，スタンダードな形式論理よりももっと自然な説明はできないか，ということを考えるひとたちもいる。そうやっていろんな「非古典論理」が生まれる。

大西琢朗 @takuro_onishi

それに関連して，「嘘つきのパラドクス」や「砂山のパラドクス」のようなパラドクスの研究を通じて，「真理」や「曖昧性」のような概念を論理学の手法で解明しようとするひとたちもいる (@ytb_at_twt さんとか) 。ここでもいろんな「非古典論理」が生まれる。

大西琢朗 @takuro_onishi

コンピュータともとても関連は深くて，チューリングをはじめとして現代的な計算機の開発に関わったひとの多くは論理学者でもあったし，現代のコンピュータ科学のなかでも論理学の手法はたくさん使われている (詳しくは知らない)。

大西琢朗 @takuro_onishi

まあ「プログラム＝証明」という考え方もあるくらいだし。 itpro.nikkeibp.co.jp/article/COLUMN…

大西琢朗 @takuro_onishi

こんなところかなあ。むずかしいね。

大西琢朗 @takuro_onishi

「いやいやもっと論理学にはこんな面白いところもあるぞー」という方はぜひどんどんつぶやいてください。

大西琢朗 @takuro_onishi

歴史的経緯とか関係なく，論理学は何をするのか，あるいは (大学の科目として) 論理学という科目で何を学ぶのかということであれば，この説明が簡潔ではないでしょうかね → coursera.org/course/logic1

大西琢朗 @takuro_onishi

英語だけど。

大西琢朗 @takuro_onishi

いくつかの命題 (より広くは情報) の集まりが整合的であるとは，あるいはそのあいだに衝突があるとはどういうことか。ある命題から別の命題が帰結するとはどういうことか。こういった命題のあいだの「論理的な関係」の概念を理解し，それを判断するための技法を身につける，という感じ。

大西琢朗 @takuro_onishi

あ，正確に言うとこれは「大学の一般教養で学ぶような科目としての論理学」の説明ですね。

大西琢朗 @takuro_onishi

何が言いたいかというと， coursera.org/course/logic1 はビデオで講義を見るだけなら無料だしみなさんぜひどうですかということです。英語ですが，論理学の初歩をわかりやすく講義してくれていると思います。

大西琢朗 @takuro_onishi

けっこう反応いただいてありがたい。そういういみではノビーさんに感謝だ。