Professional Documents
Culture Documents
10
7. - teorema:
12
13
14
Bibliografa
15
verdades y teoremas de la lgica de tal manera que no sea necesario salirse del mero
anlisis formal).
Otra caracterizacin de la ciencia formal consiste en decir que se refiere a frmulas
analticas, esto es, a frmulas que pueden convalidarse por medio del anlisis racional
(Bunge, Mario; La investigacin cientfica, p.39)
c) A priori
A priori significa antes, o independiente, de la experiencia (Bobbio, Fernando; Teora del
conocimiento, p.107)
Con todo lo anterior, podremos decir que la lgica es a priori porque prescinde de todo
contenido emprico; ya que su verdad, la verdad lgica, al abarcar todas las posibilidades y
no comprometerse con ninguna no se refiere a nada, es decir, carece de contenido
emprico. (Bobbio, Fernando; Teora del conocimiento, p.108) Adems de ser puramente
formal y, consiguientemente, universal es aplicable siempre (Bunge, Mario; La
investigacin cientfica, p.39)
d) Necesario
La necesidad lgica es de carcter absoluto, es as y no puede ser de otra manera; es
imposible que sea trascendida por el pensamiento, ms bien ste est limitado por ella.
(Bobbio, Fernando; Teora del conocimiento p.101)
Nuestro sistema lgico est provisto de tan gruesos amortiguadores de indeterminacin
respecto de la experiencia que dilatados campos de leyes pueden mantenerse fcilmente
inmunes de revisin de principio. La lgica, central como es en el esquema conceptual,
tiende a beneficiarse de esa inmunidad, a causa de nuestra conservadora preferencia por
revisiones que perturben el sistema lo mnimo posible; tal vez consista en esto la
necesidad que sentimos presente en las leyes de la lgica (Quine, Willard; Los mtodos
de la lgica, p.28)
Por tanto la lgica es necesaria porque sus leyes o verdades estn estructuradas de tal
manera que son siempre consistentes (e invariables), por lo que se mantienen ajenas de ser
revisadas.
III)
Verdad fctica
Una proposicin fctica (de hecho o sinttica, es una proposicin en la que figura por lo
menos un predicado interpretable como una propiedad de algn objeto material). Y la
verdad fctica es predicable de una proposicin fctica en relacin con algn dominio de
hechos. Es decir, una proposicin es verdadera si se ajusta con los hechos que describe.
(Bunge, Mario; Realismos, epistemologa de las ciencias y tcnicas naturales y sociales,
p.133)
entre sintticas y
o falsas, la verdad
lo que, podremos
las palabras que
De una forma sentencial (o forma de una proposicin) que slo tiene instancias de
sustitucin verdaderas se dice que es una tautologa. Cualquier enunciado que es una
instancia de sustitucin de una forma sentencial tautolgica es una tautologa. Decir que un
enunciado es una tautologa es afirmar que su verdad es incondicional, de modo que puede
establecerse sin recurrir a ningn otro enunciado como premisa. Toda tautologa puede
demostrarse por el mtodo de la deduccin (Copi, Irving; Lgica Simblica)
Todo argumento cuya conclusin sea una tautologa puede demostrarse vlido,
independientemente de cules sean sus premisas, por ejemplo por el mtodo de las tablas de
verdad (Copi, Irving; Lgica Simblica)
No excluyendo ningn caso, la tautologa es verdadera en todos los casos posibles; dicho
de otra manera es verdadera cualquiera que sea el valor de verdad de las proposiciones
atmicas que la componen. No es afectada por el cambio de los valores de verdad de sus
proposiciones, pues no est en funcin de los valores de verdad de sus proposiciones.
(Blanche, Robert; Introduccin a la lgica contempornea, p.62)
Una tautologa no nos ensea nada acerca de la verdad o falsedad de sus proposiciones
elementales, pero nos indica algo acerca de la verdad o falsedad de algunas de sus
combinaciones (por ejemplo, ensea que tal combinacin de algunas proposiciones es
equivalente a tal otra, o que es incompatible con ella). Todas las ciencias tienen necesidad
de estas tautologas que permiten pasar de una frmula a otra y precisamente porque las
leyes que permiten tales transformaciones son vacas es posible aadirlas al cuerpo de
verdades que constituyan de la ciencia considerada, sin riesgo de introducir en ella ningn
error. Si no estuvieran vacas, si poseyeran un contenido emprico, por mnimo que fuese
jams se estara seguro que al unirla con las leyes de la fsica, por ejemplo, no se cometen
errores, ya que un enunciado emprico es siempre susceptible de ser desmentido por una
experiencia ulterior mejor llevada. La deduccin en tal caso no sera cierta. Las tautologas
son tiles por ser vacas, no aunque sean vacas. Las tautologas o leyes lgicas constituyen
pues el conjunto de las bases tericas sobre las que se fundan las reglas del razonar
correcto. (Blanche, Robert; Introduccin a la lgica contempornea)
En conclusin, una tautologa es una frmula o esquema que es verdadero cualquiera que
sea el valor de verdad de las proposiciones simples que la componen, no est en funcin de
esos valores de verdad, sino en la de su forma. Una tautologa est vaca de contenido, es
puramente formal; es verdadera a priori por ser verdadera necesariamente (Blanche,
Robert; Introduccin a la lgica contempornea). Adems est libre de lo que acontezca en
la realidad, pues no hay hechos que la hagan falsa; nada ensea sobre lo real; nada nuevo
ensea, no favorece el descubrimiento de nuevos conocimientos, sino que hace evidente su
verdad.
Una tautologa puede ser lgicamente equivalente a otra que tiene diferente forma lgica,
puede decir lo mismo pero con otros trminos, por lo que podr indicar algo acerca de la
verdad o falsedad de algunas de sus combinaciones (por ejemplo si se puede pasar de una
frmula a otra). Una tautologa hace mencin de una determinada frmula que es siempre
verdadera (lgicamente verdadera).
Una tautologa puede servir para explicar leyes lgicas porque es a la vez una verdad lgica
y una verdad a priori. Y esas leyes dan fundamento a la lgica.
8
10
11
A pesar de que no se pueden demostrar los axiomas de que se parten, en un sistema, las
dems frmulas o proposiciones derivadas de ellos deberan ser corroboradas o
contrastadas en la realidad, ya que si se son falsos o quedan refutados en la experiencia, el
sistema del que proceden ser contradictorio (de una contradiccin se puede deducir
cualquier conclusin, la que a uno le plazca).
Una de las distintas orientaciones en la concepcin de axiomas destaca su formalidad e
inclusive elude adscribir a ningn axioma el predicado es verdadero. Esta ltima
orientacin es llamada formalista, por lo que con ella se ha venido hablando de
axiomatizacin de las ciencias. En estos das no se vacila en tratar a los axiomas de
enunciados hipotticos. Los propios sistemas axiomticos son definidos a veces como
sistemas hipotticos-deductivos. Sin intentar hacer del axioma un enunciado arbitrario hay
que admitir que el mtodo axiomtico nos ha restituido una cierta libertad con respecto al
axioma: la libertad de admitirlo, rechazarlo, de sustituirlo por otro enunciado. Con lo cual
el axioma a perdido algo de su necesidad respecto a las hiptesis, sta a adquirido una
cierta realidad frente ala axioma (Ferrater; Diccionario Filosfico, p.266)
Ahora se pueden juntar todas las caractersticas ya mencionadas y, definir a un axioma
como una frmula bien formada (de un clculo o de un sistema deductivo) tomada por
convencin como supuesto, que no debe ser posible deducirlo del resto del sistema; no es
implicada como una proposicin verdadera, pero se acepta como tal.
Es un supuesto que se elige para que todas las dems proposiciones se deduzcan de l por
medio de reglas de transformacin (o reglas de inferencia), un axioma se muestra como
patrn o modelo que representa una cantidad de frmulas bien formadas que tienen su
misma estructura formal.
Los axiomas se definen dando una lista de tales axiomas(Ferrater; Diccionario
Filosfico)
Mediante un metalenguaje se especifican cules son los axiomas del sistema y cules no lo
son. Se deben enumerar o decir cules son tales axiomas.
12
Podra definirse un teorema como cualquier frmula bien formada que es conclusin de
un argumento vlido (argumento formalmente vlido) cuyas premisas son axiomas del
sistema. Los teoremas deben deducirse rigurosamente a partir de los axiomas. Los teoremas
se desarrollan como consecuencias puramente formales de los axiomas. (Copi, Irving;
Lgica Simblica)
En conclusin, un teorema es una frmula que tiene demostracin, aunque no se la logre
hallar. Especficamente, es la ltima frmula bien formada, o conclusin, de una
demostracin, que se ha construido segn las leyes y reglas de un sistema a partir de las
frmulas puestas como supuestos iniciales (axiomas).
Adicionalmente, es importante tomar en cuenta esta definicin:
El concepto de teorema se desdobla: sintcticamente, es una frmula que puede
construirse, segn las reglas del clculo, a partir de las frmulas puestas como axiomas de
este clculo; semnticamente, es una proposicin verdadera para todo modelo que satisfaga
a los axiomas. (Blanche, Robert; Introduccin a la lgica contempornea, p.29)
Todo teorema es una consecuencia lgica o sintctica de las frmulas que lo implican, de
las que se deduce. Todo teorema es una consecuencia sintctica (o de sus axiomas o de sus
premisas), pero no toda consecuencia sintctica es un teorema.
14
BIBLIOGRAFA
Blanche, Robert; Introduccin a la lgica contempornea. Bs. As. Carlos Lohl, 1963.
Bobbio, Fernando; Teora del conocimiento. Lima, Ed Mayjosa, 1988.
Bunge, Mario; La investigacin cientfica. Barcelona, Ed Ariel, 1985.
Copi, Irving; Lgica Simblica. Bs. As. Ed Eudeba, 1985.
Ferrater, Jos; Diccionario Filosfico. Madrid, Alianza Editorial, 1984.
Marino Llanos; Lgica Jurdica. Ed. Logos. 2003.
Quine, W.V.O; El sentido de la nueva lgica. Bs. As. Nueva Visin, 1958.
Rea Revello, Bernardo; Introduccin a la lgica. Ed. Amaru Editores. 1981.
------------; Los mtodos de la lgica. Barcelona, Ed Ariel, 1967.
Sacristn, Manuel; Introduccin a la lgica y al anlisis formal. Barcelona, Ed Ariel, 1964.
Tarski, Alfred; Introduccin a la lgica y a la metodologa de las ciencias.
15