¿Son verdaderas estas dos afirmaciones sobre la ramseyficación? [cerrado]

Simplemente parecen intuitivamente probables , aunque no me siento muy al tanto de qué son exactamente las oraciones de Ramsey.

  1. La ramseyficación de todo lo que es necesariamente verdadero en un sistema lingüístico lo deja invariable.

  2. Una teoría ramseyficada solo puede tener un referente no observable (ya que sus variables individuales no se refieren, sino que se refiere a la realidad no observable).

Tal vez debería buscar oraciones de Ramsey en Wikipedia para refrescar su memoria y luego aclarar la pregunta. Por ejemplo, ¿qué quiere decir con "solo se trata de lo que solo puede ocurrir una vez"? ¿Crees que una oración de Ramsey debe describir un solo evento?
@ColinMcLarty de memoria, las variables vinculadas no se refieren
@ColinMcLarty y, de memoria, la ramseyficación elimina los términos (no observables) que vuelven a aparecer. también, 1 parece ser el caso si todo a priori es analítico. !!!!
mal recordado, ¡oh bien!
@ColinMcLarty no estoy en condiciones de responder esto en absoluto, ¿alguna idea?

Respuestas (1)

OK, olvidé por completo qué son las oraciones de Ramsey .

En el punto 2, suponiendo que cada proposición a priori es analítica, entonces parece que cada una solo necesita un término reemplazando

Digamos que queremos explicar cuáles son las diferentes partes de un automóvil... Primero, transformamos nuestra teoría del automóvil en una oración existencialmente cuantificada, cuantificando todos los términos en negrita que nuestra audiencia aún no entiende.

x1 x2 (...y x1 mezcla gasolina y aire y envía la mezcla a x2, que a su vez...y eso hace que las ruedas giren.)

Esto se llama la oración de Ramsey para nuestra teoría del automóvil (en honor al filósofo y matemático Frank Ramsey). A continuación podemos definir qué es un carburador y una cámara de encendido de la siguiente manera:

Un carburador = un x1 tal que x2 (...y x1 mezcla gasolina y aire y envía la mezcla a x2, que a su vez...y eso hace que las ruedas giren.)

¿Correcto?

Entonces, suponiendo que la suma de los hechos analíticos no sume nada que no pueda expresarse en una proposición analítica, su suma solo expresa algo no relacional, como:

  • cada x es un hombre soltero.

Creo que la oración no es relacional porque todas las proposiciones analíticas nos dicen que es una definición: de un término que ahora se elimina.