importancia pasó inadvertida hasta tiempos muy recientes, y la lógica fue la más deformada de las ciencias. Pero es imposible que Aristóteles o cualquier otra persona eviten usarlas constantemente; no se podría definir un solo término sin su empleo. En un lugar al menos, Aristóteles repara efectivamente en una proposición de esta clase. Observa: > “A veces decimos que aquello blanco es Sócrates, o que el objeto que se acerca es Calías.”1 Aquí tenemos ciertamente una simple identidad de términos; pero él consideraba tales proposiciones como puramente accidentales, y llegó a la desafortunada conclusión de que «los singulares no pueden ser predicados de otros
Las proposiciones también pueden expresar la identidad de grupos extensivos de objetos tomados colectivamente o en un todo conectado; como cuando decimos,
Cuando Blackstone afirma que «El único fundamento verdadero y natural de la sociedad son las necesidades y los temores de los individuos», debemos interpretarlo en el sentido de que el conjunto de las necesidades y los temores de los individuos en su totalidad forman el fundamento de la sociedad.
Pero muchas proposiciones que podrían parecer colectivas no son más que grupos de proposiciones singulares o identidades. Cuando decimos «El potasio y el sodio son las bases metálicas de la potasa y de la sosa», evidentemente queremos decir,
Es tarea del análisis gramatical separar las diversas proposiciones que a menudo se combinan en una sola oración.
No se le puede exigir propiamente a la lógica que interprete las formas y los recursos del lenguaje, sino únicamente que trate el significado cuando este se exhibe con claridad.
# Identidades Parciales.
Un segundo tipo de proposición sumamente importante es el que propongo denominar una identidad parcial. Cuando decimos que «Todos los mamíferos son vertebrados», no queremos decir que los animales mamíferos sean idénticos a los animales vertebrados, sino únicamente que los mamíferos forman una parte de la clase de los vertebrados. Tal proposición era considerada en la lógica antigua como la afirmación de la inclusión de una clase en otra, o de un objeto en una clase. Se la denominaba proposición universal afirmativa, porque el atributo vertebrado se afirmaba de todo el sujeto mamífero; pero se decía que el atributo estaba no distribuido, debido a que no todos los vertebrados estaban necesariamente implicados en la proposición. Aristóteles, pasando por alto la importancia de las identidades simples, y de hecho negando casi su existencia, fundó desafortunadamente su sistema en la noción de inclusión en una clase, en lugar de adoptar la base de la identidad. Consideraba que la inferencia descansaba en la regla de que lo que es verdadero de la clase contenedora es verdadero de la contenida, en lugar de la regla enormemente más general de que lo que es verdadero de una clase o cosa es verdadero de lo semejante. De este modo, no