Aristotele li distingue: categorie. Mediante le categorie si intende, si concepisce la rappresentazione empirica. Ma altro è quello, che fa concepire (la categoria); altro è l'atto del concepire, del pensare, del ragionare, del provare. Quindi materia e forma del pensare: materia e forma logica.
Quindi due parti o elementi della logica: cioè categorie, e forme del pensare (concetto, giudizio, sillogismo: prova). Quella è più metafisica; e val quanto dire si accosta e s'intreccia più colla metafisica aristotelica. Questa è più logica. Non dico già che Aristotele abbia fatto una logica così. Si sa che ciò che si è chiamato Organo non è altro che la raccolta de' suoi scritti logici. Ma quel che voglio dire è, che la distinzione tra materia e forma logica ci è in Aristotele, e che in Aristotele «logica» importa principalmente studio della forma logica.
Quel che manca in Aristotele, è la soluzione del problema della relazione tra la categoria, senza di cui niente s'intende, e l'atto o la forma del pensare: tra la materia e la forma logica: in altri termini, tra la metafisica e la logica.
La logica aristotelica non è formale, nel senso moderno di tal vocabolo; ma si presta a diventar formale. Non è formale, perchè non è opposta alla metafisica; si presta a diventar formale, perchè non determina la relazione tra la materia e la forma del pensare.
Che non si opponga alla metafisica, tutti l'ammettono ora; anzi taluno crede, che non solo non ci sia opposizione in Aristotele tra logica e metafisica, ma invece una unità fondamentale; giacchè il concetto della sostanza è insieme categoria ontologica suprema e l'essenza del sillogismo.
Ora è vero, che il concetto della sostanza ha un tal valore in Aristotele; ma da ciò non segue, che egli abbia determinato la relazione tra la materia e la forma del pensare; come dicendo in generale: lo stesso essere sotto due aspetti[141], non determina davvero la relazione tra questi due aspetti. Dice che sono uno; ma, non traendoli dall'uno, non li distingue, nè li fa uno davvero. Pare a me che il non determinare quella relazione sia appunto il difetto del sistema aristotelico; e che tal difetto sia quello stesso che si è chiamato dualismo di forma e materia (universale e particolare), la cui unità, — cioè il punto oscuro e non inteso, — è, come si sa, la sostanza.
Il concetto della sostanza è oscuro; non inteso, ma presupposto. Questa posizione corrisponde a quella della non unità e della non opposizione tra logica e metafisica. Non vi è unità, perchè la sostanza non s'intende; non vi è opposizione, perchè la sostanza è presupposta. Perciò, come ho già detto, questa logica non è formale, ma si presta a diventare formale.
Per la stessa ragione, questa logica non è metafisica, ma si presta ad essere metafisica.
Questa indifferenza ha la sua radice nel dualismo aristotelico di forma e materia.