Las raices y los frutos

La lógica se encarga de analizar como son las inferencias a diario. En la ciencia antigua como en la moderna, se utiliza especialmente el razonamiento deductivo.
La lógica se ocupa de las proposiciones (o enunciados); su estructura interna y la forma en que se combinan para generar para generar nuevas proposiciones mas complejas.
Nos referiremos particularmente a las inferencias:
Deductivas
Elrazonamiento deductivo se caracteriza por conservar la verdad. Una conclusión se infiere válidamente de las premisas cuando la verdad de estas conduce inevitablemente a la verdad de la conclusión. No hay manera de que una conclusión sea falsa salvo que al menos UNA premisa sea falsa. Lo único que interesa para determinar si un razonamiento deductivo es falso o no es:
-La forma lógica de laspremisas
-La conclusión
NUNCA su contenido o significado

(problema SINTÁCTICO y no semántico)
Ejemplo
Todos los entrerrianos son argentinos
Todos los argentinos son latinoamericanos
Todos los entrerrianos son latinoamericanos
Pero también lo es el siguiente

Todos los economistas son funcionarios
Todos los funcionarios son asesinos peligrosos
Todos los economistas son asesinos peligrosos

Estariamosinclinados a negar la verdad de la conclusión del segundo razonamiento, como también el de las premisas (por lo menos la primera) mientras que aceptamos la verdad de las premisas y la conclisopn del primer ejemplo.
La FORMA LOGICA de un razonamiento deductivo consiste en:
Todos los M son A
Todos los A son B
Todos los M son B
Para que sea falsa la conclusión, forzosamente al menos una de laspremisas debe ser falsa.

Inductivas
El razonamiento inductivo involucra un proceso de generalización (va de lo particular a lo general). Parte de varias premisas que hace una afirmación idéntica acerca acerca de distintos casos de un mismo tipo en la que se concluye la misma afirmación, pero ahora referida a todos los casos de ese tipo.
Ejemplo:
El enanito 1 tiene poderes mágicos
El enanito 2 tienepoderes mágicos
El enanito 3 tiene poderes mágicos
Todos los enanitos tienen poderes mágicos
No puede estipularse cuantas premisas se necesitan para que se justifique obtener la conclusión. La verdad de la conclusión no esta asegurada por la verdad de las premisas. Son afirmaciones generales que luego habrá que poner a prueba.

Abductivas

El razonamiento abductivo parte del conocimiento de unaafirmación general y una afirmación de un hecho y conduce a afirmar (conjeturar) la ocurrencia de un hecho previamente desconocido. Es preciso que la conjetura cumpla la condición de que de ella y de la afirmación general se deduzca el resultado. Es decir, siempre esta asociado al razonamiento abudctivo uno deductivo.

Los razonamientos de tipo deductivo, son los que partiendo de determinadaspremisas, nos permiten llegar a través de las reglas de inferencia, a una conclusión cuya verdad esta garantizada siempre que las premisas hayan sido verdaderas.
La lógica estudia entre otras cosas las condiciones para que un razonamiento deductivo sea valido. Mas alla de la razonabilidad, verosimilitud o valor de verdad de las proposiciones en juego, la lógica se ocupa de decirnos que formas derazonamiento garantizan que las conclusiones se deducen de las premisas.

Conceptos de la lógica proposicional

Una oración declarativa (oración que afirma un estado de cosas) enuncia una proposición. A veces llamaremos enunciado a este tipo de oraciones. A toda proposición le corresponde un valor de verdad. Es necesariamente VERDADERA o FALSA. Utilizaremos las letras minúsculas p, q, r, etc., pararepresentar proposiciones.
Ejemplos:
-La tierra es plana
-El Amazonas desemboca en el Oceano Atlantico
-El 25 de 1243 granizó frente al Partenón
La primera es verdadera, la segunda es falsa, y de la tercera jamas podríamos determinar su valor de verdad, pero de algo estamos seguros: es verdadera o falsa.
Las PROPOSICIONES COMPUESTAS se forman a partir de otras, por medio de los asi llamados:...