Predicate (logic)

Definition and stakes

St. George William Joseph Stock,  Deductive Logic

“ To say that a predicate applies to a subject in its whole extent, is to say that it is asserted or denied of all the things of which the subject is a name.
§ 242. 'All men are mortal' is a universal proposition.
§ 243. 'Some men are black' is a particular proposition. So also is 'Men are fallible;' for here it is not clear from the form whether 'all' or only 'some' is meant.
§ 244. The latter kind of proposition is known as Indefinite, and must be distinguished from the particular proposition strictly so called, in which the predicate applies to part only of the subject.
”
Source: Gutenberg

George Hastings McNair,  A Class Room Logic

“ The grammatical predicate does not include the object, while the logical predicate always includes what is equivalent to the object and all its modifiers. To illustrate: in the proposition, “Some men are wise,” are wise is the grammatical predicate, while wise is the logical predicate. And in the proposition, “He burned the red house on the hill,” burned is the grammatical predicate, while the one who burned the red house on the hill is the logical predicate. ”
Source: Gutenberg

Portrait of John Stuart Mill John Stuart Mill,  A System of Logic, Ratiocinative and Inductive (1881)

“ Propositions of science assert a matter of fact: an existence, a co-existence, a succession, or a resemblance. The propositions now spoken of do not assert that any thing is, but enjoin or recommend that something should be. They are a class by themselves. A proposition of which the predicate is expressed by the words ought or should be, is generically different from one which is expressed by is, or will be. It is true, that in the largest sense of the words, even these propositions assert something as a matter of fact. ”
Source: Wikisource

Get perspective with Kwize: daily news enlightened by great literature