横浜市立図書館蔵書検索ページ
トップメニュー
詳細検索
ジャンル検索
新着・本紹介
お知らせ
レファレンス
(調べもの・相談)
Myライブラリ
本サイトにはJavaScriptの利用を前提とした機能がございます。
お客様の環境では一部の機能がご利用いただけない可能性がございますので、ご了承ください。
資料詳細
詳細検索
ジャンル検索
1 件中、 1 件目
【図書】
論理学
3STEPシリーズ
--
大西琢朗
/著 --
昭和堂 -- 2021.11 -- 21cm -- 245p
予約申込
本棚へ
資料詳細
タイトル
論理学
シリーズ名
3STEPシリーズ
著者名等
大西琢朗
/著
出版
昭和堂 2021.11
大きさ等
21cm 245p
分類
116
件名
論理学
注記
欧文タイトル:Logic
注記
文献あり 索引あり
著者紹介
京都大学学際融合教育研究推進センター人社未来形発信ユニット特定准教授。2012年、京都大学大学院文学研究科博士課程修了。博士(文学)。専門は哲学・論理学。主な著作に、イアン・ハッキング『数学はなぜ哲学の問題になるのか』(金子洋之との共訳、森北出版、2017年)などがある。(本データはこの書籍が刊行された当時に掲載されていたものです)
要旨
論理学は、数学・計算機科学・言語学・哲学などの諸分野と密接に関係しつつ、「推論の正しさ」という切り口から人間の思考について考える学問である。本書では現代的な論理学を初学者~中級者向けに解説。理系・文系の枠を超えて学べる入門書である。
目次
第1部 計算と表現(古典命題論理(1)―論理式で計算する;古典命題論理(2)―推論の妥当性;様相論理(1)―可能世界意味論;様相論理(2)―対応理論;古典述語論理(1)―量化子;古典述語論理(2)―多重量化;古典述語論理(3)―計算と表現;第2部 正しい論理を求めて(厳密含意の論理―古典論理を批判する;直観主義論理(1)―数学的構成;直観主義論理(2)―真理と様相;多値論理―真理値は2つで十分か;関連性論理(1)―3項関係;関連性論理(2)―構造規則・状況推論;様相演算子としての否定
ISBN(13)、ISBN
978-4-8122-2104-4 4-8122-2104-8
書誌番号
1113924480
URL
https://opac.lib.city.yokohama.lg.jp/winj/opac/switch-detail.do?bibid=1113924480
ページの先頭へ
所蔵
所蔵は
1
件です。現在の予約件数は
0
件です。
所蔵館
所蔵場所
別置
請求記号
資料区分
状態
取扱
資料コード
中央
5階人文科学
Map
116
一般書
利用可
-
2071715232
ページの先頭へ