Definition talk:Property

From ProofWiki
Jump to: navigation, search

Recategorisation

Again, a "property" is a thing relevant particularly to predicate logic, as a property is a thing which defines a predicate. In the context of PropLog it has no meaning. --prime mover (talk) 18:44, 9 September 2013 (UTC)

... although by that coin it really needs to be in the predicate logic category only. --prime mover (talk) 18:45, 9 September 2013 (UTC)
Logic is very much broader than just PropLog and PredLog. It also contains all philosophical and natural-language approaches to logic. I felt that restraining it to PredLog only was unwarranted. But perhaps it makes sense to have it both in Category:Definitions/Logic and Category:Definitions/Predicate Logic. Feel free to add it back if you agree. — Lord_Farin (talk) 21:31, 9 September 2013 (UTC)
That's the sweet spot I was aiming for. --prime mover (talk) 21:50, 9 September 2013 (UTC)