Qué es la lógica formal, tradicional o filosófica, de que trata, cual es

Qué es la lógica formal, tradicional o filosófica, de que trata, cual es. La lógica formal es lo que consideramos lógica tradicional o lógica filosófica , es decir, el estudio de la inferencia con contenido puramente formal y explícito (es decir, puede expresarse como una aplicación particular de una regla totalmente abstracta ), como las reglas de lógica formal que nos ha llegado desde Aristóteles .

Un sistema formal (también llamado cálculo lógico ) se usa para derivar una expresión ( conclusión ) de una o más expresiones ( premisas ). Estas premisas pueden ser axiomas(una proposición evidente por sí misma, que se da por sentada) o teoremas (derivados utilizando un conjunto fijo de reglas de inferencia y axiomas, sin suposiciones adicionales). El formalismo es la teoría filosófica de que los enunciados formales (lógicos o matemáticos) no tienen un significado intrínseco, sino que sus símbolos (que se consideran entidades físicas) exhiben una forma que tiene aplicaciones útiles . Lógica formal , el estudio abstracto de proposiciones , declaraciones o oraciones utilizadas asertivamente y de argumentos deductivos . La disciplina abstrae del contenido de estos elementos las estructuras o formas lógicas que encarnan. El lógico habitualmente usa un símbolo-notación para expresar tales estructuras de forma clara y sin ambigüedades y para permitir que las manipulaciones y las pruebas de validez se apliquen más fácilmente. Aunque la siguiente discusión emplea libremente la notación técnica de la lógica simbólica moderna, sus símbolos se introducen gradualmente y con las explicaciones correspondientes para que el lector general serio y atento sea capaz de seguir el desarrollo de las ideas. La lógica formal es una a priori , y no un estudio empírico . En este sentido, contrasta con las ciencias naturales y con todas las demás disciplinas que dependen de la observación de sus datos. Su analogía más cercana es pura matemáticas ; de hecho, muchos lógicos y matemáticos puros considerarían sus respectivos temas como indistinguibles, o como meras dos etapas de la misma disciplina unificada. La lógica formal, por lo tanto, no debe confundirse con el estudio empírico de los procesos de razonamiento , que pertenece a la psicología . También debe distinguirse del arte del razonamiento correcto, que es la habilidad práctica de aplicar principios lógicos a casos particulares; y, aún más agudamente, debe distinguirse del arte de la persuasión, en el que no válidolos argumentos son a veces más efectivos que los válidos.