Verdad y lenguaje

 "Verdadero" es un predicado que se aplica a entes lingüísticos. Decimos que un enunciado "p" es verdadero bajo determinadas condiciones. Por extensión, conjuntos de enunciados: teorías, creencias, razonamientos tambien son sujetos de ese predicado.

Sin entrar en muchos detalles, me adhiero a la concepción de que el predicado verdadero no forma parte del lenguaje descriptivo ordinario de primer nivel, ese lenguaje que hace referencia al mundo exterior y designa objetos, entes de todo tipo, sucesos y hechos externos al sujeto hablante. Decimos que un enunciado es verdadero porque estamos en un nivel distinto, llámese en el metalenguaje o en un lenguaje con un dominio diferente (del lenguaje referencial natural).

Referencia

Un lenguaje es un conjunto de signos que representan cosas, hechos, sucesos... cualquier elemento externo al hablante y se refieren a ese elemento (referente). El conjunto de referentes de un lenguaje son su dominio. De esta manera hablamos del lenguaje musical, lenguaje corporal, lenguaje verbal.... 

Dominio

Como indicado, el dominio es el conjunto de los referentes de un lenguaje dado

Signos linguisticos

Conjunto de los elementos significativos (con referente) del lenguaje en cuestión.

Verdad

Como comentado en otro post, la verdad puede referirse tanto a la característica de corrección interna del lenguaje (verdad formal) como a la correspondencia con los referentes externos. Son muy diversas las teorias que se han dado sobre la verdad:

Teoria de la correspondencia

Teoria de la coherencia

Teoria pragmática o utilitarista

Teoría semántica

...

Mi aproximación al problema es la siguiente: El lenguaje cientifico, que huye de la vaguedad y la imprecisión genera conceptos instrumentales, esto es, define los conceptos en función de métodos de medida y control. No es que cree su propio mundo, es que filtra, abstrae y sintetiza el mundo exterior,  definiendo caracteristicas observables en función de sistemas de medida. En ese, su dominio, la verdad se caracteriza como correspondencia con los tipos definidos.

Esta zona intermedia, que es objetivada, supraindividual y convencional es el lugar donde la verdad queda definida y caracterizada.

Veamos algunos ejemplos.

En nuestra experiencia sensorial percibimos algo que aprendemos a denominar frio y/o calor. Ambos conceptos no tienen un correlato en el exterior y es indeterminado lo que es frio o calor... imprecision y vaguedad del lenguaje... Esa caracteristica se transforma en temperatura en el discurso cientifico y se establece y define en función de aparatos de medida y patrones convencionales-arbitrarios. A partir de este momento, el concepto es util, cuantificable y verificable en el proceso cientifico. Mientras que decir que algo está caliente es cuestionable según los sujetos intervinientes y el contexto, el hecho de que algo esté a una determinada temperatura si es cientificamente verificable. Ese es el lugar de lo verdadero y lo falso, el lugar de la contrastación experimental...

seguirá.

(en construcción)

Manuel

vogelfrey@hotmail.com

Lógica probabilistica

La lógica probabilística es una lógica de sucesos, no de hechos. En este sentido podemos denominarla lógica predictiva pues pretende ser una herramienta científica de conocimiento sobre el futuro. No se ocupa de verdades universales ni de hechos verificables en el presente, así pues, no enunciaremos que el oro es dorado o que el cuadrado de la hipotenusa...

La lógica probabilística (en adelante lp) es una lógica bivalente en el sentido que otorga a los enunciados y teoremas valores de verdad o falsedad. Estos valores son considerados opuestos y contradictorios, sin embargo, a diferencia de la lógica clásica, una predicción de futuro nunca es verdadera o falsa, si no que tiene una probabilidad de serlo. 

En línea con lo dicho y para poner ya un ejemplo de lp, no podemos considerar que sus argumentos o inferencias sean deductivas o inductivas. Ambos tipos de argumentos deducen verdades verificables a partir de hechos verificables en el presente; un enunciado de lp podría ser "La probabilidad de que el jueves llueva es del 75%" "Con el 98% de probabilidad, el presidente electo será X"  y similares.

Tipos de enunciados

En la formalización del lenguaje estadístico y probabilístico consideramos dos tipos de enunciados, los enunciados factuales que predicen sucesos futuros y enunciados correlacionales, que afirman la vinculación entre sucesos. En el primer tipo consideramos enunciados del tipo "Lloverá", en el segundo, "Fumar aumenta el riesgo de padecer cáncer de pulmón".

Mientras que los primeros describen sucesos independientes que tienen lugar o no, el segundo tipo enuncia una relación entre sucesos y por tanto no afirman ningún hecho aislado si no una correlación, una interdependencia entre hechos individuales. Esta relación se establece en lenguajes naturales con particulas como "si .... entonces", ".... si y solo si...", "cuando ...., ....", ".... a menos que..." etc. Siempre hay dos enunciados de los que se enuncia una relación interna entre ellos, no su realidad o existencia.

El lenguaje: conectores

La negación: Invierte el valor de verdad de la proposición. Afirma la falsedad de una proposición. "No hará sol"

La conjunción de enunciados factuales consiste en la afirmación simultanea de dos sucesos. "Lloverá y la temperatura media sera de 15 grados */- 0.5". Para que tal enunciado sea verdadero, ambos tendrán que serlo.

La disyunción. "o". Alguno de los enunciados intervinientes tiene que ser verdadero.

La disyunción exclusiva: alguno de los enunciados es verdadero, pero no los dos.

Enunciados y probabilidad

Hablar del futuro siempre es hacer conjeturas, es decir, establecer hechos con una cierta probabilidad.

Álgebra de relaciones

Definiciones;

Dado cualquier enunciado e sobre la probabilidad de un suceso, escribimos P(e) para denotar la probabilidad de que se produzca, se presente, se haga real o verdadero e.

P(e) siendo e cualquier enunciado probabilistico, 0>= P(e) <=1. "0" indica que no hay probabilidad de que el suceso se presente, se actualice, "1" la probabilidad es total.

Negación:

Dado e, escribimos -e para significar el contrario de e. Siendo e "probabilidad de que mañana llueva", por ejemplo, -e es la "probabilidad de que mañana no llueva". Dada la P(e), P(-e) = 1 - e

Conjunción: 

Dadas P(q) y P(r), P(q y r) = P(q) * P(r)

Disyunción:

Dadas P(q) y P(r), P(q o r) = P(q) + P(r)

Disyunción excluyente:

Dadas P(q) y P(r), P(q o r) =  P(q) + P(r) -( P(q) * P(r))

 

 

 

Incompleto

Comentarios vogelfrey@hotmail.com