TALLERES DE FILOSOFIA 2



COLEGIO REMBRANDT
LA EXCELENCIA EDUCATIVA UN COMPROMISO DE TODOS
PLAN DE MEJORAMIENTO PARA ONCES
CAMPO
HISTORICO
CICLO
1.1
SECIÓN
1
NOMBRE:
NOTA:
FECHA DE ENTREGA:
F.RECIVIDA:
Marco textual
LA LOGICA FORMAL
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».
La lógica examina la validez de los argumentos en términos de su estructura, (estructura lógica),
independientemente del contenido específico del discurso y de la lengua utilizada en su expresión y de los
 estados reales a los que dichocontenido se pueda referir.
Esto es exactamente lo que quiere decir que la lógica es una ciencia «formal».
Tradicionalmente ha sido considerada como una parte de la filosofía. Pero en su desarrollo histórico, a
partir del final del siglo XIX, y su formalización simbólica ha mostrado su íntima relación con las
 matemáticas; de tal forma que algunos la consideran como Lógica matemática.
En elsiglo XX la lógica ha pasado a ser principalmente la lógica simbólica. Un cálculo definido por unos
 símbolos y unasreglas de inferencia.1 Lo que ha permitido un campo de aplicación fundamental en la
actualidad: la informática.
Hasta entonces la lógica no tuvo este sentido de estructura formal estricta. La tradición aristotélica y 
estoica,2 mantuvo siempre una relación con los argumentos dellenguaje natural, concediendo por tanto a los
 argumentos una transmisión de contenidos verdaderos. Por ello aún siendo formales, no eran formalistas.3
Hoy, tras los progresos científicos relativos a la lingüística, y el concepto semántico de verdad en su
relación con el lenguaje,4 tal relación se trata bajo un punto de vista completamente diferente.
La formalización estricta ha mostrado laslimitaciones de la lógica tradicional interpretada actualmente como
una particularidad de la lógica de clases.5
Ciencia argumentativa y propedéutica
El término «lógica», se encuentra en los antiguos peripatéticos y estoicos como una teoría de la
argumentación o argumento cerrado;6 De este modo la forma argumentativa responde al principio de
Conocimiento que supone que representa adecuadamente larealidad.7 Por ello, sin perder su condición de
 formalidad, no son formalistas y no acaban de desprenderse de las estructuras propias del lenguaje.3
Con el nombre de Dialéctica, en la Edad Media, la Lógica mantiene la condición de ciencia propedéutica.
Así se estudia en la estructura de las enseñanzas del Trivium como una de las artes liberales.
En la Edad Moderna la lógica tradicional aristotélicaadquiere un nuevo enfoque en las interpretaciones
racionalistas de Port Royal, en el siglo XVII, pero tampoco supusieron un cambio radical en el concepto de
la Lógica como ciencia.
Ciencia del pensar

Gottfried Leibniz (1646-1716).
Los filósofos racionalistas, sin embargo, al situar el origen de la reflexión filosófica en la conciencia, aportaron
, a través del desarrollo del análisis como métodocientífico del pensar,8 los temas que van a marcar el
desarrollo de la lógica formal. Son de especial importancia la idea de Descartes de una Mathesis universalis9
 y de Leibniz que, con su Characteristica Universalis supone la posibilidad de un lenguaje universal,
 especificado con precisión matemática sobre la base de que la sintaxis de las palabras debería estar en
 correspondenciaconlas entidades designadas como individuos o elementos metafísicos, lo que haría
posible un cálculo o computación mediante algoritmo en el descubrimiento de la verdad.10 11
Aparecen los primeros intentos y realizaciones de máquinas de cálculo, (Pascal,Leibniz) y, aunque su
desarrollo no fue eficaz, sin embargo la idea de unaMathesis Universal o Característica Universal, es el
antecedente inmediato del...