ラムゼー・ルイス法
ラムゼイ・ルイス法は、数学者フランク・P・ラムゼイ[ 1 ]と哲学者デイビッド・K・ルイス[ 2 ]に考案された、理論的枠組み（科学理論など）に見られる用語を定義する方法です。この方法を用いることで、理論に現れる理論用語の集合を、理論自体の主張によって暗黙的に定義することができます。
概要
「電子」を記述しようとする科学理論は、本質的に抽象的です。なぜなら、誰も電子を直接観察したことがないからです。したがって、「電子」という概念の起源と内容は疑問視されています。この言葉は一体何を意味するのでしょうか？ラムゼイとルイスは、「電子」という用語の意味は、それを記述する科学理論、すなわち電子に関するあらゆる主張を通して暗黙的に生成されると提唱しました。電子とは、その理論のすべての記述が真であるような存在です。
しかし、理論におけるこれらの記述の中には、「電荷」や「スピン」といった、観測されていない実体や特性に言及するものもあります。例えば、「電子は陽子を引きつける」や「電子は負の電荷を持つ」といった記述では、「陽子」と「負の電荷」という用語が用いられています（後者は暗黙的に「電荷」の概念も用いています）。これらの特性は形式化され、それらを用いて記述（条件文など）が形成され、それらの記述が全体として用語の定義となります。
「シンクの中に電子がある」という文を考えてみましょう。これは、「P 1、 P 2、…、 P n（科学理論に含まれる理論的性質それぞれに1つずつ存在し、『電子性』（これはP 1に含まれる電子の本質にほぼ相当する）を持つ）が存在し、…（科学理論における記述だが、P 1、…、 P nは理論で用いられる「電荷」「電子である」などの具体的な用語に置き換えられている）であり、シンクの中にはP 1を持つ何かが存在する」という意味になります。
科学理論の物語形式を第 2 階論理に変換するプロセスは、一般に「ラムゼイ化」(「ラムジー化」と綴られることもあります) と呼ばれます。
例: 電子に関する科学理論には 3 つの原理しかないとします (これらの原理は、特性に関する記述であると見なすことができます)。
A1. 電子（P1を持つもの）は電荷（P2）を持ちます。
A2. 電荷（P2）を持つものはくすぐったいです。
A3. 電子（P1を持つもの）が雷を引き起こします。
さらに、上で概説したように、「電子性」の特性をP 1で示し、「電荷」の特性をP 2で示します。
すると、「私のポケットには電子がある」のような文の意味は次のようにラム化されます。
「 P 1とP 2という特性があり、( P 1を持つものはP 2も持ち、P 2を持つものはくすぐり、P 1を持つものは雷を引き起こし、私のポケットにはP 1を持つものがある)。」( Toraldo di Francia 1981 、p. 74、 Ramsey 2013を引用。)
注記
出典
- トラルド・ディ・フランシア、ジュリアーノ（1981）「2. 可逆性の物理学 §2.8 磁荷は存在するか？」『物理世界の探究』ケンブリッジ：ケンブリッジ大学出版局、p. 74、ISBN 0-521-29925-X,
... ここで、通常FP Ramsey (Ramsey, 1954; Sneed, 1971, 第3章と第4章も参照) にちなんで名付けられる手順について言及することができます。また、技術的な詳細すべてではなく、手順の要点のみを議論するように努めるべきです。理論用語が理論に現れるたびに、それを変数xに置き換え、その理論の前に「ある事柄xが存在し、その結果、」という表現を付記する必要があります。
- 元の出版物は — (1976)、L'Indagine del Mondo Fisico、Nuova biblioteca Scientifica Einaudi、Giulio Einaudi、ISBN 9788806447502、OCLC 762196245
- ルイス、デイヴィッド（1970）「理論的用語の定義方法」、Journal of Philosophy、67（13）：426–446、doi：10.2307/2023861、JSTOR 2023861
- ラムゼイ、フランク・P.（2013）[1931]、数学の基礎、テイラー＆フランシス、ISBN 978-1-134-52810-3トラルドディ フランシア 1981 年、p. 74
外部リンク
