Explorando la Lógica Formal y su Transición Simbólica
Enviado por Programa Chuletas y clasificado en Filosofía y ética
Escrito el en 
español con un tamaño de 3,98 KB
Definición y Objeto de la Lógica Formal
La lógica formal lleva a cabo un inventario de formas o figuras de deducción y procede a su validación y clasificación. En este sentido, guarda semejanza con el trabajo de los geómetras, ya que la consideraban haciendo abstracción de la materia de la que se compusiese. Se define, pues, la lógica formal como una ciencia abstracta que tiene como objeto el análisis formal de los argumentos.
La Matematización y el Surgimiento de la Lógica Simbólica
Las condiciones esenciales para la matematización de cualquier disciplina es la construcción de un lenguaje simbólico adecuado y la formulación precisa de las reglas de operación que determinan la validez de los cálculos. La lógica contaba con un simbolismo rudimentario, puesto que solo afectaba a los elementos variables del esquema, pero los elementos constantes no estaban simbolizados. Este paso se da con la matematización de la lógica. Para diferenciar la lógica formal antes y después de la matematización, se utiliza para esta el título de lógica simbólica, mientras que para la parcialmente simbolizada se conoce como lógica tradicional.
Repetición del Contenido Original (Corregido)
La lógica formal lleva a cabo un inventario de formas o figuras de deducción y procede a su validación y clasificación. En este sentido, guarda semejanza con el trabajo de los geómetras, ya que la consideraban haciendo abstracción de la materia de la que se compusiese. Se define, pues, la lógica formal como una ciencia abstracta que tiene como objeto el análisis formal de los argumentos.
Las condiciones esenciales para la matematización de cualquier disciplina es la construcción de un lenguaje simbólico adecuado y la formulación precisa de las reglas de operación que determinan la validez de los cálculos. La lógica contaba con un simbolismo rudimentario, puesto que solo afectaba a los elementos variables del esquema, pero los elementos constantes no estaban simbolizados. Este paso se da con la matematización de la lógica. Para diferenciar la lógica formal antes y después de la matematización, se utiliza para esta el título de lógica simbólica, mientras que para la parcialmente simbolizada se conoce como lógica tradicional.
La lógica formal lleva a cabo un inventario de formas o figuras de deducción y procede a su validación y clasificación. En este sentido, guarda semejanza con el trabajo de los geómetras, ya que la consideraban haciendo abstracción de la materia de la que se compusiese. Se define, pues, la lógica formal como una ciencia abstracta que tiene como objeto el análisis formal de los argumentos.
Las condiciones esenciales para la matematización de cualquier disciplina es la construcción de un lenguaje simbólico adecuado y la formulación precisa de las reglas de operación que determinan la validez de los cálculos. La lógica contaba con un simbolismo rudimentario, puesto que solo afectaba a los elementos variables del esquema, pero los elementos constantes no estaban simbolizados. Este paso se da con la matematización de la lógica. Para diferenciar la lógica formal antes y después de la matematización, se utiliza para esta el título de lógica simbólica, mientras que para la parcialmente simbolizada se conoce como lógica tradicional.