Logica

LÓGICA FORMAL
Se dedica al estudio de la inferencia mediante la construcción de lenguajes formales, sistemas deductivos y semánticas formales. La idea es que estas construcciones capturen lascaracterísticas esenciales de las inferencias válidas en los lenguajes naturales, pero que al ser estructuras formales y susceptibles de análisis matemático, permiten realizar demostraciones rigurosas sobreellas.

QUE ES UN CONCEPTO
Los conceptos son construcciones o imágenes mentales, por medio de las cuales comprendemos las experiencias que emergen de la interacción con nuestro entorno. Estasconstrucciones surgen por medio de la integración en clases o categorías, que agrupan nuestros nuevos conocimientos y nuestras nuevas experiencias con los conocimientos y experiencias almacenados en lamemoria.

EXTENCION Y CONTENIDO DE LOS CONCEPTOS
La comprensión de conceptos es el conjunto de elementos que lo constituyen. Por ejemplo, para el concepto de cuadrado se puede proceder a definirloasí:
Figura
Figura geométrica
Figura Geométrica Plana
Figura Geométrica Plana de cuatro lados
Figura Geométrica Plana de cuatro lados iguales
Figura Geométrica Plana de cuatro lados iguales ycuatro ángulos iguales.
Al aumentar la suma de cualidades, se aclara el concepto. La extensión es el número de clases de elementos a los que se aplica el concepto.

CLASIFICACION METODICA DE LOSCONCEPTOS
Especie: Perro
Género: canis
Familia: canidos
Orden: Carnívoro
Clase: Mamífero
Rama: Vertebrados
Subreino: Metazoarios
Reino: Animal
La clasificación de los conceptos zoológicos ofreceun ejemplo de la relación inversa entre a comprensión y la extensión de los conceptos. Por ejemplo, la especie perro se clasifica así:

En la columna izquierda, la clasificación sigue un orden demenor a mayor extensión –desde la especie hasta el reino-, y en la columna derecha el orden es de mayor a menor comprensión o contenido.
Un concepto subordinado es un concepto específico. Po ejemplo:...