Logica formal

Lógica formal
La lógica formal es la parte de la lógica que, a diferencia de la lógica informal, se dedica al estudio de la inferencia mediante la construcción de lenguajes formales, sistemasdeductivos y semánticas formales. La idea es que estas construcciones capturen las características esenciales de las inferencias válidas en los lenguajes naturales, pero que al ser estructuras formales ysusceptibles de análisis matemático, permiten realizar demostraciones rigurosas sobre ellas.
La lógica formal no debe ser confundida con la lógica matemática, antes llamada lógica simbólica, que es unasubdisciplina de la lógica formal.

1. ¿QUÉ ES UN CONCEPTO?
o El punto de vista idéntico desde el cual agrupamos una clase de objetos con ciertas diferencias entre ellos.
o Para hacer loanterior, tenemos que saber separar las características esenciales (fundamentales) de las no esenciales (accidentales).
o Las características esenciales de un grupo de objetos son aquellas que hacen queesa cosa sea lo que es y lo que constituirá su definición.
o Las características accidentales son las que pueden darse de una manera o de otra o no darse del todo y que no intervienen en la funciónesencial del objeto (color, tamaño, marca, etc)
2. Ejemplo: maleta
o Cualidades esenciales:
o La función principal de este objeto es transportar ropa u objetos diversos en un viaje.
o Unamaleta debe ser de un material resistente y de un tamaño de mediano a grande.
o Un elemento esencial de una maleta es que tenga agarraderas, asas o correas para poderla cargar y que se pueda cerrarcompletamente.
3. Cualidades no esenciales (accidentales) de una maleta:
o Ser de piel, plástico, lona, etc.
o Ser de color rojo, gris, negro, azul, etc.
o Tener ruedas o no.
o Ser de estructuradura o blanda.
o Ser Samsonite, Tous, etc.
4. La extensión de maleta es:
o La extensión de un concepto son todos los casos que abarca.
o Todos los diversos objetos que comparten una o varias...