Definition talk:Property

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. &mdash; 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)