This paper is a cleaned-up version of a talk given at the Logic and Logical Philosophy conference in Poland in September