Francisco Luque - Logica

La lógica es una ciencia formal y una rama de la filosofía que estudia los principios de la demostración e inferencia válida. La lógica examina la validez de los argumentos en términos de su estructura, independientemente del contenido específico de los estados reales a los que aquéllos se puedan referir. En este sentido se habla de la lógica como ciencia «formal». La lógica es una disciplina de la filosofía, las matemáticas y la informática.

El razonamiento inductivo es una modalidad del razonamiento no deductivo que consiste en obtener conclusiones generales a partir de premisas que contienen datos particulares. Por ejemplo, de la observación repetida de objetos o acontecimientos de la misma índole se establece una conclusión para todos los objetos o eventos de dicha naturaleza.


Premisas: Es igual
He observado el cuervo número 1 y era de color negro.
El cuervo número 2 también era negro.
El cuervo número 3 también

Conclusión:
Luego, todos los cuervos son negros.
En este razonamiento se generaliza para todos los elementos de un conjunto la propiedad observada en un número finito de casos. Ahora bien, la verdad de las premisas (10.000 observaciones favorables a esta conclusión, por ejemplo) no convierte en verdadera la conclusión, ya que podría haber una excepción. De ahí que la conclusión de un razonamiento inductivo sólo pueda considerarse probable y, de hecho, la información que obtenemos por medio de esta modalidad de razonamiento es siempre una información incierta y discutible. El razonamiento sólo es una síntesis incompleta de todas las premisas.
En un razonamiento inductivo válido, por tanto, es posible afirmar las premisas y, simultáneamente, negar la conclusión sin contradecirse. Acertar en la conclusión será una cuestión de probabilidades

El pensamiento deductivo parte de categorías generales para hacer afirmaciones sobre casos particulares.

Hablamos de razonamiento deductivo cuando observando una cosas muchas veces se declama lo visto en toda las cosas de la misma especie válido la conclusión debe poder derivarse necesariamente de las premisas aplicando a éstas algunas de las reglas de inferencia según las reglas de transformación de un sistema deductivo o cálculo lógico. Al ser estas reglas la aplicación de una ley lógica o tautología y, por tanto una verdad necesaria y universal, al ser aplicada a las premisas como caso concreto permite considerar la inferencia de la conclusión como un caso de razonamiento deductivo.
Dicho de otro modo, la conjunción o producto de todas las premisas cuando es verdadero, es decir, todas y cada una de las premisas son verdaderas, entonces se implica la verdad de la conclusión.
Por medio de un razonamiento de estas características se concede la máxima solidez a la conclusión, las premisas implican lógicamente la conclusión. Y la conclusión es una consecuencia lógica de las premisas