Constants, Inconstants, and Higher Order Propositions

A question arising on the Foundations Of Math List provides me with an opportune excuse to broach the subject of higher order propositions, which I think afford a better way to handle the situations of confusion, doubt, obscurity, uncertainty, and vagueness that are often approached by way of variations in the values assigned to propositions.

Re: Irving Anellis

My own preference for t-definite, t-indefinite or f-indefinite, and f-definite, as opposed to tautology, contingent, and contradiction lies in allowing application of those terms for truth as well as for validity, for semantic and syntactic uses.

If we start with a universe of discourse X and think of propositions as being, or being represented by, functions of the form f : X → ℬ, where ℬ = {0, 1}, then what we are doing here is choosing suitable names for higher order propositions of the form m : (X → ℬ) → ℬ.

The term tautology or 1-definite is true of exactly one f : X → ℬ, namely the constant function 1 : X → ℬ.

The term contradiction or 0-definite is true of exactly one f : X → ℬ, namely the constant function 0 : X → ℬ.

The term contingent or indefinite is true of all the functions f : X → ℬ that are neither of the above.

Here is a place where I took the trouble to think up names for higher order propositions over a 1-dimensional universe.

I called the contingent propositions either informed or non-uniform.

This entry was posted in Higher Order Propositions, Logic, Mathematics and tagged , , . Bookmark the permalink.

Leave a Reply

Fill in your details below or click an icon to log in:

WordPress.com Logo

You are commenting using your WordPress.com account. Log Out /  Change )

Google+ photo

You are commenting using your Google+ account. Log Out /  Change )

Twitter picture

You are commenting using your Twitter account. Log Out /  Change )

Facebook photo

You are commenting using your Facebook account. Log Out /  Change )

Connecting to %s

This site uses Akismet to reduce spam. Learn how your comment data is processed.