1. La lógica
Mientras la lógica se encarga, entre
otras cosas, de construir sistemas
lógicos, la meta lógica se ocupa de
estudiar las propiedades de dichos
sistemas. Las propiedades más
importantes que se pueden
demostrar de los sistemas lógicos
son
Consistencia: Un sistema
tiene la propiedad de ser
consistente cuando no es
posible deducir una
contradicción dentro del
sistema. Es decir, dado un
lenguaje formal con un
conjunto de axiomas, y un
aparato deductivo (reglas de
inferencia), no es posible
llegar a una contradicción.
Decidibilidad
Se dice de un sistema que
es decidible cuando, para
cualquier fórmula dada en el
lenguaje del sistema, existe
un
para determinar si esa
fórmula pertenece o no al
conjunto de las verdades del
sistema.
La lógica es una ciencia
formal que estudia los principios
de
la demostración e inferencia válid
a.