A practitioner of a system of logic.