LOGICA

¿Qué es la lógica?

• La definición del Diccionario General de la Lengua Española dice:
Disciplina que estudia los principios formales del conocimiento humano,
es decir, las formas y las leyes mas generales del pensamiento humano
considerado puramente en sı mismo, sin referencia a los objetos. Los
problemas principales de la lógica son las doctrinas del concepto, del juicio,
del silogismo y del método.
• Esfuerzos por modelar estas “leyes del pensamiento humano”. Han existido desde
la antigüedad.
• Como ejemplo podemos tomar los silogismos:
➦Todos los perros son mamíferos.
➦Todos los mamífero son animales
Podemos concluir que:
➦Todos los perros son animales.
➦Ninguna gaviota es un traductor.
➦Algunas aranas son gaviotas.

Por qué es bueno saber lógica
• Porque parte esencial del razonamiento matematico.
• Muchas otras disciplinas usan lógica: Psicologıa (ej: Wasons selection task),
Filosofa, Fısica, Lingüista.
• La logica es esencial en ciencia de la computacion. Algunos usos:
• Programación en general.
• Modelacion Formal de algoritmos, verificacion de propiedades.
• Modelacion Formal de maquinas.
• Representacion formal del conocimiento y razonamiento.
• Bases de Datos.
• Ademas, algunas logicas son implementables (demostradores mecanicos de
teoremas).
• Existen lenguajes de programación basados en lógica
Es la ciencia de las proposiciones y las demostraciones que se basan en un razonamiento para llegar a una conclusión verdadera o falsa. Ejemplo.
Todos los hombres son mortales .
Socrates es hombre por lo tanto es mortal.
Saludos.