山本新

人物・団体ページへ

本

記号論理学

山本新

☆
☆
☆
☆
☆
レビューを書く 

基本情報

ジャンル
：
社会・政治
ISBN/カタログNo
：
ISBN 13 : 9784254500387
ISBN 10 : 4254500386
フォーマット
：
本
出版社
：
朝倉書店
発行年月
：
2023年10月
発売国
：
日本
共著・訳者・掲載人物など
:
山本新(1949-), 入江俊夫, 山本新, 田村高幸 ,  
追加情報
:
２４０ｐ；22

内容詳細

目次 : 第１章　論理学とはなにか（正しい推論/ 対象言語とメタ言語/ 公理体系）/ 第２章　命題論理（命題の記号化/ 論理式　ほか）/ 第３章　述語論理（命題の記号化/ 限量記号の用法　ほか）/ 第４章　様相論理（様相命題論理/ 意味論/ 健全性/ 完全性/ 決定可能性/ 様相述語論理/ 意味論/ 健全性/ 完全性）/ 第５章　直観主義論理（直観主義命題論理/ 意味論/ 健全性/ 完全性/ 決定可能性/ 直観主義述語論理/ 意味論/ 健全性/ 完全性）/ 補論１　ゲンツェンの論理体系/ 補論２　様相論理への補論/ 補論３　線形論理について

【著者紹介】
山本新 : １９４９年岡山県に生まれる。１９８２年東京大学大学院理学系研究科修了。千葉大学、武蔵大学、青山学院大学などで非常勤講師を歴任

入江俊夫 : １９７０年栃木県に生まれる。現在、東邦大学、東京医療保健大学で非常勤講師をつとめる。博士（文学）

田村高幸 : １９６２年東京都に生まれる。現在、千葉大学大学院社会科学研究院助教。博士（理学）（本データはこの書籍が刊行された当時に掲載されていたものです）

（「BOOK」データベースより）

ユーザーレビュー

総合評価

☆
☆
☆
☆
☆

0.0

★
★
★
★
★
 
0
★
★
★
★
☆
 
0
★
★
★
☆
☆
 
0
★
★
☆
☆
☆
 
0
★
☆
☆
☆
☆
 
0
レビューを書く

社会・政治 に関連する商品情報

おすすめの商品

CD・DVD・レコード・本・ゲームを売るなら
HMV宅配買取