Studera logik
Logiken som ämne är genuint tvärvetenskapligt och befinner sig i gränslandet mellan datavetenskap, filosofi, lingvistik och matematik. Utbytet med dessa ämnen är också stort och ömsesidigt.
Logiken behandlar frågeställningar hämtade från de andra ämnenas verksamhetsområden, men metoder och resultat från logiken används också flitigt inom de angränsande vetenskaperna. Genom sin begreppsanalys och metodutveckling bidrar logiken med både teoretiska och praktiska insikter om exempelvis matematiska strukturer och begrepp, formell språkfilosofi, vetenskapsfilosofi och språkteknologi.
Till logikens kärnområden hör modellteori där vi studerar sambandet mellan språk och de objekt språken beskriver, rekursionsteori där algoritmbegreppet och svårighetsgraden hos problem undersöks, bevisteori med frågeställningar kring bevissystem och motsägelsefrihet hos teorier, mängdteori som är det allmänna abstrakta studiet av mängdbegreppet och slutligen matematikfilosofi som behandlar vetenskapsteoretiska grundvalsfrågor inom matematiken.
Masterprogrammet i logik, Logic, Master's Programme, är ett internationellt och tvärvetenskapligt. Här kan du som läst till exempel matematik, filosofi, lingvistik eller datavetenskap få nya verktyg för exempelvis kvalificerade jobb inom industrin.