記号論理学「新訂」

記号論理学とは、論理を論理式という数式のような記号で表し、厳密なやり方で処理する方法の体系である。ある事態が成り立っている（真である）とき、そこから別の事態を導き出したり、その推論の正しさを証明したりする。記号論理学は、数学、哲学、計算機科学などの基礎となるほか、論文執筆や議論やプレゼンテーションなどの基礎として重要となる。命題論理、一階述語論理などの意味を理解して自然言語の命題と対応付け、さらに論理式の計算方法を学ぶ。
※この科目は、インターネット配信限定で視聴する科目です。インターネット配信は、放送大学の学生の方が視聴できます。

目次

１．論理学とは何か・記号を使う　２．記号・ 式・ 命題　３．命題の意味　４．推論の妥当性を厳密に定義する　５．タブローによる妥当性のチェック（１）　６．タブローによる妥当性のチェック（２）　７．多重量化　８．日本語から形式言語への翻訳　９．個数を表す命題　１０．日本語の推論の妥当性（１）　１１．日本語の推論の妥当性（２）　１２．日本語の推論の妥当性（３）　１３．タブローの方法の健全性と完全性　１４．論理学の応用　１５．論理学の歴史

本の帯に関して

帯つきでの出荷はお約束しておりません。
商品ページに、帯のみに付与される特典物等の表記がある場合でも、確実に帯つきでの出荷はお約束しておりません。
また、帯は商品の一部ではなく「広告扱い」のため、帯の有無・破損による交換や返品は承っておりません。

版・表紙について

版・表紙（カバー）のご指定は承っておりません。ご注文いただくタイミングによっては、お届けする商品の版や表紙が商品ページ上のものとは異なる場合がございます。
また、初版にのみにお付けしている特典（初回特典、初回仕様特典）がある商品は、商品ページに特典の表記がされている場合でも、無くなり次第終了となります。