Semantik – introduktion


Semantik = läran om
mening
Tvärvetenskapligt




filosofi
lingvistik
psykologi
AI

Lingvistik




Filosofi



1
motsägelser
mångtydighet
metaforer
ontologi
epistemologi
medvetande
Semantik – introduktion

Psykologi





AI


2
resonerande
minne
tillägnande av språk
tolkning
expertsystem
beräkningsmodeller
Kompositonalitet & innefattande

Kompositionalitet


oändligt många
konstruktioner i naturligt
språk kan förstås...
antagande: meningen av
större uttryck kan
härledas från meningen
av de ingående delarna

Innefattande



3
“Lisa är en fisk. Alla
fiskar trivs i vatten. =>
Lisa trivs i vatten”
valida argument: arg.
vars slutsatser är sanna
om premisserna är
sanna
slutsatserna innefattas
av premisserna
Referens & sanningsvärde

Vad är mening?



4
Platons idévärld...
ingen idé...
Alt def 1: att veta
meningen med något är
att veta vad det refererar
till

Sanningsvärde


Alt def 2: att veta
meningen med något är
att veta veta under vilka
förhållanden det är sant
Dvs, att veta vad som
gör det sant
Komposition + sanningsvärde

Semantiskt värde




5
“Pelle springer”
[Pelle] = vår Pelle
[springer] = {personer
som springer}
[Pelle springer] är
ekvivalent med
Pelle ∈ {personer som
springer}


Det semantiska vär-det
av en utsaga be-räknas
utifrån det se-mantiska
värdet hos dess delar;
och är dess
sanningsvärde
En utsaga är sann om
det semantiska värdet av
NP är ett element i det
semantiska värdet av VP
Problem: kvantifikation

“Ingen springer”





6
en lösning: FOPL ->
(∀x)(x springer inte)
“någon politiker ljuger”
(∃x)(x är politiker & x
ljuger)
OK, men...

“De flesta politiker
ljuger”


(∃x)(x är politiker & x
ljuger)...
ny lösning: mängder...
Mängder i stället för logik




7
“ingen” = {{}}
“någon” = { alla mängder
som har minst en
medlem}
ger:
[någon springer] =
[springer] ∈ [någon] =
{individer som springer}
∈ {{}} = falskt
d:o för “ingen”

“De flesta”...



= {alla mängder där mer
än hälften av alla
politiker ingår}, t.ex.
ger: [de flesta politiker
ljuger] = {lögnare} ∈ {alla
mängder där mer än
hälften av alla politiker
ingår}
kontra-intuitivt...
Diskurs(problem)

Räckvidd


“alla” betyder oftast inte “alla”,
utan “alla ...”, beroende på
sammanhang
Tempus



“Pelle sprang” måste tolkas
med avseende på en viss tid
presens kan också betyda
“av vana”
Indexikalitet


“här”, “nu”, “du” betyder
olika saker beroende på
var och när de yttras
Mångtydighet


lexikal: “Pelle brände
pengar”
strukturell: “mannen slog
pojken...”

8
FOPL fixar...
“Sense” och “reference”

Sense...



9
“Göran Persson” vs.
“Sveriges stats-minister”
samma referent, men
olika mening...
statsministern skulle inte
nödvändigtvis ha behövt
vara Göran Persson...



“Göran Persson är
Göran Persson” vs.
“Göran Persson är
Sveriges stats-minister”
nödvändig sanning vs.
‘tillfällighet’
-> möjliga världar...
Möjlig-världssemantik

Sense


10
utsaga: inte sanningsvärde, utan det som gör
utsagan sann eller falsk!
predikat: inte mängden
av utpekade objekt, utan
det som gör att just
dessa pekas ut!


utsaga: hur världen
skulle se ut om den var
sann (sann om denna
världen ser ut så)
predikat: den egenskap
ett objekt skulle behöva
ha för att bli utpekat
Möjliga världar, forts.


sense av en utsaga är
den mängd världar där
utsagan är sann
“gräs är grönt”


“gräs är rött”

11
sant, ty denna värl-den
ingår i mängden av de
möjliga världar där gräs är
grönt
falskt, men vi förstår
att/hur det skulle kunna
vara sant...


sense av ett uttryck,
tillsammans med hur
världen faktiskt ser ut,
avgör uttryckets
reference!
hanterar skillnaden
mellan nödvändiga
sanningar och
tillfälligheter

Sveriges statsminister i
en annan möjlig, “blåare”
värld...
Problem i möjliga världar...

“Logiskt allvetande”



12

Sherlock Holmes och Dr.
Watson...
Watson känner till alla
premisser, men är ändå
inte medveten om
slutsatsen
detta är omöjligt om
Watsons kunskap beskrivs
som en mängd möjliga
världar

Möjlig-världssemantik
förutsätter perfekta
slutledare.
Psykologiskt orealistiskt


oändligt stora
representationer
men bra som abstrakt
beskrivning
Bevis vs. modeller

Bevisteoretiskt




13
övergå till formalism,
t.ex. FOPL
axiom, deduktion
ingen hänsyn till
innebörden hos ord
skillnaden mellan grön
och röd har ingen
betydelse

Modellteoretiskt



inbegriper tolkning
verkar överensstämma
mer med mänskligt
resonemang
-> mentala modeller...
Mentala modeller

“Pelle super. Olle
knarkar. Han super
också. En del fåglar kan
flyga.”




14
{individer som knarkar} =
{Olle, z, t}
{individer som super} = {x,
Pelle, Olle, y, t}
{fåglar} = {w, v, u}
{kan flyga} = {w, v, Olle}


utsagan är sann
modellen säger för mycket




några fåglar (w, v, u) måste
fabriceras
u kan inte flyga...
ofullständig
förklarar tendens att förutsätta
för mycket


“Pelle knarkar och har dålig
kondis”...
deduktion...