Introduccion a la logica y sus fundamentos

Introducción a la Lógica y su fundamento.
La palabra lógica significa razonamiento, fue utilizada por primera vez por Aristóteles en su tratado de
lógica (órganon) el cual es un monumento que persigue a la razón humana y es tan así que su fundamento
está vigente aun en nuestros días y por esto es considerado como el padre de la misma. Este a su vez
desarrollo la Teoría de la Deducción, encuentralas estructuras generales del pensamiento deductivo.
Por consiguiente podemos definir la lógica como la parte de la filosofía que trata de las formas del
pensamiento y de las leyes de las que se rigen para llegar a la verdad. Y es la ciencia que expone las
leyes, métodos y formas del conocimiento científico.
Forma parte del saber filosófico porque la misma representa a un modo del saber sobre elsaber. Estudia
las leyes a las que ha de someterse nuestro razonamiento en la búsqueda de la verdad y la misma
constituye una ciencia normativa ya que constituye el arte del dialogo.
Tiene como principal misión conducir nuestro pensamiento a la construcción de juicios organizados. Y es
la encargada de llevar al razonamiento a la verdad por medio del conocimiento aplicado adecuadamente.

VALIDEZFORMAL
Validez es el término técnico aplicado a argumentos deductivos que son lógicamente correctos. Un
argumento deductivo es válido cuando es imposible que las premisas sean ciertas y la conclusión falsa. En
un argumento deductivo la conclusión se sigue necesariamente de las premisas.
Un ejemplo de argumento válido en lenguaje natural:
Si Lassie es un perro, entonces Lassie es un mamífero.
Lassiees un perro.
------------------- -------------------- ---Por lo tanto Lassie es un mamífero.
(Nota: Todos los perros son mamíferos. En este sentido, "aquello que sea un perro", tiene que ser
necesariamente un mamífero.)
Un ejemplo inválido:
Si es un perro, entonces es un mamífero.
Es un mamífero.
------------------- --------------Por lo tanto: es un perro.
(Nota: No todos los mamíferos son perros.Los gatos, ratas, leones... son también mamíferos. En este
sentido, "aquello es un mamífero" podría significar que es un gato o rata o león... y no necesariamente un
perro.)

PROPOSICIONES
Las partes de un argumento están constituidas por las letras enunciativas o Proposiciones.
Para los propósitos de la lógica, una letra enunciativa o Proposición constituye una aserción verdadera o
falsa.Ejemplos:
(1) Mi padre envió un presente a su nieto.
(2) Mi padre envió a su nieto un presente.
(3) Un presente era enviado por mi padre a su nieto.
Las tres frases enunciativas son tres frases distintas. Sin embargo, las tres expresan el mismo tipo de
proposición.
Tales Proposiciones pueden ser verdaderas o falsas.
Las Proposiciones son de diferentes tipos:
(a)Pregunta:¿"Pasó usted la lógica?"(b)Orden:"Cierre inmediatamente la ventana."
(c)Exclamación:"¡La madre que me parió!"
a, b, y c no son proposiciones lógicas porque ellas no afirman algo que es o cierto o falso. Únicamente son
proposiciones lógicas las que nos dicen de algo si es verdadero o falso. Por ejemplo, es cierto o falso que
mi padre envió un presente a su nieto. Pero no tiene sentido decir que es cierto o falso la exclamación¡la
madre que me parió!

Conectivas básicas de la lógica:
Negación
Alguien dice: "Hay una computadora en mi oficina."
Siguiendo la convención lógica nosotros podemos representar esta proposición atómica simple, arriba
indicada, con una letra enunciativa única:
C="hay computadora en mi oficina."
C afirma el hecho cierto que hay desde luego una computadora en mi oficina. Podría, sin embargo, ser
ese Cfalso. (Si alguien hubiera retirado la computadora de mi oficina.) Pues bien, hay diversas maneras
de decir que ese C no es cierto:
(a)"no hay computadora en mi oficina."
(b)"no es el caso que hay una computadora en mi
oficina."
(a) y (b) se llaman la negación de C.

Asi, una de las formas de negar C es:
"No es el caso ese C."
Si nosotros reemplazamos 'no es el caso que' con el símbolo...