Lógica

El nacimiento de la lógica propiamente dicho está directamente relacionado con el nacimiento intelectual del ser humano. La lógica emerge como mecanismo espontáneo en el enfrentamiento del hombrecon la naturaleza, para comprenderla y aprovecharla. Poncairé destaca cinco etapas o revoluciones en ese proceso que se presentan entre dos grandes tópicos: del rigor y la formalidad, a la creatividady el caos. Las etapas se identifican como: Revolución Matemática, Revolución Científica, Revolución Formal y Revolución Digital además de la próxima y prevista Revolución Lógica.http://www.euclides.org/menu/articles/article101.htm
se dedica al estudio de la inferencia mediante la construcción de lenguajes formales, sistemas deductivos y semánticas formales. La idea es que estasconstrucciones capturen las caracterí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 realizardemostraciones rigurosas sobre ellas.
Dentro de la lógica formal clásica podemos distinguir cuatro tipos:
Lógica de enunciados
Lógica de predicados
Lógica de clases
Lógica de relaciones
Estudia lavalidez de los razonamientos teniendo en cuenta únicamente el valor de verdad (verdadero o falso) de cada enunciado tomando los enunciados en bloque sin analizarlos previamente.
Analiza la estructurainterna de los enunciados atribuyendo una propiedad al sujeto.
Al contrario que la lógica de predicados, esta atribuye individuos y clases a las características.
Incorpora a su lenguaje loselementos, símbolos y reglas que son necesarios para expresar un enunciado.
http://es.wikipedia.org/wiki/L%C3%B3gica_formal
Lógica informal: Se dedica al análisis de los procedimientos para poder elaborarconclusiones. Su fundamento, en parte, es que el pensamiento humano puede ser falso en ocasiones. Así, la lógica informal separa los razonamientos correctos de los equivocados.
Lógica formal:...