Logik, masterprogram

Masterprogrammet i logik syftar till att utbilda en ny generation studenter med gedigna kunskaper – och förmåga att tillämpa dem – inom ett vetenskapligt centralt område som får sitt teoretiska intresse och sin praktiska användbarhet från en unik kombination av humaniora, matematik och informations- och kommunikationsteknologi.

Programmets huvudsakliga mål är att studenter efter fullföljd utbildning skall ha bred och djup kunskap inom logik samt om logikens roll i vetenskapen, såväl som dess tillämpningar inom ämnen såsom filosofi, lingvistik, matematik och datavetenskap. Studenter som framgångsrikt fullföljt programmet skall kunna bedriva vetenskapligt forsknings- och utvecklingsarbete i logik eller dess tillämpningar, antingen som forskarstuderande eller i en tillämpningsnära miljö.

Programmet innehåller därför både ett antal kursmoment som lägger en gedigen grund inom de mest centrala delarna av den teoretiska logiken och dess tillämpningar, och ett antal valbara specialiseringsmöjligheter som anpassas efter den enskilde studentens bakgrund, förutsättningar och intressen.

Den pedagogiska idén för programmet utgår från (i) ämnets flervetenskaplighet; (ii) studenternas olika studiebakgrunder; (iii) en studiehandledare till varje student, och en individuell studieplan som tar hänsyn till bakgrund och framtidsplaner; (iv) intensivt arbete i grupp och över traditionella ämnesgränser; (v) ämnets mycket övningsintensiva karaktär, där vägen till teoretisk förståelse till stor del består av praktisk färdighetsträning; (vi) användande av moderna, teknikstödda, undervisningsmetoder som främjar studentaktivitet och förbereder för självständigt arbete; (vii) en uttalad och stark koppling till pågående forskning.

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.

Utbildningen leder till Filosofie masterexamen med huvudområdet Logik (Degree of Master of Arts (120 credits) with a major in Logic).

Termin 1 består av fyra obligatoriska kurser om 7,5 hp vardera:

• LOG112 Logik och fullständighet
• LOG121 Mängdteori
• LOG115 Modeller för beräkningsbarhet
• LOG131 Modallogik

Studenterna uppmuntras dessutom till att vid lämpliga tillfällen delta i institutionens högre seminarium i logik.

Även termin 2 består av fyra obligatoriska kurser om 7,5 hp vardera:

• LOG221 Bevisteori
• LOG215 Uttryckbarhet och ofullständighet
• LOG211 Modellteori
• LOG250 Logikens filosofi

Under termin 3 läses en obligatorisk kurs om 7,5 hp:

• LOG311 Färdigheter för forskning i logik

samt tre valbara kurser från programmets kursutbud. Minst en av dessa ska vara en specialisering som förbereder studenten för det sjävständiga arbetet under termin 4, och ges i normalfallet som individuell läskurs. Studenten väljer kurser sker i samråd med sin individuella studiehandledare. Utbudet av valbara kurser kan variera mellan olika år.

Termin 4 ägnas åt det självständiga arbetet – masteruppsatsen om 30 hp. En matchning mellan potentiella handledare, studenter, och projektförslag sker mot slutet av termin 3, så att den avslutande terminen kan inledas med ett omgående arbete med projektplan.

Utbildningen har inga kurser med obligatorisk praktik eller liknande, men i lämpliga fall kan arbetet med masteruppsatsprojektet förläggas t.ex. till något företag eller till en forskningsgrupp utanför institutionen. I sådana fall finns dock alltid en handledarresurs från institutionen som tillser att studentens arbete uppfyller uppsatta mål för utbildningen samt universitetets regelverk.

Generella mål för masterexamen

Se Högskoleförordningen, bilaga 2.

Lokala mål

Kunskap och förståelse

För masterexamen ska studenten

• visa kunskap och förståelse om de viktigaste delområdena inom logik, deras förhållande till varandra samt logikens förhållande till närliggande vetenskapsområden samt aktuellt forsknings- och utvecklingsarbete,
• visa fördjupad kunskap och kännedom om centrala begrepp, metoder, frågeställningar, teorier inom logiken samt dess tillämpningar inom filosofi, lingvistik, datavetenskap och matematik, och
• visa fördjupad och specialiserad kunskap inom minst ett av logikens delområden samt dess tillämpningar.

Färdighet och förmåga

För masterexamen ska studenten

• visa förmåga att kritiskt diskutera, analysera och evaluera resultat och frågeställningar inom logiken och dess tillämpningar, med utgångspunkt i en medvetenhet om områdets forskningstradition,
• visa förmåga att kritiskt, självständigt och kreativt identifiera och formulera frågeställningar, att planera och med adekvata metoder genomföra kvalificerade uppgifter inom givna tidsramar och därigenom bidra till kunskapsutvecklingen samt att utvärdera detta arbete,
• visa förmåga att i såväl nationella som internationella sammanhang muntligt och skriftligt klart redogöra för och diskutera sina slutsatser och den kunskap och de argument som ligger till grund för dessa i dialog med olika grupper,
• visa sådan färdighet som fordras för att kunna applicera metoder och konstruktioner från logikens olika fält på nya områden,
• visa sådan färdighet som fordras för att delta i forsknings- och utvecklingsarbete eller för att självständigt arbeta i annan kvalificerad verksamhet, och
• visa sådan förmåga som fordras för att samarbeta i multidisciplinära grupper.

Värderingsförmåga och förhållningssätt

För masterexamen ska studenten

• visa medvetenhet om logikens förhållande till vetenskapens kunskapsutveckling, dess begränsningar och roll i samhället, samt visa medvetenhet om etiska aspekter på forsknings- och utvecklingsarbete,
• visa förmåga att identifiera sitt behov av ytterligare kunskap och att ta ansvar för sin kunskapsutveckling, och
• visa förmåga att fritt i förhållande till traditionella akademiska ämnesgränser röra sig mellan de till logiken angränsande vetenskapliga disciplinerna.

Undervisningsspråk är engelska.

Kursvärderingar utförs löpande under utbildningen för att därmed ligga till grund för kontinuerligt utvecklingsarbete. I slutet av varje termin sker uppföljning av alla kurser som har genomförts. Denna uppföljning sker i samarbete mellan studierektor (eller motsvarande) och studentrepresentanter. Övergripande kvalitetssäkring samt kurs- och programutveckling diskuteras av alla inblandade lärare på en årlig programkonferens.

Uppföljning och utvärdering av programmet sker i enlighet med gällande Policy för kvalitetssäkring och kvalitetsutveckling av utbildning vid Göteborgs universitet.

Denna version av utbildningsplanen är en revidering av tidigare version, som gällde fr.o.m VT2024.

Student som i föreskriven takt följer utbildningsprogrammet har begränsad platsgaranti. Platsgarantin gäller för programmets obligatoriska kurser.

Under termin 3 garanteras att studenten får plats på tre valbara kurser (men inte nödvändigtvis på sina förstahandsval).