the systematic use of symbols in logical analysis. In modern symbolic logic, the symbols used are those of mathematics, particularly those of set theory. The language of mathematics is well suited to the investigation of the precise conditions of validity in arguments because it is an artificial language, lacking the connotations and subjective meanings present in a natural language, and because relations between mathematical entities are simple and precisely defined. See logic.