Papers in philosophical logic