Logik, masterprogram
Kort om programmet
Detta påstående är falskt; eller? Vad gör en paradox paradoxal men ett matematiskt bevis godtagbart? Vad betyder det att ett argument är sunt eller att ett program är buggfritt? Logik är studiet av alla dessa frågor och av argument och resonemang i allmänhet.
Med en examen från vårt masterprogram är du väl förberedd för såväl en akademisk karriär som en anställning inom många områden, inklusive mjukvaruutveckling och datalingvistik. Under de två studieåren kommer du att delta i tvärvetenskapligt samarbete inom en dynamisk forskningsmiljö.
Om utbildningen
Vad gör ett visst påstående paradoxalt och ett matematiskt bevis giltigt? Vad betyder det att ett argument är sunt och att ett program är felfritt? Logik är studiet av dessa frågor men också av argument och resonemang i allmänhet.
Logik har utvecklats bortom den traditionella definitionen som studiet av formella aspekter av giltiga resonemang till att vara mer allmänt tillämpligt inte bara i de närliggande disciplinerna filosofi, matematik, lingvistik och datavetenskap utan också inom industri och teknologi.
Som student på programmet får du en grundlig utbildning inom logikens kärna och får också möjligheten att utforska tillämpningar inom olika områden som inkluderar språkbehandling, databasdesign och artificiell intelligens.
Mer information om utbildningen finns i utbildningsplanen samt på följande sidor:
Vem ska gå utbildningen?
Är du matematiker och intresserad av filosofiska frågor som: Vad är ett bevis? Kan vi vara säkra på att matematiken är sann?
Är du filosof eller lingvist med fallenhet för matematiskt tänkande och ett intresse för formella system för att modellera argumentation och naturliga språk?
Är du datavetare som vill utforska grundläggande frågor eller använda logik inom artificiell intelligens, automatiserade kunskapssystem eller webbteknologier?
Oavsett om din utbildningsbakgrund är specialiserad eller tvärvetenskaplig, är du välkommen att söka till masterprogrammet i logik om du har modet att följa din nyfikenhet.
Behörigheter och urval
Behörighet
För tillträde till utbildningen krävs, förutom grundläggande behörighet, godkänt resultat om
- minst 60 hp sammanlagt inom ämnesområdena matematik, logik, datavetenskap eller formell lingvistik, eller
- minst 90 hp inom filosofi eller inom lingvistik, samt ytterligare, eller som del av de 90 hp, minst 30 hp sammanlagt inom ämnesområdena matematik, logik, datavetenskap eller formell lingvistik,
eller motsvarande kunskaper.
Dessutom krävs språkkunskaper motsvarande Engelska 6/Engelska B.
Instruktioner för ansökan
Fyll i den programspecifika blanketten Application summary sheet och skicka in den tillsammans med dina övriga ansökningshandlingar.
Ansökningsblankett – Application summary sheet
Urval
Urvalet baseras på (i) ett personligt brev och (ii) betyg från tidigare relevant högre utbildning.
Det personliga brevet bör tydligt förklara varför du väljer att söka till programmet. Brevet ska presentera den sökande både professionellt och personligt. Dokumentet måste vara unikt, det vill säga det får inte innehålla delar som har kopierats från annan källa (med undantag för uttryckliga citat).
Ladda upp ditt personliga brev på University admissions före deadline för ansökningsomgången.
Efter studierna
Vår logikutbildning förbereder för en akademisk forskarkarriär, men kan också fungera som fördjupning och förstärkning av din grundexamen inför kvalificerade jobb inom webbteknologi eller artificiell intelligens.
Så är det att plugga
Undervisningen
Alla kurser ges på engelska. Undervisningen kombinerar föreläsningar, seminarier, problembaserat arbete, skriftliga inlämningsuppgifter, presentationer och självständiga studier. Studenterna förväntas delta aktivt i den schemalagda undervisningen och i institutionens akademiska verksamhet. Logik lärs också genom diskussion – genom att pröva exempel och få återkoppling från lärare och medstudenter. Studenterna kan delta i forskningsseminariet i logik, vilket ger kontakt med aktuell forskning.
Varje student tilldelas en mentor bland lärarna, som erbjuder vägledning kring kursval, studieplanering med mera. Programmet strävar också efter att vara flexibelt. Inom ramen för utbildningsplanen och gällande regler arbetar vi tillsammans med studenterna för att hitta praktiska lösningar när individuella omständigheter kräver anpassningar.
Lokaler
Vår institution finns på Humanisten, Renströmsgatan 6.
