I love the way I’ve met so many different people through working in logic, that I’ve made good friends, good colleagues, good teachers and mentors. I’ve been part of an enterprise that’s larger than any one person. I have been shaped by that community, and have had the opportunity to made some small mark on it myself.
Logic, like any other academic discipline, has a history. The activities of doing logic — of studying, researching and teaching — are spread out through time. Those activities are also, equally, spread out in space. Logic is done in many different places, in many different contexts, by many different individuals, and research teams. As I’ve already pointed out, those activities are shaped by different disciplinary connections (into philosophy, mathematics, computer science, linguistics, engineering, etc.), but they are also shaped by the emphases of different research groups and traditions. Research, these days, is dominated not so much by a small number of iconic logicians, but by research groups with distinctive research programmes.
Here are some examples: think of the difference between Amsterdam-style modal logic, on the one hand, and exact truthmaking semantics on the other, concerning approaches to intensionality and hyperintensionality, or for examples on the proof theoretical side of the street, the different traditions of Higher Order Type Theory and of Linear Logic and Ludics as frameworks for understanding proof, computation and meaning. The differences between these traditions are not simply matters of differences between individual researchers and their emphases — though of course, there are significant founding figures for each tradition I mention — the driving forces in each of these active research programmes is at the level of the team or beyond. Each approach brings with it a (larger or smaller) loose formation of researchers who work on problems in their fields: they get together at conferences and workshops, co-author papers, apply for research grants, supervise graduate students, all the while, maintaining and developing the tradition. Research that leaves a mark is not so much the activity of the brilliant sole researcher, it occurs at a larger scale.
Recognising this fact brings important questions to the fore: given that research at this scale is a community enterprise, how does that community function? Who is included? Who is excluded? How are people trained and shaped? What kinds of conversations are possible? What approaches are encouraged? My little corner of philosophical logic is only beginning to explicitly address some of these issues. Gill Russell and worked to get a decent gender balance in our edited collection. We partly succeeded on that front. We fail, mightily, on including participants from outside Europe, America and Australia. Further, the group of authors is overwhelmingly white. We could have done better. There is scope for the community to be more representative of thew wider community around us. Lasting change will require more than just good will and effort from individuals: it will involve broader social change, so that the oppressed and excluded get their due, and all to have the opportunities currently afforded to those who have the easiest access to higher education. That social change won’t come easy. However, those of us with the institutional capital to be able to shape and support research groups nonetheless have the opportunity to leave the discipline better than we found it, with a wider spectrum of voices included, with all people treated well, and a broader family of concerns taken seriously. We can run conferences where people are treated well; we can mentor and support our students, both women and men; we can encourage the work of those whose voices are routinely excluded, and so, build up a community that is resilient and flourishing.
As for me, I’ve been fortunate, more fortunate than I can readily discern. Not only have I been shaped by encouraging and supportive teachers and mentors throughout my own research career, but unlike many of my female colleagues, I’ve not been harassed or endangered. No-one has attempted to take advantage of me, or pass my work off as theirs. Overwhelmingly, people in my field have taken me seriously, even when I was a blundering student, attempting to find my way in the wider academic world. The reception I’ve had in the wider academic world is the kind of community I want for those coming after me.
Community is the twelfth of twelve things that I love about philosophical logic.