§1-4 INTRODUCCIÓN LÓGICA 7

  La observación de que la validez del teorema directo no implica la del recíproco

es esencial tenerla en cuenta en los métodos reductivos de demostración o resolución
de problemas (mal llamados, por tradición, métodos analíticos); en éstos se supone
la cuestión T resuelta, y de este hecho se deducen consecuencias T1, T2, ..., Tn, para
reducir la cuestión T a una conocida Tn; si en la cadena de reducciones éstas se hacen
mediante equivalencias, la validez de Tn, equivaldrá a la de T; pero si sólo se han
considerado implicaciones, no podremos deducir sin más la validez de T de la validez
de Tn, siendo necesario para ello invertir la cadena y comprobar si de la validez de
Tn, se deduce la de Tn-1, y así hasta llegar de T1 a T; es decir, habremos de verificar la
validez de los recíprocos, pues los directos solamente implican los contrarrecíprocos,
esto es, solamente la falsedad de Tn, probaría la falsedad de T. Es muy común en
Geometría analítica y en la resolución de ecuaciones olvidar la observación anterior,
sin darse cuenta de que, por ejemplo, supuesta cierta la igualdad 1 = 2, transformán-
dola correctamente invirtiendo sus términos 2 = 1 y sumando miembro a miembro: 3
= 3, la validez de esta igualdad no asegura la de partida.
  4. Conceptuación matemática. — En la estructura de la Matemática,
además de las proposiciones y teoremas que los relacionan, entran los con-
ceptos sobre los cuales ellos versan. La extensión de los concentos matemá-
ticos es infinita, pero su comprensión es necesariamente finita. Por esto, de
las dos maneras de fijar o definir un concepto: por extensión y por compren-
sión (§ 1-1) debe emplearse la segunda para los conceptos matemáticos.
  Otras dos características de la Matemática que la aproximan a la Lógica
y la distinguen de las ciencias naturales son éstas: sus razonamientos son
hipotético-deductivos, y sus definiciones son nominales y no reales.
  Ejemplo 1. Enumerar las fronteras de la Argentina es definir una cosa ya existen-
te, es una definición real; pero si damos un nombre a los habitantes de una región o
barrio, hacemos una definición nominal.
  Los tipos de conceptuación que más interesan a la Matemática son: 1º,
las definiciones explícitas; 2º, las definiciones por abstracción; 3º, las defini-
ciones axiomáticas; 4º, las definiciones por recurrencia. Las del primer tipo
(que trataremos a continuación) son simplemente clasificadoras; en cambio,
las restantes, que estudiaremos en los §§ 1-6, 1-7 y 2-3, son creadoras de
nuevos conceptos.
  A veces se exige probar la existencia y unicidad del nuevo concepto intro-
ducido; el sentido que se ha de dar a estas últimas palabras es cuestión aun
no resuelta: lo menos que podemos exigir a las condiciones que introducen
el nuevo concepto es que no sean contradictorias; esto es suficientemente sa-
tisfactorio a ciertas mentalidades para aceptar la existencia lógica y empleo
del nuevo concepto como ente abstracto; pero en cambio, otras mentalidades
opinan en distinta forma.
  Las definiciones propiamente dichas, o definiciones explíci-
tas, forman un tipo de conceptuación por el cual se introdu-