2022-11: Warosu is now out of maintenance. Become a Patron!
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?
Do I need to coffeepost to get attention around these parts?