Logica
Logica gy masternoc 110R6pR 17, 2011 2 pagos 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), que significa «dotado de razón, intelectual, dialéctico, argumentativo», que a su vez viene de Àóyoq (logos), «palabra, pensamiento, idea, argumento, razón o principio». Lógica formal: La lógica formal es la parte de la lógica que, a diferencia de la lógica informal, se dedica al estudio de la nferencia mediante la construcción de lenguajes formales, sistemas deductivos y semánticas formales.
Lógica tradicional: es la tradición lógica basada en el trabajo del filósofo griego Aristóteles rimer ensador en formalizar el Swp to page sistema lógico de tal hasta nuestros días Desarrollo de la lógic métodos de razonam stas han trascendldo ora to View nut*ge lisis explícito de los inalmente en tres civilizaciones de la historia antigua: China, India y Grecia, entre el siglo Vy el siglo I la. 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 la filosofíalegista. En India, la lógica duró bastante más: se desarrolló (por
India colonial. El tratamiento sofisticado y formal de 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 fue el 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 «lenguaje apofántico como manifestador de la verdad en la ciencia.