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...
| Publicado en: | Teorema Vol. 33; no. 2; pp. 13 - 28 |
|---|---|
| Autor principal: | |
| Formato: | Artículo |
| Publicado: |
Teorema
2014
|
| Materias: | |
| Acceso en línea: | Ver este registro en EBSCOhost |