++PhiloSURFical : Proposition that does not necessarily have a demonstration, but that is taken as true. E.g. the assumption of 'goodness of god' in Descartes. In such cases, it is quite close to a view, a principle. |
ARGUMENT-PART |
DEVELOPED-IN ONLY DEMONSTRATION |
ASSUMED-IN-SCHOOL-OF-THOUGHT ONLY SCHOOL-OF-THOUGHT |
ASSUMED-IN-THEORY ONLY THEORY |
Class(ASSUMPTION partial ARGUMENT-PART restriction(DEVELOPED-IN allValuesFrom(DEMONSTRATION)) restriction(ASSUMED-IN-SCHOOL-OF-THOUGHT allValuesFrom(SCHOOL-OF-THOUGHT)) restriction(ASSUMED-IN-THEORY allValuesFrom(THEORY)))