La lgica es una ciencia formal que estudia los principios de la
demostracin e inferencia vlida. La palabra deriva del griego antiguo (logike), que significa dotado de razn, intelectual, dialctico, argumentativo, que a su vez viene de (logos), palabra, pensamiento, idea, argumento, razn o principio. La lgica examina la validez de los argumentos en trminos de su estructura lgica, independientemente del contenido especfico del discurso y de la lengua utilizada en su expresin y de los estados reales a los que dicho contenido se pueda referir. Esto es exactamente lo que quiere decir que la lgica es una ciencia formal. Tradicionalmente ha sido considerada como una parte de la filosofa. Pero en su desarrollo histrico, a partir del final del siglo XIX, y su formalizacin simblica ha mostrado su ntima relacin con las matemticas; de tal forma que algunos la consideran como Lgica matemtica. En el siglo XX la lgica ha pasado a ser principalmente la lgica simblica. Un clculo definido por unos smbolos y unas reglas de inferencia.1 Lo que ha permitido un campo de aplicacin fundamental en la actualidad: la informtica. Hasta entonces la lgica no tuvo este sentido de estructura formal estricta. La tradicin aristotlica y estoica,2 mantuvo siempre una relacin con los argumentos del lenguaje natural, concediendo por tanto a los argumentos una transmisin de contenidos verdaderos. Por ello an siendo formales, no eran formalistas.3 Hoy, tras los progresos cientficos relativos a la lingstica, y el concepto semntico de verdad en su relacin con el lenguaje,4 tal relacin se trata bajo un punto de vista completamente diferente. La formalizacin estricta ha mostrado las limitaciones de la lgica tradicional interpretada actualmente como una particularidad de la lgica de clases.5 Resea de usuario - Marcar como inadecuado
es muy bueno este libro pero como lo puedo descargar?