Plurals and Second-Order Logic
Keyword(s):
While plural logic can be interpreted in monadic second-order logic, the full system of second-order logic cannot be interpreted in plural logic. This means it is formally possible to eliminate plural logic in favor of monadic second-order logic. However, a number of philosophical considerations militate against such an elimination. The conclusion of this chapter echoes that of the preceding ones: although the two systems can occasionally be used for similar purposes, the notions they represent are different and must be kept apart.
1996 ◽
Vol 160
(1-2)
◽
pp. 87-143
◽
Keyword(s):
Keyword(s):
2000 ◽
Vol 244
(1-2)
◽
pp. 63-94
◽
Keyword(s):
2008 ◽
Vol 6
(3)
◽
pp. 416-442
◽
Keyword(s):
Keyword(s):
Keyword(s):