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