Apuntes De Logica

LOGICA

Ciencia formal que estudia los principios de la demostración e inferencia valida. Derivada del griego logike que significa de razón intelectual, dialecto, argumentativo, que a su vez, viene de logos que significa palabra, pensamiento, idea, argumento, razón.

La inferencia es el proceso por el cual se derivan conclusiones a partir de las premisas.

La lógica investiga los principios por los cuales algunas inferencias son aceptables y otras no.

TAREA DE INVESTIGACION

LOGICA FORMAL = LOGICA PURA

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, sistemas deductivos 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 y susceptibles de análisis matemático, permiten realizar demostraciones rigurosas sobre ellas.

No debe ser confundida con la lógica matemática, antes llamada lógica simbólica, que es una su disciplina de la lógica formal.

*Inferencia: es la acción y efecto de inferir (deducir algo, sacar una consecuencia de otra cosa, conducir a un resultado).

*Semántica: parte de la lingüística que estudia el significado de las palabras y de sus cambios y evolución en el tiempo.

LOGICA 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 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.

*Raciocinio: ideas o razonamiento pensados por una persona.

*Premisas: afirmación o idea aprobada que se da como cierta y que sirve en base a un razonamiento o una discusión.

LOGICA FORMAL EN LA TAXONOMIA CIENTIFICA

*Taxonomía: ciencia que estudia los principios, métodos y fines de la clasificación de los seres vivos.

Ya que Aristóteles fue el creador de la lógica formal, precursor de la anatomía y la biología y un creador de la taxonomía (es considerado el padre de la zoología).

OBJETO DE LA LOGICA

Exponer las leyes del raciocinio correcto, y también verdadero.

Para eso estudia cómo se deben enlazar las proposiciones (enunciados)

...