QUINE, WILLARD VAN ORMAN (1908-2000)
Nac. en Akron, Ohio (EE. UU.), profesor de la Universidad de Harvard (Cambridge, Mass., EE. UU.), llevó a cabo diversos trabajos en lógica matemática; entre ellos mencionamos sus «Nuevos fundamentos de lógica matemática» (presentados en 1936 y publicados por vez primera en 1937), con la formulación de un lenguaje al cual pueda traducirse toda la lógica en el sentido de los Principia Mathematica y, por ende, toda la matemática; y su presentación sistemática de la lógica matemática, en la que descuella una teoría axiomática de los conjuntos que se halla en una posición intermedia entre el sistema de J. von Neumann y el de Russell. Quine realizó también diversas contribuciones a lo que llama la teoría de la referencia y a lo que califica de teoría de la significación. Estas dos teorías se hallan habitualmente (y ambiguamente) incluidas bajo el nombre ‘semántica’, pero Quine declara que conviene no