A Scientific Revolution in Real Time.
Frege did not realize that the semantical job of quantifiers includes expressing, by their own formal dependencies on each other, actual dependencies between variables. This uncorrected mistake led to flawed first-order logic, set-theoretical paradoxes and inadequate grasp of higher-order logic. It...
| Published in: | Teorema Vol. 33; no. 2; pp. 13 - 28 |
|---|---|
| Main Author: | |
| Format: | Article |
| Published: |
Teorema
2014
|
| Subjects: | |
| Online Access: | View this record in EBSCOhost |