ABSTRACT
This paradox was known in the Middle Ages. It is found, for instance, in the fourteenth-century writings of Pseudo-Scotus, who showed how to derive an arbitrary conclusion from inconsistent premisses. Here is an example:
(1) Pat is both a mother and not a mother (2) Pat is a mother, from 1 (3) Pat is a mother or Pat is a father, from 2 by the principle
of addition (‘or’ here is inclusive, it means ‘and/or’. An inclusive ‘or’ statement, A or B, is true provided at least one of its disjuncts, A, B, is true.)
(4) Pat is not a mother, from 1 (5) Pat is a father, from 3, 4, by the principle of disjunctive
syllogism.