First-order logic

The study of logical relationships between objects and their properties.