ジョン・バーワイズ

人物・団体ページへ

論理学の基礎と演習

ジョン・バーワイズ

基本情報

ジャンル
ISBN/カタログNo
ISBN 13 : 9784766413137
ISBN 10 : 476641313X
フォーマット
発行年月
2006年09月
日本
追加情報
:
23cm,748p

内容詳細

目次 : 序論/ 第1部 命題論理(原子文/ 原子文の論理/ ブール結合子/ ブール結合子の論理/ ブール論理の証明方法/ 形式的証明とブール論理/ 条件文/ 条件文の論理)/ 第2部 限量子(限量入門/ 限量子の論理/ 複数の限量子/ 限量子についての証明の方法/ 形式的証明と限量子/ 限量子についての捕足(オプション))/ 第3部 応用とメタ理論(一階集合論/ 数学的帰納法/ 命題論理の更に進んだ話題/ FOLの更に進んだ話題/ 完全性と不完全性)/ LPLソフトウェア・マニュアル(Submitを使う/ Tarski’s Worldを使う/ Fitchを使う/ Booleを使う)

【著者紹介】
ジョン・バーワイズ : 論理学の世界的権威。スタンフォード大学Ph.D.(1967)。イェール大学、ウィスコンシン大学で教鞭を執った後、スタンフォード大学言語情報センターの初代所長を務める。1990年にはインディアナ大学に迎えられた。研究分野は数学から言語学まで非常に幅広く、数学基礎論や状況理論・状況意味論に関する業績が大きい。2000年5月逝去

ジョン・エチメンディ : スタンフォード大学副学長。2000年より現職。1990〜1993年スタンフォード大学言語情報センターの所長を務め、現在は同センターの上席研究員でもある。スタンフォード大学Ph.D.(1982)

大沢秀介 : 1950年、東京都生まれ。早稲田大学第一文学部人文専攻卒、早稲田大学大学院修士課程修了・博士課程単位取得退学。愛知教育大学教育学部教授。専門は哲学

白旗優 : 1961年、神奈川県生まれ。京都大学文学部哲学科卒、スタンフォード大学哲学科Ph.D。慶應義塾大学商学部助教授。専門は論理学および数学基礎論

中川大 : 1961年、北海道生まれ。北海道大学文学部哲学科卒、北海道大学大学院修士課程修了・博士課程単位取得退学。北海道教育大学教育学部札幌校助教授。専門は哲学(本データはこの書籍が刊行された当時に掲載されていたものです)

(「BOOK」データベースより)

ユーザーレビュー

総合評価

☆
☆
☆
☆
☆

0.0

★
★
★
★
★
 
0
★
★
★
★
☆
 
0
★
★
★
☆
☆
 
0
★
★
☆
☆
☆
 
0
★
☆
☆
☆
☆
 
0

人物・団体紹介

人物・団体ページへ

ジョン・バーワイズ

論理学の世界的権威。スタンフォード大学Ph.D.(1967)。イェール大学、ウィスコンシン大学で教鞭を執った後、スタンフォード大学言語情報センターの初代所長を務める。1990年にはインディアナ大学に迎えられた。研究分野は数学から言語学まで非常に幅広く、数学基礎論や状況理論・状況意味論に関する業績が大

プロフィール詳細へ

哲学・歴史・宗教 に関連する商品情報

おすすめの商品