Topics in logical theory and the philosophy of logic: intensional logic andother non-standard logics (such as modal logic); discussion of results of modern logic and their philosophical implications.