Master i Logik

Logik, kandidatuddannelse

Logik er traditionelt defineret som undersøgelsen af ​​formelle aspekter af gyldig resonnement, men i dag ser mange logikere logik som en mere generel undersøgelse af formelle systemer og deres applikationer. De konceptuelle rammer og værktøjer udviklet af ren forskning i moderne logik har fundet mange anvendelser inden for forskellige discipliner, der studerer formelle sprog og systemer, fx software engineering og computational lingvistik.

Som et fagligt emne er logikken reelt tværfaglig og ligger på grænsen mellem filosofi, matematik, datalogi og lingvistik. Udvekslingen er aktiv og gensidigt fordelagtig. Logik er i dag et aktivt internationalt studie- og forskningsområde også inden for matematik, datalogi og lingvistik.

Det første år af det toårige program består for det meste af obligatoriske kurser i de teoretiske grundlæggende elementer i logikken. Det andet år består af en 30 hp essay og valgfag, hvor du som studerende arbejder mod en specialiseret profil inden for det generelle logikområde og dets anvendelser.

En seminar serie, Colloquium in Logic, om applikationer af logik, metodologi og logik historie vil løbe gennem begge år. Du vil også have mulighed for at deltage i forskningsseminaret i logik på instituttet. Som studerende på programmet vil du arbejde i tæt samarbejde med et internationalt og stærkt forskningsmiljø.

Monica Havström

Kursusindhold

• Fuldstændighed og beslutsomhed
• Indstil teori og modal logik
• Model teori og bevissteori
• Kategori Teori og formelle teorier om sandhed

Karriere efter eksamen

Kandidater vil være godt forberedt til at ansøge om ph.d. programmer i logik, teoretisk filosofi, lingvistik og datalogi og vil have kompetence i argumentanalyse, deduktive databaser og semantiske web. Ikke-akademiske karrieremuligheder omfatter software engineering, web-baserede teknologier samt informations- og kommunikationsteknologisektoren.

Krav

Bacheloruddannelse, mindst tre års fuldtidsstudie, i logik, teoretisk filosofi, matematik, datalogi eller lingvistik.

3 grunde til at studere dette program

1. Et tværfagligt miljø, der kombinerer matematik, filosofi og datalogi
2. Tag del i et internationalt forskningsmiljø
3. Vælg kursusmoduler, der passer til din baggrund og faglige og faglige mål

Monica Havström

Ansøgningsperioder for programmer, der starter i efteråret

Internationale studerende uden EU / EØS statsborgerskab
Hovedansøgningsperioden for internationale studerende er midt i oktober til 15. januar for alle programmer, der starter i efteråret. Ansøg på href = "universityadmissions.se

EU / EØS frie mover / ikke-partner studerende og svenske studerende
Hvis du ikke har brug for en opholdstilladelse, vil ansøgningen om efteråret være åben 15. marts til midten af ​​april. Ansøg på href = "universityadmissions.se eller på href =" antagning.se .

Studieafgifter

Studerende, der er statsborgere fra lande uden for EU / EØS, er generelt forpligtet til at betale studiegebyrer. Undervisningsgebyr gælder ikke for EU / EØS-borgere. For information om studieafgift, kontakt venligst instituttet for filosofi, lingvistik og videnskabsteori.