At the moment, I'm about to begin my second year in the Master of Logic (MoL) program at the Institute for Logic, Language, and Computation at the University of Amsterdam. I'm interested in a whole host of things (many of which are completely unrelated to my main research, of course!) but I'd say that my specific research direction can be summarized as "what is the connection between actual human reasoning and the formal systems we see in mathematical and philosophical logic? How do these tools explain and/or aid our reasoning, how did they come about, how are they used, and what can they tell us about intelligence, knowledge, learning, the nature of mathematics, natural language, and thought overall?"
These kinds of questions sit nicely at the intersection of mathematics, philosophy of mathematical practice, diagrammatic reasoning, cognitive psychology, linguistics, and epistemology.
Robert Tosswill is a student the Master of Logic (MoL) program at the Institute for Logic, Language, and Computation at the University of Amsterdam.