Om om-satser - 
Johan Mårtensson behandlar i sin avhandling ett specialområde inom den filosofiska logiken, nämligen vissa frågor rörande villkorssatser av typen: "Om jag inte hade gått till jobbet idag, så hade jag inte skrivit detta just nu". Sådana satser uttrycker vad som skulle ha hänt om något hade inträffat som (kanske) aldrig inträffade och brukar kallas "subjunctive conditionals" eller "counterfactuals" på engelska. Den vanligaste svenska beteckningen är nog "kontrafaktiska villkorssatser".
Vi verkar ofta ha ganska bestämda intuitioner vad gäller dessa satsers sanningsvärde och deras logiska relationer till andra satser, dvs om de är sanna eller falska eller huruvida de följer logiskt ur, eller kanske motsäger andra satser. Men det är först fr o m 40-talet som man på allvar började diskutera dessa satsers semantiska och logiska egenskaper på ett mer systematiskt sätt. Vid 60-talets slut utarbetades sedan formella semantiska system, där man applicerade begrepp och tekniker som tidigare hade utvecklats för modallogikens del.

Ett väsentligt inslag i dessa tekniker är idén om ett universum av möjliga världar, där ingen utom en (den aktuella världen) är realiserad. Det är ganska lätt att se varför det framstår som naturligt att använda sig av denna idé för att belysa de kontrafaktiska satsernas semantik. I standardfallet verkar dessa satser uttala sig om icke-realiserade, men möjliga situationer. Begreppet 'möjlig värld' verkar alltså som klippt och skuret för detta syfte: kontrafaktiska satser handlar alltså inte om den aktuella världen utan om någon (eller kanske några) icke-realiserad, möjlig värld där satsens förled ("antecedenten") är sant (en s k "antecedent-värld"). Man inser emellertid lätt att inte alla sådana världar kan tas med i beräkningen. Man behöver alltså ett sätt att välja ut de antecedentvärldar som man skall ta hänsyn till. Ett urvalskriterium som man tidigt föreslog var likhet. Man skulle endast betrakta de antecedentvärldar som är mest lika den aktuella världen. Detta är ett sätt att i termer av likhet mellan möjliga världar, uttrycka det ceteris paribus antagande (dvs allt annat lika) vi normalt gör när vi använder oss av kontrafaktiska villkorssatser.
Under 70- och 80-talen diskuterades och förfinades de system av denna typ som hade börjat utarbetas vid 60-talets slut. Man diskuterade bl a mycket ingående hur den likhetsrelation som skulle användas i dessa semantiska system skulle förstås, bl a togs viktiga steg mot en teori om vilken relativ vikt likhet med avseende på olika tidsavsnitt hos möjliga världar skulle ges. En vanlig uppfattning var t ex att likhet med avseende på händelser som inträffat innan tidpunkten för antecedenten skulle ges större vikt än likhet med avseende på senare händelser.

Johan Mårtensson försöker i sin avhandling ge ett bidrag till denna diskussion. Han argumenterar för att inte endast tidpunkten för en viss händelse är avgörande utan även dess eventuella orsaksrelationer till antecedenten. Avhandlingsförfattaren hävdar att den likhetsrelation som bör användas i formella semantiker för dessa satser är beroende av antecedenten, dvs den kan vara olika för satser med olika förled även i samma sammanhang. Man har hittills i allmänhet antagit att samma likhetsrelation kan användas för olika satser yttrade i samma kontext. Detta har lett till accepterandet av logiska system som avhandlingsförfattaren försöker visa är för starka från en intuitiv synpunkt. Han visar i stället hur en antecedent-beroende likhetsrelation som är definierad i orsakstermer ger upphov till ett något svagare system. Detta system stämmer bättre överens med våra intuitioner. En följd av detta blir att kausala termer inte kan definieras i termer av kontrafaktiska satsers sanningsvillkor, annat än på ett cirkulärt sätt. Motsatsen har ofta antagits vara fallet.

Avhandlingens titel är: Subjunctive Conditionals and Time; A Defence of a Weak Classical Approach.
Disputationen äger rum lördagen den 13 november 199 kl 11
Lilla hörsalen, Humanisten, Renströmsgatan 6
Närmare upplysningar: Johan Mårtensson, tel (arb) 031-773 4624, 
 e-post: johan.martensson@phil.gu.se