 This stipulation rules out certain candidates for propositions, including thought- and utterance-tokens which are not sharable, and concrete events or facts, which cannot be false.Aristotelian logic identifies a proposition as a sentence which affirms or denies a predicate of a subject with the help of a 'Copula'.An Aristotelian proposition may take the form of "All men are mortal" or "Socrates is a man."