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:
“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)
“The critic lives at second hand. He writes about. The poem, the novel, or the play must be given to him; criticism exists by the grace of other men’s genius. By virtue of style, criticism can itself become literature. But usually this occurs only when the writer is acting as critic of his own work or as outrider to his own poetics, when the criticism of Coleridge is work in progress or that of T.S. Eliot propaganda.”
—George Steiner (b. 1929)
“Of all the cants which are canted in this canting world—though the cant of hypocrites may be the worst—the cant of criticism is the most tormenting!”
—Laurence Sterne (1713–1768)