Lógica y su objeto el lenguaje cumple una función distinta y aun puede tener alguna mas.La función representativa es una de las principales:nos permite enunciar y afirmar cosas sobre el umndo y así describirlo.No solo hacemos afirmaciones sobrel lo qu vemos,también procuramos relacionar afirmaciones para así poder extraer nuevos conocimientos.Este proceso que nos permite obtener conocimientos nuevos a partir de otros se llama razonar.
Ademas de poseer datos ciertos para garantizar la verdad de la conclusión hemos de relacionar datos de forma adecuada,tenemos que razonar correctamente.Precisamente de ello se ocupa la lógica.
es considerada la disciplina filosófica que estudia la correcion o validez de los razonamientos.

Los razonamientos o inferencias

Premisas conjunto de enunciados que expresas los datos de partida,en el lenguaje ordinario pueden ir delante o detrás de la conclusión,encabeadas por estas partículas:porque,ya que,pues,puesto que,dado que…
Conclusión enunciado final que expresa la nueva información obtenida a partir de las premisas,en el lenguaje ordinario puede ir precedida por estas partículas:así que,por eso,en consecuencia,luego…
Tipos de razonamiento deducción consiste en pasar de premisas generales a una conclusión menos general.Cuando este tipo de inferencia es correcta la conclusión se sigue necesariamente de las premisas,es imposible que siendo estas verdaderas la conclusión sea falsa.
Inducción es un tipo de razonamiento en que se llega a una conclusión general a partir de informaciones menos generales que vienen dadas en las premisas,pues aunque las premisas sean verdaderas esto no asegura que la conclusión también lo sea.
Principios de la lógica hay unas cuantas formas de razonamiento que se consideran siempre correctas porque se presuponen en todo razonamiento.Son

:-Principio de identidad

Toda cosa es idéntica a si misma.A es A

-Principio de no contradicción

Ninguna cosa puede ser y no ser algo al mismo tiempo y en el mismo sentido.Nada puede ser A y no A–

Principio del tercero excluido

Todo enunciado es o bien verdadero o bien falso.Todo es A o no A La validez de los razonamientos los razonamientos no pueden ser verdderos ni falsos,pues no afirman ni nuegan nada,por tanto no hablaremos de razonamientos verdaderos,sino de razonamientos correctos,es un requisito importante para obtener conclusiones verdaderas.Para estar seguros de la verdad de la conclusión se han de dar a la vez la corrección del razonamiento y la verdad de las premisas.
El Silogismo es un razonamiento deductivo formado por tres enunciados:dos premisas y una conclusión.En el conjunto del silogismo aparecen tres términos:el mayor,el menor,y el medio.La forma del silogismo permite relacionar,en la conclusión,dos términos que aparecen separados en las premisas.Esta relación es posible gracias al termino medio,que desempeña un papel similar al del intermediario.
Termino equivoco es el que tiene un único significante y varios significados.
Termino univoco es el que tiene un único significante y un solo significado.
Elementos del lenguaje lógico –el vocabulario el lenguaje lógico posee un conjunto de sumbolos.-Letras: representan los enunciados,nombres o predicados de los razonamientos.-Signos:sirven para representar las relaciones entre enunciados y términos.

Las reglas de formación

Establecen que combinaciones de sombolos son frases bien formadas.Su equivalente en los lenguajes naturales son las reglas de la gramática.
Las reglas de transformación indican como podemos convertir una o mas formulas bien formadas en otra formula también bien formada.Estas reglas quizá sean las mas importantes,pues establecen cuando podemos deducir unas formulas a partir de otras que es exactamente lo que persigue la lógica.
Estas reglas son similares a reglas del lenguaje natural,como la conversión de activa a pasiva.En el lenguaje de la lógica todos estos símbolos y reglas están perfectamente definidos.Esta propiedad del lenguaje lógico que lo distingue del natural se denomina precisión.

El Silogismo es un razonamiento deductivo formado por tres enunciados:dos premisas y una conclusión.En el conjunto del silogismo aparecen tres términos:el mayor,el menor,y el medio.La forma del silogismo permite relacionar,en la conclusión,dos términos que aparecen separados en las premisas.Esta relación es posible gracias al termino medio,que desempeña un papel similar al del intermediario.

Repaso histórico

Fue Aristóteles quien puso las bases de la ciencia lógica,tanto formal como informal.Concretamente,nos ha llegado magníficos estudios sobre falacioas informales dentro de la lógica formal,la teoría de los siligismos. Los filósofos estoicos continuaron los estudios de lógica.Ellos fueron los que iniciaron la actualmente llamada lógica de enunciados.
Apartir de entonces no hubo grandes aportaciones originales.Hasta prácticamente el Siglo XIX,la lógica se limito a desarrollar las aportaciones aristotélicas y estoicas.Este desarrollo es la llamada lógica tradicional.El gran avance de esta disciplina comuenza con la contribución de matemáticos y lógicos como Boole y Frege.Con ellos se inicia la lógica moderna,pues su simbolismo es lo que,principalmente,la diferencia de la lógica tradicional.Con la lógica simbólica no solo se sustituyen los términos y los enunciados,sino también los elementos que señalán las relacones entre símbolos.
Lógica formalizada el lenguaje que utiliza no es el corriente,sino uno en el que solo aparecen símbolos perfectamente definidos,esta lógica no anula la lógica tradicional.Salvo algunas variaciones,como es la formalización de los resultados,incluye las aportaciones fundamentales de su predecesora.
Tipos de lógica formal la lógica de enunciados estudia la validez formal de los razonamientos teniendo en cuenta unicamente el valor de verdad de cada enunciado.Toma los enunciados como un todo y no los analiza internamente en sujeto y predicado.Esto comporta algunas limitaciones,sobretodo en aquellos razonamientos cuya validez no puede averiguarse sin analizar los enunciados que lo componen.Por ejemplo los pelmazos son terribles,es usted un pelmazo,por lo tanto usted es terrible.Analizando de esta forma no es posible conocer que hay en la estructura de la inferencia que haga que sea valida.Tanto la lógica de predicados como la de clases analizan internamente los enunciados en sujeto y predicado.Y por ello pueden demostrar la validez de este tipo de razonamientos.
La lógica de predicados analiza la estructura interna de los enunciados ,pues los considera proposiciones en las que una propiedad se atribuye o predica del sujeto.Por ello, recibe el nombre de lógica de predicados,ya que el punto de interés se centra en estos.
La lógica de clases es muy parecida a la de predicados sin embargo,cambia de punto de vista y considera que los enunciados son proposiciones en las que se expresan lazos entre individuos y clases.Los predicados son analizados como propiedades que comparten los individuos que pertenecen a una misma clase o conjunto.Aunque son dos tipos de lógica muy similares,la forma en que representan los razonamientos puede variar.Estos tipos de lógica cuentan con una severa limitación que es su incapacidad para expresar relaciones;estas se dan al menos entre dos elementos y ademas el orden de los elementos importa para la relación.La lógica de relaciones incorpora a su lenguaje los elementos,símbolos y reglas que son necesarios para expresarlos.
Los sistemas formales de la lógica hace que los sistemas formales posean como rasgos constitutivos la consistencia,la completitud y la decidibilidad
.-Consistencia no existe contradicción dentro del sistema,porque a apartir de las reglas de transformación no es posible deducir una formula y su contraria.No hay ninguna regla que nos permita obtener un razonamiento no valido

.-Completitud

Todas las formulas correctas son deducibles a partir de las reglas de transformación que han sido definidas.Por ello, el sistema se considera completo,porque contiene todas las formulas correctas o es posible derivarlas de el

.-Decibilidad

El sistema posee algún procedimiento mecánico que nos permite decidir si una formula o razonamiento es correcto o no