Phil N. Johnson-Laird

Suggest Changes
Learn More
This article begins with an account of logic, and of how logicians formulate formal rules of inference for the sentential calculus, which hinges on analogs of negation and the connectives if, or, and(More)