形式科学とは、数学・論理学・統計学のように、実際の物や出来事を観察するのではなく、記号やルール（公理）から論理的に「証明」して正しさを確かめる学問のことです。
簡単な説明
「三角形の内角の和は180度」は、紙の三角形を何万個も測って確かめたわけではありません。決められた前提から順に考えを進めて（演繹して）証明したものです。このように、観察ではなく論理で正しさを決める学問を形式科学といいます。
これに対して、観察や実験でデータを集めて確かめる学問を経験科学といいます。心理学は経験科学ですが、データを分析する道具として、統計学という形式科学を使っています。
由来
「形式科学」と「経験科学（実在科学）」を分ける考え方は、論理実証主義の哲学者ルドルフ・カルナップ（Rudolf Carnap）が1935年の論文「形式科学と実在科学」で整理したことで広まりました。形式科学の文は経験的な内容をもたず、論理の規則だけで正しさが決まるとされます。
具体的な説明
形式科学と経験科学のちがい
| 形式科学 | 経験科学 | |
|---|---|---|
| 例 | 数学・論理学・統計学・理論計算機科学 | 物理学・生物学・心理学・社会学 |
| 対象 | 記号・数・論理の関係 | 実際の物・生き物・人の行動 |
| 確かめ方 | 証明（演繹） | 観察・実験・調査（データ） |
| 正しさ | 前提とルールが同じなら必ず成り立つ | 新しいデータで修正されることがある |
心理学との関係
心理学は人の心と行動を観察・実験で調べる経験科学です。そのうえで、次のような場面で形式科学の道具を使います。
- 統計学：平均の差が偶然かどうかを確かめる（t検定・分散分析など）
- 測定の理論：テストの信頼性や妥当性を数式で表す（心理測定）
- 数理モデル：記憶や意思決定のしくみを数式で表して予測する（数理心理学）
ここで大事なのは、統計の計算そのもの（形式科学）は正しくても、そのデータが本当に心の性質を測れているか（経験科学の問題）は別に確かめる必要があることです。
演繹と帰納
形式科学は前提から結論を必ず導く演繹的推論を使います。経験科学は、たくさんの観察から一般的な法則を推測する帰納も使います。
形式科学の例
| 分野 | 何を扱うか | 心理学との関わり |
|---|---|---|
| 数学 | 数・図形・関数などの関係 | 数理モデル、計算の基礎 |
| 論理学 | 正しい推論のルール | 仮説の立て方、推論の研究 |
| 統計学 | データのばらつきと推測のルール | 検定、相関、因子分析 |
| 理論計算機科学 | 計算や情報処理の理論 | 認知を情報処理として表すモデル |
| ゲーム理論・決定理論 | 合理的な選び方の理論 | 囚人のジレンマ、意思決定の研究 |
統計を使うときに気をつけること
統計の計算は形式科学なので、前提（条件）が満たされていれば、答えは必ず正しく出ます。しかし、心理学では次の点に注意が必要です。
- 前提が満たされているか：多くの検定は「データが正規分布に近い」などの前提の上に成り立っています。前提がくずれると、計算は正しくても結論はまちがうことがあります。
- 統計的に有意＝大事、ではない：「偶然とは言いにくい差」があることと、その差が実生活で意味のある大きさかどうかは別の話です。
- 測っているものが正しいか：質問紙の点数が本当に「不安」を測れているか（妥当性）は、統計の計算だけでは決まりません。
つまり、形式科学（統計）は「正しく計算する道具」で、何を測り、どう解釈するかは経験科学としての心理学の仕事です。
学問全体の中での位置
学問は、大きく「形式科学」と「経験科学」に分けられます。経験科学はさらに、自然を扱う自然科学と、人や社会を扱う社会科学などに分けられます。心理学は、脳や行動を測る点では自然科学に近く、人の関係や社会を扱う点では社会科学にも近い、その間にある学問です。
また、ドイツの哲学者ヴィンデルバントは、経験科学を「一般的な法則を求める法則定立的な学問」と「1回きりの出来事をくわしく記述する個性記述的な学問」に分けました（法則定立的な自然科学）。心理学には、実験で法則を求める研究と、事例をくわしく調べる研究の両方があります。
心理学の歴史と数学
心理学と数学の結びつきは古く、1860年にフェヒナーは『精神物理学要綱』で、刺激の強さと感じ方の強さの関係を数式で表しました（フェヒナーの法則）。現在も、記憶や意思決定を数式で表す数理心理学や、テストの得点を分析する心理測定学として受けつがれています。
演繹と帰納のちがいを具体例で
| 演繹 | 帰納 | |
|---|---|---|
| 進め方 | 一般的な前提 → 個別の結論 | 個別の観察 → 一般的な結論 |
| 例 | 「人はみな死ぬ」「ソクラテスは人だ」→「ソクラテスは死ぬ」 | 「見たカラスはみな黒い」→「カラスは黒い」 |
| 確かさ | 前提が正しければ結論は必ず正しい | 新しい観察で否定される可能性がある |
| 主に使う学問 | 形式科学 | 経験科学 |
心理学の研究では、理論から仮説を導くときに演繹を、データから一般的な傾向を見つけるときに帰納を使います。両方を行き来しながら、理論を確かめたり作り直したりしていくのが、経験科学としての心理学の進め方です。
よくある誤解
- 「数式を使っていれば形式科学」→心理学や物理学も数式を使いますが、最終的に観察やデータで確かめるので経験科学です。
- 「形式科学は現実と関係ない」→現実を直接観察はしませんが、統計学や数学は経験科学を支える大切な道具です。
- 「統計で有意なら理論は証明された」→経験科学では、データは理論を支持するだけで、数学のように「証明」はできません。新しいデータで修正されることがあります。
試験で押さえるポイント
- 形式科学＝数学・論理学・統計学など、証明（演繹）で確かめる
- 経験科学＝観察・実験で確かめる。心理学はこちら
- 心理学は統計学などの形式科学を道具として使う
心理学で使われる数理モデルの例
- 信号検出理論：かすかな音が「聞こえた」と答えるとき、本当に聞き分ける力（感度）と、「あり」と答えやすいくせ（判断基準）を、数式で分けて表します。
- レスコーラ＝ワグナー・モデル（1972年）：条件づけで、予想と実際の結果のずれ（予測誤差）が大きいほど学習が進むことを数式で表しました。
どちらも、数式という形式科学の道具を使って、心の働きを予測できる形に表した例です。ただし、そのモデルが本当に人や動物の行動に合うかどうかは、実験データで確かめる必要があります。
例文
- 心理学の論文で使われる統計の手法は、形式科学である統計学の成果です。
- 「数学は実験しなくても正しさがわかる」というのは、数学が形式科学だからです。
疑問
Q: 統計学は形式科学ですか、経験科学ですか？
A: 数学的な理論としての統計学は形式科学に分類されます。ただし、データを集めて分析する応用の場面では、経験科学と組み合わせて使われます。
Q: 心理学は形式科学ですか？
A: いいえ。心理学は観察や実験をもとにする経験科学です。統計や数理モデルなど、形式科学の道具を使っています。
Q: 形式科学の知識は実験で否定されることがありますか？
A: 前提とルールが同じなら結論は変わりません。ただし、その数式が現実に当てはまるかどうかは、経験科学の側で確かめる必要があります。
理解度を確認する問題
問題1：形式科学に分類されるものはどれですか。
A) 生理学 B) 論理学 C) 社会心理学 D) 天文学
正解：B
解説：論理学は観察ではなく推論の規則で正しさを決める形式科学です。
問題2：形式科学で正しさを確かめる方法として最も適切なものはどれですか。
A) 実験 B) 調査 C) 証明 D) 観察
正解：C
解説：形式科学は前提から演繹的に証明します。
問題3：心理学と形式科学の関係として正しいものはどれですか。
A) 心理学は形式科学の一分野である B) 心理学は統計学などの形式科学を分析の道具として使う C) 心理学は形式科学を使わない D) 心理学の結論は証明だけで決まる
正解：B
解説：心理学は経験科学で、統計学などを道具として使います。
関連キーワード
- 経験科学
- 演繹的推論
- 法則定立的な自然科学
- 統計学
- 心理測定
関連論文
まずこの1本：Carnap, R. (1935). Formalwissenschaft und Realwissenschaft. Erkenntnis, 5(1), 30–37. https://doi.org/10.1007/BF00172279
形式科学と実在科学（経験科学）の区別を整理した論文です。試験では「形式科学＝証明で確かめる」「経験科学＝観察・実験で確かめる」という区別と、心理学がどちらに入るかが問われます。
ほそめがねのひとこと
覚え方
「形式（けいしき）は計算と式（しき）で証明、経験は実験で確認」。「しき」と「けん」の音で区別しましょう。
コメント