Qu es la Lgica?

Tiene origen aristotlico, Organon (seis tratados) Dnde y cundo se inicio el estudio de la lgica? La lgica ha sido inventada, creada o descubierta por el hombre? El hombre poco a poco fue creando mecanismo para explicar el mundo que lo rodea, y a la vez descubriendolo.

Evolucin de la lgica: Perodo I: Nacimiento de las matemticas y de la lgica (600 a.c. 300 a.c.) Griegos clsicos: establecieron las matemticas como un proceso deductivo o de razonamiento lgico. Platn y Aristteles, propuso el razonamiento deductivo a partir de los silogismos aristotlicos.

Perodo II: Formalizacin de las matemticas (1821 -1940) Siglo XIX Giuseppe Peano (1858 1932) y Hilbert, el primero fundador de la lgica simblica y el segundo creador de la escuela formal. Gerge Boole (1815 1864) Lo que se conoce como lgica Booleana, donde se trabaja con dos

Valores : Falso y Verdadero ( 1 y 0 ). E introduce el algebra a la lgica y formula las leyes del Calculo Proposicional. Augustus Morgan (1806 1871) obtiene las leyes de morgan que son usadas hasta el momento en los procesos de deduccin de la lgica moderna.

Russell, crea los leguajes de especificacin modernos y la metodologa de diseo y programacin conocida como orientada a objetos, que llega a ser conocida en 1970 a 1990. Perodo IV: Revolucin Digital (1940 2005) Alan Mathison Turing (1894 1964) funda la ciencia de la ciberntica y establece el desarrollo de la lgica experimental.

Perodo V: Siguiente Revolucin Lgica (2005 - ? ) La revolucin digital proporciona los fundamentos econmicos y tecnolgicos para las trasformaciones de redes globales de computadoras en sistemas inteligentes, los cuales usan la lgica y los mtodos formales. Estos los usamos todos los das en nuestro trabajo, educacin y entretenimiento.

Qu es la Lgica?

Definiciones: La lgica puede definirse brevemente como la ciencia del razonamiento. Sin embargo, en general se la define como la ciencia de las leyes del pensamiento, y algunos lgicos lo creen ms conveniente para precisar con exactitud que es la ciencia de las leyes formales o necesarias del pensamiento (W.S. Jevons, Lgica p.1)

La lgica elemental es el estudio de las formas de argumentacin vlida, y, ms ampliamente, de los diferentes tipos de proposiciones que son lgicamente verdaderas() El Lgico est interesado por la verdad lgica, no por la verdad (o falsedad) material de las proposiciones. (David Mitchell, Introduccin a la lgica, p. 11).

La lgica trata de los argumentos y las inferencias. Uno de sus objetivos principales consiste en proporcionar mtodos para distinguir cules son lgicamente correctos y cules no ( Wesley C. Salmn, Lgica, p.1)

El estudio de la lgica de los textos aristotlicos nos permite elaborar una frmula definitoria como la siguiente. La lgica es la ciencia que se propone establecer las leyes ms generales del discurso verdadero; o tambin: la ciencia de las formas del discurso en cuanto discurso. Se puede decir, si se prefiere, que es la ciencia de las leyes del pensamiento, o, simplemente, se la puede definir mediante la frmula ciencia de la forma del pensamiento (Juan Rivano, Lgica elemental, p.14).

Conclusin: La lgica tiene un origen aristotlico El objetivo esencial de la lgica sera el estudio del razonamiento. El razonamiento del que nos habla la lgica es el deductivo, esto es, aquel que puede expresarse en esquemas formales.

Lo caracterstico del razonamiento deductivo es que su validez se encuentra sujeta a ciertas leyes o reglas. La lgica tendra como objetivo fundamental determinar estas formas o leyes vlidas del razonamiento.