Logica Formal

La lógica como una de las palabras centrales de la historia del pensamiento occidental comprende en su significado cosas tan distintas como la silogística aristotélica el arte de diputacionesescolástico la lógica trascendental de la crítica de la razón kantiana la lógica dialéctica de Hegel y la lógica matemática de los ( principia matemática) de whitehead y Russell. El termino (lógica formal)es habitual desde Kant para distinguir las conclusiones lógico formales de las restantes verdades adquirida mediante la razón

El ejemplo escolar de conclusión lógico-formal que de algunos hombresson filósofos y todos los filósofos son sabios concluye que algunos hombres son sabios recibe el nombre de formal porque la validez de esta conclusión depende exclusivamente de la forma de lasproposiciones que en ella intervienen pero no de s materia del contenido de las proposiciones que en ella intervienen de su materia del contenido de las proposiciones en particular no depende de la veracidado falsedad de estas proposiciones sobre la dependencia de la lógica respecto del idioma natural , la forma de una proposición como [ algunos hombres son filósofos ] es precisamente lo que permanece deella cuando sus predicados en esta caso [hombre] y [filosofo] son reemplazados por cualquiera otros. Por tanto esta forma puede representarse sustituyendo sus predicados dos por variables. Lasvariables son símbolos carentes de significado cuya única misión consiste en indicar los lugares en que se deben colocar las constantes significativas en nuestro caso los predicados.
Como variablesutilizaremos P, Q Y R como variables que representen a los predicados nuestro ejemplo anterior de las formas proposicionales *algunos P son Q y todos los Q son R* concluye la forma proposicional *algunosP son R*

También cuando a partir de *si llueve o nieva no viene * y *llueve* se concluye *no viene* si tiene una conclusión lógico formal si se reemplazan las proposiciones *llueve* *nieva*...