SMS versenden: Topics in philosophical logic