VALIDITY: A Learning Game Approach to Mathematical Logic

Hartford, CT: Lebon Press (1973, 1974, 2014)
Download Edit this record How to cite View on PhilPapers
Abstract
The first learning game to be developed to help students to develop and hone skills in constructing proofs in both the propositional and first-order predicate calculi. It comprises an autotelic (self-motivating) learning approach to assist students in developing skills and strategies of proof in the propositional and predicate calculus. The text of VALIDITY consists of a general introduction that describes earlier studies made of autotelic learning games, paying particular attention to work done at the Law School of Yale University, called the ALL Project (Accelerated Learning of Logic). Following the introduction, the game of VALIDITY is described, first with reference to the propositional calculus, and then in connection with the first-order predicate calculus with identity. Sections in the text are devoted to discussions of the various rules of derivation employed in both calculi. Three appendices follow the main text; these provide a catalogue of sequents and theorems that have been proved for the propositional calculus and for the predicate calculus, and include suggestions for the classroom use of VALIDITY in university-level courses in mathematical logic.
PhilPapers/Archive ID
BARVAL
Upload history
Archival date: 2020-07-31
View other versions
Added to PP index
2020-07-31

Total views
17 ( #50,526 of 51,472 )

Recent downloads (6 months)
17 ( #30,759 of 51,472 )

How can I increase my downloads?

Downloads since first upload
This graph includes both downloads from PhilArchive and clicks on external links on PhilPapers.