Master i Logik

Logik, masterprogram

Logik definieras traditionellt som studiet av formella aspekter av giltigt resonemang, men idag ser många logiker logik som en mer allmän studie av formella system och deras tillämpningar. De konceptuella ramarna och verktygen som utvecklats av ren forskning i modern logik har funnit många tillämpningar inom olika discipliner som studerar formella språk och system, t.ex. mjukvaruutveckling och beräkningslingvistik.

Som en akademisk ämneslogik är verkligt tvärvetenskaplig och ligger på gränsen mellan filosofi, matematik, datavetenskap och språkvetenskap. Utbytet är aktivt och ömsesidigt fördelaktigt. Logik är numera ett aktivt internationellt studie- och forskningsområde inom matematik, datavetenskap och lingvistik.

Det första året för tvåårsprogrammet består huvudsakligen av obligatoriska kurser i de teoretiska grundarna för logik. Det andra året består av en 30 hp uppsats och valbara kurser där du som student arbetar mot en specialiserad profil inom det allmänna området för logik och dess tillämpningar.

En seminarie serie, Colloquium in Logic, på applikationer av logik, metodik och logikhistoria kommer att löpa genom båda åren. Du kommer också att ha möjlighet att delta i forskningsseminariet i logik vid institutionen. Som student i programmet kommer du att arbeta i nära samarbete med en internationell och kraftfull forskningsmiljö.

Monica Havström

Kursinnehåll

• Fullständighet och löslighet
• Ange teori och modal logik
• Modellteori och bevisteori
• Kategori Teori och formella teorier om sanningen

Karriär efter examen

Kandidater kommer att vara väl förberedda för att söka till Ph.D. program inom logik, teoretisk filosofi, lingvistik och datavetenskap och har kompetens inom argumentanalys, deduktiva databaser och semantiska webben. Icke-akademiska karriärval inkluderar mjukvaruutveckling, webbaserad teknik samt informations- och kommunikationsteknologisektorn.

Krav

Grundutbildning, minst tre års heltidsstudie, i logik, teoretisk filosofi, matematik, datavetenskap eller lingvistik.

3 skäl att studera detta program

1. En tvärvetenskaplig miljö som kombinerar matematik, filosofi och datavetenskap
2. Delta i en internationell forskningsmiljö
3. Välj kursmoduler anpassade till din bakgrund och akademiska och professionella mål

Monica Havström

Ansökningsperioder för program som börjar på hösten

Internationella studenter utan EU / EES-medborgarskap
Huvudansökningsperioden för internationella studenter är i mitten av oktober till 15 januari för alla program som börjar på hösten. Ansök på href = "universityadmissions.se

EU / EEA-friförare / icke-partnerstudenter och svenska studenter
Om du inte behöver bostadstillstånd kommer ansökan till hösten att vara öppen 15 mars - mitten av april. Ansök på href = "universityadmissions.se eller på href =" antagning.se .

Undervisningsavgifter

Studenter som är medborgare i länder utanför EU / EES är vanligtvis skyldiga att betala studieavgifter. Studieavgifterna gäller inte EU / EES-medborgare. För information om studieavgifterna, vänligen kontakta Institutionen för filosofi, lingvistik och teorin om vetenskap.