| http://www.w3.org/ns/prov#value | - One major difference between Aristotle's understanding of predication and modern (i.e., post-Fregean) logic is that Aristotle treats individual predications and general predications as similar in logical form: he gives the same analysis to Socrates is an animal and Humans are animals".
|
