En introduktion till logik
Rasmus Blanck
[email protected]
FT1200, LC1510 och LGFI52
VT2017
Rasmus Blanck
En introduktion till logik
Först: Tack till Martin Kaså, som gett mig tillstånd att använda
och bearbeta dessa ljusbilder.
Rasmus Blanck
En introduktion till logik
Vad är logik?
Slogan: Logik undersöker vilka argument som är giltiga.
Rasmus Blanck
En introduktion till logik
(Premiss 1)
(Premiss 2)
(Slutsats)
Professorn dricker kaffe eller te
Hon dricker inte te
Professorn dricker kaffe
(Premiss 1)
(Premiss 2)
(Slutsats)
Det regnar eller blåser
Det blåser inte
Det regnar
Dessa argument handlar om vitt skilda saker, men har samma form:
(Premiss 1) P eller Q
(Premiss 2) inte P
(Slutsats) Q
Rasmus Blanck
En introduktion till logik
Vad är ett giltigt argument?
Preliminär definition: Om premisserna är sanna så måste slutsatsen
vara sann.
Eller: Det finns ingen möjlig situation där samtliga premisser är
sanna, men där slutsatsen inte är sann.
Logik är studiet av giltiga argument, där giltigheten beror på
argumentents form, snarare än på dess innehåll.
Rasmus Blanck
En introduktion till logik
Argumenten ovan är båda giltiga, och giltiga i kraft av sin form.
De har samma form, och vi gör detta tydligt genom att ersätta
påståendena med schematiska bokstäver.
(Premiss 1)
(Premiss 2)
(Slutsats)
P eller Q
inte P
Q
Om första premissen är sann så är (minst en av) P och Q sann, i
kraft av betydelsen hos eller. Om andra premissen är sann så är P
falsk, i kraft av betydelsen hos inte. Men då är Q sann, så
argumentet är giltigt.
Alla konkreta instanser av detta argument är alltså giltiga.
Notation: Premisser Slutsats.
Rasmus Blanck
En introduktion till logik
Ogiltiga argument
(Premiss 1)
(Premiss 2)
(Slutsats)
Det regnar eller blåser
Det blåser eller haglar
Det regnar eller haglar
P eller Q
Q eller R
P eller R
Motexempel: “Det blåser” gör båda premisserna sanna, men har
ingen bäring på slutsatsen.
Alltså är argument av denna form ogiltiga—det finns fall där alla
premisser är sanna men där slutsatsen samtidigt är falsk.
Notation: Premisser 2 Slutsats.
Rasmus Blanck
En introduktion till logik
Vår preliminära defintition av giltiga argument (eller relationen
logisk konsekvens, som den också kallas) är både en praktiskt och
teoretiskt användbar definition.
För att den skall fungera har vi dock tvingats göra vissa val, och
dessa val har även andra konsekvenser...
Bivalens: Vi har antagit att varje påstående har precis ett av två
sanningsvärden: sann eller falsk.
Sanningsfunktionalitet: De logiska konstanter vi använt är
sanningsfunktioner : sanningsvärdet hos en komplex sats bestäms
entydigt av sanningsvärdena hos delarna, och sättet på vilka de
satts samman.
Rasmus Blanck
En introduktion till logik
Ex falso quodlibet (ur det falska vadsomhelst)
(Premiss 1) Det regnar
(Premiss 2) Det regnar inte
(Slutsats) Fiskar har päls
Enligt vår definition är detta ett giltigt argument! Dock är det
tämligen oanvändbart.
Kom ihåg: Det finns ingen möjlig situation där samtliga premisser
är sanna, men där slutsatsen inte är sann.
Eftersom det inte finns någon situation i vilken båda premisserna
är sanna samtidigt, så kan det inte heller finnas någon situation
där båda premisserna är sanna samtidigt som slutsatsen är falsk.
Alltså: giltigt!
Rasmus Blanck
En introduktion till logik
Monotonicitet: Om ett argument är giltigt så fortsätter det vara
giltigt även om vi lägger till ytterligare premisser.
Om det inte finns någon situation i vilken alla premisser är sanna
men slutsatsen falsk, så kan det inte heller finnas en situation där
dessa premisser plus ytterligare några premisser är sanna och
slutsatsen falsk.
Rasmus Blanck
En introduktion till logik
Symbolisk logik
Negation
icke P
¬P
Disjunktion
P eller Q
(P ∨ Q)
Konjunktion
P och Q
(P ∧ Q)
Implikation
Om P så Q
(P → Q)
Parenteserna används för att göra mer komplexa satser entydigt
läsbara. Jfr användningen av parenteser i matematik.
Rasmus Blanck
En introduktion till logik
Meningen av de logiska symbolerna ges genom att vi anger
sanningsvillkor för komplexa satser, i termer av sanningsvärden hos
delsatserna.
Dessa villkor kan sammanfattas i en sanningsvärdestabell:
ϕ ψ (ϕ ∧ ψ)
S S
S
S F
F
F S
F
F F
F
Varje rad beskriver en tilldelning av sanningsvärden till delsatserna.
(Eller olika situationer, eller möjliga världar.)
Notera att symbolen ∧ bara fångar en aspekt av meningen hos
“och”. Jfr “Vatten består av väte och syre”.
Rasmus Blanck
En introduktion till logik
ϕ
S
F
ϕ
S
S
F
F
¬ϕ
F
S
ϕ
S
S
F
F
ψ
S
F
S
F
ψ
S
F
S
F
(ϕ ∨ ψ)
S
S
S
F
(ϕ → ψ)
S
F
S
S
Rasmus Blanck
ϕ
S
S
F
F
ϕ
S
S
F
F
ψ
S
F
S
F
En introduktion till logik
ψ
S
F
S
F
(ϕ ∧ ψ)
S
F
F
F
(ϕ ↔ ψ)
S
F
F
S
P
S
S
F
F
Q
S
F
S
F
(P ∨ Q)
S
S
S
F
¬P
F
F
S
S
Q
S
F
S
F
Det finns ingen rad (sanningsvärdestilldelning, situation, möjlig
värld) där samtliga premisser är sanna, men där slutsatsen är falsk.
Alltså är argumentet giltigt: (P ∨ Q), ¬P Q
Rasmus Blanck
En introduktion till logik
P
S
S
S
S
F
F
F
F
Q
S
S
F
F
S
S
F
F
R
S
F
S
F
S
F
S
F
(P ∨ Q)
S
S
S
S
S
S
F
F
(Q ∨ R)
S
S
S
F
S
S
S
F
(P ∨ R)
S
S
S
S
S
F
S
F
Rad 6 representerar ett motexempel – en möjlighet för slutsatsen
att vara falsk samtidigt som samtliga premisser är sanna.
Alltså är argumentet ogiltigt: (P ∨ Q), (Q ∨ R) 2 (P ∨ R)
Rasmus Blanck
En introduktion till logik
P
S
S
S
S
F
F
F
F
Q
S
S
F
F
S
S
F
F
R
S
F
S
F
S
F
S
F
(P ∨ Q)
S
S
S
S
S
S
F
F
(Q ∨ R)
S
S
S
F
S
S
S
F
(P ∨ R)
S
S
S
S
S
F
S
F
Rad 6 representerar ett motexempel – en möjlighet för slutsatsen
att vara falsk samtidigt som samtliga premisser är sanna.
Alltså är argumentet ogiltigt: (P ∨ Q), (Q ∨ R) 2 (P ∨ R)
Rasmus Blanck
En introduktion till logik
En annan typ av argument
(P ∧ Q)
(Q ∧ R)
(P ∧ R)
Från första premissen kan vi få ut informationen P. Från andra
premissen kan vi få ut R. Därför är vi berättigade att dra
slutsatsen P ∧ R.
Två sorters principer används här:
Principer för vad som berättigar hävdandet av ett påstående
av en viss form. (Introduktionsregler.)
Principer för att få ut information ur påståenden av en viss
form. (Eliminationsregler.)
Rasmus Blanck
En introduktion till logik
Introduktions- och eliminationsregler för ∧:
ϕ
ψ
∧Intro
(ϕ ∧ ψ)
(ϕ ∧ ψ)
∧Elim1
ϕ
Rasmus Blanck
En introduktion till logik
(ϕ ∧ ψ)
∧Elim2
ψ
(P ∧ Q)
∧Elim1
P
(P ∧ R)
(Q ∧ R)
∧Elim2
R
∧Intro
Notation: (P ∧ Q), (Q ∧ R) ` (P ∧ R)
Rasmus Blanck
En introduktion till logik
De bevisregler som visats ovan är sunda, i den meningen att om
det som står ovanför strecket är sant, så är det som står under
strecket också sant.
Alltså kommer dessa regler aldrig att kunna ta oss från en sann
premiss till en falsk slutsats.
Vi skulle kunna hävda att detta argument är giltigt för att det är
konstruerat med hjälp av regler som är korrekta.
Rasmus Blanck
En introduktion till logik
När vi formellt har definierat relationen logisk konsekvens: Γ ϕ
och relationen bevisbarhet: Γ ` ϕ är det naturligt att fråga sig hur
de förhåller sig till varandra.
I den bästa av världar har vi:
Sundhet: Om Γ ` ϕ så Γ ϕ, och
Fullständighet: Om Γ ϕ så Γ ` ϕ.
Det vill säga: vi hoppas på att den syntaktiska och den semantiska
analysen av giltighet sammanfaller!
Rasmus Blanck
En introduktion till logik