数論・論理・意味論その原型と展開 : 知の巨人たちの軌跡をたどる

著者

• 野本, 和幸 ノモト, カズユキ

書誌事項

数論・論理・意味論その原型と展開 : 知の巨人たちの軌跡をたどる

野本和幸著

東京大学出版会, 2019.8

タイトル別名

The development of number‐theories, logic and semantics in the 19th and the 20th centuries

数論論理意味論その原型と展開 : 知の巨人たちの軌跡をたどる

数論・論理・意味論 : その原型と展開 : 知の巨人たちの軌跡をたどる

タイトル読み

スウロン・ロンリ・イミロン ソノ ゲンケイ ト テンカイ : チ ノ キョジン タチ ノ キセキ オ タドル

注記

引用文献: p[673]-695

内容説明・目次

内容説明

数とは何か？論理は数論とどう関係し、数論や論理は、ことばの意味とどう関係するのか？

目次

• 序論　数論・論理・メタ数学の誕生と真理論・意味論の展開
• 第１部　論理主義の誕生と現代論理学の創始—デデキント、ブール‐シュレーダーからフレーゲへ（デデキントの数論—論理主義の一つの出発点；ブール‐シュレーダーの論理代数的論理主義；フレーゲの論理主義—「判断優位説」と「文脈原理」；ラッセルの論理主義と知識論抄）
• 第２部　数学基礎論とメタ数学—ヒルベルトからゲーデルまで（ヒルベルトの数学基礎論—メタ的形式主義への歩み；完全性前史—ポスト‐ヒルベルト‐ベルナイスとヒルベルトの問題提起；ゲーデルの完全性定理および不完全性定理への予示；不完全性定理の概要）
• 第３部　真理・モデル・意味論の誕生と展開—タルスキの真理論とモデル理論（タルスキの真理定義—メタ理論の構築；内包的意味論の展開—カルナップ・チャーチ・モンタギュからクリプキ・カプランへ；直接指示、意味、信念；フレーゲ再考—意味・意義・真理；補論１　言語と哲学—言語的転回の射程；補論２　ことばと信念序説—デイヴィドソンとダメットを手引きに）

「BOOKデータベース」 より

詳細情報

• NII書誌ID(NCID): BB28763225
• ISBN:
  • 9784130101356
• 出版国コード: ja
• タイトル言語コード: jpn
• 本文言語コード: jpn
• 出版地: 東京
• ページ数/冊数: xxii, 705p
• 大きさ: 22cm
• 分類:
  • NDC8 : 410.9
  • NDC9 : 410.9
  • NDC10 : 410.9
• 件名:
  • BSH : 数学基礎論 -- 歴史