4/16/12

ANTECEDENTES DE LA LOGICA FORMAL.

Haga clic para modificar el estilo de subttulo del patrn

4/16/12

que es logica?

LA LOGICA DOCUMENTA EL DESARROLLO DE LA LOGICA DE VARIAS CULTURAS Y TRADICIONES A LO LARGO DE LA HISTORIA. AUNQUE MUCHAS CULTURAS HAN EMPLEADO INTRICADOS SISTEMAS DE RAZONAMIENTO,E INCLUSO ,EL PENSAMIENTO LOGICO ESTABA YA IMPLICITO EN BABILONIA EN ALGUN SENTIDO , LA LOGICA COMO ANALISIS EXPLICITO DE LOS METODOS DE RAZONAMIENTO HA RECIBIDO UN TRATAMIENTO SUSTANCIAL SOLO ORIGINALMENTE EN TRES TRADICIONES : LA CHINA LA INDIA LA GRIEGA

AUNQUE LAS DATACIONES SON EXACTAS, SON INCIERTAS, PARTICULARMENTE EN EL CASO DE LA INDIA, ES PROBABLE QUE LA LOGICA EMERGIESE EN LAS TRES SOCIEDADES HACIA EL SIGLO IV a.c EN MESOPOTAMIA EN GRECIA LOGICA EN LA

4/16/12

LOGICA LOGICA

INDIA

LOGICA

EN CHINA LOGICA EN LA FILOSOFIA ISLAMICA

4/16/12

LOGICA FORMAL

La lgica formal es la parte de la lgica que, a diferencia de la lgica informal, se dedica al estudio de la inferencia mediante la construccin de lenguajes formales, sistemas deductivos y semnticas formales. La idea es que estas construcciones capturen las caractersticas esenciales de las inferencias vlidas en los lenguajes naturales, pero que al ser estructuras formales y susceptibles de anlisis matemtico, permiten realizar demostraciones rigurosas sobre ellas. lgica formal no debe ser confundida con la

La

4/16/12

LOGICA INFORMAL
La

lgica informal, o lgica no formal, es el estudio de los argumentos, tal como se presentan en la vida diaria, en oposicin al estudio de los argumentos en una forma tcnica o artificial, que corresponde a la lgica formal. Esta parte de la lgica se dedica principalmente a diferenciar entre formas correctas e incorrectas en que se desarrolla el lenguaje y el pensamiento cotidiano, en especial al estudio de los procesos para obtener conclusiones a partir de informacin dada. Parte del principio que el pensamiento y el lenguaje humano es a menudo incorrecto, o

4/16/12

LA LOGICA CHINA
En

China, un contemporneo de Confucio, Mozi, "Maestro Mo", es considerado como el fundador de la escuela Mohista (mohsmo), cuyos principios estn relacionados con temas como la inferencia vlida y las condiciones de las conclusiones correctas. En particular, una de las escuelas que siguieron al mohsmo, los lgicos, es considerada por varios expertos como la primera que investig la lgica formal. Desafortunadamente, debido a la rgida normativa legal durante la dinasta Qin, esa lnea de investigacin desapareci de China hasta la introduccin de la

4/16/12

LOGICA EN MESOPOTAMIA
En

Mesopotamia, el Manual de diagnstico mdico de Esagil-kin-apli, escrito en el siglo XIa.C., se bas en un conjunto lgico de axiomas y asunciones, entre las que se incluyen la visin moderna de que, a travs del examen e inspeccin de los sntomas de un paciente, es posible determinar el problema del mismo, su etiologa y su desarrollo futuro, y las posibilidades de recuperacin.[1] los siglos VIII y VII, los astrnomos babilonios empezaron a utilizar una lgica interna en sus sistemas de prediccin

Durante

4/16/12

LOGICA EN LA INDIA
Dos

de las seis escuelas indias de pensamiento estn relacionadas con la lgica: Nyya y Vaisheshika. Los Nyaya Sutras de Aksapada Gautama constituyen el ncleo de textos de la escula Nyaya, una de las seis escuelas ortodoxas de filosofa hind. Esta escuela realista trabaj con un rgido esquema de inferencia de cinco miembros que engloba una premisa inicial, una razn, un ejemplo, una aplicacin y una conclusin.

4/16/12

LOGICA TRADICIONAL
La

expresin "lgica tradicional" hace referencia, habitualmente, a la tradicin de manuales que comienza con La logique ou l'art de penser de Antoine Arnauld y Pierre Nicole, ms conocido como Lgica de Port-Royal. Publicada en 1662, fue la ms influyente obra sobre lgica en Inglaterra hasta el Sistema Lgico de Mill de 1825 [N4]. El libro presenta una muy libre doctrina cartesiana (que la proposicin es una combinacin de ideas antes que de trminos, por ejemplo) dentro de un marco que se deriva ampliamente de la lgica de trminos aristotlica

4/16/12

GRACIAS POR LA ATENCION