Deux nouveaux prédicats monadiques sont définis:
Les substances sont les choses qui existent et qui ne sont pas des qualités:
St(x) ⇔ D(x) ∧ ¬ Q (x)
Tandis que les adhérences sont les choses qui existent et qui sont des qualités
Ad(x) ⇔ D(x) ∧ Q(x)
On a vu que la relation ∊ ( posséder une qualité, to have ) a une converse (appartenir à un objet, to belong )
x ∊ y ⇔ y ∍ x
Idem pour la relation E ( underlay, underlie, être sous-jacent)qui a une relation converse : référer à .
x E y ⇔ y ∃ x
Seules les idées , les choses lectologiques, non existantes, peuvent référer , à une qualité si ce sont des idées de qualités, à un objet si ce sont des idées d’objet.
Seules les choses existantes, objets ou qualités , peuvent être sous jacentes à une idée (to underlie…
Voir l’article original 76 mots de plus