Professional Documents
Culture Documents
La lógica es un lenguaje artificial, pero formal, es decir le interesa la forma, no sólo los
contenidos. Es un lenguaje abstracto que quiere analizar los razonamientos. Ahora bien,
si por "lenguaje" se entiende un "sistema de signos", hay muchos tipos de lenguajes (no
verbales, el arte etc.). Todo ello es estudiado por la ciencia de los signos, llamada
semiótica, y se estudia desde tres puntos de vista: el sintáctico, el semántico y el
pragmático.
En la matemática este método hipotético deductivo no existe. En el discurso utilizado
dentro de esta ciencia es puramente sintáctico, el componente semántico (significado) se
halla ausente. En el caso de física no solo vemos una necesaria utilización de la se la
sintaxis y la semántica sino también vemos que existe una relación a la que se le llama
pragmática.
El método Axiomático
Puesto que en la matemática en su discurso imitativo del ordinario pero en el cual la
significación esta ausente, como a la espera de que alguna conveniente interpretación le
añada significado faltante. Este será interpretado de una determinada manera, hay que
imponerle ciertas categorías sintácticas para impedir que se los emplee sin orden ni
concierto. De otro modo, se podrían obtener absurdos al realizar la traducción, en
particular porque la interpretación producirá ciertas expresiones significativas de las
cuales luego de utilizar reglas lógicas ordinarias de deducción surgirán otras
expresiones significativas, como un juego sintáctico, que suele llamarse “sistemas
sintácticos”. Dichas reglas se corresponde con las leyes de la lógica deductiva formal.
Todas estas precauciones son tomadas para llevar de hipótesis a verdades que ya
poseemos a nuevas hipótesis o verdades.
En cada uno de los sistemas así entendida en la matemática, permite tomar alguna
expresiones (o formulas) como axiomas (termino que se emplea en los puntos de
partida, en homenaje a Aristóteles).
Mediante el empleo de axiomas y de reglas lógicas, nos introducimos a los teoremas
(enunciados que se deducen de aquellos puntos de partida). Los teoremas son, para cada
sistema axiomático de la matemática nada mas que un conjunto de de formulas. Y se los
utiliza, se los interpreta, los signos adquirirán significados y si se logra probar que los
axiomas se han transformado en verdades de una disciplina científica se admitirán que
los teoremas son verdades. Aunque ésta haya sido una ciencia vacía (de significados).
La noción de verdad.
La verdad al modo aristotélico indica una correspondencia positiva entre lo que expresa
una proposición y el estado de cosas reales al cual ella alude. Pero e un sistema
puramente sintáctico el factor semántico ha desaparecido. Verdad significa
deduccibilidad.
La noción sintáctica de la verdad no abandona por completo esta tradicional concepción
semántica de Aristóteles.
El caso de la Geometría
Es un ejemplo de sistema axiomático interpretado. Ya que Euclides introduce axiomas y
postulados obteniendo teoremas y además los términos tienen significados. Seria un
discurso en el que habría oculto un sistema axiomático con sus términos primitivos
(tales como punto, recta y plano) y los procedimientos deductivos habituales para
establecer el cierto orden los enunciados geométricos.
La geometría eucleniana tiene como punto de partida 5 postulados de los cuales el
quinto fue considerado un tanto “sospechoso”. Lo que se sospechaba es que, en realidad
este enunciado no es independiente de los cuatro restantes y que seria posible deducirlo
como teorema a partir de aquellos, con los cuales perdería su carácter de postulado.
Hubo muchos intentos de obtener una refutación de los postulados, pero al negar este el
último los otro 4 restantes no perdían su legitimidad.