An Etymological Dictionary of Astronomy and Astrophysics
English-French-Persian

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.

→ symbolic; → logic.