El problema real aquí no es la simbolización, sino averiguar el significado de la oración original en inglés, que es ambigua. La interpretación más natural de la oración como está escrita es que “él” denota a una persona fija que está determinada por el contexto de fondo en el que se pronuncia la oración. La interpretación en la que “él” es fundamental con “todos los filósofos” está muy desfavorecida porque las dos expresiones difieren en número. Si reemplazamos el cuantificador plural con el singular “cada filósofo”, obtenemos la lectura de referencia; alternativamente, podemos mantener el cuantificador igual y reemplazar el pronombre con “ellos” para lograr el mismo efecto.
Su simbolización es una representación correcta de la interpretación del núcleo de la oración. Para obtener una simbolización de la lectura natural de la oración como se indica, reemplace Oxy con Oay, donde a es la constante elegida para denotar el tercero que es el referente de “él” en la oración en inglés.