Hostname: page-component-586b7cd67f-t7fkt Total loading time: 0 Render date: 2024-11-28T11:02:39.087Z Has data issue: false hasContentIssue false

An Arithmetic Method in Symbolic Logic

Published online by Cambridge University Press:  03 November 2016

John D. Baum*
Affiliation:
Oberlin College, Ohio 44074, U.S.A.

Extract

It is part of the folklore of symbolic logic, and more specifically of the statement calculus, that there is an arithmetic method for determining the truth values of statements of that calculus. A brief survey of texts in logic reveals that the matter seems to be dealt with rarely if at all, and usually only as an exercise ([1], p. 76). It is the purpose of this article to draw the attention of the teachers of mathematics to this rather amusing sidelight of symbolic logic.

Type
Research Article
Copyright
Copyright © Mathematical Association 1972

Access options

Get access to the full version of this content by using one of the access options below. (Log in options will check for institutional or personal access. Content may require purchase if you do not have access.)

References

1. Stoll, Robert R.: Sets, Logic and Axiomatic Theories, San Francisco (1961).Google Scholar