The removal or reduction of the cerebral tonsils; by surgical excision or cauterization.