2nd order logic and mathematics?

  • Thread starter tgt
  • Start date
  • #1
tgt
520
2

Main Question or Discussion Point

Does most of mathematics use 2nd order logic? If so would studying the foundations of mathematics involve mostly using 2nd order logic?
 

Answers and Replies

  • #2
CRGreathouse
Science Advisor
Homework Helper
2,820
0
Studying the foundations of logic usually starts with 0th level and moves to first, then either touches on second and returns to first or 'graduates' to second.

There's value in simplicity, so while many theories can be expressed in second-order logic I generally see them as being embedded in first-order logic. But there's no escaping real complexity; ZF in first-order logic has infinitely many axioms, so perhaps one would argue that its second-order formulation is 'no worse'.
 

Related Threads for: 2nd order logic and mathematics?

  • Last Post
Replies
1
Views
1K
  • Last Post
Replies
13
Views
3K
Replies
11
Views
775
  • Last Post
Replies
3
Views
683
  • Last Post
Replies
0
Views
1K
  • Last Post
Replies
8
Views
3K
  • Last Post
Replies
6
Views
4K
  • Last Post
Replies
2
Views
1K
Top