① 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...
Entradas populares de este blog
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 ...
-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 ...
Comentarios
Publicar un comentario