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...

Full description

Bibliographic Details
Published in:Teorema Vol. 33; no. 2; pp. 13 - 28
Main Author: Hintikka, Jaakko
Format: Article
Published: Teorema 2014
Subjects:
Online Access:View this record in EBSCOhost