Logica

Lógica: La lógica es una ciencia formal y una rama de la filosofía que estudia los principios de la demostración e inferencia válida. La palabra deriva del griego antiguo λογική (logike), quesignifica «dotado de razón, intelectual, dialéctico, argumentativo», que a su vez viene de λόγος (logos), «palabra, pensamiento, idea, argumento, razón o principio».

Lógica formal: La lógica formal es laparte de la lógica que, a diferencia de la lógica informal, se dedica al estudio de la inferencia mediante la construcción de lenguajes formales, sistemas deductivos y semánticas formales.

Lógicatradicional: es la tradición lógica basada en el trabajo del filósofo griego Aristóteles, primer pensador en formalizar el sistema lógico de tal manera que sus propuestas han trascendido hastanuestros días

Desarrollo de la lógica: La lógica, como un análisis explícito de los métodos de razonamiento, se desarrolló originalmente en tres civilizaciones de la historia antigua: China, India yGrecia, entre el siglo V y el siglo I a. C.
Contexto de las culturas
En China no duró mucho tiempo: la traducción y la investigación escolar en lógica fue reprimida por la dinastía Qin, acorde con lafilosofíalegista.
En India, la lógica duró bastante más: se desarrolló (por ejemplo con la nyāya) hasta que en el mundo islámico apareció la escuela de Asharite, la cual suprimió parte del trabajooriginal en lógica. A pesar de lo anterior, hubo innovaciones escolásticas indias hasta principios del siglo XIX, pero no sobrevivió mucho dentro de la India colonial.
El tratamiento sofisticado y formalde la lógica moderna aparentemente proviene de la tradición griega. Se considera a Aristóteles el fundador de la lógica como propedéutica o herramienta básica para todas las ciencias. Aristóteles fueel primero en formalizar los razonamientos, utilizando letras para representar términos. También fue el primero en emplear el término lógica para referirse al estudio de los argumentos dentro del...