¿Son ciertas algunas afirmaciones? ¿Por qué o por qué no?

Answer 1

En la lógica proposicional, la “verdad” es un valor, no una propiedad. Las proposiciones no tienen propiedades, los predicados sí. Por ejemplo, en “mi carro es rojo”, “es” predice (o asigna) la propiedad “rojo” a “mi carro”. En “esta oración es verdadera”, también parece que “verdad” es una propiedad asignada a “esta oración”. Sin embargo, yo diría que no es lo mismo que el valor “verdad” que se puede asignar a “esta oración es verdadera” y “si esta oración es verdadera, entonces es falsa”. Para mí, no tiene sentido que una propiedad sea también un valor que pueda usarse para evaluarse a sí mismo, lo que lleva a paradojas autorreferenciales. Más bien, el contexto de la asignación de propiedades y el contexto de la asignación de valores son lo suficientemente diferentes como para distinguir entre “verdad” como valor y “verdad” como propiedad. Ya que su pregunta es sobre afirmaciones, afirmaciones o proposiciones, asumiré que usted quiere decir “verdad” como un valor.

Como valores, ‘verdadero’ y ‘falso’ son solo una interpretación semántica dada a los valores binarios 1 y 0. Estos valores pueden interpretarse de la manera que queramos, por ejemplo. como ‘on’ y ‘off’ en computadoras electrónicas.

Dejando de lado la interpretación, en lógica binaria, “p o no p” es siempre “verdadero”. Así es “no (p y no p)”. En lógica, se dice que la “verdad” es trivial porque es redundante y no proporciona ninguna información nueva. Solo desde la lógica no se puede evaluar nueva información. Por ejemplo, el valor de “si p entonces q” es indeterminado porque el valor de “q” no está determinado por “p”. Siempre que “q” sea “verdadero”, no importa qué valor se asigna a “p”.

Toda la información novedosa y significativa es indeterminada de la misma manera. Si la afirmación es cierta, es trivial y no significativa. Si es significativo, no se le puede asignar un valor de verdad solo por la lógica. Supongo que usted está interesado en verificar declaraciones verdaderas significativas, no solo en frases triviales.

Para aquellos necesitarás un método para asignar valores a predicados. Por ejemplo, para “mi carro es rojo”, necesitará un método para verificar que es, de hecho, mi carro, y para determinar qué significa ser “rojo”. Al definir sus términos (como el rojo) y los métodos (como la observación), está creando un conjunto de axiomas para evaluar las afirmaciones. Los propios axiomas no son evaluados, son asignados. Por lo tanto, las declaraciones válidas basadas en los axiomas son solo “verdaderas” en virtud de los supuestos. Para afirmaciones significativas sobre el mundo, esto es lo mejor que se puede obtener.

¡Y hay un montón de ellos! ¡Solo pregúntale a cualquiera!

Answer 2

Hay tres significados básicos de “verdadero”, como se aplica a las declaraciones:

• Normativo. “Todos los solteros están solteros”. Las definiciones son construcciones sociales, en la medida en que se utilizan para comunicarse. Son ciertas porque dices que son ciertas.

• Científicamente útil. Los modelos científicos que son demostrablemente confiables pueden ser útiles. Su decisión de confiar en cualquier modelo científico particular es un juicio de valor. Nos apoyamos mutuamente para desarrollar modelos científicos, junto con juicios de confiabilidad. En ese sentido, la ciencia es social. Los hechos son proposiciones que crees que deberían ser útiles para otros, independientemente de ti como observador.

• Matemáticamente / Logicamente probado. A diferencia de las proposiciones científicas, las proposiciones matemáticas pueden probarse como verdaderas; Es decir, libre de contradicción en su contexto. Los contextos y los axiomas de las matemáticas son ideados, y por lo tanto, pueden ser construcciones sociales, pero las pruebas en sí no lo son.

Creo que es confuso y desafortunado que usemos la misma palabra para tener significados potenciales tan diferentes.

Answer 3

Verdadero o falso es una distinción, y para poder hacerla uno debe probarlo. Para probarlo, tenemos este dispositivo llamado lógica, y nos hemos vuelto bastante buenos haciendo un buen uso de él. No todas las declaraciones son lógicas, y solo las declaraciones lógicas pueden probarse. Y solo se pueden probar utilizando otras declaraciones lógicas. Si vamos a limitarnos puramente a las declaraciones, en algún momento debemos encontrar definiciones en las que apoyarse para que algo sea cierto. La lógica persigue y rastrea la propagación de la verdad. No crea verdad, ni es una fuente de verdad.

Para crear la verdad, usamos la ciencia y la física para axiomatizar afirmaciones usando evidencia. Con la evidencia de que esta manzana es roja, “Esta manzana es roja”. se vuelve definitivo, y una verdad en la que podemos apoyarnos. Pero el problema es que “manzana” todavía debe referirse a la manzana “real”, y “rojo” todavía debe referirse al rojo “real”. Las declaraciones científicas son tan buenas como sus referencias y, en última instancia, también dependen de las definiciones de “qué es ser una manzana” y “qué es ser rojo”.

Pero en pocas palabras, es por eso que algunas afirmaciones son ciertas. Para confirmar esto, podemos comparar lo anterior con lo que podemos observar a nosotros mismos.

Answer 4

Sí, porque lo contrario es claramente falso.

Todas las declaraciones (incluida esta) son falsas.

Por lo tanto, la afirmación “Algunas afirmaciones son ciertas” debe ser cierta, probándose a sí misma.