Please enable JavaScript.
Coggle requires JavaScript to display documents.
¿Qué se corresponde con las fórmulas del lenguaje formal "p" o…
¿Qué se corresponde con las fórmulas del lenguaje formal "p" o "q" en los lenguajes naturales?
Esta es la búsqueda por
Portadores de Verdad
en los lenguajes naturales.
Condiciones mínimas de los portadores de verdad:
1) Sus miembros o partes no deben variar de valor
2) Todos sus miembros o partes tienen valor de verdad
Para este análisis de parte del siguiente supuesto "La verdad es algún tipo de predicado" o aquello que se afirma de un sujeto en una proposición.
Teorías de la Verdad
Teoría de Redundancia: plantean que pueden prescindir de los portadores de la verdad, dado que la verdad según ellos no es un predicado genuino, por lo que no necesita de un sujeto.
Teorías de adecuación: la adecuación por correspondencia plantea que debe existir una correspondencia entre un contenido afirmado con alguna realidad empírica.
Semántica de Tarski: establece que una oración es verdadera en X si y solo si es satisfecha por todos los objetos con que se ha definido una interpretación de X y falsa si no es satisfecha por ninguno
Teorías Pragmáticas: plantea que los portadores de verdad son útiles verificables o un predicado monádico, de algo útil para alguien
A esta pregunta se han dado múltiples respuestas en la historia de la filosofía de la lógica. Se ha dicho que los portadores de verdad son: Las oraciones-caso, algunas afirmaciones, situaciones, proposiciones, ninguna de las anteriores y finalmente la negación de la verdad.
Análisis de cada posible
Portador de Verdad:
Oración
: es una entidad lingüística, palabra o conjunto de palabras que expresa un sentido gramatical completo
Oraciones-Caso:
Entidades Concretas en un espacio y tiempo
El problema fundamental de establecer las oraciones caso como portadores de verdad es que requieren un contexto específico y sirven no en todas las situaciones, por lo que no podría establecerse como un Portador de Verdad universal. Además que se requiere tener en cuenta al emisor y su contexto para establecer dicha verdad, como si de una especie de esfera esfera espacio temporal se tratara. Por otra parte la lógica no busca la verdad empírica, sino la verdad lógica.
Oraciones Tipo:
Nociones abstractas o genéricas que se convierten en Oraciones Caso en un acto concreto.
Enunciado
: aquellas oraciones predicativas que pueden emitirse con pretensión de verdad (está sujeto a valorarse como falso o verdadero) es decir, que puede
Afirmarse
Proposición
: aquellos enunciados de función referencial, por ende transmite información objetiva del mundo que nos rodea
Nociones de Proposición
Desde el uso semántico:
es lo que captamos como verdadero o falso, en el sentido expresado en un enunciado y portador de un único valor de verdad
Desde el uso pragmático
: es el contenido de una aserción o una orden, lo que se dice al emitir un enunciado.
Uso Psicológico
: es el contenido de una creencia o deseo
Ontología de la Proposición
Entidad Lingüística: una sucesión de signos con cierta escritura
Estado de Cosas: objetos y propiedades del mundo
Entidad Intencional: Un ente abstracto.
Usos principales:
1) Como contenido de un enunciado en el sentido de lo que puede ser verdadero o falso en el mundo
2) Como contenido afirmado en una emisión particular de un enunciado: lo que puede ser objeto de creencia o deseo
Hallazgos finales
: Parece que en la búsqueda de los portadores de verdad no se puede prescindir completamente de los significados y connotaciones particulares que denotan un
Sentido
y una
referencia
, necesarios antes y después del lenguaje formal.