記号論理学

• Material Type: 図書
• ISBN: 978-4-595-32481-9
• Title: 記号論理学
• Title Transcription: キゴウ ロンリガク
• Author/Editor: 加藤浩, 辰己丈夫 編著
• Edition: 新訂
• Series Title: 放送大学教材. 情報コース/専門科目
• Author Heading: 著者 ： 加藤, 浩, 1962- カトウ, ヒロシ, 1962- ( 00857302 )Authorities; 著者 ： 辰己, 丈夫, 1967- タツミ, タケオ, 1967- ( 00731870 )Authorities; 編集責任者 ： 放送大学 ホウソウ ダイガク ( 00646432 )Authorities
• Publication, Distribution, etc.: 東京 : 放送大学教育振興会 (出版)
• Publication Date: 2024.3
• Publication Date (W3CDTF): 2024
• Extent: 261 p
• Size: 21 cm
• Place of Publication (Country Code): JP
• Text Language Code: jpn
• Content Type: テキスト
• Media Type: 機器不用
• Carrier Type: 冊子
• Subject Heading: 記号論理学 キゴウロンリガク ( 00565709 )Authorities
• NDC 10th ed.: 410.96 : Mathematics
• NDLC: MA41
• Target Audience: 一般
• Price: 3100円
• Holding library: 国立国会図書館
• Call No.: MA41-R3
• Data Provider (Database): 国立国会図書館 : 国立国会図書館蔵書; https://ndlsearch.ndl.go.jp
• Bibliographic ID (NDL): 033311417; http://id.ndl.go.jp/bib/033311417
• National Bibliography No. (JPNO): 23962968
• Cataloging Rule: Nippon Cataloging Rules 2018 Edition
• Bibliographic Record Category (NDL): 111

• Summary, etc.: 記号論理学とは、論理を論理式という数式のような記号で表し、厳密なやり方で処理する方法の体系である。ある事態が成り立っている（真である）とき、そこから別の事態を導き出したり、その推論の正しさを証明したりする。記号論理学は、数学、哲学、計算機科学などの基礎となるほか、論文執筆や議論やプレゼンテーションな...

Table of Contents

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