This course grew out of considerations in Mathematical Logic and in modern Linguistics.
Formal languages. Examples of first-order languages with equality. The evolution of Greek mathematical language, Euclid’s version. The structure of modern Greek mathematical language. The logical symbols of natural language. Predicates in natural language, free and bound occurrence of a variable. The taxonomy of mathematical expressions. The Linguistic levels of mathematical language. Logic and linguistic analysis of Greek mathematical texts.