any logical system that abstracts the form of statements away from their content in order to establish abstract criteria of consistency and validity
being in accord with established forms and conventions and requirements (as e.g. of formal dress)
characteristic of or befitting a person in authority
(of spoken and written language) adhering to traditional standards of correctness and without casual, contracted, and colloquial forms
a gown for evening wear
a lavish dance requiring formal attire
reasoned and reasonable judgment
the branch of philosophy that analyzes inference
the principles that guide reasoning within a given field or situation
the system of operations performed by a computer that underlies the machine's representation of logical operations