METALÓGICA

El estudio del vocabula­rio lógico —o de la lógica stricto sensu— re­cibe el nombre de metalógica. La metalógica es una parte de la semiótica lógica, esto es, de aquella rama de la semiótica que tiene por misión el estudio de los signos lógi­cos en general. Así, por ejemplo, la presenta­ción de los signos usados en la lógica es un estudio metalógico. Ejemplo de enunciado metalógico es: ‘ ‘y’ es una de las conectivas sentenciales’. Como puede advertirse, una cierta parte de los enunciados usualmente in­cluidos bajo el epígrafe lógica pertenecen, en rigor, a la metalógica.

La metalógica es un metalenguaje. Como tal, tiene las tres dimensiones de todo metalenguaje: la dimensión sintáctica (véase Sintaxis), semántica y pragmática. La sintaxis es la parte de la metaló­gica que ha sido objeto de más