  In this subsection, we shall examine the most basic elements of Frege’s 1893/1903 term logic and predicate calculus. These are the statements involving function applications and the simple predications which fall out as a special case.