Beruflich Dokumente
Kultur Dokumente
Semntica
De Wikipedia, la enciclopedia libre
Saltar a: navegacin, bsqueda
Este artculo o seccin necesita referencias que aparezcan en una publicacin
acreditada, como revistas especializadas, monografas, prensa diaria o pginas
de Internet fidedignas.
Puedes aadirlas as o avisar al autor principal del artculo en su pgina de discusin
pegando: {{subst:Aviso referencias|Semntica}} ~~~~
El trmino semntica (del griego semantikos, "lo que tiene significado") se refiere a los
aspectos del significado, sentido o interpretacin de signos lingsticos como smbolos,
palabras, expresiones o representaciones formales. En principio cualquier medio de
expresin (lenguaje formal o natural) admite una correspondencia entre expresiones de
smbolos o palabras y situaciones o conjuntos de cosas que se encuentran en el mundo
fsico o abstracto que puede ser descrito por dicho medio de expresin.
La semntica puede estudiarse desde diferentes puntos de vista:
ndice
[ocultar]
1 Semntica lingstica
4 Vase tambin
enunciados formales del sistema lgico. Un modelo de acuerdo con la teora de modelos
es un conjunto con cierta estructura junto con una regla de interpretacin que permite
asignar a cada variable o constante un elemento del conjunto y cada predicado en el que
intervienen un conjunto de variables puede ser juzgado como cierto o falso sobre el
conjunto en el que se interpretan las proposiciones del sistema lgico formal.
En lgica matemtica se suelen dividir los axiomas en dos tipos:
As, si se tiene un conjunto de axiomas que define la teora de grupos, cualquier grupo
matemtico es un modelo en el que las proposiciones y axiomas de dicha teora reciben
interpretacin y resultan en proposiciones ciertas sobre ese modelo.