metalógica

(redireccionado de metalógicas)

metalógica

 
f. ling. y lóg. Parte de la semiótica que estudia el lenguaje lógico.
Ejemplos ?
Las facilidades metalógicas de Gödel dan cabida a metaprogramas que realizan análisis, transformación, compilación, verificación y puesta a punto, entre muchas otras tareas.
Estas dos propiedades metalógicas se encuentran entre las más deseables para un sistema lógico, y por lo tanto los axiomas generalmente se seleccionan teniendo en cuenta si permiten o no demostrar la corrección y completitud del sistema.
Cuando A es una fórmula lógicamente válida de un lenguaje Q, se escribe: models_Q A La lógica de primer orden es uno de los sistemas lógicos con propiedades metalógicas mejor conocidas.
Pero además, permiten estudiar en sí mismos los conjuntos de axiomas, su completitud, su consistencia, la independencia de unos de otros y permiten introducir un importante número de cuestiones metalógicas.
La lógica estudia las reglas de deducción formales, las capacidades expresivas de los diferentes lenguajes formales y las propiedades metalógicas de los mismos.