Interpretación (lógica)

Interpretación (lógica)
Para otros usos de este término, véase Interpretación (desambiguación).

En lógica, una interpretación semántica es asignar significados a las variables que constituyen las fórmulas bien formadas de un lenguaje formal.[1] Como los lenguajes formales pueden definirse en términos puramente sintácticos, sus fórmulas bien formadas pueden no ser más que cadenas de símbolos sin ningún significado. Una interpretación otorga significado a esas fórmulas. El estudio general de las interpretaciones de los lenguajes formales se llama semántica formal.[1]

Una interpretación muchas veces (pero no siempre) permite determinar el valor de verdad de las fórmulas bien formadas de un lenguaje.[2] Si una interpretación asigna el valor de verdad verdadero a una fórmula o a varias fórmulas, entonces se dice que la interpretación es un modelo de esa fórmula o de esas fórmulas.[2]

Véase también

Notas y referencias

  1. ↑ a b Robert Audi, ed. (1999), «formal semantics» (en inglés), The Cambridge Dictionary of Philosophy (2da edición), Cambridge University Press 
  2. ↑ a b Véase la primera sección de Hodges, Wilfrid, «Model theory», en Edward N. Zalta (en inglés), Stanford Encyclopedia of Philosophy (Fall 2009 Edition), http://plato.stanford.edu/archives/fall2009/entries/model-theory/ 

Wikimedia foundation. 2010.

Игры ⚽ Поможем написать реферат

Mira otros diccionarios:

  • Interpretación (desambiguación) — Interpretación puede referirse a: Interpretación, una asignación de significados a una expresión lingüística en general. Interpretación (lógica), una asignación de significados a un lenguaje formal. Interpretación de lenguas, la actividad de… …   Wikipedia Español

  • Lógica de primer orden — La lógica de primer orden, también llamada lógica de predicados o cálculo de predicados, es un sistema formal diseñado para estudiar la inferencia en los lenguajes de primer orden.[1] Los lenguajes de primer orden son, a su vez, lenguajes… …   Wikipedia Español

  • Lógica modal — Una lógica modal es un sistema formal que intenta capturar el comportamiento deductivo de algún grupo de operadores modales.[1] Los operadores modales son expresiones que califican la verdad de los juicios.[1] Por ejemplo, en la oración es… …   Wikipedia Español

  • Lógica proposicional — En lógica, la lógica proposicional es un sistema formal diseñado para analizar ciertos tipos de argumentos. En lógica proposicional, las fórmulas representan proposiciones y las conectivas lógicas son operaciones sobre dichas fórmulas, capaces de …   Wikipedia Español

  • Lógica — La lógica es una ciencia formal y una rama de la filosofía que estudia los principios de la demostración e inferencia válida. La palabra deriva del griego antiguo λογική (logike), que significa «dotado de razón, intelectual, dialéctico,… …   Wikipedia Español

  • Lógica de descripción — Las lógicas de descripción, también llamadas lógicas descriptivas (DL por description logics) son una familia de lenguajes de representación del conocimiento que pueden ser usados para representar conocimiento terminológico de un dominio de… …   Wikipedia Español

  • Interpretación — Para otros usos de este término, véase Interpretación (desambiguación). Artículo principal: Hermenéutica Interpretar es el hecho de que un contenido material, ya dado e independiente del intérprete, es “comprendido” o “traducido” a una nueva… …   Wikipedia Español

  • Lógica empírica — La lógica empírica es la base del razonamiento empírico y por lo tanto del método empírico. Esta visión de la lógica proviene de la antigua Grecia. El término empírico deriva del griego antiguo de experiencia, έμπειρία, que a su vez deriva de έυ… …   Wikipedia Español

  • Lógica deóntica — Giotto di Bondone (1267 1337), Capilla Scrovegni en Padua, Italia. La lógica deóntica es un tipo de lógica modal usada para analizar formalmente las normas o las proposiciones que tratan acerca de las normas. Contenido …   Wikipedia Español

  • Lógica epistémica — La lógica epistémica es un campo de la lógica modal que se ocupa del razonamiento sobre el conocimiento. Mientras que la epistemología posee una larga tradición filosófica que se origina en la Grecia Antigua, la lógica epistémica es un desarrollo …   Wikipedia Español

Compartir el artículo y extractos

Link directo
… Do a right-click on the link above
and select “Copy Link”