Abstract

Why be mired in books, papers, and blackboards? Should learning always be bound to the grindstone? This "Game of Modern Logic" realizes the ludological possibilities of symbolic logic, and does so in such a way that it amuses school children and challenges veteran logicians. The nineteen proof games, but not the three elementary recognition games, are completely revised from the first edition of 1961. Lukasiewicz's notation and Fitch's system of subordinate proofs are used, but familiarity with these is not necessary for playing. Although there are games here that can be played by children, grandmothers, and even vertiginous existentialists, it should be noted that the instructions demand a patient, attentive reader--ideally, a logician--to pass them on to ordinary mortals.--A. B., C. D.