[delphi.com.ar]

Empezado por roman

Y más allá del título y la guía de estilo, al menos yo no tengo ni las más remota idea de lo que estás hablando.

Es que es demasiado filosófica

Creo que quiere decir lo siguiente, si tenemos:

Código Delphi [-]
A := B;

Y estamos diciendo que el valor de la variable B se va a asignar al valor de la variable A. Si no es ilógico que:

Código Delphi [-]
A := ^B

Signifique que asigneremos el puntero e la variable B a el valor de la varible A.

Digamos, que se utilice el mismo operador para

Código Delphi [-]
Valor := Valor

que para

Código Delphi [-]
Valor := Puntero

Código Delphi [-]
var
  I: Integer;
  P: PInteger;
begin
  I := P^;

¿Estoy en lo cierto?... de ser así no hay incogruencias!.. simplemente porque al hacer P^ ya haces referencia al valor y no al puntero!