Glosario Lógica / Término
La metalógica es el estudio de los sitemas formales. Dicho brevemente, la metalógica es el metalenguaje de la lógica. Cuando tomamos el lenguaje formal como lenguaje objeto, nos servimos para su estudio de la metalógica. Por ejemplo, hacemos uso de la metalógica cuando presentamos los signos que usa la el lenguaje formal. Así, el enunciado "'→' es una de las conectivas" es un enunciado metalógico. (Véase lenguaje formal, lenguaje objeto, metalenguaje).
Enlace permanente: Metalógica - Fecha de actualización: 2018-11-30 - Fecha de creación: 2018-11-30