symbolic logic: any logical system that abstracts the form of statements away from their content in order to establish abstract criteria of consistency and validity
psychological feature: a feature of the mental life of a living organism
administrator: someone who manages a government agency or department