Historia De La Lógica Formal
Páginas: 4 (978 palabras)
Publicado: 11 de septiembre de 2011
HISTORIA DE LA LÓGICA FORMAL.
El desarrollo de la forma matemática de la Lógica no ha concluido, de hecho, ni en el propio nombre, ya que se le denomina: “Lógica Matemática”, “Lógica Simbólica”,“Logística” y en otras ocasiones se le llama “Lógica Teorética”. Analizando algunos tipos de escritos podemos advertir que la Lógica en ellos contenida se diferencia de todas las demás por dos rasgosdistintivos relacionados entre sí. En primer lugar trata con métodos formalísticos, los cuales consisten en que las reglas de las operaciones se deben a la forma de los signos y no a su sentido, al igualque en las matemáticas, a esto se le llama cálculo. Por otro lado tenemos que las demás formas conocidas de la Lógica se sirven de un método abstractivo, o sea, que las proposiciones lógicas seobtienen del lenguaje natural mediante la abstracción; los lógicos matemáticos proceden de forma inversa: primero construyen un sistema puramente formal y sólo después le buscan una interpretación en ellenguaje ordinario.
A estos dos rangos esenciales de la Lógica matemática habría que añadirle dos más. Las leyes se formulan en un lenguaje artificial en símbolos, parecido a las matemáticas, con lanovedad de que en ésta las constantes también se expresan por medio de símbolos artificiales. Finalmente, también se caracteriza por formular proposiciones en lenguaje objeto, al contrario de laEscolástica, es extraordinariamente rica y formalizada.
En general se suele señalar a Leibniz como primer Lógico matemático, el no considerársele como el fundador de la Lógica matemática se debe a que nofueron publicados sus escritos hasta largo tiempo después de su muerte.
En un lugar destacado de entre los Lógicos matemáticos tenemos a Gottlob Frege, cuya obra Begriffsschrift se le puedecomparar con otra gran obra de la Lógica: los Analíticos primeros de Aristóteles. Frege fue el primero en formular con precisión la diferencia entre variable y constante, al igual que el concepto de...
El desarrollo de la forma matemática de la Lógica no ha concluido, de hecho, ni en el propio nombre, ya que se le denomina: “Lógica Matemática”, “Lógica Simbólica”,“Logística” y en otras ocasiones se le llama “Lógica Teorética”. Analizando algunos tipos de escritos podemos advertir que la Lógica en ellos contenida se diferencia de todas las demás por dos rasgosdistintivos relacionados entre sí. En primer lugar trata con métodos formalísticos, los cuales consisten en que las reglas de las operaciones se deben a la forma de los signos y no a su sentido, al igualque en las matemáticas, a esto se le llama cálculo. Por otro lado tenemos que las demás formas conocidas de la Lógica se sirven de un método abstractivo, o sea, que las proposiciones lógicas seobtienen del lenguaje natural mediante la abstracción; los lógicos matemáticos proceden de forma inversa: primero construyen un sistema puramente formal y sólo después le buscan una interpretación en ellenguaje ordinario.
A estos dos rangos esenciales de la Lógica matemática habría que añadirle dos más. Las leyes se formulan en un lenguaje artificial en símbolos, parecido a las matemáticas, con lanovedad de que en ésta las constantes también se expresan por medio de símbolos artificiales. Finalmente, también se caracteriza por formular proposiciones en lenguaje objeto, al contrario de laEscolástica, es extraordinariamente rica y formalizada.
En general se suele señalar a Leibniz como primer Lógico matemático, el no considerársele como el fundador de la Lógica matemática se debe a que nofueron publicados sus escritos hasta largo tiempo después de su muerte.
En un lugar destacado de entre los Lógicos matemáticos tenemos a Gottlob Frege, cuya obra Begriffsschrift se le puedecomparar con otra gran obra de la Lógica: los Analíticos primeros de Aristóteles. Frege fue el primero en formular con precisión la diferencia entre variable y constante, al igual que el concepto de...
Leer documento completo
Regístrate para leer el documento completo.