機器更新のため、各図書施設は令和7年12月29日から令和8年1月8日まで休館し、
図書館システムは令和7年12月28日21時から令和8年1月9日8時まで停止します。
山の手図書館は大規模改修のため、令和7年9月1日から令和8年1月31日(予定)まで臨時休館します。

検索結果書誌詳細

蔵書情報

この資料の蔵書に関する統計情報です。現在の所蔵数 在庫数 予約数などを確認できます。

所蔵数 1 在庫数 1 予約数 0

書誌情報

書名

記号論理入門   哲学教科書シリーズ  

著者名 金子 洋之/著
出版者 産業図書
出版年月 1994.10


この資料に対する操作

カートに入れる を押すと この資料を 予約する候補として予約カートに追加します。

いますぐ予約する を押すと 認証後この資料をすぐに予約します。

  

この資料に対する操作

電子書籍を読むを押すと 電子図書館に移動しこの資料の電子書籍を読むことができます。


マイ本棚へ追加ログインメモ


資料情報

各蔵書資料に関する詳細情報です。

No. 所蔵館 資料番号 請求記号 配架場所 所蔵棚番号 資料種別 帯出区分 状態 付録 貸出
1 中央図書館0115385825116.3/カ/書庫2一般図書一般貸出在庫  

関連資料

この資料に関連する資料を 同じ著者 出版年 分類 件名 受賞などの切り口でご紹介します。

スペンサー・ジョンソン 門田 美鈴
2000
933.7 933.7
新風賞

書誌詳細

この資料の書誌詳細情報です。

タイトルコード 1001000842467
書誌種別 図書
書名 記号論理入門   哲学教科書シリーズ  
書名ヨミ キゴウ ロンリ ニュウモン 
著者名 金子 洋之/著
著者名ヨミ カネコ ヒロシ
出版者 産業図書
出版年月 1994.10
ページ数 187p
大きさ 21cm
分類記号 116.3
分類記号 116.3
ISBN 4-7828-0201-3
内容紹介 哲学、数学、法学など広い分野で採り入れられるようになった論理学。命題論理と述語論理を区別することなく、自然演繹法を中心に内容を厳選した1冊。基礎から丁寧に解説した入門書。
件名 記号論理学
言語区分 日本語

(他の紹介)内容紹介 本書は記号論理学の入門書であるが、他の入門書と異なる点は、半期の(つまり半年の)コースでの使用を念頭においている点である。そのために、全体の分量はかなりコンパクトになっている。それにともなって、内容的にかなり大胆な取捨選択を行なわざるを得なかった。基本方針は、(1)命題論理と述語論理を区別せず、最初から述語論理を視野に入れた叙述を行なう、(2)自然演繹法を中心に据える、(3)真理関数は扱わない、ということである。
(他の紹介)目次 第1章 形式化
第2章 量化子
第3章 規則と証明 1
第4章 規則と証明 2
第5章 否定
第6章 証明の方法と双条件法
第7章 量化の規則 1
第8章 量化の規則 2
第9章 量化の規則と制約
第10章 同一性と記述
第11章 反例と妥当性
第12章 メタ論理とその他の話題


内容細目表

前のページへ

本文はここまでです。


ページの終わりです。