4 found
Sort by:
  1. Leigh S. Cauman (2000). On Conditional Proof in Elementary Logic. Teaching Philosophy 23 (4):353-357.
    This paper urges the importance of including conditional proof as an inference rule in the teaching of elementary symbolic logic. The paper explains how to make clear to students that conditional proof is valid. This is done by a little proof that shows that hypothetical syllogism is both intuitively valid yet redundant. Teaching conditional proof not only aids in a deeper understanding of the meaning of “if” but also provides a strong reminder to the student that they have not proved (...)
    Direct download (4 more)  
     
    My bibliography  
     
    Export citation  
  2. Leigh S. Cauman (1998). First-Order Logic: An Introduction. Walter De Gruyter.
    Introduction This is an elementary logic book designed for people who have no technical familiarity with modern logic but who have been reasoning, ...
    Direct download  
     
    My bibliography  
     
    Export citation  
  3. Leigh S. Cauman (1980). Review: H. G. Bohnert, Logic: Its Use and Basis. [REVIEW] Journal of Symbolic Logic 45 (3):633-633.
    Direct download  
     
    My bibliography  
     
    Export citation  
  4. Leigh S. Cauman (1979). Review: Albert E. Blumberg, Alfred A. Knopf, Logic: A First Course. [REVIEW] Journal of Symbolic Logic 44 (2):281-281.
    Direct download (2 more)  
     
    My bibliography  
     
    Export citation