[FOM] terminology

Irving Anellis irving.anellis at gmail.com
Thu Nov 29 14:54:05 EST 2012

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

More information about the FOM mailing list