I understand propositional logic (the kind found in Aristotle's works). I also kinda get predicate logic (as described by Frege) and how it adds quantifiers like "there exists" and "for all".
Can someone explain these to me, since I'm struggling...
1. What does second-order logic add to first-order logic to make it more powerful?
2. Is modal logic first-order or second-order?