This language of first-order logic is very important. Like Latin, the language is not spoken, but unlike Latin, it is used every day by mathematicians, philosophers, computer scientists, linguists, and practitioners of artificial intelligence. Indeed, in some ways it is the universal language, the lingua franca, of the symbolic sciences. Although it is not so frequently used in other forms of rational inquiry, like medicine and finance, it is also a valuable tool for understanding the principles