Метод Рэмси – Льюиса

Метод Рэмси -Льюиса — это метод определения терминов, встречающихся в теоретических основах (например, в научных теориях ), приписываемый математику Фрэнку П. Рэмси. и философ Дэвид К. Льюис . Используя этот метод, набор теоретических терминов, появляющихся в теории, может быть неявно определен утверждениями самой теории.

Обзор

Научная теория , которая пытается описать « электроны », по своей сути абстрактна, поскольку никто никогда не наблюдал электрон напрямую. Таким образом, происхождение и содержание понятия «электрон» вызывают сомнения. Что конкретно означает это слово? Рэмси и Льюис предположили, что значение термина «электрон» неявно порождается научной теорией, которая его описывает, через все ее утверждения об электронах. Электроны — это те вещи, относительно которых верны все утверждения теории.

Однако некоторые из этих утверждений теории относятся к другим ненаблюдаемым объектам и свойствам, таким как «заряд» или «спин». Например, «Электроны притягивают протоны » и «Электроны имеют отрицательный заряд» используют термины «протоны» и «отрицательный заряд» (причем последний также неявно использует понятие «заряд»). Эти свойства формализованы, утверждения (например, условные выражения с их использованием формируются ), и эти утверждения, взятые вместе, являются определением термина.

Рассмотрим такое предложение, как «В стоке есть электрон». Это означает что-то вроде: «Существуют некоторые свойства P ₁ , P ₂ , ..., P _n примерно соответствует сущности (по одному для каждого теоретического свойства, включенного в научную теорию, с «электронностью» ( что электрон включен как P ₁ ) так, что... (утверждение научной теории, но с P ₁ , ..., P _n вместо конкретных используемых терминов, таких как «заряд», «является электроном» и т. д.) по теории), и в раковине есть что-то, что имеет P ₁ ».

Процесс преобразования повествовательной формы научной теории в логику второго порядка обычно называют «рамсификацией» (иногда также пишется «рамсейфикацией»).

Пример: предположим, что в нашей научной теории электронов есть только три принципа (эти принципы можно рассматривать как утверждения, включающие свойства):

А1. Электроны (вещи, имеющие P1) имеют заряд (P2).

А2. Вещи с зарядом (P2) вас пощекочут.

А3. Электроны (вещи, имеющие P1) вызывают молнию.

Кроме того, мы включаем свойство «электронности», как указано выше, которое будет обозначаться P ₁ , и свойство «заряда», которое будет обозначаться P ₂ .

Тогда значение такого предложения, как «У меня в кармане электрон», рамсифицируется в:

«Есть свойства P ₁ и P ₂ такие, что (вещи с P ₁ также имеют P ₂ , и вещи с P ₂ щекочут вас, и вещи с P ₁ вызывают молнию, и в моем кармане есть вещь с P ₁ ). " ( Торальдо ди Франсия 1981 , стр. 74, который цитирует Рэмси 2013 ).

Источники

• Торальдо ди Франсия, Джулиано (1981), «2. Физика обратимого §2.8 Существуют ли магнитные заряды?» , Исследование физического мира , Кембридж: Издательство Кембриджского университета, стр. 74, ISBN  0-521-29925-Х , ... Здесь можно упомянуть процедуру, обычно называемую в честь Ф. П. Рэмси (Ramsey, 1954; см. также Sneed, 1971, Chaps, 3 и 4). Также следует постараться обсудить только суть процедуры, а не все технические детали. Всякий раз, когда в теории появляется теоретический термин, его следует заменить переменной х , а теории должно предшествовать выражение «существует некоторая вещь х такая, что».
  • Первоначально опубликовано как - (1976), Исследование физического мира , научная библиотека Нового Эйнауди, Джулио Эйнауди, ISBN  9788806447502 , OCLC   762196245
• Льюис, Дэвид (1970), «Как определить теоретические термины», Journal of Philosophy , 67 (13): 426–446, doi : 10.2307/2023861 , JSTOR   2023861
• Рэмси, Фрэнк П. (2013) [1931], Основы математики , Тейлор и Фрэнсис, ISBN  978-1-134-52810-3 цитируется Торальдо ди Франсия 1981 , с. 74

Внешние ссылки

• Краткое описание метода Рэмси – Льюиса.