PASTORE, ANNIBALE (1868-1956)

Nac. en Orbassano (Turín), profesor desde 1921 a 1939 en la Universidad de Turín y di­rector del Laboratorio de lógica experimental fundado por él en la misma Universidad, se ha distinguido casi siempre por su trabajo ló­gico, orientado en lo que ha llamado la «ló­gica de la potenciación» (lógica del potenziamento: LP). Esta lógica no coincide con la lo­gística de Peano; no sólo porque el uso de los símbolos es en ella simplemente una medida práctico-lingüística y no el resultado de cier­tas exigencias teóricas, sino también y muy especialmente, porque los principios de que parte son distintos de los de la «logística». La LP ha sido elaborada, por lo demás, no sólo por Annibale Pastore, sino asimismo por su colaborador Pietro Mosso, a quien se debe la generalización lógica de los postulados de Pastore. Entre otras características, la LP tiene la de usar en lógica los símbolos de po­tencia (a2) y de coeficiente (2a).