Note: Frege breaks a simple predicate (with a truth value) into proper names and concepts or relations; '___ is white' stands for whiteness

Note

Higginbotham: Frege in Begriffschrift breaks a simple predicate into two parts: a proper name and the concept. e.g., "Snow is white" => 'Snow', '___ is white'; the latter stands for the property of being white. A concept yields a truth value for every object. Can also remove any set of names and the rest is a relation. e.g., "___ showed ___ a book". But "Men are mortal" is the subordination of the concept 'men' to the concept 'mortal'.

Additional Titles

Note: 'Men are mortal' subordinates the concept 'men' to the concept 'mortal'; not an attribute

Related Topics

Topic: abstraction as part of language (18 items)
Topic: abstraction (62 items)
Topic: inheritance of properties (24 items)