Fr.: logique symbolique
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.