Some thoughts regarding propositional logic:
Defining three kind of cualities any entity can have, and regarding that a verb denotes action, passion or state, we can consider than an entity:
TO BE OF : to be of a Type (Action and passion)
TO HAVE : to have an Attribute (Action and state)
TO BE IN : to be in a state or Property (Passion and state)
Being Property (to be in) the class of a Type (to be of), Type the class of an Attribute (to have), and Attribute the class of a Property, we can consider the following cyclic order:
Type > Attribute
Attribute > Property
Property > Type
And the non cyclic order of:
Type > Attribute > Property
We can state that a Type (Name, abstract nouns) have Attributes (Name and Value, concrete nouns), and an Attribute have Properties (Values, adjectives).
So, for example, we can make the following propositions, using the first cyclic order:
John is a Man (Type)
John have a wife (Attribute)
John is married (Property)
: John is a Husband (Type)
So, if John is a Husband, then we can infer that:
John is married,
John has a wife,
John is a Man.
And using the second, non-cyclic order, we can have that:
John is Employee of Peter
John have an employment with Peter
Peter is employing John
: John is Employee of Peter.
Considering the class of a Type, an Attribute or a Property as selectors, we can build a list where each class/instance of a Type defines the posible class/instance of the following Attributes needed to complete a statement or to make an inference. The same with the Attribute-Property relationship.
Regards,
Sebastian
|
