Hostname: page-component-78c5997874-fbnjt Total loading time: 0 Render date: 2024-11-04T19:15:35.104Z Has data issue: false hasContentIssue false

Symbolic Logic and “Embedding Language”

Published online by Cambridge University Press:  14 March 2022

Edward O. Sisson*
Affiliation:
Reed College, Portland, Oregon

Extract

Mr. A. F. Bentley in his Linguistic Analysis of Mathematics has attacked the problem of the “embedding language” of mathematics; “This essay” we read in the Foreword, “deals with the language of mathematics, including not only the mathematical symbols, but also those immediately surrounding forms of expressions and assertions through which the symbols are developed, communicated and interpreted. The writer seeks to establish a firm construction for this embedding language.” Inevitably, in the first instance this embedding language must be, as he puts it, “every-day language”; but this is sadly inadequate: “The every-day language reeks with philosophies—the absolutisms of pointing. It shatters at every touch of advancing knowledge. At its heart is paradox… Mathematicians know this. Yet they feel ever the compulsion to interpret their mathematics in terms of every-day language. So proceeding, their harvest is super-paradox.” Yet the writer recognizes after all that “every-day language is the basal medium of communication between men,” even when we seek to “extend standards of symbolic consistency into the regions of the embedding language.”

Type
Research Article
Copyright
Copyright © Philosophy of Science Association 1937

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 LL declares “… there is no such thing as the conclusion from any premise or any set of premises; given any premises whatever, there are an infinite number of conclusions which may validly be drawn.” (P.70) However, this is given under the head of the algebra of logic, and perhaps may not apply generally. If it does so apply it is as destructive to the hopes of achieving knowledge by logical means as are the “paradoxes” of PM.