Complex sentence: First-order logic--also known as first-order predicate calculus and predicate logic--is a collection of formal systems used in mathematics, philosophy, linguistics, and computer science.
Split into simpler sentences: First-order logic--also known as first-order predicate calculus and predicate logic--is a kind of formal systems. They are used in mathematics, philosophy, linguistics, and computer science.