Las ballenas
La lógica formal también llamada lógica pura - que es la lógica propiamente dicha - es precisamente la “ciencia” (en cuanto conocimiento) que determinacuáles son las formas correctas y válidas de los raciocinios; pero lo hace considerándolos en sí mismos y con prescindencia de los contenidos concretos de los razonamientos, es decir, considerandoesos contenidos como entes lógicos abstractos, de tal manera que las leyes a aplicar tengan validez para cualquier contenido concreto.
El raciocinio puede definirse como un proceso del pensamiento(por tanto, exclusivamente humano) que a partir de ciertos conocimientos establecidos (llamados premisas), conduce a adquirir un conocimiento nuevo (contenido en la conclusión) sin que para ello hayaque recurrir a nuevas constataciones u observaciones sensibles distintas o adicionales a las ya contenidas en las premisas.
Por lo tanto, la verdad a que conduce la lógica formal, es una verdadformal; que será verdad en tanto sea verdad el contenido de las premisas, e indicará solamente que existe una congruencia de ese raciocinio, consigo mismo. Si en un razonamiento existe falsedad en laspremisas y la conclusión asimismo es falsa; de todos modos el razonamiento será correcto o válido como razonamiento.
La lógica material también llamada lógica aplicada, es aquella en que un proceso deraciocinio o de pensamiento se analiza en consideración al contenido real de sus premisas, y por lo tanto debe conducir a una verdad material, una conclusión que sea concordante con la realidad.Mientras que las premisas (o predicados) que toma en consideración la lógica pura constituyen entidades abstractas y absolutamente precisas, respecto de las cuales no es requerido que exista ningúnobjeto de la realidad que los verifique; es difícil encontrar en la realidad conceptos de origen empírico-sensible que presenten exactamente las características de los objetos lógicos.
Fernando...
Regístrate para leer el documento completo.