ポインタという言葉が、ポインタ型かポインタ変数かどちらのことを意味しているのかは文脈次第
関数へのポインタ云々の主張はポインタ型のことを言っているし、ポインタは変数云々の主張はポインタ変数のことを言っている
両者を混同して議論しているから混乱する

JIS X 3010
ポインタ型（pointer type）は，被参照型（referenced type）と呼ぶ関数型，オブジェクト型又は不完全型から派生することができる。
ポインタ型は，被参照型の実体を参照するための値をもつオブジェクトを表す。被参照型Tから派生されるポインタ型は，“Tへのポインタ”と呼ぶ。
被参照型からポインタ型を構成することを“ポインタ型派生”と呼ぶ。

例)
関数型
　被参照型 : void func(void), int func(int)
　ポインタ型 : void (*func)(void), int (*func)(int)

オブジェクト型
　被参照型 : int, double, array[]
　ポインタ型 : int*, double*, array

不完全型
　被参照型 : void
　ポインタ型 : void*