Para que una proposición [math] P [/ math] contenga alguna información, debe ser posible construir un ejemplo de tal manera que [math] P [/ math] no se mantenga. En otras palabras, para que [matemáticas] P [/ matemáticas] sea algo más que una tautología, debe ser lógicamente posible imaginar un mundo posible en el que no se mantenga. Ahora considere el argumento del escéptico:
P: es imposible que algo en este mundo sepa que no se trata simplemente de una simulación realizada en una realidad externa.
Considere lo que sucede si aceptamos esta declaración. Por recursividad, esta declaración se aplica a cualquier entidad en cualquier “realidad externa”. Por lo tanto, esto es equivalente a lo siguiente:
P *: es imposible para cualquier cosa que existe saber que su mundo es real
- ¿Cuál es la peor religión en el mundo moderno?
- ¿Es el agnosticismo una religión?
- ¿Dónde puedes leer sobre religiones si no sabes cuál seguir?
- Si las religiones se separaran en países individuales, ¿qué país / religión habría hecho más avances en 1,000 años?
- ¿Hay un lugar para la religión en la sociedad moderna (o futura)?
Por lo tanto, se hace imposible demostrar cualquier mundo posible en el que P * no se mantenga. Por lo tanto, las palabras “cosa”, “existe”, “mundo” y “real” pierden todo significado. Por lo tanto, la proposición original P pierde todo significado.