[B! 論理学] ohnishiakiraのブックマーク

オンラインで入手できる数理論理学・数学基礎論のテキスト

オンラインで入手できる数理論理学・数学基礎論のテキスト数理論理学、数学基礎論の教科書的に使えるテキスト（講義ノート、サーヴェイ、モノグラフ等）のうち、オンラインで入手できるものを集めました。入門的概説論理一般高階論理と型理論直観主義論理コンビネータとラムダ計算時相論理および時制論理様相論理適切さの論理自然言語の論理空間論理モデル理論安定性理論無限論理計算可能性理論および再帰理論集合論 pcf理論記述集合論実数の集合論選択公理強制法と内部モデル連続体仮説 NF 証明論と構成的数学順序数解析算術の体系と不完全性証明可能性論理線形論理構成的数学代数的論理と圏論ブール代数普遍代数量子論理圏論歴史入門的概説 [▲] 加茂静夫，「数理論理学（命題論理と述語論理）」．[PDF] 嘉田勝，「数理論理学講義ノート（2013年度版）」． St

ohnishiakira 2010/05/14

リンク

論理学は思考の「高地」トレーニング」である／ロジック・アズ・ブロックバスター

論理学の良いところは、トレーニングの効果が絶大なところだ。たとえれば、論理学は一種の「高地」トレーニングなので苦しいが、これによって思考の「心肺機能」がアップする。思考が「息切れ」しにくくなる。そして「登坂力」が増す。微細な違いに気付く力や、筋が混み入った話への感受性も高まる。学術書の類や、日本語とは思えない悪文を読むのに、きつい坂道を上るような苦しさを感じている人は、最もその効果を実感できるだろう。しかし論理学を学ぶ人はあまり多くない。独習は不可能ではない。というより、自分で問題を解かないことにはどうにもならないので、習うにしろ、自分一人で取り組まなくてはならない時間が多い。科学哲学者の内井惣七氏は、論理学の学習について、次のように言っている。・問題を山のように解かないと、論理学が身に付くはずがない。ぼーっと、本を眺めてマスターできるのは、フォン・ノイマンみたいな悪魔だ

ohnishiakira 2010/04/07

リンク

http://hblo.blog.shinobi.jp/Entry/1962/

ohnishiakira 2009/06/16

論理学

リンク

アブダクション - Wikipedia

この記事は検証可能な参考文献や出典が全く示されていないか、不十分です。出典を追加して記事の信頼性向上にご協力ください。（このテンプレートの使い方）出典検索?: "アブダクション" – ニュース · 書籍 · スカラー · CiNii · J-STAGE · NDL · dlib.jp · ジャパンサーチ · TWL（2023年3月）アブダクション（逆行推論）（古代ギリシア語: ἀπαγωγή[注釈 1]、英: abduction, retroduction）とは、演繹法が前提となる事象に規則を適用して結論を得るのに対し、結論となる事象に規則を適用して前提を推論する方法である。論理的には後件肯定と呼ばれる誤謬であるが、帰納法と並び仮説形成に重要な役割を演じている。なお、アブダクションの語は誘拐の意味に使われるので、英語圏ではレトロダクションという言い換えが使われることが多い。概要[編集

ohnishiakira 2009/04/27

リンク