Term logic, originating from Aristotle's syllogistic logic, is a formal system that focuses on the logical relationships between terms or categories, such as 'all', 'some', and 'none'. It serves as the foundation for classical logic, emphasizing the structure of arguments through the arrangement of these terms to deduce conclusions from premises.