Glosario Lógica / Término

Metalógica

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


< Metalenguaje Glosario Lógica Modelo >

Glosarios especializados

Este sitio web es posible gracias a que muestra publicidad en línea a sus visitantes.
Por favor, ayude a que pueda seguir existiendo deshabilitando su bloqueador de anuncios (adblocker).
Muchas gracias.