Una oración de Ramsey (en inglés: Ramsey sentence) es una construcción lógico-formal usada en filosofía de la ciencia, filosofía del lenguaje, semántica y metafilosofía para representar el contenido de una teoría después de sustituir sus términos teóricos por variables cuantificadas existencialmente. La operación por la cual se obtiene una oración de Ramsey se denomina ramsificación.
Definición formal y puntualizaciones Sea un lenguaje dividido en dos subconjuntos de vocabulario no lógico:
un vocabulario de términos observacionales, originales o previamente comprendidos; un vocabulario de términos teóricos introducidos por una teoría.
Sea una teoría finitamente axiomatizable, o representable como la conjunción de sus axiomas:
La oración de Ramsey de , usualmente denotada o , es:
Aquí son variables del tipo lógico apropiado. Si los términos teóricos son predicados, las variables son variables predicativas o de orden superior; si los términos teóricos son nombres individuales, las variables son variables individuales. En una reconstrucción extensional, los predicados pueden tratarse como variables que toman como valores clases, relaciones o conjuntos de tuplas.
Ejemplo simple Supóngase una teoría muy simple que introduce un término teórico , leído como "ser electrón", y usa dos términos ya comprendidos: , "tener carga negativa", y , "dejar cierta traza en un detector". La teoría podría representarse así:
La oración de Ramsey correspondiente sustituye por una variable predicativa y cuantifica existencialmente sobre ella:
La teoría original dice que los electrones tienen carga negativa y dejan cierta traza. La oración de Ramsey dice que existe alguna propiedad o clase tal que todo lo que cae bajo tiene carga negativa y deja cierta traza. La diferencia filosóficamente importante es que la oración de Ramsey conserva la estructura funcional o relacional de la teoría, pero elimina la ocurrencia directa del término teórico "electrón".
Ejemplo con varios términos teóricos Si una teoría contiene dos términos teóricos, por ejemplo para "masa" y para "fuerza", y dos términos previamente comprendidos para "aceleración" y para una relación de medición, puede escribirse de modo esquemático como:
Su oración de Ramsey será:
La oración resultante no afirma que y sean las entidades o magnitudes designadas por "masa" y "fuerza"; afirma solo que existen algunas entidades, propiedades, magnitudes o relaciones e que satisfacen los papeles especificados por la teoría.
Semántica modelo-teórica Desde un punto de vista modelo-teórico, la oración de Ramsey puede entenderse mediante la noción de expansión de una estructura. Sea una estructura que interpreta únicamente el vocabulario . Entonces:
si y solo si es posible añadir a interpretaciones para los términos teóricos , obteniendo una expansión , tal que:
En otras palabras, la oración de Ramsey es verdadera en una estructura para el vocabulario no teórico si esa estructura puede expandirse de modo que la teoría original resulte verdadera.
Conservación del contenido observacional Una propiedad central de las oraciones de Ramsey es que, bajo las condiciones formales habituales, una teoría y su oración de Ramsey tienen las mismas consecuencias expresables solo en el vocabulario no teórico. Si es una oración que no contiene términos teóricos, entonces:
Esto significa que la ramsificación conserva las consecuencias observacionales u originales de la teoría. Por eso las oraciones de Ramsey fueron importantes para el empirismo lógico: parecían permitir la conservación del contenido empírico de una teoría sin mantener sus términos teóricos como constantes no lógicas primitivas.
La equivalencia no implica que la teoría original y su oración de Ramsey sean idénticas. La teoría original contiene términos teóricos; la oración de Ramsey los reemplaza por variables. Por ello, ambas pueden diferir en sus compromisos semánticos, ontológicos y epistémicos.
Historia
Ramsey Ramsey introdujo la construcción en "Theories". Allí distinguió entre un sistema primario, que contiene los términos y proposiciones relativos a los hechos que deben explicarse, y un sistema secundario, que introduce la construcción teórica destinada a explicar esos hechos.
El problema de Ramsey era si los términos del sistema secundario debían definirse explícitamente mediante términos del sistema primario. Su respuesta fue negativa: no es necesario proporcionar definiciones explícitas de todos los términos teóricos para usar legítimamente una teoría. En vez de ello, la teoría puede escribirse sustituyendo las funciones o predicados secundarios por variables existencialmente cuantificadas. Lo relevante de esta estrategia es que mostraba que, para muchas finalidades inferenciales, lo relevante era que hubiera alguna realización de la estructura teórica capaz de producir las consecuencias primarias de la teoría, no que cada término secundario recibiera una definición explícita en el vocabulario primario.
Hempel Carl Gustav Hempel discutió las oraciones de Ramsey en "The Theoretician's Dilemma" (1958), dentro de su análisis de los términos teóricos y de la función de las teorías científicas. Hempel subrayó que la ramsificación podía eliminar los términos teóricos en la letra, pero no eliminaba necesariamente el compromiso con entidades teóricas. La oración de Ramsey evita mencionar directamente términos como "electrón" o "campo electromagnético", pero sigue afirmando que existen entidades, propiedades o relaciones que realizan los papeles especificados por la teoría.
Carnap Rudolf Carnap incorporó la oración de Ramsey a su tratamiento de los términos teóricos y de la distinción analítico-sintético en las teorías científicas. En su enfoque, una teoría puede dividirse en dos componentes:
la oración de Ramsey , que expresa el componente sintético o factual; la oración de Carnap , que expresa el componente analítico o semántico.
La oración de Carnap se define así:
De este modo, la teoría original equivale lógicamente a la conjunción de su oración de Ramsey y su oración de Carnap:
Carnap quería usar esta descomposición para explicar cómo los términos teóricos reciben una interpretación parcial mediante los postulados teóricos y las reglas de correspondencia, sin reducirlos completamente a términos observacionales.
Lewis David Lewis reformuló la estrategia de Ramsey y Carnap en "How to Define Theoretical Terms" (1970) y "Psychophysical and Theoretical Identifications" (1972). Lewis no entendió la distinción relevante como una oposición absoluta entre términos observacionales y teóricos, sino como una distinción relativa entre términos ya comprendidos (O-terms u "old terms") y términos nuevos introducidos por una teoría (T-terms). Para Lewis, una teoría puede funcionar como una definición implícita de los términos que introduce. Si una teoría tiene una realización única, entonces los términos designan los ocupantes de los papeles especificados por la teoría.
La versión lewisiana usa una oración de Ramsey modificada, que exige unicidad:
La correspondiente oración de Carnap modificada puede escribirse así:
Esta estrategia tuvo gran influencia en el funcionalismo en filosofía de la mente y en el Plan de Canberra, donde los conceptos son analizados mediante los papeles que desempeñan dentro de una teoría científica, folk o filosófica.
Aplicaciones
Términos teóricos en ciencia Las oraciones de Ramsey fueron diseñadas para analizar el estatuto de términos científicos como "electrón", "gen", "campo magnético", "orbital molecular", "masa", "temperatura" o "carga electrica". Estos términos no siempre se introducen mediante definiciones explícitas, sino por su papel dentro de una teoría y por sus conexiones con procedimientos de medición, observación e inferencia.
La ramsificación permite representar ese papel sin exigir una definición reductiva del término teórico. En vez de definir "electrón" directamente mediante términos observacionales, la oración de Ramsey dice que hay alguna entidad, propiedad o relación que ocupa el papel de electrón dentro de la estructura de la teoría.
Realismo estructural La oración de Ramsey ha sido central en algunas versiones del realismo estructural. Según esta familia de posiciones, las teorías científicas exitosas pueden no describir correctamente la naturaleza intrínseca de las entidades inobservables, pero sí capturar aspectos estructurales de la realidad.
Grover Maxwell empleó la oración de Ramsey para expresar la idea de que el contenido cognitivo de una teoría puede capturarse estructuralmente: los términos teóricos son reemplazados por variables, pero las relaciones formales entre ellas se conservan. Posteriormente, John Worrall defendió el realismo estructural como una posición intermedia entre el realismo científico tradicional y el antirrealismo, especialmente a propósito de la continuidad matemática entre teorías científicas sucesivas.
La forma ramseyana de esta tesis puede expresarse así:
es aproximadamente verdadera, aunque pueda fallar en la referencia directa de algunos términos teóricos.
Esta estrategia fue desarrollada también por Pierre Cruse y David Papineau, quienes defendieron una forma de realismo científico que apela a la verdad aproximada de las oraciones de Ramsey, más que a la referencia exitosa de todos los términos teóricos de una teoría.
Filosofía de la mente En filosofía de la mente, Lewis usó la ramsificación para formular el funcionalismo. La idea básica es que los estados mentales pueden definirse por su papel causal dentro de una teoría psicológica: sus relaciones con estímulos, conductas y otros estados mentales.
Por ejemplo, si una teoría psicológica ordinaria dice que el dolor tiende a ser causado por alguna forma de daño corporal y termina generando quejas y conductas de evitación en quien lo padece, puede escribirse como:
donde es el término teórico "dolor", representa estímulos nocivos, quejas y conductas de evitación. La oración de Ramsey será:
Según el funcionalismo ramseyano, el dolor es aquello que ocupa el papel especificado por esa teoría. En versiones fisicalistas, la investigación empírica puede identificar ese ocupante con algún estado neurofisiológico.
Análisis conceptual El Plan de Canberra extendió la técnica ramseyana desde las teorías científicas hacia teorías filosóficas y de sentido común. El procedimiento se desarrollaría en los siguientes términos:
Se identifica una teoría que contiene el término . Se reemplaza por una variable . Se forma la oración de Ramsey . Se busca qué entidad, propiedad o relación realiza el papel .
Críticas Una de las críticas más importantes al uso filosófico de las oraciones de Ramsey procede de la objeción de Max Newman a la teoría estructural de la percepción de Bertrand Russell; siendo posteriormente retomada por William Demopoulos y Michael Friedman. La idea básica es que una estructura puramente formal no basta para identificar una relación específica en el mundo. Si solo se afirma que existe alguna relación con cierta estructura, entonces cualquier dominio con la cardinalidad adecuada puede realizar esa estructura. En términos esquemáticos:
puede resultar demasiado débil si no está restringida por condiciones no puramente estructurales.
El problema puede formularse así:
La oración de Ramsey elimina los términos teóricos y conserva solo una descripción estructural. Si las variables de segundo orden pueden tomar como valores cualquier relación o propiedad compatible con la cardinalidad del dominio, entonces la realización de la estructura puede volverse trivial. En tal caso, la oración de Ramsey no expresa más que la adecuación empírica de la teoría más una restricción de cardinalidad.
Por esta razón, algunos críticos sostienen que el realismo estructural basado exclusivamente en oraciones de Ramsey colapsa en una forma de empirismo o instrumentalismo.