What is formal title used for?
The formal title is used for an additional prefix. For example, in German someone might be called Herr Dokter Suchandsuch, where "herr" stands for "mister" and "Dokter" for doctor. So it can be used for those kind of cases.

If you want it to be visible on the contact summary you can switch it on with Administer>Customize Data and Screens>Display Preferences>