Introduktion till formell semantik ur ett samiskt perspektiv, 7,5 hp

Innehåll

Denna kurs är en introduktion till formell semantik, med samiska som målspråk. I den formella grammatiken studerar man betydelsen hos satser och fraser. Studiet av formell semantik belyser människans inneboende förmåga att tolka och förstå satser och fraser, och är därmed också relaterat till kritiskt tänkande, såsom förmågan att värdera resonemang. 

Delkurs 1. Ingång till den formella semantikens värld, 3 hp
I denna delkurs introduceras semantiska begrepp och fenomen, sanningsvärden, mängdlära och funktioner. Övningar i översättning till och från det semantiska objektsspråket och målspråket samiska ingår. 

Delkurs 2. Formell semantisk analys och problemlösning, 4,5 hp
I delkursen utvecklas det semantiska objektsspråket ytterligare till att omfatta bland annat satslogik, predikatslogik, kvantifikatorer och lambda-abstraktion. Delkursen omfattar övningar i analys och problemlösning med särskilt fokus på översättning mellan det expanderade semantiska objektsspråket och målspråket samiska. 

Förväntade studieresultat

För betyget Godkänd ska den studerande kunna

Kunskap och förståelse
* redogöra för olika typer av tvetydigheter och deras ursprung, samt strategier för disambiguering
* redogöra för basala semantiska begrepp och företeelser 
* redogöra för grundläggande mängdlära
* redogöra för grundprinciper vid översättning till och från objektsspråk och målspråk
* redogöra för formalismer i mängdlära, sats- och predikatlogik samt kvantifikatorer, funktioner och lambda-abstraktion 
* redogöra för sanningsvärden

Färdighet och förmåga
* med semantisk formalism analysera samiska fraser och satser 
* tillämpa semantisk formalism för att hantera mängdangivelser i samiska
* identifiera och analysera semantiska fenomen i samiska
* översätta samiska till semantiskt objektsspråk
* översätta semantiskt objektsspråk till samiska

Värderingsförmåga och förhållningssätt
* kritiskt granska och jämföra olika lösningar på semantiska problem
* kritiskt granska och jämföra analytiskt olika teoretiska modeller i formell semantisk teori.

Behörighetskrav

Svenska och engelska för grundläggande behörighet för högskolestudier. Univ: Minst 90 hp - varav minst 15 hp i intervallet 61-90 hp i samiska språk, eller motsvarande. 

Undervisningens upplägg

Undervisningen är nätbaserad med vissa realtidsaktiviteter.

Examination

Delkurs 1 examineras genom skriftlig hemtentamen. 
Delkurs 2 examineras genom ett antal inlämningsuppgifter. 

Examinator kan besluta om avsteg från kursplanens examinationsform. Individuell anpassning av examinationsformen ska övervägas utifrån studentens behov. Examinationsformen anpassas inom ramen för kursplanens förväntade studieresultat. Student som har behov av anpassad examination ska senast 10 dagar innan examinationen begära anpassning hos kursansvarig institution. Examinator beslutar om anpassad examination som sedan meddelas studenten.  

Andra examinationsformer kan förekomma om förutsättningarna för kursens genomförande i hög grad förändras. 

Vid examination av skriftliga inlämningsuppgifter och hemtentamen används betygsgraderna Underkänd (U), Godkänd (G) eller Väl godkänd (VG). För att få betyget Väl godkänd (VG) på hela kursen krävs att den studerande uppnått detta betyg på kursens båda delar.

Student som erhållit godkänt betyg får inte genomgå förnyat prov.

Student som inte har godkänt resultat på prov har rätt att delta i förnyat prov (s.k. omprov). Det första omprovet ska erbjudas senast två månader efter det ordinarie provet, dock tidigast tio arbetsdagar efter det att resultatet av det ordinarie provet har meddelats. För prov som genomförs under maj och juni månad får första omprovet erbjudas inom tre månader efter ordinarie provtillfälle. Tidpunkt för omprov ska meddelas senast i samband med det ordinarie provet.

Minst ett andra omprov (ett s.k. uppsamlingsprov) ska erbjudas inom ett år efter det ordinarie provtillfället. I de fall prov inte kan upprepas enligt gällande regler för omprov ska det i stället ersättas med annan uppgift. Omfattningen av och innehållet i sådan uppgift ska stå i rimlig proportion till det missade provet.

Övriga föreskrifter

Stoppdatum för inlämningsuppgifter är terminens sista dag, om inte annat anges av undervisande lärare. Vid alla provtillfällen ska examinerande uppgifter göras eller lämnas in inom den tid som anges av undervisande lärare för att beaktas; annars måste de göras på nytt.

Om beslut fattas om att kursen inte längre ska ges eller om kursplanen reviderats garanteras studenten minst tre provtillfällen (inklusive ordinarie provtillfälle) enligt tidigare kursplan under en tid av maximalt två år från det att tidigare kursplan upphört att gälla eller kursen slutat erbjudas.