Capitulo 4 - Logica

LA LOGICA SE OCUPA DE ANALIZAR COMO SON LAS INFERENCIAS O RAZONAMIENTOS QUE LOS HOMBRES HACEMOS A DIARIO

Uno de los temas centrales de la logica es el estudio de las formas de razonamiento validas o razonamientos deductivos, diferenciandolas de otros tipos de razonamiento como el inductivo y el abductivo.

Tipos de inferencia:

Son varios los tipos de inferencia posibles, como formas de razonamiento humano.
En general, hay acuerdo en considerar a las inferencias deductivas como validas; pero no todos los autores concuerdan acerca de la validez o invalidez de las inferencias inductiva y abductiva

DEDUCCION: El razonamiento deductivo se caracteriza por "conservar la verdad":
Una conclusion se infiere validamente de las premisas cuando la verdad de estas conduce inevitablemente a la verdad de la conclusion. Pero lo unico que interesa para determinar si un razonamiento deductivo es valido o no es la forma logica de las premisas y la conclusion y no su contenido o significado.

el razonamiento deductivo lo que busca es comprobar si el razonamiento es LOGICO no si es verdad las premisas, por ejemplo, si tenemos un razonamiento:

Mama es humana
Papa es humano
-----------------
conclusion: Soy hijo de extraterrestres

mas alla de la verdad de las premisas, en este caso tenemos un ejemplo de razonamiento NO LOGICO ya que si vemos que mis padres son humanos (AMBOS) es ilogico que yo sea hijo de extraterrestres ya que no es posible o LOGICO.

INDUCCION: El razonamiento inductivo va de lo particular a lo general, es decir que parte de premisas referidas a casos particulares y llega a una conclusion universal. Partiendo de premisas que hacen referencia identica a distintos casos de un mismo tipo, se concluye la misma afirmacion, pero ahora referida a todos los casos de ese tipo.

El enanito 1 tiene botas negras
El enanito 2 tiene botas negras
El enanito 3 tiene botas negras
-------------------------------
Todos los enanitos tienen botas negras

La principal limitacion que tiene el metodo inductivo es que la verdad de las premisas no asegura la verdad de la conclusion.

Abduccion: El razonamiento abductivo parte del conocimiento de una afirmacion general y una afirmacion de un hecho, y conduce a afirmar (conjeturar) la ocurrencia de un hecho previamente desconocido (algo que no sabemos)
Por ejemplo: Sé que siempre que pasa el afilador toca el timbre entre las 10 y las 11, un dia oigo sonar el timbre a las 10 y cuarto, inmediatamente se me ocurre que se trata del afilador.

Este ejemplo se puede esquematizar asi:

Cuando pasa el afilador suena el timbre entre las 10 y las 11. <-Afirmacion General Suena el timbre entre las 10 y las 11. <- Afirmacion de hecho ------------------------------------- que Pasa el afilador <- Conjetura del hecho que suene el timbre La conjetura se podria explicar de una manera muy simple como una hipotesis que conjetura el carebro para explicar un hecho espontaneo o desconocido. Para analizar la estructura del razonamiento abductivo hay que tener en cuenta, previamente un razonamiento deductivo. Lo que pasa es que sabia que el timbre habia sondao y tome esta informacion como punto de partida junto con la afirmacion general "CUANDO PASA EL AFILADOR SUENA EL TIMBRE ENTRE LAS 10 Y LAS 11, y el hecho de que sea entre las 10 y las 1 me llevo a pensar (conjeturar) que es el afilador. Algunos conceptos de logica proposicional:

El condicional material y la inferencia:

Las oraciones declarativas que dan informacion sobre algo, enuncian proposiciones. Las proposiciones pueden ser verdaderas o falsas.
Por ejemplo: "La tierra es plana" es una PROPOSICION y es FALSA;
"Todas las galaxias se alejan de la nuestra" es una PROPOSICION y se comprobo que era VERDADERA. Las proposiciones en logica se simbolizan con las letras minusculas p, q, r...

Los conectivos logicos son nexos que unen proposiciones simples para hacer proposiciones compuestas.
Los mas elementales elemntops conectivos logicos son:

• Conjuncion (y) = ^
• Disyuncion (o) = v
• Negacion (no) = ~
• Condicional material (si ... entonces .... (seria en ingles IF)) se simboliza con >.

Los conectivos logicos se interpretan por medio de tablas de verdad, que indican el valor de la verdad de las proposiciones compuestas a travez de la combinacion de valores de verdad de las proposiciones componentes:

p | q | p^q | pvq | ~p | p>q |

v | v | v | v | f | v |
f | v | f | v | v | v |
v | f | f | v | f | f |
f | f | f | f | v | v |




inferir.

(Del lat. inferre, llevar a).

1. tr. Sacar una consecuencia o deducir algo de otra cosa. U. t. c. prnl.

2. tr. Llevar consigo, ocasionar, conducir a un resultado.