オーテピア高知図書館・
高知市民図書館分館・分室
所蔵検索
検索ホーム
詳細検索
資料紹介
各館お知らせ
Myライブラリ
オーテピア高知図書館
ウェブサイトへ
高知市民図書館
分館・分室案内へ
県内図書館横断検索へ
 
よくある質問
 
キーワード検索
本サイトにはJavaScriptの利用を前提とした機能がございます。
お客様の環境では一部の機能がご利用いただけない可能性がございますので、ご了承ください。
本サイトではCookieを使用しています。ブラウザの設定でCookieを有効にしてください。
資料詳細
詳細蔵書検索
ジャンル検索
1 件中、 1 件目
数論・論理・意味論その原型と展開 知の巨人たちの軌跡をたどる
野本 和幸/著
東京大学出版会 2019.8
予約かごへ
本棚へ
所蔵
所蔵は
1
件です。現在の予約件数は
0
件です。
所蔵館
所蔵場所
請求記号
資料コード
資料区分
持禁区分
状態
オーテピア高知図書館
3Fビジネス
/410.9/ノモ/
1109241792
一般
利用可
ページの先頭へ
館別所蔵
館名
所蔵数
貸出中数
貸出可能数
オーテピア高知図書館
1
0
1
ページの先頭へ
資料詳細
タイトル
数論・論理・意味論その原型と展開
副書名
知の巨人たちの軌跡をたどる
著者
野本 和幸
/著
出版者
東京大学出版会
出版年
2019.8
ページ数
22,705p
大きさ
22cm
一般件名
数学基礎論-歴史
NDC分類(9版)
410.9
内容紹介
数とは何か? 数論や論理、そして言葉の意味理解を巡る知の解明に挑んできた「知の巨人たち」。19世紀後半から始まり100年以上続くその戦いを、彼らが遺した著作・講義録・遺稿等の読解を通じて追跡する。
ISBN
4-13-010135-6
ページの先頭へ
内容一覧
タイトル
著者名
ページ
序論 数論・論理・メタ数学の誕生と真理論・意味論の展開
第Ⅰ部 論理主義の誕生と現代論理学の創始-デデキント,ブール-シュレーダーからフレーゲへ
第1章 デデキントの数論-論理主義の一つの出発点
第2章 ブール-シュレーダーの論理代数的論理主義
第3章 フレーゲの論理主義-「判断優位説」と「文脈原理」
第4章 ラッセルの論理主義と知識論抄
第Ⅱ部 数学基礎論とメタ数学-ヒルベルトからゲーデルまで
第5章 ヒルベルトの数学基礎論-メタ的形式主義への歩み
第6章 完全性前史-ポスト-ヒルベルト-ベルナイスとヒルベルトの問題提起
第7章 ゲーデル完全性定理および不完全性定理への予示
第8章 不完全性定理の概要
第Ⅲ部 真理・モデル・意味論の誕生と展開-タルスキの真理論とモデル理論
第9章 タルスキの真理定義-メタ理論の構築
第10章 内包的意味論の展開-カルナップ・チャーチ・モンタギュからクリプキ・カプランへ
第11章 直接指示,意味,信念
第12章 フレーゲ再考-意味・意義・真理
補論1 言語と哲学-言語的転回の射程
補論2 ことばと信念序説-デイヴィドソンとダメットを手引きに
ページの先頭へ