On higher-order logic and natural language. Commentary

L'A. affirme que la logique d'un ordre superieur ne peut pas etre motivee de maniere adequate par les proprietes des langues naturelles. Il illustre son propos en montrant que la quantification et la reference plurielles sont soumises a une analyse qui les prive de leur innocence ontologique et, ainsi, de leur capacite a etre une base satisfaisante pour motiver la logique du second ordre. Cet article est suivi d'un commentaire dans lequel D. Bostock demontre que l'A. a une conception erronee de ce qui est distinctif dans la logique d'un ordre superieur, et qu'il se trompe d'endroit pour rechercher une motivation convenable a la logique du second ordre