Loading article…
ラムゼー・ルイス法は、数学者のフランク・P・ラムゼー[ 1 ]と哲学者のデイビッド・K・ルイス[ 2 ]によって考案された、理論的枠組み（科学理論など）に見られる用語を定義する方法です。この方法を用いることで、理論に現れる一連の理論的用語を、理論自体の主張によって暗黙のうちに定義することができます。
「電子」を記述しようとする科学理論は、誰も電子を直接観察したことがない以上、本質的に抽象的である。したがって、「電子」という概念の起源と内容は疑問視される。この言葉は一体何を意味するのだろうか？ラムジーとルイスは、「電子」という用語の意味は、それを記述する科学理論が電子について述べるすべての主張を通して、暗黙のうちに生成されると提唱した。電子とは、その理論のすべての記述が真である対象なのである。
しかし、理論における記述の中には、「電荷」や「スピン」といった、観測されない他の実体や性質に言及しているものがある。例えば、「電子は陽子を引き付ける」や「電子は負の電荷を持つ」という記述では、「陽子」と「負の電荷」という用語が用いられている（後者は暗黙のうちに「電荷」という概念も用いている）。これらの性質は形式化され、それらを用いて（条件文などの）記述が形成され、それらの記述を総合すると、その用語の定義となる。
「シンクの中に電子がある」という文を考えてみましょう。これは、次のような意味になります。「科学理論に関わるあらゆる理論的性質に対応する性質P 1、P 2、...、P nが存在し、（おおよそ電子の本質に相当する性質がP 1に含まれる）...（科学理論における記述だが、理論で用いられる「電荷」、「電子である」などの具体的な用語の代わりにP 1、...、P n が用いられている）、シンクの中にはP 1を持つ何かがある。」
科学理論の物語形式を二階述語論理に変換するプロセスは、一般に「ラムジー化」（Ramseyficationと綴られることもある）と呼ばれる。
例：電子に関する科学理論には3つの原理しかないと仮定します（これらの原理は、特性に関する記述と見なすことができます）。
A1. 電子（P1を持つもの）は電荷（P2）を持つ。
A2. 電荷を帯びたもの（P2）はあなたをくすぐります。
A3. 電子（P1を持つもの）は雷を引き起こします。
さらに、上記で概説した「電子性」の特性をP 1で表し、「電荷」の特性をP 2で表す。
すると、「ポケットに電子がある」のような文の意味は、以下のように分岐されます。
「性質P1とP2が存在し、 （ P1を持つものはP2も持ち、P2を持つものはくすぐったく、P1を持つものは雷を引き起こし、私のポケットにはP1を持つものがある）。」（Toraldo di Francia 1981 、p.74 、 Ramsey 2013を引用）。
...この時点で、通常FPラムジーにちなんで名付けられている手順について言及できます（ラムジー、1954年。スニード、1971年、第3章および第4章も参照）。また、すべての技術的な詳細ではなく、手順の要点のみを説明するように努めるべきです。理論の中で理論用語が現れるたびに、それを変数xに置き換え、その理論の前に「ある特定のものxが存在し、次のようになる」という表現を付ける必要があります。
・ラムゼイ・ルイス法の概要