Logica

Lógica Informal.
Definición: la lógica informal es el estudio metódico de los argumentos probables desde la retórica, la oratoria y la filosofía, entre otras ciencias. Se especializa en la identificación de falacias y paradojas, y en la construcción correcta de los discursos.
Como se caracteriza: Se caracteriza por el uso de argumentos que utilizamos en la vida cotidiana, que no sonformalmente validos pero los consideramos razonablemente correctos y esperamos obtener conclusiones verdaderas.
A esas argumentaciones algunos las denominan argumentaciones correctas, y so obtiene atravez de las premisas.
Requisitos que debe cumplir la lógica informal:
1) El argumento no se puede apoyar en un solo ejemplo, es decir, de un solo ejemplo no podemos extraer una afirmación de caráctergeneral.
2) Los ejemplos tienen que ser representativos.
3) Se tiene que tener en cuenta la información de trasfondo, es decir, el contexto en el que se produce esa información.
4) Hay que analizar siempre los contraejemplos, no hay que ocultarlos nunca. Si existen contraejemplos hay que exponer si invalidad o no su argumentación y hay que explicar por qué si o no invalidad la conclusión.Lógica formal.

Definición: es la ciencia que expone las leyes, modos y formas del conocimiento científico. Se trata de una ciencia formal que no tiene contenido, sino que se dedica al estudio de las formas válidas de inferencia. Es decir, se trata del estudio de los métodos y los principios utilizados para distinguir el razonamiento correcto del incorrecto.
La etimología muestra que el conceptode lógica deriva del latín logĭca, que a su vez proviene del término griego logikós (de logos, “razón” o “estudio”). El filósofo griego Aristóteles fue pionero al utilizar la noción para referirse al estudio de los argumentos como manifestadores de la verdad en la ciencia, y al plantear al silogismo como el argumento válido.
Aristóteles está considerado como el padre de la lógica formal.Cuáles son sus leyes o Principios:
El Principio Lógico de Identidad
Afirma que: toda cosa es lo que es.
Tomemos en consideración los siguientes ejemplos el círculo es redondo; el hombre es un animal racional. Tanto en el primero como en el segundo ejemplo, el predicado esta implícito en el sujeto. En efecto, es inconcebible un círculo que no fuere redondo, y que el hombre no fuese un animalracional.
Estas dos proposiciones presentan una identidad entre el sujeto y el predicado. Círculo es lo mismo que redondo, y el hombre es lo mismo que un animal racional.
En este sentido, podríamos reducir a la formula A es A.
Esta identidad lógica indica al mismo tiempo que el círculo implica el ser redondo, y el hombre implica ser animal racional, lo cual expresado en fórmula sería A implica A.De esto se sigue que: De lo verdadero se deriva siempre lo verdadero, nunca lo falso.
El Principio Lógico de Contradicción
El principio de la contradicción afirma que: es imposible que algo sea al mismo tiempo verdadero y falso. Consideremos los siguientes ejemplos: el círculo no es redondo; el hombre no es un animal racional. Ambas proposiciones son falsas porque son ambas contradictorias. Enefecto, es falso que el círculo no sea redondo y que el hombre no sea un animal racional. Si es un círculo es imposible que no sea redondo, y si es un hombre es imposible que no sea animal racional.
Como es inadmisible que sea algo y no sea al mismo tiempo y en el mismo sentido, amabas proposiciones son contradictorias. La contradicción puede aparecer también entre dos proposicionescontradictorias entre sí. Por ejemplo: El triángulo tiene tres lado. Ahora si es verdadero que el triángulo tiene tres lados, es automáticamente falsa la otra que afirma que no tiene tres lados. Luego, dos proposiciones contradictorias entre sí contribuyen a una contradicción.
La contradicción expresada en fórmula sería: tanto si una proposición predica que algo es y no es como si dos proposiciones son...