-Completitud: es la propiedad metateórica que tienen los sistemas formales cuando todas las fórmulas lógicamente válidas (todas las verdades lógicas ) del sistema son además teoremas del sistema. Es decir, cuando el conjunto de las verdades lógicas del sistema es un subconjunto del conjunto de teoremas. -Consistencia: En metalógica , la consistencia o consistencia lógica es la propiedad que tienen los sistemas formales cuando no es posible deducir una contradicción dentro del sistema. Es decir, dado un lenguaje formal y un aparato deductivo ( axiomas y reglas de inferencia ), no es posible deducir una fórmula y su negación. La existencia de un modelo implica que una teoría lógica es consistente. -Corrección: supone la aprobación de una ley válida. Si los teoremas demostrables en el cálculo permitieran probar una ley inválida,ese cálculo ...
Entradas populares de este blog
① Ciencias Formales ✍ El objeto de estudio las ciencias formales son los entes ideales (ideas y conceptos). ✍ Métodos de estudios: la deducción y la demostración. ✍ Ciencias, comprenden: → La matemática pura. → La lógica. ② Ciencias Fácticas Las ciencias fácticas son también llamadas ciencias de la realidad, estudia los objetos y hechos materiales. Clasificación: ⓐ Ciencias Naturales ✍ Las ciencias naturales tienen como objeto de estudio entes materiales. ✍ Métodos de estudios: la observación, la experimentación, inducción y otros. ✍ Ciencias, comprenden: → Fenomenológicas: química y física. → Genéticas: cosmologías y embriología. → Sistemáticas taxonómicas: minerología, zoología y botánica ⓑ Ciencias Sociales (Ciencias del Espíritu) ✍ Las ciencias sociales son también denominadas ciencias humanas, estudia los hechos humanos o sociales que tengan valor, sentido y meta. ✍ Métodos de estudio: La abstracci...
El origen de la filosofía
El nacimiento de la filosofía occidental se produjo en Grecia en el siglo VI a.d.C. Surge con el paso del pensamiento mítico al pensamiento racional; hasta ese momento el mundo y el hombre estaba sujeto a las veleidades de los dioses, sin embargo, empiezan a surgir en el hombre una serie de pensamientos, que intentan dar respuesta a los problemas con los que el hombre se encontraba. Los primeros problemas que le surgen al hombre son: -quién soy -qué es la naturaleza ...
Comentarios
Publicar un comentario