PhD student in philosophical logic at Cambridge