Logica

Lógica formal

La lógica formal, a diferencia de la lógica informal, se dedica al estudio de los razonamientos correctos, desarrollándolos de manera formal y esquematizada, es decir de una forma nocotidiana. Este tipo de lógica parte de los razonamientos correctos conocidos para desarrollar una teoría lógica y consecuentemente, razonamientos más complejos que no se utilizan normalmente en lavida cotidiana. A partir de la idea de que quien la estudia "razona bien", puede desarrollar argumentos racionales extremadamente complejos, y de gran alcance. Este tipo de lógica no debe serconfundido con la lógica simbólica ni con la lógica matemática, que son tipos de lógica que se encuentran dentro del campo de la lógica formal.
Esto significa que se desentiende del contenido empírico de losrazonamientos para sólo considerar la "forma" (estructura sin materia). El fundador de la lógica formal fue Aristóteles. Esta disciplina se fue perfeccionando con la introducción, a lo largo del sigloXIX y XX, de todo un potente formalismo matemático (Jorge Boole, Gottlob Frege, Bertrando Russell, etc.) Resulta ya un lugar común equiparar la lógica formal a la lógica matemática, por lo queactualmente constituyen expresiones prácticamente sinónimas. El materialismo formalista rectifica este planteamiento sosteniendo la imposibilidad de una ciencia "no material". La lógica formal poseereferenciales fisicalistas y es tan material como cualquier otra disciplina científica, ya que toda ciencia es material. Por otra parte, no resulta aceptable la existencia de formas puras hipostasiadasexentas de contenidos materiales.

Lógica material

La lógica material también llamada lógica aplicada, es aquella en que un proceso de raciocinio o de pensamiento se analiza en consideración alcontenido real de sus premisas, y por lo tanto debe conducir a una verdad material, una conclusión que sea concordante con la realidad.
Tradicionalmente se considera que las dos ramas principales de la...