De meta- y lógica, f. Ling. y Lóg.

Parte de la semiótica que estudia el lenguaje lógico. Se ocupa de estudiar la propiedad del sistema lógico: consistencia, decidibilidad, completitud.