La lógica formal

* 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 determina cuáles son las formas correctas y válidas delos raciocinios; pero lo haceconsiderándolos en sí mismos y con prescindencia de los contenidos concretos de los razonamientos, es decir, considerando esos contenidos como entes lógicos abstractos, detal 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 deciertos conocimientos establecidos (llamados premisas), conduce a adquirir un conocimiento nuevo (contenido en laconclusión) sin que para ello haya que recurrir a nuevas constataciones u observacionessensibles distintas o adicionales a las ya contenidas en las premisas.Por lo tanto, la verdad a que conduce la lógica formal, es una verdad formal; queserá verdad en tanto sea verdad el contenido delas premisas, e indicará solamente que existe una congruencia de ese raciocinio, consigo mismo. Si en un razonamiento existe falsedad en las premisas y la conclusión asimismo es falsa; de todos modosel razonamiento será correcto o válido como razonamiento. * 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ónal contenido real de sus premisas, y por lo tanto debe conducir a una verdad material, una conclusión que sea concordante con la realidad. |
|

    LOGICA FORMAL: la podemos definir como ladisciplina filosófica que tiene como objeto de estudio los principios y métodos que se emplean para distinguir o diferenciar el razonamiento correcto del incorrecto.
* Su Objeto Material es laestructura del pensamiento en sus tres formas:concepto, juicio y razonamiento.
* Su Objeto Formal es la forma o estructura de los razonamientos para distinguir los "correctos" de los "incorrectos", no...