footstool: a low seat or a stool to rest the feet of a seated person
stool: a simple seat without a back or arms
predicate calculus: a system of symbolic logic that represents individuals and predicates and quantification over individuals (as well as the relations between propositions)