Logica

El lenguaje formalizado 
Es un lenguaje sometido a unas «reglas fijas de formación de expresiones y significados». Es una de las características esenciales del lenguaje científico. Incluso hayautores que llegan a opinar que la ciencia en sí misma no es más que un lenguaje. Esto es especialmente notable e importante en la lógica y las matemáticas.
Semiótica
Se conoce como semiótica ala teoría que tiene como objeto de interés a los signos. Esta ciencia se encarga de analizar la presencia de éstos en la sociedad, al igual que la semiología. Ambos conceptos son tomados como sinónimos porel diccionario de la Real Academia Española (RAE), 
SEMANTICA
Se refiere a los aspectos del significado, sentido o interpretación de signos lingüísticos como símbolos, palabras, expresiones orepresentaciones formales. En principio cualquier medio de expresión (lenguaje formal o natural) admite una correspondencia entre expresiones de símbolos o palabras y situaciones o conjuntos de cosas quese encuentran en el mundo físico o abstracto que puede ser descrito por dicho medio de expresión.
PRAGMATICA
 Es un subcampo de la lingüística, también estudiado por la filosofía del lenguaje yla psicolingüística o psicología del lenguaje, que se interesa por el modo en que elcontexto influye en la interpretación del significado. El contexto debe entenderse como situación, ya que puede incluircualquier aspecto extralingüístico: situación comunicativa, conocimiento compartido por los hablantes, relaciones interpersonales, etc. La pragmática toma en consideración los factoresextralingüísticos que condicionan el uso del lenguaje, esto es, todos aquellos factores a los que no se hace referencia en un estudio puramente formal.
METALENGUAJE
En lógica y filosofía del lenguaje,un metalenguaje es un lenguaje que se usa para hablar acerca de otro lenguaje.1 Al lenguaje acerca del cual se está hablando se lo llama el lenguaje objeto.1 El metalenguaje puede ser idéntico al lenguaje...