Criticism
Quine has criticized higher-order logic (with standard semantics) as "set theory in sheep's clothing". Quine's criticism focuses on the lack of an effective, sound, complete proof theory; he argues that this makes HOL not a "logic". Shapiro has responded to this criticism, arguing that the additional semantic expressiveness can offset the lack of a proof theory, and arguing that a "logic" need only have a deductive system or a semantical system, but perhaps may not have both.
Read more about this topic: Higher-order Logic
Famous quotes containing the word criticism:
“A bad short story or novel or poem leaves one comparatively calm because it does not exist, unless it gets a fake prestige through being mistaken for good work. It is essentially negative, it is something that has not come through. But over bad criticism one has a sense of real calamity.”
—Rebecca West (1892–1983)
“...I wasn’t at all prepared for the avalanche of criticism that overwhelmed me. You would have thought I had murdered someone, and perhaps I had, but only to give her successor a chance to live. It was a very sad business indeed to be made to feel that my success depended solely, or at least in large part, on a head of hair.”
—Mary Pickford (1893–1979)
“People try so hard to believe in leaders now, pitifully hard. But we no sooner get a popular reformer or politician or soldier or writer or philosopher—a Roosevelt, a Tolstoy, a Wood, a Shaw, a Nietzsche, than the cross-currents of criticism wash him away. My Lord, no man can stand prominence these days. It’s the surest path to obscurity. People get sick of hearing the same name over and over.”
—F. Scott Fitzgerald (1896–1940)