VALIDITY: A Learning Game Approach to Mathematical Logic

Hartford, CT: Lebon Press. Edited by E. J. Lemmon (1973)
  Copy   BIBTEX


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.



External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

Similar books and articles

An approach to infinitary temporal proof theory.Stefano Baratella & Andrea Masini - 2004 - Archive for Mathematical Logic 43 (8):965-990.
First order mathematical logic.Angelo Margaris - 1967 - New York: Dover Publications.
Notions de Logique Formelle. [REVIEW]J. M. P. - 1966 - Review of Metaphysics 19 (4):809-809.
Introduction to elementary mathematical logic.Abram Aronovich Stolyar - 1983 - New York: Dover Publications. Edited by Elliott Mendelson.
Mathematical logic: a course with exercises.René Cori - 2000 - New York: Oxford University Press. Edited by D. Lascar.
Sequential Dynamic Logic.Alexander Bochman & Dov M. Gabbay - 2012 - Journal of Logic, Language and Information 21 (3):279-298.


Added to PP

276 (#76,900)

6 months
100 (#50,228)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Steven James Bartlett
Willamette University

Citations of this work

Add more citations

References found in this work

No references found.

Add more references