Professional Documents
Culture Documents
En el siglo XIX matemticos como Boole, Frege, Peano, etc. Se ven en la necesidad de
cultivar los estudios lgicos para fundamentar y dar coherencia al edificio de la
matemtica e inventan para dicho cometido un lenguaje artificial simblico, mediante el
cual logran separar perfectamente las formas del discurso de sus significaciones o
contenido. Por lo mismo, la lgica moderna se llama simblica o matemtica.
Bertrand Russel, quien entre los aos 1910 y 1913 escribe Principia Mathematica,
considera la lgica como la parte fundamental de la matemtica. Otros la entienden
como una especie de metodologa de la misma. Sin embargo el inters de la lgica
rebasa todo campo particular, por muy importante que sea, puesto que el hombre
discurre o saca conclusiones no solo cuando resuelve problemas matemticos sino en
todos los campos de la ciencia y de la vida cotidiana. De aqu que Ferrater Mora la
considere una especie de ontologa formal.
Los estudios lgicos alcanzan hoy una extensin y complejidad difcilmente abarcable
en curso como el nuestro. Reducindonos a lo bsico, podemos dividir la lgica en dos
grandes ramas: la proposicional y la de predicados o de trminos.