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:
“It is ... pathetic to observe the complete lack of imagination on the part of certain employers and men and women of the upper-income levels, equally devoid of experience, equally glib with their criticism ... directed against workers, labor leaders, and other villains and personal devils who are the objects of their dart-throwing. Who doesn’t know the wealthy woman who fulminates against the “idle” workers who just won’t get out and hunt jobs?”
—Mary Barnett Gilson (1877–?)
“I, with other Americans, have perhaps unduly resented the stream of criticism of American life ... more particularly have I resented the sneers at Main Street. For I have known that in the cottages that lay behind the street rested the strength of our national character.”
—Herbert Hoover (1874–1964)
“...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)