Semántica formal

Semántica formal

La semántica formal es el estudio de las interpretaciones de los lenguajes formales.[1] Los lenguajes formales pueden definirse sin necesidad de dar ningún significado a sus expresiones.[1] Una interpretación de un lenguaje formal es básicamente una asignación de significados a sus símbolos, y de condiciones de verdad a sus fórmulas bien formadas.[1]

Un objetivo importante de la construcción de una semántica formal para un lenguaje formal es la caracterización de la relación de consecuencia lógica en términos semánticos, y la demostración de metateoremas a partir de esa caracterización.[1] Una vez definido lo que es una interpretación para un lenguaje formal, se dice que una fórmula A es una consecuencia semántica de un conjunto de fórmulas Γ, si y sólo si para toda interpretación que hace verdaderas a las fórmulas en Γ, A también es verdadera.[1]

Semántica denotacional

Dar una semántica denotacional para un lenguaje consiste en definir funciones de valoración semántica que asignan a cada elemento del lenguaje un objeto matemático (como un conjunto) que modele su significado.

Véase también

Notas y referencias

  1. ↑ a b c d e Robert Audi, ed. (1999), «formal semantics» (en inglés), The Cambridge Dictionary of Philosophy (2da edición edición), Cambridge University Press 

Wikimedia foundation. 2010.

Игры ⚽ Поможем решить контрольную работу

Mira otros diccionarios:

  • Semántica operacional — La semántica operacional es uno de los enfoques de la semántica formal, en el que el significado de una construcción de lenguaje es especificado por la computación que la induce cuando es ejecutada en una máquina hipotética. La semántica… …   Wikipedia Español

  • Semántica — Este artículo o sección necesita referencias que aparezcan en una publicación acreditada, como revistas especializadas, monografías, prensa diaria o páginas de Internet fidedignas. Puedes añadirlas así o avisar al auto …   Wikipedia Español

  • Semántica de transformación de predicados — La semántica de transformación de predicados es una extensión de Lógica de Floyd Hoare ideada por Edsger Dijkstra y extendida y refinada por otros investigadores. Esta extensión fue presentada por Dijkstra en sus artículos titulados Guarded… …   Wikipedia Español

  • Lenguaje formal — Esta imagen muestra la relación entre las cadenas de caracteres, las fórmulas bien formadas y los teoremas. En algunos sistemas formales, sin embargo, el conjunto de los teoremas coincide con el de las fórmulas bien formadas. En matemáticas,… …   Wikipedia Español

  • Gramática formal — Esta imagen muestra la relación entre las cadenas de caracteres, las fórmulas bien formadas y los teoremas. En algunos sistemas formales, sin embargo, el conjunto de los teoremas coincide con el de las fórmulas bien formadas. Una gramática formal …   Wikipedia Español

  • Web semántica — La Web semántica o Web 3.0 (del inglés semantic web) es la Web de los datos ...[1] Se basa en la idea de añadir metadatos semánticos y ontológicos a la World Wide Web. Esas informaciones adicionales que describen el contenido, el significado y la …   Wikipedia Español

  • Método formal — En ingeniería de software un método formal es un camino a la construcción y análisis de modelos matemáticos que permitan una automatización del desarrollo de sistemas informáticos. Los métodos formales se caracterizan por emplear técnicas y… …   Wikipedia Español

  • Cosa (semántica) — Saltar a navegación, búsqueda Para otros usos de este término, véase cosa. La palabra carente de contenido material equivalente a algo. Un concepto formal, que, sin embargo, quiere expresar lo concreto, individualizado, aunque no especificado, y… …   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

  • Simple Knowledge Organization System — (SKOS) Desarrollador World Wide Web Consortium Información general Extensión de archivo .rdf …   Wikipedia Español

Compartir el artículo y extractos

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