Метод Рэмси–Льюиса — это метод определения терминов, встречающихся в теоретических структурах (например, в научных теориях ), приписываемый математику Фрэнку П. Рэмси [1] и философу Дэвиду К. Льюису [2] . Используя этот метод, набор теоретических терминов, появляющихся в теории, может быть неявно определен утверждениями самой теории.
Научная теория , которая пытается описать « электроны », по своей сути абстрактна, поскольку никто никогда не наблюдал электрон напрямую. Таким образом, происхождение и содержание понятия «электрон» сомнительны. Что именно означает это слово? Рэмси и Льюис предположили, что значение термина «электрон» неявно порождается научной теорией, которая его описывает, через все ее утверждения об электронах. Электроны — это те вещи, о которых все утверждения теории верны.
Однако некоторые из этих утверждений в теории относятся к другим ненаблюдаемым сущностям и свойствам, таким как «заряд» или «спин». Например, «Электроны притягивают протоны » и «Электроны имеют отрицательный заряд» используют термины «протоны» и «отрицательный заряд» (при этом последний также неявно использует концепцию «заряда»). Эти свойства формализуются, утверждения (например, условные ) формируются с их использованием, и эти утверждения, взятые вместе, являются определением термина.
Рассмотрим предложение типа «В раковине находится электрон». Это означает что-то вроде: «Существуют некоторые свойства P 1 , P 2 , ..., P n (по одному для каждого теоретического свойства, участвующего в научной теории, с «электронностью» (что примерно соответствует сущности электрона , включенного как P 1 ), такие что... (утверждение в научной теории, но с P 1 , ..., P n вместо конкретных терминов, таких как «заряд», «является электроном» и т. д., используемых в теории), и в раковине есть что-то, что имеет P 1 ».
Процесс преобразования повествовательной формы научной теории в логику второго порядка обычно называется «рамсификацией» (иногда также пишется «рамсификацией»).
Пример: Предположим, что в нашей научной теории об электронах есть только три принципа (эти принципы можно рассматривать как утверждения, включающие свойства):
А1. Электроны (вещи, имеющие P1) имеют заряд (P2).
А2. Вещи с зарядом (P2) щекочут вас.
А3. Электроны (вещи, имеющие P1) вызывают молнию.
Кроме того, мы включаем свойство «электронности», как указано выше, которое будет обозначено как P 1 , и свойство «заряда», которое будет обозначено как P 2 .
Тогда значение предложения типа «У меня в кармане электрон» разветвляется на:
«Существуют свойства P 1 и P 2 такие, что (вещи с P 1 также имеют P 2 , и вещи с P 2 щекочут вас, а вещи с P 1 вызывают молнию, и в моем кармане есть вещь с P 1 )». (Торальдо ди Франчиа 1981, стр. 74, который цитирует Рэмси 2013.)
... В этом месте мы можем упомянуть процедуру, обычно называемую в честь FP Ramsey (Ramsey, 1954; см. также Sneed, 1971, главы 3 и 4). Мы также должны попытаться обсудить только суть процедуры, а не все технические детали. Каждый раз, когда теоретический термин появляется в теории, следует заменить его переменной x , а теории должно предшествовать выражение «существует некоторая вещь x , такая что».
• Краткое описание метода Рэмси-Льюиса