First-order Logic vs Second-order Logic

Please check this link to see an interesting discussion.

For more information, check some explanations from Wikipedia:

1. Higher-order Logic

2. Second-order Logic