検索結果 2,141 件
紙図書
国立国会図書館全国の図書館
- 目次・記事1.論理学とは何か・記号を使う 2.記......の方法の健全性と完全性 14.論理学の応用 15.論理学の歴史
- 要約等記号論理学とは、論理を論理式という数式のような記号で表し......の正しさを証明したりする。記号論理学は、数学、哲学、計算機科学な......どの基礎として重要となる。命題論理、一階述語論理などの意味を理解して自然言語の命題と対応付け、さらに論理式の計算方法を学ぶ。※この科目は、インターネット配信限定で視...
- 件名記号論理学
紙図書
国立国会図書館全国の図書館
- 要約等記号論理学の概説書。命題論理,述語論理,様相論理,直観主義論理の完全性までを扱う。
- 件名記号論理学
- 典拠情報(件名/「を見よ」参照)論理代数学 論理計算 数学的論理学 現代論理学 数理論理学 Logic, Symbolic and mathemat...
紙図書
国立国会図書館全国の図書館
- 内容細目記号論と論理学の基礎. 哲学の記号論的分析......ける認識概念の解明. 記号論と論理的哲学. 経験科学の記号論. ......号論的分析. 記号論の分析. 論理学の記号論的分類. 様相論理学の体系. 因果的様相と先験的様相. 環境公害裁判と帰納論理. 帰納的確率論の体系 記号論と論理学の基礎 哲学の記号論的分析 ......おける認識概念の解明 記号論と論理的哲学 経験科学の記号論 存在......の記号論的分析 記号論の分析 論理学の記号論的分類 様相論理学の体系 因果的様相と先験的様相 環境公害裁判と帰納論理 帰納的確率論の体系
- 件名記号論理学
- 典拠情報(件名/「を見よ」参照)論理代数学 論理計算 数学的論理学 現代論理学 数理論理学 Logic, Symbolic and mathemat...
紙図書
国立国会図書館全国の図書館
- 要約等...は、表とベン図を使って、読者が論理学と集合の基礎知識を身につけられるように解説していきます。
- 件名記号論理学
- 典拠情報(件名/「を見よ」参照)論理代数学 論理計算 数学的論理学 現代論理学 数理論理学 Logic, Symbolic and mathemat...
紙図書
国立国会図書館全国の図書館
- 件名論理学
- 典拠情報(件名/「を見よ」参照)形式論理学 Logic
- 典拠情報(件名/「をも見よ」参照)哲学 意味論 記号論理学 弁証法 判断 逆説
紙図書
国立国会図書館全国の図書館
- 要約等論理の破綻や議論の穴(誤謬)を見抜き、自分自身も誤謬を犯さないた...
- 著者紹介...ン学)。専門は議論研究,非形式論理学,レトリック論,メディア論。...... Logic査読委員。著書に『論理アタマのつくり方』(すばる舎),『メディアとメッセージ―社会...
- 件名論理学
紙図書
国立国会図書館全国の図書館
- 目次・記事...値関係,写像と関数 2. 命題論理 2.1 日常的推論と記号化 ......スの最強のパズル 2.3 命題論理の言語:論理式 2.4 命題論理の意味論 2.4.1 論理式の値:真理値 2.4.2 恒.......6 ブール関数 2.7 命題論理の形式的体系 2.7.1 自然......系NJとNK 2.7.2 古典論理と直観主義論理:埋め込み 2.8 形式的体系.......2 NKの完全性 3. 述語論理 3.1 数理パズルと述語論理による記号化 3.1.1 だれ......1.2 スマリヤン流パズル述語論理版 3.1.3 Tiffany......いについての復習 3.2 述語論理の言語 3.3 述語論理の形式的体系 3.3.1 自然......系NKとNJ 3.3.2 述語論理におけるグリベンコの定理:埋め込み 3.4 述語論理の意味論 3.4.1 構造と解......ー・ハワード同型 4.3.1 論理式と型 4.3.2 証明図の簡......換と埋め込み 4.3.3 古典論理の証明項:ラムダ・ミュー計算 引用・参考文献 索引
- 要約等スマリヤンのパズル等親しみやすい日常的推論の例を多数掲載。論理の構文論的側面と意味論的側面の......事の本質をつかみ記号化する力,論理的に証明する力を身につけることを目指す。
- 件名記号論理学
紙デジタル図書
国立国会図書館全国の図書館
- 目次・記事...えてください 第2章 表計算の論理関数とは 第3章 表計算と算数でド モルガンの法則を確かめた...
- 要約等...れない。大学1年生の対話形式・論理入門。
- 件名記号論理学
紙図書
国立国会図書館全国の図書館
- 目次・記事論証の教室 目次 はじめに 論理は重要なのか 執筆の経緯と本書......III部 演繹と定義 第6章 論理語─演繹論理の基本的語彙 第7章 定義と論理 補論I 定義概念について 第IV部 帰納 第8章 帰納的一...
- 要約等論理学は見慣れない記号や式だらけで難しそう、というイメージを一新。いざというときに論理的になることができる能力を、インフォーマル・ロジック(非形式論理学)を通して身につける。
- 件名論理学
紙図書
国立国会図書館全国の図書館
- 目次・記事第Ⅰ部 計算と表現 第1章 古典命題論理(1)――論理式で計算する 第2章 古典命題論理(2)――推論の妥当性 第3章 様相論理(1)――可能世界意味論 第4章 様相論理(2)――対応理論 第5章 古典述語論理(1)――量化子 第6章 古典述語論理(2)――多重量化 第7章 古典述語論理(3)――計算と表現 第Ⅱ部 正しい論理を求めて 第8章 厳密含意の論理――正しい論理を求めて 第9章 直観主義論理(1)――数学的構成 第10章 直観主義論理(2)――真理と様相 第11章 多値論理――真理値は2つで十分か 第12章 関連性論理(1)――3項関係 第13章 関連性論理(2)――構造規則・状況推論 第14章 様相演算子としての否...
- 要約等現代的な論理学を中心に初学者〜中級者向けに解説。大学の講義でも独学でも学...
- 著者紹介京都大学学際融合教育研究センター人社未来形発信ユニット特定准教授。2012年、京都大学大学院文学研究科博士課程修了。博士(文学)。 専門は哲学・論理学。
紙図書
国立国会図書館全国の図書館
- 件名論理学
- 典拠情報(件名/「を見よ」参照)形式論理学 Logic
- 典拠情報(件名/「をも見よ」参照)哲学 意味論 記号論理学 弁証法 判断 逆説
紙デジタル図書
国立国会図書館全国の図書館
- 要約等...やパズルをきっかけに、数学的・論理的思考へと導いていく。中公新書『詭弁論理学』の著者による本書は、語り口の柔らかさと論理の明晰さでスムースに読者を数学......やパズルをきっかけに、数学的・論理的思考へと導いていく。中公新書のロングセラー『詭弁論理学』『逆説論理学』の著者の手による本書は、語り口の柔らかさと論理の明晰さでスムースに読者を数学の世界に誘いながら、さらに奥深...
- 著者紹介...ミナー』(日本評論社)、『詭弁論理学』『逆接論理学』(中公新書)、『計算機数学』(共立出版)、『数学的センス...
- 件名記号論理学
紙図書
国立国会図書館全国の図書館
- 件名論理学
- 典拠情報(件名/「を見よ」参照)形式論理学 Logic
- 典拠情報(件名/「をも見よ」参照)哲学 意味論 記号論理学 弁証法 判断 逆説
紙図書
国立国会図書館全国の図書館
- 件名記号論理学
- 典拠情報(件名/「を見よ」参照)論理代数学 論理計算 数学的論理学 現代論理学 数理論理学 Logic, Symbolic and mathemat...
- 典拠情報(件名/「をも見よ」参照)論理学 数学基礎論 論理実証主義 ブール代数
紙図書
国立国会図書館全国の図書館
- 件名論理学
- 典拠情報(件名/「を見よ」参照)形式論理学 Logic
- 典拠情報(件名/「をも見よ」参照)哲学 意味論 記号論理学 弁証法 判断 逆説
紙図書
国立国会図書館全国の図書館
- 要約等直観的・視覚的な理解を助けるオイラー図とベン図を活用しながら、古代ギリシア以来の伝統的論理学の基礎を学ぶ。確認問題付き。
- 件名論理学
- 典拠情報(件名/「を見よ」参照)形式論理学 Logic
紙図書
国立国会図書館全国の図書館
- 目次・記事...定理と多対一還元 第2章 命題論理と計算の複雑さ 2.1 トートロジーと証明 2.2 命題論理の完全性 2.3 NP完全問題......E完全とTQBF 第3章 1階論理と決定問題 3.1 1階論理とは 3.2 スコーレムの定理......決定可能性 3.5 1階算術と論理式の階層 3.6 計算可能性理......第二不完全性定理 第4章 2階論理と無限オートマトン 4.1 2階論理 4.2 2階算術と解析的階層 4.3 無限列上のオートマト...
- 要約等数学系の「数理論理学」と計算機系の「計算理論」に長年携わってきた著者が,両分野...
- 件名計算量理論 記号論理学
紙図書
国立国会図書館全国の図書館
- 目次・記事序 第I章 命題論理学 I-I トートロジー 命題......命題算の同等性 第II章 述語論理学 II-I 自然推論 述語算の構想/Gentzen型述語算...
- 要約等現代論理学の基本的なトピックを選び、命題論理学、述語論理学、形式的数論、帰納的関数、不完全性定理について概説する
- 件名論理学
紙図書
国立国会図書館全国の図書館
- 目次・記事...判断と判断の諸連関 第13節 論理的意味 第14節 事態と判断命......の関係 3 本テキストと『形式論理学と超越論的論理学』の関係 4 本テキストと『論理学研究』第二巻三の関係 5 ま......) 1 はじめに 2 超越論的論理学における受動性と能動性の関係 3 発生的現象学における『能...
- 要約等...て1920/21年の「超越論的論理学」講義を構成する。これにより......像が明らかにされる。「超越論的論理学」の特徴は,主語と述語による......式的規則性を明らかにする従来の論理学に対し,認識論的関心からすべ......究極的な学問」こそが「超越論的論理学」にほかならない。その究極的な与えられ方とは「意識によって...
- 件名論理学