Textmeddelande: Philosophical logic: