形式論理探求. 第1巻

• Material Type: 図書
• ISBN: 978-4-909624024
• Title: 形式論理探求
• Title Transcription: ケイシキ ロンリ タンキュウ
• Volume: 第1巻
• Author/Editor: 高木翼 著
• Edition: オンデマンド版
• Author Heading: 高木, 翼, 1997- タカギ, ツバサ, 1997- ( 001323770 )Authorities
• Publication, Distribution, etc.: 相模原 : やまなみ書房
• Publication Date: 2019.5
• Publication Date (W3CDTF): 2019
• Extent: 143p
• Size: 21cm
• Additional Title: 古典論理のタブロー コテン ロンリ ノ タブロー
• Place of Publication (Country Code): JP
• Text Language Code: jpn
• Subject Heading: 論理学 ロンリガク ( 00569686 )Authorities
• NDC 10th ed.: 116.1 : Logics. Dialectics. Methodology
• NDLC: H35
• Target Audience: 一般
• Holding library: 国立国会図書館
• Call No.: H35-M3
• Data Provider (Database): 国立国会図書館 : 国立国会図書館蔵書; https://ndlsearch.ndl.go.jp
• Bibliographic ID (NDL): 029721955; http://id.ndl.go.jp/bib/029721955
• National Bibliography No. (JPNO): 23230951
• Cataloging Rule: Nippon Cataloguing Rules 1987 Revised Edition
• Bibliographic Record Category (NDL): 111

• Contents: 古典論理のタブロー(Provided by: 国立国会図書館蔵書)
• Summary, etc.: タブローという図によって論理を視覚的に分析する方法について丁寧に解説する。(Provided by: 出版情報登録センター（JPRO）)
• Author introduction: 高木 翼 ［出版当時の情報］ 1997年 東京都に生まれる。現在 法政大学文学部哲学科在学中。量子論理に関する発表で、日本物理学会第11回Jr.セッション審査員特別賞を受賞。論文「K4タブローによる妥当性判定と濾過法」（Journal of Science and Philosophy, Assoc...

Table of Contents

はじめに

第1章 古典命題論理の意味論

§1.1 命題の意味

§1.2 「または」と「ならば」

§1.3 命題の記号化