Page 1504 - Anatema - Neal Stephenson
P. 1504
y sistemática de la literatura. Pero los trabajos de Edward
N. Zalta, de la Universidad de Stanford, y de varios de sus
colaboradores que se mencionan más abajo son un tesoro
en lo que se refiere a investigación seria y documentada
que trata muchos de los temas mencionados antes.
Filósofos en activo, Zalta y sus colaboradores son capaces
de mejorar y avanzar ideas que yo sólo puedo leer como
«artefactos» históricos. Los artículos escritos por Zalta,
solo o en colaboración, tratan específicamente de Platón,
la teoría de conceptos de Leibniz, la fenomenología de
Husserl y la explicación de Gödel para el Platonismo
Matemático. Por tanto, cuando Steven Horst me dio a
conocer a Zalta, confieso que experimenté un momento de
cierta angustia ante el abismo. Se trata de una obra
inmensa, y en lugar de intentar resumirla, voy a destacar
dos puntos.
Metafísica computacional. Zalta cree firmemente en
formalizar la filosofía, es decir, en traducir las
afirmaciones filosóficas en prosa a expresiones escritas
empleando los símbolos de la lógica formal. Una vez
hecho eso, resulta posible comparar distintas ideas
filosóficas de la misma forma que un físico puede
comparar dos teorías diferentes escribiéndolas en forma
de ecuaciones para luego emplear las reglas de la
matemática y determinar si se contradicen o se reducen a
lo mismo. Vale igual para la matemática y la lógica formal
decir que las reglas son pocas y simples, pero que
1504
