Orvar Lorimer-Olsson: Power Lifting Logics – An Algebraic Approach to Semantic Set Lifting

Härmed tillkännages att Orvar Lorimer-Olsson avlägger sin licentiatuppsats i ämnet logik den 27 november. 

Uppsatsens titel är Power Lifting Logics – An Algebraic Approach to Semantic Set Lifting
 

Huvudhandledare 
Fredrik Engström 
Opponent 
Fan Yang, PhD, assistant professor 

Examinator 
Graham Leigh, professor

Sammanfattning

Vilka egenskaper hos grupper kan vi beskriva genom att förstå egenskaper hos  individer?   Vad kan en sats betyda om vi tar hänsyn till vad den betyder för flera möjliga tolkningar samtidigt?  Vad händer med strukturen för argument om påståenden kan vara både sanna och falska samtidigt? 

Den här typen av  frågor behandlas gärna formellt genom semantiska mängdlyft. Genom att lyfta den formella beskrivningen från en samling enskilda semantiska objekt till delmängder av objekt skapas en ny semantik med större uttryckskraft och nya logiska egenskaper. Licentiatavhandlingen undersöker den här typen av semantiska lyft och presenterar nya konstruktioner baserade på algebraiska  representationer.  Genom att utnyttja så kallade potensalgebror (power algebras), presenteras varianter för de mängdlyft som kallas  plurivanens respektive team-semantik. Till skillnad från tidigare konstruktioner  är de nya konstruktionerna mer oberoende av val av initial semantik. I tre artiklar tillämpas dessa konstruktioner för frågeställningar inom tre olika inriktningar inom logik.