Logica

-Introducción:

La lógica estudia los principios y métodos que se emplean para distinguir el razonamiento correcto del incorrecto (valido e invalido). La lógica juega un papel decisivo en el descubrimiento científico, pero es aun mayor su importancia a la hora de justificar las hipótesis científicas.


-Términos, proposiciones y razonamientos:

El objeto de estudio de la lógicaes la argumentación o el razonamiento. Un razonamiento se compone de proposiciones y las proposiciones de términos.

Todos los hombres son mortales
Sócrates es hombre
--------------------------------------------
Sócrates es mortal

Las proposiciones son expresiones declarativas del lenguaje de las que tiene sentido predicar verdad o falsedad, es decir, las proposiciones son Vo F.
Las proposiciones a su vez, están compuestas de términos. Los términos no afirman ni niegan nada, por lo tanto, no son ni verdaderos ni falsos.
Los términos son las mínimas unidades de análisis lógico y dependen de dicho análisis.

Los términos se pueden dividir en términos lógicos y NO lógicos:
-los NO lógicos, también llamados categoremáticos, son aquellos que tienesignificado por si mismos o que nombran objetos reales o imaginarios.
-los términos lógicos, también llamados sincategoremáticos, no tienen significado por si mismo y solo lo adquieren acompañando, uniendo, estructurando a los términos NO lógicos.


Las proposiciones se pueden clasificar de distintas maneras: un grupo de proposiciones particularmente importante denominadas proposiciones categóricas.1- Universal afirmativo: todo “S” es “P”. A
2- Universal negativo: ningún “S” es “P”. E
3- Particular afirmativo: algún “S” es “P”. I
4- Particular negativo: algún “S” no es “P”. O

-La lógica como disciplina formal:

Se acostumbra a definir la lógica formal como aquella ciencia que estudia los razonamientos desde el puntodel análisis formal, es decir, desde el punto de vista de su validez o no validez. Esto significa que se desentiende del contenido empírico de los razonamientos para sólo considerar la "forma" (estructura sin materia). Dado el siguiente silogismo: Los insectos son artrópodos; los dípteros son insectos; por tanto, los dípteros son artrópodos; al lógico sólo le interesa su validez o corrección (quees formal) expresada en la estructura vacía de contenido Todo A es B; todo C es A; por tanto, todo C es B. El que los dípteros sean o no sean artrópodos es una cuestión empírica que interesará en cualquier caso al zoólogo, pero de ninguna manera al lógico. El fundador de la lógica formal fue Aristóteles. Esta disciplina se fue perfeccionando con la introducción, a lo largo del siglo XIX y XX, detodo 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 que actualmente constituyen expresiones prácticamente sinónimas. El materialismo formalista rectifica este planteamiento sosteniendo la imposibilidad de una ciencia "no material". La lógica formal posee referencialesfisicalistas 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 hipostasiadas exentas de contenidos materiales.

-Breve reseña histórica:

Se considera a Aristóteles (s IV a. C.) el fundador de la lógica. Para Aristóteles, la lógica era una propedéutica o introducción al saber general,pues constituye una especie de instrumento de todas las ciencias.
Los estoicos, amplían el campo de la lógica considerando otras formas de razonamiento. Llaman a la lógica "dialéctica" pasando a formar parte del trivium integrado por la gramática, la retórica y la dialéctica. En la filosofía moderna se critica el abuso que la escolástica medieval hizo de la lógica aristotélica....