Editing Proposition (section)

===By Aristotle===

In [[Aristotelian logic]] a proposition was defined as a particular kind of sentence (a [[declarative sentence]]) that affirms or denies a [[Predicate (grammar)|predicate]] of a [[subject (grammar)|subject]], optionally with the help of a [[Copula (linguistics)|copula]].<ref name=":1" /> Aristotelian propositions take forms like "All men are mortal" and "Socrates is a man."

[[Aristotelian logic]] identifies a [[categorical proposition]] as a sentence which affirms or denies a [[Predicate (grammar)#Traditional grammar|predicate]] of a [[Subject (grammar)|subject]], optionally with the help of a [[Copula (linguistics)|copula]].  An Aristotelian proposition may take the form of "All men are mortal" or "Socrates is a man."  In the first example, the subject is "men", predicate is "mortal" and copula is "are", while in the second example, the subject is "Socrates", the predicate is "a man" and copula is "is".<ref name=":1">{{Cite web|url=https://www.iep.utm.edu/aris-log/#H3|title=Aristotle: Logic — From Words into Propositions|last=Groarke|first=Louis|website=Internet Encyclopedia of Philosophy|access-date=2019-12-10}}</ref>