記号論理学

• Material Type: 図書
• ISBN: 978-4-595-31496-4
• Title: 記号論理学
• Title Transcription: キゴウ ロンリガク
• Author/Editor: 加藤浩, 土屋俊 著
• Series Title: 放送大学教材
• Author Heading: 加藤, 浩, 1962- カトウ, ヒロシ, 1962- ( 00857302 )Authorities; 土屋, 俊, 1952- ツチヤ, シュン, 1952- ( 00156145 )Authorities
• Publication, Distribution, etc.: 東京 : 放送大学教育振興会; [東京] : [NHK出版 (発売)]
• Publication Date: 2014.3
• Publication Date (W3CDTF): 2014
• Extent: 249p
• Size: 21cm
• Place of Publication (Country Code): JP
• Text Language Code: jpn
• Subject Heading: 記号論理学 キゴウロンリガク ( 00565709 )Authorities
• NDC 9th ed.: 410.96 : Mathematics
• NDLC: MA41
• Target Audience: 一般
• Note (Bibliography): 索引あり
• Price: 3000円
• Holding library: 国立国会図書館
• Call No.: MA41-L23
• Data Provider (Database): 国立国会図書館 : 国立国会図書館蔵書; https://ndlsearch.ndl.go.jp
• Bibliographic ID (NDL): 025187334; http://id.ndl.go.jp/bib/025187334
• National Bibliography No. (JPNO): 22389127
• TOHAN MARC No.: 33050161
• Cataloging Rule: Nippon Cataloguing Rules 1987 Revised Edition
• Bibliographic Record Category (NDL): 111

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

Table of Contents

1.論理学とは何か　2.記号を使う　3.記号・式・命題　4.命題の意味　5.推論の妥当性を厳密に定義する　6.タブロ－による妥当性のチェック(1)　7.タブロ－による妥当性のチェック(2)　8.多重量化　9.日本語から形式言語への翻訳　10.数を数える命題　11.日本語の推論の妥当性(1)　12.日本語の推論の妥当性(2)　13.日本語の推論の妥当性(3)　14.タブロ－の方法の健全性と完全性　15.役立つ記号論理学