[FOM] Terminology

[Joao Marcos]

> 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.

In that case, maybe we will still have the need for a word to talk
about the conjunction of a formula and its negation?

At the time of Church, paraconsistent logics were still far from being created.

Joao Marcos

-- 
http://sequiturquodlibet.googlepages.com/