政治科學中形式理論的運用與瓶頸 從賽局理論談起 - 東吳大學

2 東 吳 政 治 學 報 /2003/ 第 十 七 期
一 、 形 式 理 論 的 簡 化 功 能
在 當 代 主 流 政 治 學 期 刊 上 被 視 為 最 先 進 的 政 治 學 研 究 , 當 非 數 理 形 式 理
論 (formal theory) 莫 屬 , 它 和 統 計 相 關 性 分 析 最 大 的 不 同 , 在 於 統 計 分 析 是
用 歸 納 的 方 式 蒐 集 資 料 , 從 繁 多 的 資 料 中 整 理 出 相 關 變 數 之 間 系 統 化 的 聯
繫 , 並 用 以 為 檢 證 理 論 假 設 , 或 用 以 為 建 立 新 理 論 的 啟 發 。 相 對 於 此 , 形 式
理 論 ( 或 模 型 ) 是 用 演 繹 的 方 式 來 分 析 人 的 行 為 。 本 文 主 要 的 討 論 焦 點 , 是
關 於 形 式 理 論 在 知 識 論 方 面 的 意 義 。
為 什 麼 要 做 數 理 化 的 政 治 模 型 呢 嚴 格 講 , 既 然 數 學 作 為 符 號 邏 輯 也 是
一 種 語 言 , 則 凡 是 日 常 語 言 可 表 達 的 , 照 理 都 可 以 轉 化 ( 或 翻 譯 ) 成 符 號 邏
輯 來 表 達 , 比 如 用 n 代 表 數 量 。 如 果 語 言 是 一 種 結 構 或 邏 輯 , 可 以 指 涉 具 體
的 事 物 或 動 作 , 只 要 事 物 或 動 作 存 在 , 則 人 所 表 達 的 語 言 只 是 一 個 技 術 問 題 ,
不 涉 及 事 物 或 動 作 的 本 質 , 且 表 達 技 術 愈 好 , 指 涉 的 事 物 或 動 作 愈 清 楚 。 在
事 物 或 動 作 複 雜 到 日 常 語 言 難 以 清 楚 呈 現 時 , 藉 由 工 具 性 強 , 操 作 性 高 的 符
號 邏 輯 來 代 表 , 有 利 於 對 複 雜 現 象 的 溝 通 , 以 及 對 事 物 或 動 作 的 控 制 。
一 般 的 數 理 形 式 理 論 家 相 信 , 所 有 的 語 言 都 可 以 用 形 式 邏 輯 來 表 達 , 所
以 假 如 政 治 科 學 是 一 種 語 言 的 話 , 當 然 關 於 政 治 科 學 的 知 識 也 可 以 用 數 學 來
表 達 。 好 處 是 , 數 學 的 定 義 非 常 清 楚 , 邏 輯 非 常 嚴 謹 , 如 1+1=2, 如 果 定 義
域 與 對 應 域 之 間 的 函 數 關 係 並 非 f(x)=x 的 關 係 , 則 表 示 1+1 等 於 2 未 必 適 用 ,
即 f(1)+f(1) 不 等 於 f(2)。 有 時 候 , 某 種 非 線 性 的 函 數 關 係 比 線 性 關 係 更 貼 切 ,
社 會 科 學 裡 常 用 得 到 的 這 些 非 線 性 函 數 包 括 三 角 、 對 數 、 指 數 、 微 分 、 間 歇
函 數 等 等 。 這 些 定 義 精 準 的 函 數 , 經 由 數 理 化 模 型 ( 即 經 過 嚴 格 定 義 的 符 號 )
在 具 體 指 涉 事 物 、 或 事 物 與 事 物 之 間 的 邏 輯 關 係 時 , 所 發 展 出 來 的 知 識 , 是
什 麼 意 義 的 知 識 在 使 用 形 式 理 論 時 , 政 治 科 學 分 析 要 注 意 什 麼 事