WFF 'N PROOF: The Game of Modern Logic
date: label: date made
content: ca 1970
name: label: developer
content: Allen, Layman E.
label: maker
content: Learning Games Associates
notes: label: Description
content: This set of 21 games taught principles of modern logic. Players learned to combine grammatically correct logical statements called well-formed formulae (WFFs) into logical proofs. WFF 'N Proof was developed by Layman E. Allan of Yale University Law School under a grant from the Carnegie Corporation for ALL (Accelerated Learning of Logic). Allen applied for a trademark for WFF ‘N Proof in August 1961; it was registered the following year but has now expired. The game sold from 1962.
label: Description
content: The set includes 18 wooden cubes with small letters, representing sentences, and 18 with large letters, representing logical rules of inference. The simplest of the games in WFF ‘N Proof were designed to teach young children how to arrange these cubes on a series of paper mats to form WFFs. The remaining games were meant to teach how to argue logically. These games involve assuming the truth of WFFs of certain forms and concluding the truth of WFFs of other forms using logical rules of inference. Thus players proved theorems but did not use that terminology. The most advanced of these games were designed to challenge college students.
label: Description
content: The set also includes a timer, a book of instructions written by Allen, <I>WFF ‘N Proof: The Game of Modern Logic</I> (New Haven: Autotelic Instructional Materials Publishers, 1970), and a leaflet describing "Games for Thinkers" from WFF 'N PROOF Publishers of Turtle Creek, Pennsylvania. All these materials are stored in a plastic case that is marked on the cover: WFF'N PROOF (/) The Game of Modern Logic.
label: Description
content: In 1968 Layman Allen moved from Yale to the University of Michigan with a joint appointment in the Law School and the Mental Health Research Institute, where he continued his work on instructional games. Over the years the name and location of the distributor of WFF ‘N Proof changed, although the phrase “Games for Thinkers” has been associated with it from before Allen’s move to Ann Arbor. Price lists in the <I>WFF ‘N PROOF Newsletters</I> (part of the documentation in accession 317891) indicate that at first the game was distributed by WFF ‘N PROOF in New Haven, Connecticut, and sold for $6.00. In 1970 the price was raised to $8.00 and in 1971 the game was distributed by WFF ‘N PROOF through Maple Packers in Turtle Creek, Pennsylvania. At some point a firm called Learning Game Associates of Ann Arbor took over distribution of the game and donated this example to the Smithsonian in 1975. Later the Accelerated Learning Foundation of Fairfield, Iowa, became the distributor.
label: Description
content: Reference: Games For Thinkers Website.
label: Location
content: Currently not on view
place: label: Place Made
content: United States: Michigan, Ann Arbor
topic: label: Subject
content: Mathematics
label: Subject
content: Games
label: Subject
content: School
label: Subject
content: Education
setName: label: See more items in
content: Medicine and Science: Mathematics
label: See more items in
content: Sputnik
label: See more items in
content: Science & Mathematics
creditLine: label: Credit Line
content: Gift of Learning Games Associates
dataSource: label: Data Source
content: National Museum of American History
identifier: label: ID Number
content: MA.335302
label: accession number
content: 317891
label: catalog number
content: 335302
objectType: label: Object Name
content: game
physicalDescription: label: Physical Description
content: plastic (overall material)
label: Physical Description
content: paper (overall material)
label: Physical Description
content: wood (overall material)
label: Measurements
content: overall: 4 cm x 14.5 cm x 21.5 cm; 1 9/16 in x 5 11/16 in x 8 7/16 in