Thursday, July 20 2000
A number that tells you how many names it needs to form an atomic sentence. (FOL, p.12)
Yes, the same object can have different names in Tarski's World and also in ours. (FOL, p.10)
Late 19th century: Dedekind (1888) and Peano (1889). (Lecture 7/19/00)
By presenting a model for the axiom system, i.e., an interpretation that satisfies all the axioms. (Lectures 7/17-19).
Definitions, Axioms, Theorems, Inference Rules. We have not discussed Inference Rules yet, but we will in a few days!