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, ³¾Ã¤²Ô²µ»å³Ù±ð´Ç°ù¾± 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.
Ali Enayat, Professor Emeritus of Logic, gives you the answer.
Institutionen för filosofi, lingvistik och vetenskapsteori har en tvärvetenskaplig forskningsmiljö, inklusive doktorander i logik. Välkommen att studera vårt masterprogram!
Du får studera grundläggande resonemang i en miljö med forskning inom filosofi, datalingvistik, matematik och beräkning. Video från vår gamla byggnad.
