３ＳＴＥＰシリーズ 論理学
2,530
著者：大西 琢朗【著】
出版社：昭和堂（京都）
出版社：昭和堂（京都）
商品説明
内容説明
論理学は、数学・計算機科学・言語学・哲学などの諸分野と密接に関係しつつ、「推論の正しさ」という切り口から人間の思考について考える学問である。本書では現代的な論理学を初学者〜中級者向けに解説。理系・文系の枠を超えて学べる入門書である。
目次
第１部 計算と表現（古典命題論理（１）―論理式で計算する
古典命題論理（２）―推論の妥当性
様相論理（１）―可能世界意味論
様相論理（２）―対応理論
古典述語論理（１）―量化子
古典述語論理（２）―多重量化
古典述語論理（３）―計算と表現
第２部 正しい論理を求めて（厳密含意の論理―古典論理を批判する；直観主義論理（１）―数学的構成
直観主義論理（２）―真理と様相
多値論理―真理値は２つで十分か
関連性論理（１）―３項関係
関連性論理（２）―構造規則・状況推論
様相演算子としての否定
著者等紹介
大西琢朗［オオニシタクロウ］
京都大学学際融合教育研究推進センター人社未来形発信ユニット特定准教授。２０１２年、京都大学大学院文学研究科博士課程修了。博士（文学）。専門は哲学・論理学（本データはこの書籍が刊行された当時に掲載されていたものです）
【ご確認ください】
■ご注文確定時に在庫切れの場合もございます。
ご注文時の在庫先によっては4日以上（〜7日）かかる場合もございます。 当ストアではお取り寄せのご対応を行っておりません。
■ご予約品と既刊商品はカート・ご注文番号が分かれます。
ひとつのご注文番号におまとめすることはできません。
※ご予約品のうち、発売日が同じ商品のみひとつのカート・ご注文番号でご注文可能です。
※送料はご注文番号ごとに計算されます。
■ギフトなどのためにお届け先を別住所に登録されましても、金額入りの明細書は商品に同梱されます。当ストアでは一切のギフト対応を行っておりません。
■ご注文・お問い合わせの前に「お買い物ガイド」「ご注意点」をよくお読みください。
■お届け日のご指定は承っておりません。
■「帯」はお付けできない場合がございます。
■ご注文確定時に在庫切れの場合もございます。
ご注文時の在庫先によっては4日以上（〜7日）かかる場合もございます。 当ストアではお取り寄せのご対応を行っておりません。
■ご予約品と既刊商品はカート・ご注文番号が分かれます。
ひとつのご注文番号におまとめすることはできません。
※ご予約品のうち、発売日が同じ商品のみひとつのカート・ご注文番号でご注文可能です。
※送料はご注文番号ごとに計算されます。
■ギフトなどのためにお届け先を別住所に登録されましても、金額入りの明細書は商品に同梱されます。当ストアでは一切のギフト対応を行っておりません。
■ご注文・お問い合わせの前に「お買い物ガイド」「ご注意点」をよくお読みください。
■お届け日のご指定は承っておりません。
■「帯」はお付けできない場合がございます。