[FOM] Terminology

Joao Marcos botocudo at gmail.com
Thu Nov 29 12:17:10 EST 2012

> 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


More information about the FOM mailing list