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.
More information about the FOM