formal theory psychology