An Etymological Dictionary of Astronomy and Astrophysics

A modern development of → formal logic based on a system of → symbols and → axiomatics
in accordance with precise rules. It uses a formalized → artificial language to avoid the ambiguities and logical inadequacies of → natural languages. Symbolic logics are → polyvalent when they admit → truth values other than → true and → false.

See also: → symbolic; → logic.