Las oraciones de Ramsey son reconstrucciones lógicas formales de proposiciones teóricas que intentan trazar una línea entre la ciencia y la metafísica. Una oración de Ramsey tiene como objetivo aclarar las proposiciones que contienen términos teóricos no observables (términos empleados por un lenguaje teórico ) sustituyéndolos por términos observacionales (términos empleados por un lenguaje de observación , también llamado lenguaje empírico ).
Las oraciones de Ramsey fueron introducidas por el filósofo empirista lógico Rudolf Carnap . Sin embargo, no deben confundirse con las oraciones de Carnap, que son neutrales sobre si existe algo a lo que se aplica el término. [1]
Para Carnap, preguntas como: “¿Son reales los electrones ?” y: "¿Puedes probar que los electrones son reales?" no eran preguntas legítimas que implicaran una gran importancia filosófica/ metafísica . Eran "pseudopreguntas sin contenido cognitivo" sin sentido, formuladas desde fuera de un marco de lenguaje de la ciencia. Dentro de este marco, entidades como los electrones o las ondas sonoras , y relaciones como la masa y la fuerza no solo existen y tienen significado, sino que son ". útil" para los científicos que trabajan con ellos. Para acomodar tales preguntas internas de una manera que justifique empíricamente su contenido teórico, y hacerlo manteniendo una distinción entre analítico y sintético .proposiciones: Carnap se propuso desarrollar una forma sistematizada de consolidar la teoría y la observación empírica en una fórmula de lenguaje significativa.
Carnap comenzó diferenciando las cosas observables de las no observables. Inmediatamente surge un problema: ni el idioma alemán ni el inglés distinguen de forma natural los términos predicativos sobre la base de una categorización observacional. Como admitió Carnap, "La línea que separa lo observable de lo no observable es altamente arbitraria". Por ejemplo, el predicado "caliente" se puede percibir tocando con la mano un carbón encendido. Pero "caliente" podría tener lugar en un micronivel tal (por ejemplo, el "calor" teórico generado por la producción de proteínas en una célula eucariota ) que es prácticamente no observable (en la actualidad). El físico y filósofo Moritz Schlickcaracterizó la diferencia lingüísticamente, como la diferencia entre los verbos alemanes "kennen" (saber como estar familiarizado con una cosa - percepción) y "erkennen" (saber como entender una cosa - incluso si no es observable). Esta distinción lingüística puede explicar la decisión de Carnap de dividir el vocabulario en dos categorías artificiales: un vocabulario de términos no observables ("teóricos") (en adelante "V T "): es decir, términos que conocemos pero no conocemos (erkennen) , y un vocabulario de términos observables (" VO "), aquellos términos con los que estamos familiarizados (kennen) y aceptaremos arbitrariamente. En consecuencia, los términos así distinguidos se incorporaron en estructuras de oraciones comparables:T-términos en frases teóricas ( T-frases); O-términos en oraciones observacionales ( O-frases ).