Noun
The application of a logical framework to a concept
The invention of a set of logical rules in an attempt to explain something