Toward A Logical Theory Of Fairness and Bias