Study of logic, its evolution, and key concepts in modern logic. Includes propositional functions, semantic categories, and logical terms