[FOM] terminology

[Irving Anellis]

Alasdair Urquhart notes that
in Section 15 of his Introduction to Mathematical
Logic, Alonzo Church uses the word "contradiction"
for a propositional formula that is false under
all assignments to its variables.  This terminology
seems perfectly satisfactory to me.

I think that that terminology has become fairly standard.
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.
-- 
Irving H. Anellis
8905 Evergreen Avenue, Apt. 171
Indianapolis, IN 46240-2073