Man and logic