On the Logic and Geometry of Bilinear Forms