目次
はじめに
序論 ゴットロープ・フレーゲ――現代の論理学／科学哲学への端緒
コラム1 フレーゲの師アッベの紹介
第1章 フレーゲ・ルネサンス――フレーゲ紹介と恩師アッベ
1 フレーゲ本人の紹介
1.1 生涯の概略――エピソード風に
2 フレーゲの講義風景・学会講演
3 ウィトゲンシュタインとの交流
4 恩師アッベの紹介
5 フレーゲの著作・論文
コラム2 アッベとツァイス
コラム3 アッベと顕微鏡（Mikroskop）
コラム4 アッベ・ツァイスのイエーナ大学援助
コラム5 アッベによるフレーゲ助成
第2章 数かぞえること、親子関係、ことばの諸相――フレーゲの論理・数学・言語の哲学への手引き
1 数えるとは？
1.1 はじめに
1.2 カントからフレーゲへ――「論理学の革命？」
1.3 フレーゲ哲学の概観――「フレーゲ論理主義」のプロジェクト
1.4 フレーゲの処女作『概念記法（BS）』（1879）の発刊
2 『概念記法（BS）』第Ⅲ章、系列
2.1 フレーゲの「入れ子型多重量化（nested multiple quantification）理論」
3 『概念記法』の反響・評価
3.1 主査アッベの評価
3.2 基数論に向けて
第3章 フレーゲの基数論とパラドクス
1 個数を数える――算術の基礎』（1884）の基数論
2 主著『算術の基本法則』（1893）とパラドクス（1902）
2.1 ラッセルとの往復書簡
2.2 その後の基礎論・メタ数学
コラム6 アッベとツァイス財団の設立
第4章 言語哲学へ――意味論の原型
1 文脈原理と合成原理
2 意味（Bedeutung、meaning）と意義（Sinn、sense）、間接話法、知・信
3 指示詞，指標詞（indexicals）と広義の脈絡依存性
4 本来の、ないし実際の固有名論
5 虚構と意義
6 発話の力から行為遂行へ
7 比喩・陰影・色彩
8 宗教・倫理と哲学・論理学の研究との緊張――若干の実例
コラム7 アッベの社会政治的事業
第5章 フレーゲの論理・数学・言語の哲学における文脈的アプローチ
1 判断優位の原則（1）（PJ）：『概念記法（BS）』および関連論文における概念形成
1.1 判断優位と概念形成（Begriffsbildung）
1.2 判断可能（beurteilbar）な内容と論証の文脈
1.3 一般性表記とラテン文字
2 判断優位の原則（2）：『概念記法』第Ⅲ部における「概念記法-算術（BA）」
2.1 BS.Ⅲにおける算術的概念の形成
2.2 フレーゲの「概念記法-算術（BA）」
3 『算術の基礎（GLA）』における文脈原理とヒュームの原理（HP）
3.1 いわゆる「文脈原理（CP）」と同一性規準
3.2 抽象原理（AP）、ヒュームの原理および同一性規準
3.3 ジュリアス・シーザー問題
3.4 フレーゲの定理、有限および可算無限基数
3.5 『算術の基礎』─算術（GL-A）
4 『算術の基本法則（GGA）』における基本法則（V）
5 ラテン文字と一般性再論
6 フレーゲ論理学の意味論における「一般化された文脈原理（GCP）」
6.1 論理的に完全な言語、有意味な名前の帰納的拡張
6.2 一般化された文脈原理（GCP）ないし文脈的規準（CC）
7 命題的態度、間接的意味（意義（Sinn））および「真理保存的置換原理（SV）」
8 日常的固有名の意義（Sinn）と個人言語（idiolect）における話し手の意義（Sinn）
9 間接的文脈における日常的固有名
10 指示詞・指標詞の発話文脈への依存性抄4
11 日常的固有名の意味の文脈内固定性
第6章 現代の数学の哲学抄――その原型点描（デデキントからゲーデルまで）
1 デデキントの数論
2 フレーゲの論理主義とパラドクス
3 フレーゲの論理哲学の概要とその破綻
3.1 「普遍主義（universalism）」とメタ理論
3.2 『概念記法（Begriffsschrift）』とメタ的「説明言語（Darlegungssprache）」
3.3 名前形成の2つの方法
4 ラッセルのタイプ理論
5 フレーゲの論理・算術の哲学再訪
5.1 新フレーゲ主義
5.2 ダメッドの「文脈原理」講演（［Dummett 1993］、イエーナ）再訪
6 フレーゲの学説は維持しうるか
第7章 メタ数学へ――完全性・決定不能性
1 完全性前史─――フレーゲ、ポスト、ヒルベルト、ベルナイス
2 論理学とメタ数学（1917-1920）
2.1 ポスト完全性――命題論理の完全性
2.2 ヒルベルトの形式主義
2.3 ヒルベルトの後期形式主義――メタ数学の構想
2.4 ヒルベルトの証明論――ベルナイスの要約講演（1921年9月）とベルナイスの問い
3 ポスト完全性――命題論理の完全性
3.1 ヒルベルトとベルナイス
3.2 ベルナイスの完全性、無矛盾性、決定可能性
3.3 ヒルベルトの問題提起
3.4 ゲーデルの完全性定理
第8章 真理と証明・明証性――フレーゲ、フッサール、ゲーデル、マーティン・レーフの論理と数学の哲学瞥見
1 数学的直感――フッサールとゲーデル
2 フレーゲ瞥見
3 直感主義と真理・証明・明証性――マーティン・レーフ
付論 算術の有限な構成可能性について
第9章 論理と形而上学(メタフィジックス)
1 ゴットロープ・フレーゲの存在論
2 意義（Sinn）と意味（Bedeutung）
3 存在論的関与の規準
4 標準的古典論理学に見合う世界W1
4.1 W1の存在論
4.2 関数
4.3 世界W1とその構造連関
5 非標準的論理学の世界W2とW3
5.1 意義
5.2 W2の構造連関
5.3 W3の構造連関および意味論的関数
6 おわりに
第10章 可能世界意味論と多世界、そして形而上学(メタフィジックス)
1 多世界／ないし分岐宇宙とライプニッツの可能世界論
2 可能世界意味論と形而上学(メタフィジックス)
2.1 可能世界
3 貫世界同定
3.1 様相文脈での指示と真理
3.2 サンドウィッチ説
3.3 ソーセージ説
3.4 現実定位と超越的可能主義
4 直接指示理論と個体把握
4.1 直接指示性と固定性
4.2 文脈的表現の実用論(pragmatics)
4.3 固有名
4.4 〈個体〉指定の実用論的(プラグマティック)状況
5 自然種と自然種名
6 本質主義
6.1 必然的自己同一性
6.2 種・実体の本質主義
6.3 個体的本質
7 おわりに
第11章 言語・論理・数学と世界記述
1 日常言語の論理と世界
1.1 文脈依存的表現の意味論
1.2 日常語による世界把握へ
1.3 日常的事態の描写
1.4 類種の分類と構造化
2 論理学と世界
2.1 フレーゲ的な古典論理における論理的真理と世界
2.2 モデル論による論理的真理と世界
2.3 様相論理と可能世界
2.4 直感主義論理とクリプキ・モデル
3 数学と世界記述
3.1 数学的世界――プラトニズムと反実在論
3.2 科学の言語としての数学――実数・高階関数
3.3 数学の応用可能性
第12章 フレーゲ論理哲学的探究の全体的構成とメタ理論の可能性――《認識論的》位相に留意しつつ
1 フレーゲ「論理主義」の《認識論的》位相
2 フレーゲの哲学探究の全体的構成瞥見
2.1 論理学の革新と論理・算術の公理体系化
3 フレーゲ的メタ理論・意味論の可能性
3.1 論理哲学探究
付録1 日本におけるフレーゲ・ラッセル――論理・言語・数学の哲学
1 1915-1945
2 1945-1959
3 1960-1970
4 1971-1985
5 1986-2007
付記 海外からの反響
付録2 フレーゲ書簡集解題
1 フレーゲ・フッサール往復書簡（1891-1906）
2 リープマン宛のフレーゲ書簡（1900）
3 フレーゲ・ラッセル往復書簡（1902-1912）
3.1 値域・クラスとラッセルのパラドクス
3.2 論理的意味論
4 フレーゲ・ジャーデイン往復書簡（1902-1914）
5 フレーゲ・ディンクラー往復書簡（1910-1920）
6 ウィトゲンシュタイン宛のフレーゲ書簡（1914-1920）
コラム8 いわゆる「フレーゲの日記」から――（1924年3月10日-5月9日）
7 同僚の評価と往復書簡
7.1 イエーナでの評価
7.2 『書簡』を通して
8 フレーゲの講義風景――学生たちの回想
8.1 カルナップの回想
8.2 ショーレムの回想
コラム9 フレーゲの講義一覧：パラドクス発見以降の講義（1903-1918）
付録3 1970年代のアメリカ哲学界瞥見
付録4 日本科学哲学会50周年の回顧――個人的な想起から
1 1960 年代の京都 301
2 日本科学哲学会会員諸氏の活躍――初期からの点描
3 石本基金について
3.1 石本基金のはじまり
3.2 石本基金の設立と運営
3.3 石本基金追加のお申し出
付録5 コンスタンツ・オックスフォード滞在記
1 アメリカからドイツへ
2 コンスタンツ到着
3 オックスフォードへ
4 北オックスフォードに住んで
5 チュートリアルと講義
6 休暇
7 コンスタンツに戻って
8 ウィーン─プラハ─ゲッティンゲン
9 アルプス行
付録6 大江晁先生を偲んで
あとがきにかえて
