Forskningsämne Logik och filosofisk logik
Stockholms universitet har en lång tradition av avancerad och internationellt uppmärksammad forskning i logik. Logik undersöker principer och metoder för giltig argumentation och resonerade. Formell logik använder ett exakt logiskt språk berikat med formell semantik samt system för deduktiva slutledningar som fångar logiskt giltigt resonerande.
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 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.
Relaterat forskningsämne
Filosofi, teoretisk
På denna sida
Forskare
Valentin Goranko
Professor

Sebastian Enqvist
Universitetslektor

Anders Schoubye
Universitetslektor

Paul Gorbow
Postdoktor

Karl Nygren
Postdoktor

Anders Lundstedt
Doktorand

Dag Westerståhl
Professor emeritus

Dag Prawitz
Professor emeritus
