Dorothy Lucille Grover (9 de septiembre de 1936 - 10 de noviembre de 2017) fue una filósofa de la lógica de Nueva Zelanda que trabajó como profesora en la Universidad de Illinois en Chicago . [1] Era conocida por prosententialism , una teoría deflacionaria de la verdad en la que las afirmaciones de la verdad de una proposición se combinan con la proposición para formar una pro-oración , una parte del discurso que se refiere a la proposición en sí misma como un pronombre se refiere a un sustantivo. [2]
Grover era de la Isla Norte de Nueva Zelanda, donde nació el 9 de septiembre de 1936. Después de obtener un diploma en 1958 del Wellington Teacher's College, fue a la Universidad Victoria de Wellington , donde obtuvo una licenciatura en 1962 y una maestría en 1966; su tesis de maestría fue Vinculación: un estudio del sistema E y una bibliografía crítica del tema en general . Llegó a la Universidad de Pittsburgh para realizar estudios de doctorado, donde trabajó en lógica con Nuel Belnap y Alan Ross Anderson , completando su Ph.D. en 1970. [1] Su disertación fue Topics in Propositional Quantification . [3]
Enseñó filosofía en la Universidad de Wisconsin-Milwaukee durante tres años antes de trasladarse a la Universidad de Illinois en Chicago como profesora asistente visitante en 1972. Eventualmente se convirtió en profesora titular allí, sirviendo como jefa de departamento de 1980 a 1985 y de 1991 a 1994, y como Vicecanciller Asociado de Asuntos Académicos. [1]
Después de jubilarse como profesora emérita en 1998, regresó a Nueva Zelanda, donde murió en Christchurch el 10 de noviembre de 2017. [1]
Grover publicó su teoría del prosencialismo en un artículo conjunto, "Una teoría prosencial de la verdad", con Belnap y Joseph Lee Camp Jr. en 1975. Se recopiló junto con otros de sus ensayos sobre lógica en un solo autor 1992 Princeton University Press libro, también titulado Una teoría prosentencial de la verdad . [1] [4]
Continuó publicando artículos sobre verdad y lógica después de la publicación del libro y después de su jubilación, incursionando también en la ética de las decisiones que involucran a personas muertas ("daño póstumo"). [1]