•  
  •  
 

Document Type

Research

Abstract

For the purposes of mathematics the general notion of logic 'propositional function' may be used to define a concept which we may wish to regard as a mathematical function. The term function will be restricted to entities which satisfy the conditions imposed. These conditions may be regarded as axioms. They imply certain elementary properties of functions which we may call theorems, although it seems legitimate to raise the question: Are these propositions in logic or mathematics? The symbolism, and methodology are those of mathematics. The significance is so broad that the subject as a whole may be regarded as at least meta-mathematical if not entirely in the domain of logic. It will be assumed that there is a theory of classes, and certain properties of classes essential to the development of the theory of functions will be stated as need for them arises.

Publication Date

1947

Journal Title

Proceedings of the Iowa Academy of Science

Volume

54

Issue

1

First Page

207

Last Page

210

Copyright

©1947 Iowa Academy of Science, Inc.

Language

en

File Format

application/pdf

Share

COinS
 
 

To view the content in your browser, please download Adobe Reader or, alternately,
you may Download the file to your hard drive.

NOTE: The latest versions of Adobe Reader do not support viewing PDF files within Firefox on Mac OS and if you are using a modern (Intel) Mac, there is no official plugin for viewing PDF files within the browser window.