Constructing and evaluating logical arguments