Filosofisk logik undersöker problem som uppstår i logik, som relaterar till dess grundläggande roll för vetenskapsfilosofin. Institutionen har en stark tradition i logik, bl a bevisteori samt teorin om generaliserade kvantifikatorer. Därtill spänner sig forskningen i logik över ett stort fält: modallogik, temporal logik, epistemisk logik, deontisk logik, handlingslogik inklusive multi-agent system, modal mu-kalkyl.
I vår pågående forskning fokuserar vi på expressivitet, fullständiga axiomatiska och andra deduktiva system, avgörbarhet och andra beräkningsbara områden, samt applicerbarhet till problem i filosofi, artificiell intelligens, datavetenskap, matematik, samt spelteori. Därtill är vår forskning intriktad på logiska aspekter av kompositionalitet avseende abstrakt semantik, logikens normativitet, logisk oenighet, konventionalism i logik, deduktivt resonerande samt logisk exceptionalism vs anti-exceptionalism.