Author: Bertrand Russell Memorial Logic Conference Uldum, Denmark 1971.