Nem paradoxon. Sztem te a logikai _kifejezés_ és a logikai _típus_ fogalmát akarod keverni azáltal, hogy a 'true' (talán jó Pascal-os beidegzõdésbõl) szerinted boolean típusú. Boolean típusra gyakorlatilag nincs szükség, de a boolean kifejezés látszólag ilyen típust ad vissza.
A 'true' változót úgy ismeri fel, hogy az egy rendszerszintû konstans, 1-es értékkel és logikai kifejezésben (pl. feltételvizsgálat) használható, mivel a logikai kifejezés eldöntésének az az alapja, hogy ha az eredmény nulla, akkor hamis, ha egy, akkor igaz.
Pl. az 'if(true)...', az 'if(1==1)...', az 'if(true==1)...', az 'if(true!=0)...', az 'if(1!=0)...', stb. mind helyes és igaz lesz.
Kicsit nézd át jobban a logikai kifejezések magyarázatát, szerintem csak vmi régi berögzõdés zavar téged. Az elgondolásod jó, csakhogy ezen már túlléptek, nincs szükség ilyen típusmegkötésekre.