La Naturaleza de la lgica

La materia principal de la lgica formal son los patrones formales de inferencia demostrativa pero
ms que eso es el estudio terico de la estructura del razonamiento en todas sus formas posibles
tal como lo han entendido los grandes lgicos a lo largo del siglo XIX.
Los lgicos del siglo XIX se preocuparon por el juicio; este es el acto de afirmar algo que est
respaldado por motivos adecuados cuya funcin es mantener lo que se ha afirmado.
Abraham Wolf, con esta perspectiva acerca de la lgica afirma que la lgica es el estudio
sistemtico de las condiciones generales de inferencia vlida; es importante tener claro que la
inferencia es el acto de derivar juicios o proposiciones de otras.
Ahora bien, por proposicin se entiende el juicio siendo el pensamiento actual o motivo
mental que podra o no, ser expresado en palabras aunque no se pueda discutir hasta que haya
sido expresado. Pero dado que la tendencia ha sido confinar la lgica hasta llegar a su forma pura,
Alonzo Church define la lgica como el estudio sistemtico de estructuras de proposiciones y
condiciones generales de inferencia vlida por un mtodo en el cual se abstrae de la proposicin
slo atendiendo a su forma lgica.
A partir de lo que se ha dicho, se puede observar que el proceso de definicin con el fin de llegar al
estado ms puro de la lgica, en cuanto a su objeto, tiene un proceso histrico y relevante que
permite eliminar ambigedades, o por lo menos entender de una forma ms clara de qu se ocupa
la lgica; por ejemplo, como se puede observar, se define como un estudio sistemtico de reglas
generales de inferencia vlida, posteriormente la lgica se define como un estudio sistemtico de
la estructura de las proposiciones y reglas generales de inferencia vlida, es decir, se ha
descubierto que un elemento importante en el estudio de la lgica formal son las proposiciones y
adems se define lo que es proposicin siempre atendiendo al Juicio. Por otra parte, es posible
entender la distincin de forma lgica y materia, cuando se distingue entre firmeza lgica y validez
de la premisa.
Para hacer la distincin entre estas dos partes de la proposicin, es importante considerar un
lenguaje formalizado, o sea, un lenguaje sometido a unas reglas fijas de formacin de expresiones,
el cual evitar ambigedades que residen en el lenguaje usualmente usado; luego si se adopta tal
lenguaje, estamos adoptando un sistema de teora o anlisis lgico, lo que nos permite decir que
el objetivo del lenguaje formalizado es formar expresiones significativas y que a su vez nos
proporcionen criterios de inferencia.
A lo largo de la discusin, llegamos a que la lgica es la teora de la estructura formal de sistemas
deductivos, por lo cual la lgica es tan importante para las matemticas