Professional Documents
Culture Documents
izdava
za izdavaa
preveo
recenzenti
raunalni slog
naslovnica
tisak
www.jesenski-turk.hr
Uvod
u logiku prvog reda
Leigh S.
Cauman
Izvornik:
1998 by Walter de Gruyter GmbH & Co. Kg, Bertin. All rights reserved.
Copyright za hrvatsko izdanje Naklada Jesenski i Turk
Sadraj
Predgovor . . . . . . . . . . . . . . . . .. .. . .. . ... . . . . . . . . . .. . .. . .7
.
Uvod
. .
. 81
121
157
199
241
Prvi dio
Logika istinosnih funkcija
1. poglavlje: Naela izvoenja ..
.
..
..
..
17
Drugi dio
Logika predikata
4. poglavlje: Naela izvoenja
Trei dio
Logika relacija
6. poglavlje: Nova ogranienja pravila izvoenja
..
. 271
etvrti dio
Identitet i opis
8. poglavlje: Logika identiteta
9. poglavlje: Odreeni opis
..
. . .
..
. .
. .
.
..
291
319
. .. 349
. 355
Predgovor
Sve to je u ovoj knjizi nauila sam ili od svojih uitelja, prije svega
Vevie Blair, koja me uila matematiku na Djevojakoj koli Horace
Mann, Paula Weissa, koji me uveo u logiku i filozofiju na Bryn
Mawru, W. v. Quinea, mog mentora na postdiplomskom studiju
moje ciljeve, nego i zato to bi se ova knjiga mogla koristiti kao uvod
Leigh 5. Cauman
1
Uvod
Logika
Odabiremo ih.
Uvod.
polazite za istraivanje. Iz logikih je se razloga ne moe zabraniti,
ak ni ako je u sebi proturjena, proizvoljna ili oito neistinita - ta
bi zabrana znaila odbijanje istraivanja, zatvaranje uma.
Pretpostavka, meutim, moe biti bespredmetna: irelevantna
ili neadekvatna za postavljenu zadau. Tada moemo pokazati da
ona ne vodi nikamo, ili barem da se ne moe upotrijebiti za to da
se demonstrira ono to elimo pokazati.
Logiki
mogu biti istinite. Ako su svi mogui putovi - ili grane stabla - bloki
rani, tj. ako se pokae da su neprihvatljivi, jer su sve u ovom ili
nema naina
nevaljanosti.
valjanosti.
Uvod_
dokaza po implikaciji.
ise (nazovimo je "to i to"), bilo same za sebe ili u nekom kontekstu,
stigne do dane konkluzije (nazovimo je "tako i tako"), ta konkluzija
jo nije utvrena. Ne, utvrdili smo "odgovarajuu implikaciju":
ako
ako to i to, onda tako i tako. Vraamo se
na ono to smo ve postigli, sumiramo i izvlairno sumarnu konklu
ziju: ako to i to, onda tako i tako. Sada nam vie ne treba pretpo
stavka od koje smo krenuli. Sumarna konkluzija stoji i bez te pret
postavke, neovisno o tome je li ona bila istinita ili neistinita. Stoga tu
premisu odbacujem o. Ostavljamo je po strani, nju i korake u mi
ljenju koji su nakon nje uslijedili i koje smo koristili da bismo doli
do izvorne konkluzije - kao to se sa zavrene zgrade odbacuju skele.
"p
neemo odbacivati. Zatim svaki disjunkt
Logika
14
Uvod.
15
prvi dio
poglavlje
Naela izvoenja
Logika
Naela izvoenja.
19
Logika
Pravila za "ako"
"---)00.
to i to konsekvens
to obino kaem o,
itd.
Na primjer:
Tlo
je
Ako ki i
*
tlo je mokro.
Naela izvoenja .
Ako kii ,
Tlo
pod uvjetom da to i to
niti
21
Logika
p q
p
... q
MP
pri emu je p bilo koji iskaz, bilo istinit bilo neistinit, jedno
skraen je od "modus
Naela izvoenja.
Logika
hc
h
..
itd.
Naela izvoenja .
Dokaz po implikaciji (DI): P roces valjanog i pravil nog izvoenja kon kluzije iz prem ise ( i li skupa premisa) opravdava tvrd
nje dan e u odgovarajuoj implikaciji: ako premisa (premise),
onda konkl uzija.
Dakle,
p
q
:. p -+ q DI
Logika
Naela izvoenja.
PREM
*
*
*
q
:. p--+ q DI
Logika
q
*{Pqr
:. * p
r
*{1 p q
q
2
i dokaim o: p
r.
Naela izvot1enja
3p
4q
5r
PREM
1,3 MP
2,4 MP
6P-H
3-5
Tu emo
29
Logika
Ako je taj apstraktn i mali dokaz teko itati, pokuajte u mjesto 'p'
j 'r' sta v i t i reenice obinog jezika - koje god elite
i proitajte
ga ponovo. Evo primjera:
Neka p bude "Joe je u k u h i n j i ". Neka q bude "Joe je u kui" .
Neka r bude "Joe je u Bosto n u ". Pretpostavi m o da
-
PREM
3 Joe je u kuhinji.
PREM
4 Joe je u ku i.
5 Joe je u Bostonu.
1,3 MP
MP
2.4
3-5 DI
QEO
Samo jed na zvjezd ica kod estog koraka registrira injen icu da ta
konkluzija ovisi o prem isama 1 i 2, a l i ne i o premisi 3. Poddokaz
3-5, su m i ran u koraku 6, sada se moe odloiti, kao skela koja je
poslui l a svojoj svrsi.
Zastanimo i pogledajmo to smo napravili. Dal i smo opravdanje
za upotrebu pomonog pravila, pravila lanca.
LANAC: Iz para
30
Naela izvoenja _
31
Logika
Pravilo PONOVI
"
32
1p
PREM
2p
3pp
1 PONOVI
1-2 DI
QEO
Naela izvoenja .
1p
2 q
iH.' 3 p
* 4 qp
5 p (qpl
PREM
PREM
1 PONOVI
2-3
1-4
DI
DI
QED
33
Logika
1 Kii.
PREM
1 -7 DI
**
PREM
6 Kii.
Kii.
1 PONOVI
i popravimo b roj ev e :
*
**
**
34
1 Kii.
2 Danas je etvrtak.
3 Kii.
PREM
PREM
1 PONOVI
Naela izvoenja .
*
2-3
DI
1 -4
DI
QED
**
**
**
*
*
1 p q
2 q r
PREM
3p
4 q
5 r
PREM
6 p r
7 r
3-5 DI
1 , 3 MP
2, 4 MP
5 PONOVI
(Joe je u Bostonu]
ili
*
7' q
4 PONOVI
(Joe je u
kui)
Logika
3 p p
4p
PREM
1 PONOVI
1 -2 DI
2 PONOVI
lili 1 PONOVI)
36
Naela izvoenja .
P /\ q
---
:. p
SIMP
:. q
SIM P
itd .
Logika
38
Naela izvoenja .
Dakle,
p
:. p 1\ q
ADJ
:.
q 1\ P
ADJ itd.
P -'> (e
*
1\
Dokaimo: b 1\ [p -'> ej
bl
bl
PREM
**
1 p -'> (e
2p
3 e 1\ b
**
4b
3 SIMP
**
5 e
3 SIMP
**
1\
6 p -'> e
* 7 b 1\ [p -'> el
*
PREM
1 , 2 MP
2-5 DI
4 , 6 POJ
39
Logiki
menadment.
b 1\ ( p ej
1 b 1\ ( p el
2p
**
3 b
**
4 p e
**
5 e
** 6 e l\ b
., 7 p ( e bl
*
**
Dokai mo : p [ e 1\ bl
PREM
PREM
1 SIMP
1 SIMP
4, 2 MP
5 , 3 ADJ
2-6 DI
QEO
Naela izvoenja .
{1P
2 q
PREM
je dak le pokrata za
*
*
*
O p l\ q
1 p
O SIMP
2 q
O SIMP
PREM
41
LDgika
Pravila za
negacij u
42
Naela izvoenja .
Stoga,
*
*
*
*
*
qA - q
RED
: - p
.
Logika
1 p
2
P
3 p !\ - p
4 -- p
_
**
*
PREM
PREM
2 , 2 ADJ
2, 3 RED
QEO
1 -4 D I
QEO
Na pri mjer,
<H*
1 Pretpostavimo da kii .
2 Pretpostavimo, nadalje, da n e kii.
3 U tom sluaju i ki i i ne kii.
PREM
PREM
1 , 2 AOJ
4 Ne ne kii.
2-3
RED
1 -4
DI
QED
Stoga zakljuujemo da
5 Ako kii , onda ne n e kii .
Naela izvoenja .
DN '
-p
*
*
*
q /\ - q
:. p
RED'
(Iz iste p rem ise i sheme zaklj uka RED dobil i bismo
p.) D N '
opravdava RED' (i obratno), te tako, koristei R E D s R E D ' i l i D N '
moemo pokazati da se iskaz moe deduci rati iz svoje dvostru ke
negacije i obratno. Umjesto toga, odluili smo uvesti jedno jae pra
vilo: p i -- P meusobno su zamjenj ivi . Kako to fu n kcion i ra?
Dosad smo rekli da su odreen i iskaz i njegova dvostru ka
negacija zamjenjivi kao koraci u zakljuku : ako je zadano p, onda
se i z toga m oe deducirati
p i obratno. Ali DN nam govori da
su iskaz i njegova dvostru ka negacija zamjenjivi kad god se pojave,
u kontekstima koji nas zan i maju; to jest, p i - - P su meusobno
zamjenjivi i kao sastavnice sloenih iskaza s kojima emo rad iti. Od :
--
--
45
Logika
1 p /\ p
2 q
3 p /\ p
4 q
5 q
6 [p /\ - pl q
PREM
PREM
1 PONOVI
2-3 RED
4 DN
1 -5 DI
QED
Moe se dati i " metalogiki " d okaz kOji pokazuje da, ako se jedna re
en ica moe do kazati iz d ruge i obratno, onda su one meu sobno
za mje njive n e samo kao koraci u zakljuku nego i kao sastavnice slo
en i h reen ica. D N je pose b n i sluaj tog opeg naela m eu sobne
zamjenj ivosti ekvivalenata, o kojemu emo raspravljati kasnije u ovom
poglavlj u . Metalogiki za klj uak kOj i pod rava to naelo je, meuti m ,
izva n opsega o v e knjige.
46
Naela izvoenja .
Dokaimo : - p (p ql
* l'
p
** 2 ' p
*** 3 ' - q
*** 4 ' p /\ - P
** 5 ' - q
-
**
6' q
7' p q
B'
p (p q)
PREM
PREM
PREM
2 ' , 1 ' ADJ
1 ' - 7 OI
QED
* 7
P
** B p
-
**
**
**
*
9 p /\ - p
1 0 (p /\ - pl q
11 q
1 2 p q
1 3 - p (p qJ
(Vidi goreJ
PREM
PREM
8 , 7 ADJ
PONOVI
1 0 , 9 MP
B - 1 1 OI
7- 1 2 DI
QED
4J
Logika
48
Naela izvoilenja
D I lema: Za danu disjunkcij u , ako se za svaki njezin d isj u n kt
L
L
L
L
L
D
D
D
D
D
*
*
*
*
*
*
*
*
*
*
*
1
2
3
4
5
6
7
8
9
10
11
12 r
pv q
p
PREM
PREM
PREM
1 , 2-6 , 7 - 1 1 DIL
2
3
4
5
6
PREM
D
D
D
D
D
*
*
*
*
*
7 q
8
9
10
11 r
PREM
. . * 1 2 r 1 , 2-6, 7 - 1 1 DIL
Logika
ovdje fun kcion i raju kao zvjezdice; pojanjavaju koje su prem ise u
igri (iskuenju da se koraci iz jedne leme u potrijebe u drugoj
moramo se odu prijeti). U tri lemi bi bilo korisno tree slovo, reci
mo 'S ' kao "sred i na"; bit e dobar svaki jednozna n i knj igovod
stveni sistem. U trenutku kad se pozivamo na to pravilo mora biti
jasno da je istraena svaka sastavn i ca disj u n kcije.
Naelo di leme nudi nam i treu strategiju dokaza: kako bismo d is
j u n kciju iskoristi l i u dokazu, uzmemo svaki njezin disj u n kt odvo
jeno kao premisu i pokuamo dokazati istu konkluzij u iz svake po
jed inano, neovisno o drugima. Plani ramo odbacivanje svi h ti h
prem isa odjednom .
Drugo pravilo za " ili" je pravilo TANjenja (od njemakog 'VerdO n
n u ng( 7 ), i l i uvoenja v :
p
:. p v q
TAN
:. p v q
TAN it d .
Jasno je, naravno, da ako kii, onda doista i l i kii i l i sn ije i (iako to
ne bi sl ijedi l o da smo " i l i " shvati l i u iskljunom smisl u ; ako kii, iz
toga sl ijedi da kii ili sn ijei, al i ne i da se ne dogaa oboje). Budui
da 'p v q ' znai da bar je jedno od p i q isti nito, a budui da nam
premisa kae da jedno od njih jest istinito, uporaba tanjenja ne mo
e dovesti od isti ne do neisti ne.
50
Gerhard Gentzen, " Untersuchu ngen Ober das logische Schl iesso n " ,
Mathematische Zeitung, vol . 3 9 ( 1 934/5 ) : 1 76-2 1 0, str. 1 92 . Engles
ki pri jevod eseja otisnut je u M. E. Szabo, The Collected Works of Ger
hard Gentzen (Amsterdam : North - H ol land, 1 969), str. 68-1 3 1 ; vidi
str. 77 za Gentzenova pravila izvoenja, str. 31 i 83 za njegovu u potre
bu r ij ei 'ta njenje' .
Naela izvoenja .
1 (k v sJ - H
2 k
** 3 k v s
4 z
PREM
2 TAN
1 , 3 MP
QEO
1 pv q
2 p r
3 qs
PREM
D
D
*
*
*
*
*
*
*
4
5
6
7
8
9
10
P
r
rvs
q
s
rvs
rvs
Logika
Ti me zavrava mo popis te melj n i h naela izvoe nja za logi ku iska
za, n ael a koja e ksp l ic i raj u p ravi l n u u potrebu eti rij u te melj n i h
vezn i ka meu i skaz i m a u dedu kcij i . Kao to s m o v i dj e l i , t i vezn i
ci su :
ako
onda . . .
koji daje
koji daje
koji daje
koji daje
/\
ne
ili
implikaciju
konju nkciju
negaciju
disjunkciju
Prav i l o
TEOREM
52
N aela izvoenja .
Logika
Ov-p
u opasnosti .
Dokai mo: p o
L
L
54
1 0v-p
PREM
2 o
3 o (p o)
TEOR EM rp (q pl l
PREM (za D i ll
Naela izvodenja
L
D
D
D
*
*
*
4 p o
5
P
6
p (p ol
7 p o
8 po
3, 2 MP
PREM (za Dill
TEOREM [- p (p qJ I
6 , 5 MP
1 , 2-4 , 5-7 D i Lema
QEO
1 - 8 DI
QED
pri em u
''
55
_ logika
on
-on
:. n
L
L
O
D
*
*
1 ov - o
2 on
3 -on
4 o
5 n
6 - o
7 n
TEOREM
PREM
PREM
(za Di ll
2 , 4 MP
PREM
(za Dill
DIL
QED
1 , 4-5 , 6-7
on
2 - on
3 0v-o
PREM
TEOREM
56
Naela izvoenja .
- (p v - pl
**
**
**
*
pv -P
(p v - pl /\ - (p V - pJ
-p
PREM
PREM
2 TAN
3. 1 ADJ
2-4 RED
-p
7 pv - P
8 ( p v - pl /\ - (p v - pl
9 -- p
PREM
6 TAN
7 , 1 ADJ
6-8 RED
1 0 - P /\ - - P
1 1 - - (p v - pl
5 , 9 ADJ
12 pv - P
1 1 DN
2
2
4
5
- (p v - pl
P
QEO
(prvo je uspjelol
(i d rugo je uspjeloj
1 - 1 0 RED
57
Logika
1
2
3
4
-i!
**
**
*
**
- (p v - pl
P
pv - P
lp v - pl
-p
-p
!\
- (p V
pl
PREM
PREM
2 TAN
3 , 1 AOJ
2-4 RED
PREM
i sl ino,
6-8 RED
5 , 9 AOJ
1 - 1 0 RED , DN
9 -- p
1 0 - P !\ - - P
11 pv - p
QED
*
*
*
(2)
*
**
2
3
4
**
**
*
6
7
- lp v - pl
P
pv - p
(p v - pl
-p
pv - p
lp v - pl
pv - p
lp v - pl
!\
!\
- (p v - pl
PRE M
PREM
2 TAN
3 , 1 AOJ
2-4 RED
5 TAN
6 , 1 ADJ
1 - 7 RED ,
DN
QEO
58
Naela izvoenja .
Pravi l o
ZAMjene
ZAMjena:
Ekvivalenciju,
'
Ekvivalentnost'
*
*
( k v s) z
2 sv k
3
kv s
4 z
PREM
2 ZAM ( komutacija)
MP
1, 3
QEO
ili
Logika
*
*
3'
4'
[s v kl
QEO
{-
1 pv q
2 p
3 qv P
4 q
5 qvp
6 qvp
7 (p v ql [ q v pl
8
2 TAN
PREM (za Dill
4 TAN
1 , 2-3 , 4-5 DIL
1 -6 DI
[prvo je uspjeloj
PREM [zdesna na lijevol
qvp
S l i n o,
8- 1 3 DI
[drugo je u spje l o j
1 4 (q v pl (p v qJ
1 5 [ [p v qJ (q v pl l
1\ [ [q v pJ [p v ql l
1 6 [ P V qJ H [q V pJ
Dokai mo [p (p 1\ ql]
*
**
**
-l>
p [p 1\ q)
p
p l\ q
q
pq
[p [p 1\ qJ l [p q)
p q
p
q
QEO
(p q)
1
2
3
4
5
6
60
7 , 1 4 ADJ
1 5 DEF H
(apsorpcija)
PREM
PREM
1 , 2 MP
3 SIMP
2-4 DI
1 -5 DI
[prvo je uspj el a l
PREM [slijeva na desnoj
PREM
7 , 8 MP
Naela izvoenja .
**
*
1 0 p /\ q
1 1 p [p /\ qJ
1 2 (p qJ lp (p /\ q) [
1 3 { lp (p /\ q) [ (p
8 , 9 ADJ
8- 1 0 [I I
7 - 1 1 DI
(drugo je uspjeloj
q) }
6 , 1 2 ADJ
/\ { (p /\ qJ l p (p /\ q) l }
1 4 lp (p /\ q) [ f-+ ( p
1 3 D EF f-+
q)
QEO
Koraci
13
14
1 3 ' lp (p /\ q) I f-+ (p q)
Logika
etiri pomona
prav i l a
konsekvens.
Stoga .
p q
q r
:. p r
LANAC
p q
q r
rs
:. p s
LANAC itd.
:. - p
MT
Naela izvoenjil
Stoga,
- (p
- (p 1\ ql
p
. .
- q
1\
q 1\ rl
NKON
. .
- (p 1\ rl
NKON
i td
pv q
- p
q
ELI M
pv q
ELI M
itd.
Podsjetn i k uz
p rvo p oglavlje
63
Logika
Primjer:
p q
p
---
MP
:.
q
.
DI
p q
(p /\ qJ
. .
DI
:. p
:. q
SIMP
p /\ q /\ r
S I MP
SIMP
ADJ
p
q
r
:. r /\ p 1\ q
64
ADJ
Naela izvoenja .
REDuctio ad absurdum: Ispravan izvod izravnog proturjeja iz
...
...
..
q /\
RED
L
L
L
L
L
...
...
...
...
...
PREM
* 1 pv q
PREM
5
6
. ... 1 2 r
... 7 q
... 8
... 9
... 1 0
... 1 1 r
1 , 2-6, 7-1 1
PREM
DIL
TAN
:. p v q TAN
pvq
:. p v r v q TAN
65
Logika
PONOVI : U n u tar ded u kcije uvijek je legiti mno PO NOViti
Deklaracija na pakiranju
(po analogiji sa sta ndard n i m a deklaracijama n a paki ranju
koje se provode u ljekarnama i trgovi nama)
Pri u potrebi naela dokaza po i m p l i kaciji, sumarna je kon kl uzija
i m p l i kacija iji je antecedens (zapravo) posljednja uzeta premisa,
a konsekvens (zapravo) kon k l uzija izvedena iz te prem ise u ko n
tekstu dedu kcije. Tvrdnju da ta i m p l i kacija stoji u tom kontekstu
opravdava pod dokaz koji poinje od te prem ise i dovodi do te kon
kluzije; poddokaz se mora istinito izvijestiti u navodu desno od re
levantnog koraka. Poddokaz se sum i ra i ostavlja po strani, a njegove
se premise odbacuju .
Taj zahtjev za ton i m navoenjem vrijed i i kod odbacivanja
prem isa u red uctio ad absurd u m i d i lemi . Iskuenje krivog n avo
enja osobito je snano kod dokaza reductiom, gdje i rezultati po66
Naela izvoenja .
sistemu zvjezdica
67
LDgika
zagradama
Naela izvoenja .
p onda q i ako q onda r" po krivoj analogi j i s 'x < y < z' u algebri i
s ' 2 < 4 < 9' u aritmetici . 'p q r' je obina gramatika greka .
1\
za razli ku od k (f 1\ v)
prezentaciji dedukcija
Zadano :
&9
Logika
puta (ako 'k' koristi mo za "kii", ne moemo imati 'k' i za " Ronald
nosi kabanicu " ) . Zati m moemo prikazati struktu ru zakljuka ( i l i
teorema) te zam ijen iti ponekad vieznane i l i nezgrapne izraze obi
nog jezi ku jed noznan i m si m bol iki m veznicima logi ke sudova.
Dedu kcija polazi od premise i l i dvije, tri prem ise uzete zajed
no, oznaene jednom zvjezd icom (slijeva), i l i od teorema, bez
zvjezdica. Korake dedukcije brojimo slijedno. S desne strane svakog
koraka citi ramo opravdanje, i l i garanciju, za taj korak.
Kad se koriste kao opravdanje, naela TEO REM i PREMisa ne
trebaju d rugi h citata. Meutim, povremeno je korisno spomen uti
teorem po imenu i l i ga ispisati . Na prim jer:
1 (s wl v - (s wl
ili
* 7
[r v sl
[a
(r v sl ]
TEOREM lp [ q p) ]
3 w l\ s
5 sv r
10
(s
11 - g
-
3 SIMP
4 s
4 TAN
1\
gl
1 0, 4
N KON
Naela izvoilenja
L
L
L
l
L
*
*
*
*
*
2
3
4
5
6
1 p v q PREM
PREM
D
D
D
D
D
12 r
1 , 2-6 , 7 - 1 1
7 q
8
*
9
* 10
*
11 r
*
PREM
DIL
QED
Logika
1 [p v q) r
2p
PREM
Dokaimo: r
*
3pv q
4 r
1 , 2 TAN [pogreno)
1 , 3 MP
Korak 1 se nije smio citi rati u koraku 4 (ostatak te male dedu kcije
je naravno ispravan).
Opravdanje - temelj i l i razlog za neko vjerovanje - treba jasno
razli kovati od motivacije - svrhe nekog postu panja - a pojedine
korake u izvoenju treba jasno razlikovati od ope pozadine ili kon
teksta. Na korak 3 , p v q, izveden je tanje njem prem ise 2, p, i to
samo nje; stoga bi citat trebao glasiti ' 2 TAN ' . Svrha poduzimanja
koraka 3 je mogun ost koritenja premise 2 u koraku 4 ; prem isa
1 tu " i nspirira" korak 3, a l i ga ne opravdava.
Notacija 'QED' ("quod erat demonstrandum " i l i "posao obav
Ijen") oznaava kraj uspjene ded u kcije. Ako je namjera bila po
kazati valjanost nekog zaklj uka, posljednji korak dedukcije bi tre
bao biti kon kl uzija toga zakljuka, s jednom zvjezdicom koja
oznaava ovisnost konkluzije o prem isama zakljuka (koje nose je
d n u zvjezdicu). Ako je namjera bila utvrivanje teorema, teorem
se treba pojaviti bez zvjezd ica, u kazujui na to da su sve premise
odbaene.
Teoremi
Svaka ispravno konstru i rana instancija teorema moe se uvesti kao
korak u dokazu u bilo kojoj fazi dedukcije. Dedu kcija u kojoj se
u sve prem ise odbaene i koja u skladu s ti me zavrava kon kluzi72
Naela izvoenja .
[zakon identiteta)
p -- p
(dvostruka negacija)
-- p p
(dvostruka negacija )
- (p
(neproturjenostl
1\
- pl
p [ q p)
- p (p q)
(p
1\
- p) q
(p
1\
ql q
p [p v ql
(p rl [ (p
1\
ql rl
[p rl [ p [ q v rI J
pv - p
(iskljuenje treeg )
ili
p q
13
Logika
Stoga,
(p B ql
def [ (p ql " ( q p) ]
DEF B
3 [ (r " sl wl
[ (r " sl v w) ]
TEO R EM (AK OJ
4 q (s tl
5 q ( s v tl
4 ZAM (AKOJ
Naela izvoenja .
Asocijativnost:
Redundantnost: [p " pl p
(p v pl p
AKO : (P q) ( - p
q)
AKKO : { p ql H r - p - ql
(p ql H [{ p " qJ v ( - P A - qJ l
I q " rl )
Cp " rl )
[ (p v ql " lp v rl l
lp ( q " rl l [ [p ql " Cp rH
(q v rH
v qJ rl
[p
[ [p
[ (p " q)
Problem i
uz
prvo
poglavlje
q) v (p rH
( [ p rl " (q rH
rl ( [ p rl v I q rl l
[ (p
vite sljedee
dedukcije:
u dijelu I , p ro b l e m 1 ;
u dijelu I I , probleme 1 - 5 .
N a k o n to se uvedu pravi l a TEOREM (str. 5 2 - 5 5 ) i ZAMjena ( str. 5 9-61 l, treba n a p rav iti s ljed ee zadatke :
u dijelu l, p ro b l e m 4 ;
u d ij el u I I , p r ob l e m e 1 4- 1 6 .
75
Logika
I.
pravilo LANAC
Ako bude snijeilo nosit u kaljae.
Dobit u uljeve ako budem nosio kaljae.
Ako dobijem uljeve, boljet e me noge.
Dakle, ako bude snijei lo boljet e me noge.
2.
3. NeKONjunkcija
4. E Li Minacija
Naela izvoenja .
treba.
Alice e ii kod mesara ako ode u trgovin u .
Dakle, ako Al ice ode u trgovinu, dobit e sve to treba.
2. Ako John donese salatu, Henry e imati dobar ruak.
Dakle, ako Mary donese savijau, a John don ese salatu ,
H enry e imati dobar ruak.
3 . Ako Ma ry donese savijau , a John donese salatu, H e n ry
11
Logika
to treba.
Ako Al ice ode u trgovi n u n ee ii kod m esara.
Dakle, Alice n ee i m ati sve to treba .
9 . Ako n e m isl i m , m i sl i m .
Dakle, m i sl i m .
( Descartes j e , u obranu te premise, smatrao, kad b i tvrd io
da ne misli, da bi njegova tvrdnja pokazala da jest m islio.
Vaa e dedu kcija pokazati da je gornj i za kljuak va ljan .
Ako, dakle, su m njate u izvjesnost n jegove kon kl uzije, tre
bate posum njati u njegovu prem isu . )
1 0 . Ako Mary donese savijau i l i Joh n donese salatu , H e n ry
e i m ati dobar rua k.
Dakle, ako John donese sa latu, Henry e i m ati dobar
ruak.
1 1 . Ako Kleant lae bogovi ga kanjavaju i o n pati .
Ako Kleant govori isti n u ljudi ga kanjavaju i on pati .
Kl eant i l i lae i l i govori isti n u .
Dakle, Kleant pat i .
1 2 . Ako Kleant lae bogovi ga kanjavaj u i on pati .
Ako Kleant govori isti n u ljudi ga kanjavaju i on pati .
Kleant i l i lae i l i govori isti n u .
Dakle, i l i bogovi kanjavaju Kleanta i l i g a kanjavaju l j u d i .
1 3 . A l ice e ii i l i u trgovin u i l i kod mesara, i l i e p a k ii u
k i n o s Mary.
Ako Al ice ode kod mesa ra n ee i mati m l ijeka.
Ako bude i mala m esa nee ii u trgovi n u .
Ako ona i Mary odu u k i n o, Al ice n ee k u p iti n i m esa n i
m l ijeka.
Dakle, Al ice nee i m ati mesa ili nee i m ati m l ijeka.
1 4 . Ako se Mary kan i upisati i l i n a Francuski i l i n a Kom para
tivn u knjievn ost, morat e poloiti ispit iz fra ncuskog .
Mary ne moe poloiti ispit iz francuskog .
18
NiIelil
izvoenja .
risti l i smo c
0 -'> n
- o--'> n
-..
19
Logika
4 . [p 1\ ( q v rl l H [ ( P I\ q) V ( p 1\ r) ]
5. [ P ( q l\ rl l H [ ( P q) 1\ ( P rl l
6. [ (p v q) rl H [ (p rl 1\ ( q r) ]
7.
j e d i sljedea ekvivalentnost:
[ p 1\ ( q v - q) ] H [ (p 1\ q)
(p
1\
q) ]
O bj asnite kako.
80
q)'
q ) ' ta
2.
poglavlje
81
Logika
ti n it. Ako je iskaz istin it, njegova je istinosna vrijednost isti na; ako
je neisti n it, istinosna vrijednost mu je neisti na.
Sloeni iskaz - ili vezn ik koj i m je izgraen - je istinosnofunkci
jski ako je njegova istinosna vrijednost fun kcija istinosn ih vrijednosti
njegovih sastavn ica, ako je dakle da bismo neupitno odred i l i je l i
itav sloeni iskaz istinit i l i neistin it dostatno neupitno odrediti isti n i
tost n jegovi h sastavnica. To svojstvo izn i m no je korisno. Kako nam
je cilj zakljuivati pouzdano, to jest tako da uvijek uvamo istin i
tost i iz isti n iti h prem isa n i kad ne izvedemo neisti n itu kon kl uziju,
korisno je moi izraunati istinosnu vrijednost premisa i konkluzije.
A ako taj izraun moemo iskoristiti da saznamo je l i u svi m situaci
jama u koji ma su prem ise istin ite isti n ita i kon kluzija, moi em o
saznati je l i naa tvrdnja ouvala isti n itost. Nae em o zakljuke,
drugim rijeima, ispitati.
Da v i d i mo kako to fun kcio n i ra.
I sti n o s n e tab l i ce
82
Poetne mogunosti
S itu ac ij a mogua ,
za antecedens
a ko je implika cija
i kon sekvens
i stinita?
a ntecedens
konsekvens
ist i n i t
ist i nit
i stini t
neistinit
ne
n e i s tin i t
istinit
da
neistinit
n e isti nit
da
da
83
Logika
Dokaimo : (p -+ cf! H ( - P v q)
*
L
L
L
D
D
D
*
*
*
*
1
2
3
4
5
6
7
8
9
- pv q
-
- p -+ (p -+ q)
p -+ q
q
q -+ lp -+ q)
p -+ q
p -+ q
( - p v q) -+ l p -+ q)
PREM
PREM (za Dill
TEOREM
3 , 2 MP
PREM (za Dill
TEOREM
6 , 5 MP
1 , 2-4, 5-7 DIL
1 -8 DI
***
***
***
***
**
**
**
*
*
10
11
12
13
14
15
16
17
18
19
20
21
22
p -+ q
- ( - p v q)
p
q
- pv q
( - p v q) /\ -p
- pv q
(- p v q) /\ - - (- p v q)
- pv q
(p -+ q) -+ ( (p -+ q) H ( -
( - p v q)
( - p v q)
p v q)
P V q)
PREM
PREM (za RED)
PREM (za REDl
1 0 , 1 2 MP
1 3 , TAN
1 4, 1 1 ADJ
1 2- 1 5 RED
1 6 TAN
1 7 , 1 1 ADJ
1 1 - 1 8 RED
1 9 DN
1 0-20 DI
9 , 2 1 ADJ, DEF H
QED
84
p -+ q
T
T
O
O
T
O
T
O
T
O
T
T
Istino sne
tablice i stabla .
pri em u T predstavlja "isti n u ", a 'O' "neisti n u " , l i pri emu nam
desn i stupac kae da "p ---+ q " ostavlja mogunost da i p i q budu
istin iti (gornj i redak), zatim mogunost da je p neistin ito, a q istini
to (trei redak), te mogunost da p bude neistin i to, a q neistin ito
(don ji redak), ali i skljuuje mogunost da p bude istinito, a q neis
tin ito (drugi redak). Ako znamo da je "p ---+ q " isti n ito, ne znamo
koje su istinosne vrijednosti njegovih sastavn ica - moguih kom
binacija je vie. S druge strane, p ---+ q e se smatrati istinitim u svim
sluajevima osi m jednog: p T i q O (drugi redak), tada je nei
stin it; i m p l ikacija je dakle istinosna fu n kcija: ako su nam poznate
istinosne vrijednosti antecedensa i konsekvensa, moemo saznati
istinosnu vrijednost sloenog iskaza 'p ---+ q ' ,
Prim ijetimo i to da ako znamo da je i m p l i kacija neistinita, pos
toji samo jedna mogunost: da je njezin antecedens istin it, a kon
sekvens neistin it (drugi redak), To opet odraava injenicu da rad i
mo s "gol im" i m plikacijama. Rei da je neka i m pl i kacija neistin ita
ne znai porei neku uzron u i l i drugu povezanost njezina ante
cedensa i konsekvensa, a ostaviti druge mogunosti otvorenima;
time se tvrdi samo to da je na djel u upravo ona jedna jed i n a mo
gunost koju i m p l i kacija zabranjuje: da j oj je antecedens istin i t, a
konsekvens neistin it.
Istinosna tabl ica za "i", ili 'A', jednostavnija je, Da bi konjunkcija
- sloe n i iskaz sastavljen s " i " kao svoji m glavn i m vezn i kom - bila
istin ita, obje (ili sve) njezine konju n ktivne sastavnice trebaju biti isti
n ite; i nae je konj u n kcija neistin i ta.
=
I:
T
O
T
O
T
O
O
Men i s e najvie svi a ' O ' zbog pouzdan osti itanja; ' O ' n e l i i na T .
85
Logika
NE:
- p
O
T
B u dui da je, kako se jasno vidi iz tablice, kad god je neki iskaz
istin it, njegova negacija neisti n ita, a kad god je neisti nit, njegova
n egacija istin ita, m oemo poeti konstruirati isti nosne tabl ice za
negacije sloen i h iskaza. Prvo dvostruka negacija:
P
-p
-- p
O
T
T
O
- p
-- p
T
O
T
O
- - -
86
PA q
PI;
m
NI:
T
O
O
- (p
O
T
T
T
T
O
O
O
O
T
O
A q)
p q
- (p ql
T
T
O
O
T
O
T
O
T
O
T
T
O
T
O
O
T
T
O
O
T
O
T
O
- q
T
O
T
T
O
T
O
O
p
T
T
O
O
(p
q P q -P -q P A -q
T
O
T
O
T
O
T
T
- --
O
T
O
O
T
O
T
T
O
T
O
O
q)
87
Logika
NAKO :
- [p
q] (p
/\
q]
pv q
ill
T
O
O
T
T
T
O
O
T
O
T
O
O
pv
T
T
- ( p v q)
O
O
O
T
Stu pac za
(p v q) sadri samo jedno '1' : tamo gdje su i p i
q neisti n iti, to jest, gdje je - p /\ - q i sti nito. Proirimo tu i sti no
snu tabl icu onako kako smo to ui n i l i za - (p q) i utvrd i m o jo
jednu ekvivalentnost :
-
88
Istinosne tablice i
q
pv q
- (p v ql
-p
- q
- p l\ - q
T
O
T
O
T
T
T
O
O
O
O
T
O
O
T
T
O
T
O
T
O
O
O
T
T
T
O
O
stabla .
N I LI:
p l\ q
- (p 1\ ql
-p
- q
- pv - q
T
O
T
O
T
O
O
O
O
T
T
T
O
O
T
T
O
T
O
T
O
T
T
T
T
T
O
O
def [ (p ql
1\
(q pl l DEF B
89
Logika
''.
(p q)
( - q - pl
Kontra pozicija
def [ (p ql
p q
T
T
O
O
T
O
T
O
T
O
T
T
( q p) )
(p ql
qp
T
T
O
T
( q pl
T
O
O
T
I m amo, dakle,
AKKO :
T
T
O
O
T
O
T
O
(p +-'I ql +-'I [ (p
ql v ( - p
ql l
P +-'I q
- lp +-'I ql
T
T
O
O
T
O
T
O
T
O
O
T
O
T
T
O
91
Logika
I q
ITl
T
O
O
(p ql
- p
- p q
-q
p q
T
O
O
T
O
T
T
O
O
O
T
T
O
T
T
O
O
T
O
T
O
T
T
O
O
T
O
T
T
O
O
p q
- p
- q
PA - q
- pA q
O
O
T
T
O
T
O
T
O
T
O
O
O
O
T
O
T
O
T
O
(p A
q)
( - P A ql
O
T
T
O
Dakle,
(p ql ( p ql
NAKKO :
[p ql [p
(p ql [ (p A
ql
ql v (
P A qJ l
(p q) (- p ql
P2
P1
v u
T
T
T
T
O
O
T
T
O
O
T
T
PREM
/\ P2
KKL
p - p u - p P1
--
T
O
T
O
T
O
q T
[ [I O
T
T
T
T
O
O
T
T
-u
OK?
-u
--
O
O
O
O
T
T
T
T
O
T
O
T
O
O
T
T
O
T
O
T
T
T
T
T
O
T
O
T
O
T
O
T
O
T
T
T
O
T
T
T
da
da
da
da
m
T
T
O
O
T
o
T
O
P1
P2
vp
-v
PREM
P1 /\ P2
T
T
O
T
O
T
O
T
O
T
O
T
KKL
OK?
p
O
O
T
T
ne
Logika
I:
I:
94
To je stabalce zatvoreno.
Jednostavna d isju n kcija dvaju iskaza m oe biti isti n ita u jednom
od ova dva sl uaja : p v q je isti n ito ako je p i sti nito, a isti n i to je i
ako j e q i stin ito. D ijagram s e gra na :
ILI:
- p
95
Logika
r
s
r
s
s
r
Dijagra m za (p
p
96
q)
(r
s) je:
itd .
r)
/\
(r
5), ova ko :
AA
91
Logika
-j
X
- t
-j
X
98
j.)
(p q)
(- p v q)
to se moe pokazati, kako smo vidjel i , bilo dedu kcijom bil o isti
nosnom tab l icom .
Dijagra m za p q stoga je:
AKO :
/\
-p
q
99
Logika
/\
-p
ali
/\
-q
-p
- q
def [ (p q)
i\
(q pl l
DEF B
Dijagram za p q :
/\
-p
1 00
/\
- q
--+
q)
/\
( q --+
p):
A
/\ /\
q
-p
- q
-q
-p
- q
I spitivanje za
klj uaka isti no
1 01
Logika
B
B
B
B
B
B
B
(p /\ - q)
(- p v - q)
( - P /\ - q)
(p B - q)
( - p B q)
[ (p /\ - q) v (- p /\ q) ]
102
AKO
ILI
pv q
p
q
pB q
p q
/\ /\
-p
AKKO
-p
- q
NI
- ( p A q)
- pv - q
/\
-p
-q
NAKO
- ( p q)
PA - q
-p
- q
- q
NAKKO
- (p B qJ
(p A
qJ v (- P A qJ
-
-p
-q
Logika
PREM 1:
PREM 2:
(kv sl -4 z
k
z
104
Istinosne tablice
i stabla.
[kvslz
k
-z
PREM 1:
PREM 2:
- KKL:
/\
s. Kad
KKL
PREM 2
-k
-s
X
PREM 1
-k
-s
k
X
k
-z
X
PREM 1
PREM 2
- KKL
105
Logika
nevaljano.
PREM 1:
PREM 2:
KKL:
pq
q
p
KKL
PREM 2
PREM 1
nevalj ano
10&
Istinosne
- KKL
PREM 2
tablice i stabla .
PREM 1
-p
t
nevaljano
PREM:
(s 1\ ul v o
(sv ulv o
KKL:
KKL:
u o
(u 01
u
1\
-o
prema NAKO
-s
prema AKO
prema NI
]-
KKL
-u
PREM
nevaljano
Malo b i ljud i pomisl ilo da je taj primjer valjan, ali bi "druga" kon
klu zija: "Ako skoim s balkona, ozl ijedit u se", mogla predstavljati
vee is kuenje, i a ko je jednako pogren a, budui da je "izvede
na" iz iste prem ise i na isti nain - nepaljivom krivom upotrebom
SIMPlifikacije,
107
Logika
Tautologije
p l i kacijom iznosi se neto slabija tvrdnja: ako pre m isa, onda kon
k l uzija; i l i stoji kon k l uzija ili prem isa ne stoji . Nae lo d okaza po
i m p l i kacij i omoguuje n a m koristiti valjan zakljuak za opravdanje
(slabi je) tvrdnje da je njegova odgovarajua i m p l i kacija istinita.
Razl i ka izmeu zakljuaka i iskaza odraava se u term i no l ogi
ji koju smo koristi l i. Za zakljuke kaemo da su valjani i l i nevaljani.
Za iskaze - ukljuujui i implikacije - kaem o da su isti n iti ili neisti
n iti. Zakljuak je valjan ako udovoljava logik i m kriterij i m a. Iskaz
je isti n i t ako je onako kako se u njem u tvrd i. Ako e l imo utvrd iti
jesu li iskaz i , poput "Kii" i l i "Ako kii, navlae se oblaci", i sti n iti,
trebam o zaviriti kroz prozor, a n e u knj igu iz l ogi ke. Istinosno sta
blo zakljuka nas meuti m tjera da na n je m u odgovaraju u i m p l i
kaciju gledamo na poneto drugaiji nain. Protutvrdnja, kojom is
p itujem o za kljuak, u pravo je negacija odgovarajue i m p l i kacije.
108
NAKO: (PA
qJ - (p qJ
Ispitivanje iskaza
istinosnim
stablom
p, koji
-P
109
Logika
-p
--p
-p
-p
--p
]-
KKL
-p
PREM
110
-p
--p
Logika
Podsjetnik
uz drugo
p ogl av lje
Osnovne istinosne tablice:
AKO:
p
T
T
O
O
NE:
-pT
O
1 12
T
O
T
T
T
O
T
O
-p
O
T
ILI:
I: p /\ q
pq
T
T
T
O
O
O
AKKO: p
T
T
O
O
T
O
T
O
O
pBq
T
O
O
T
PA q
pvq
p----t q
q
p
p -
ILI
I:
AKO
pq
AKKO
-p
-q
p
q
Iq
-p -q 1-q
NI
q)
NILI
q)
NAKO
-(p
A -q) vq)(- P A q)
NAKKO
(p
-P
(l
-q
q
Internaliziranje negacije
Logika
-- p
- (p qJ
(p A - qJ
- (p A qJ
- (pvqJ
DN:
NAKO:
- (pBq)
(- pv - qJ
(- PA - qJ
(p - q)
- [pBql
[ - pBql
- [pB ql
[[PA - q) v [- PA ql]
NI:
NILI:
NAKKO:
ili
pBq
Stoga,
( p B q)
def[[p ql A (q pl]
DEF
[p (pA qll
E ks port a cija :
[(pA
Kontrapozicija:
Komutativnost:
Asocijativnost:
ql
rl
(p ql
[p (q rll
(p ql (-
(p - ql
q
(q
- pl
- pl
(pA ql (qA pl
(pv ql (qv pl
[pA (qA rll
[pv (qv rll
R edundantnost :
HpA qlA rl
[(pv qlv rl
(pA pl P
(pv pl P
AKO :
(p ql (- pv ql
AKK O :
(p ql (- p - ql
D istri bucij a :
(p ql [(pA
ql v
(- PA - qll
115
Logiki
Prvi i drugi dio ovih problema mogu se napraviti
Problemi
uz drugo
poglavlje
dijela o tautologijama.
I.
O negaciji.
1. Moe li postojati situacija u kojoj su i neki iskaz i njegova
negacija istiniti? Ako moe, dajte primjer. Ako ne moe,
objasnite.
[ ..J
.
1 16
lp -+ (p A q)] B (p -+ ql
2. Kontrapozicija:
(p -+ql
3.
B (- q -+
pl
4. (pA - pl -+ q
5.
(pA ql -+ (p v qJ
6. (p -+ r) -+ [(P A q) -+ rl
Logika
treba.
Al ice e ii kod mesara ako ode u trgovi n u .
Dakle, ako Al ice o d e kod mesara i m at e sve to treba.
2.
119
3.
poglavlje
Ocjena zakljuaka
Logika
Izlaganje
strukture
122
Ocjena zakljuaka.
to kao drugi izraz prve premise daje 'p (q v r)', Pritom 'p' ne
stoji umjesto "Peter", niti 'q' umjesto "Quentin", niti 'r' umjesto
"Rose"; sva slova predstavljaju gore popisane iskaze. Ako nam 's'
bude "Bit e pjesme", na emo zakljuak formulirati ovako:
p (qv rl
(q /\ rl s
p s
123
Logika
Neka je p
Neka je w
Neka je s
124
Ocjena zakljuaka.
'
q .
p
T
T
O
O
q
T
O
T
O
-q
O
T
O
T
P
T
T
O
O
pv q
T
T
T
O
itatelj sada moe itati 'osim ako' kao 'ili' ili kao 'ako ne', kako
mu drago.
125
Logika
Veznici koji
nisu istinosno
-funkcijski
126
1852.
Methods, prvo izd., str 15; etvrto izd., str 23.
Ocjena zakljuaka
. . .
127
Logika
John
UB
Methods,
Ocjena zakljuaka
U kompliciranim reenicama obinog jezika po
nekad nije odmah jasno kOji je veznik glavni, a
koji sporedni. Ima u tome vanosti, jer glavni
veznik reenice odreuje njezinu ukupnu struk
turu - hoe li se klasificirati kao implikacija, ne
gacija, konjunkcija, disjunkcija ili ekvivalencija - te tako odreuje
koje e naelo izvoenja biti na nju primjenjivo.
Modus ponens, na primjer, govori nam da se implikacija - iskaz
iji je glavni veznik '--*' - moe koristiti kao premisa, zajedno sa
svojim antecedensom, te da se njegov konsekvens moe deduci
rati kao konkluzija. Dokaz po implikaciji nam, obratno, govori da
se implikacija moe utvrditi ako se njezin antecedens uzme kao
premisa, a konsekvens se deducira.
Konjunkcija - iskaz iji je glavni veznik '1\' moe se koristiti
pri SIMPlifikaciji, a moe se i utvrditi ADJunkcijom.
Disjunkcija - iskaz iji je glavni veznik 'v' moe se koristiti pri
DILemi ili ELIMinaciji a moe se utvrditi TANjenjem.
Negacija - iskaz iji je glavni veznik ,, moe se utvrditi REDuc
tiom ad absurdum i koristiti na mnogo naina, izmeu ostalog u
DN, Modus tollensu i ELiMinaciji.
Korisno je stoga jasno prepoznati glavni veznik u reenicama
koje ulaze u zakljuke koje elimo razumjeti.
Pozabavimo se jo jednom zakljukom iz prvog poglavlja (vidi
str. 39 i dalje.).
Pronalaenje
glavnog veznika
129
Logika
(p ----') el
1\
PREM:
KKL:
- p v (e
1\
prema AKO
bl
-lbl\( p----')eJ
- bv
(p----') ej
- b v (p 1\ - ej
-
prema NI
prema NAKO
-p
;b
-\
l -e
X
-b
X
PREM
-e ]
KKL
nevaljano
130
Ocjena zakljuaka.
Ocjena
zakljuaka
131
Logika
Dakle, ili Joe nije znao za sastanak ili e doi kasnim autobusom.
1 zP
2 pvv
Va
zva
Va
PREM 2
PREM 1, prema
kontrapozjciji
PREM 3
.. zva
zp
pv
Va
..
za
. . p s
Za konstrukciju uspjenog l anca nedostaje "srednja" prem isa:
p (qv rl
d od an o :
132
(qv rl
(ql\ rl
Ocjena zakljuaka
..
p s
p-4 (ql\ rl
(qv rl -4 s
. . p-4 S
Da popunimo rupu treba nam premisa (q 1\ r) -4 (q v r), to je tau
tologija. Ako Quentin i Rose idu na zabavu, sigurno ide bar jedno
od njih.
P -4 (q 1\ rl
dodano (teorem):
.. p-4 S
8-4 d
n-4p
111.4
dv P
8-4 b
- 8-4 P
bv p
Logika
je dakle nevaljan, a (ali?) 111.4 je valjan. itatelj je vjerojatno ve
shvatio da metoda istinosnog stabla potvruje te rezultate.
Uoimo da je nevaljan zakljuak karakteristino inkonkluzivan:
premise ne daju dovoljno informacija da zajame istinitost kon
kluzije. Nevaljan zakljuak nije slian pogreci u aritmetici, koja se
moe ispraviti zamjenom krivog odgovora pravim. Kod upotrebe
nevaljanog zakljuka najee se ne dogaa da smo izveli krivu kon
kluziju, nego da smo izveli konkluziju iz premisa koje uope ne
garantiraju (netrivijalnu6) konkluziju.
Ve smo zapazili da je jedna od prednosti istinosnih stabala to
to kad pokazuju da je zakljuak nevaljan ona istodobno daju i pro
tuprimjer. V ratimo se jo jednom na problem 111.1. Njegovo isti
nosno stablo moglo bi izgledati ovako:
p ---+ s
p 1\ - S
p
-5
-p q
K
KKl
-q-r
K
t
prema NAKO
-q-r
K
t K
s
PREM 1
PREM 2
K
nevaljano
134
Ocjena zakljuaka
(P1J
(- KKLl
(- P2)
(- KKLl
(P2J
(- P1J
Logika
Ova ekonomija ispitivanja valjanosti ta tri zakljuka istodobno
- openitije reeno, ekonomija ispitivanja inkonzistencije, a ne ispi
tivanja valjanosti - vie je puta u povijesti filozofije budila teorijski
interes. Ona je, primjerice, osnova teorije antilogizma, koju je na
prijelomu stoljea pronala Christine Ladd-Franklin i koja zamje
njuje nespretna pravila koja su se tada koristila pri ispitivanju kate
gorikih silogizama.? Profesorica Ladd-Franklin je svaki silogizam
korelirala s njegovom protutvrdnjom, ili antilogizmom, konjunkci
jom njegove dvije premise s negacijom njihove konkluzije, a zatim
je osmislila iznimno jednostavan test kojim se odluuje predstav
lja li takav antilogizam uistinu inkonstistentno trojstvo. Ako da, iz
vorni je silogizam valjan. Nadogradnja Ladd-Franklininog antilogi
zma moe se vidjeti u Quineovoj posrednoj metodi ispitivanja
zakljuaka u logici predikata u prvom i drugom izdanju Methods.
Ispitivanje inkonzistentnosti umjesto ispitivanja valjanosti esto re
zultira zanimljivim utedama. Osim toga, prepoznati inkonzisten
tnost protutvrdnje je ponekad lake nego prepoznati valjanost ili
nevaljanost zakljuka.
Jo jedna ponekad korisna strategija ocjene zakljuaka je ma
knuti na stranu ono to izgleda kao irelevantan detalj, kako bi se
dolo do glavnog zakljuka i zatim njega ocijenilo. Ta se strategi
ja, naravno, mora koristiti oprezno, jer se ono to u prvi mah izgle
da kao irelevantan detalj moe pokazati vanim.
Moda bi bilo dobro dati i primjer:
Moja teta Ellen trai naoale. Ako ih ne bude mogla nai (n) nee moi
itati telefonski imenik (l, a ako ne bude mogla itati telefonski imenik
nee moi nazvati sestru u Los Angeles (sl. No dobro, ree ona sama
sebi, imala sam naoale kad sam jutros za dorukom u kuhinji itala
novine (dj, pa sam ih ili ispravno odloila u etui za naoale (e) ili ih jo
nosim (J) ili sam ih ostavila u kuhinji (kl. Vidim da je etui za naoale
prazan (p): nisam ih odloila. Znai mora da su u kuhinji. Odlino, evo ih
na kuhinjskom stolu: nala sam ih. Dakle, sada mogu nazvati sestru.
7
13&
1883).
Ocjena zakljuaka _
Tu i m a m o neto pripovijedanja i dva zaklj uka, oba manjka
va, a l i svaki na svoj nai n .
Prvo :
d 1\ [e v i v kJ
o o
p 1\
k
iv k
- 8
o
- 8
- k
- KKL
k
X
PREM 2
PR 1
nevaljano
Logika
.. s
Poto smo u oi l i lanan i za klj u ak kod p rve dvije p rem ise i i rele
vantnost k, zgusnut e mo ga u :
Strategija
ded u kciji
----
---
138
Ocjena zakljuaka .
(2) Da bi se dokazala negacija nekog iskaza, treba uzeti taj iskaz
Logika
{1
(s vpJ g
PREM
2 ( g v zJ - k
Dokaimo:
1 ( s vpl g
2 (g v zl
Dokaimo: k
*3
*4
*5
*6
PREM
p ( s vpl
g (g v zJ
p -k
k -p
TEOREM
TEOREM
3 , 1 , 4 , 2 lANAC
5 ZAM
(kontrapozicij a , DN)
QEO
Ocjena zakljuaka .
1 (s
pJ g
2 (g
z) - k
Dokaimo: k
** 3
** 4
** 5
** 6
** 7
** 8
** 9
** 1 0
* 1 1
PREM
k
-- k
- (g v zJ
- gA
z
- g
- (s v p)
-SA -p
-p
k - p
-
Podsj etn i k
u z tree
poglav lje
Naela izvoenja
prem ise (ili skupa pre misa) kao odgovarajua i mplikacija sli
jedi sumarna kon k l uzija: ako premise onda konkluzija.
SIMPlifikacija: Iz konj u n kcije sl ijedi sva ka njezina konj u n ktivna
sastavnica.
ADJ u n kcija: I z bilo koj i h iskaza koje su u nekom tren utku u igri
Logika
REDuctio ad absurd u m : Iz ispravnog izvoda izravnog
slijedi
ta
disj u n kcija.
142
Ocjena zakljuakil
ZAMjena: Bilo koja dva iskaza za koje se pokazalo da su ekviva
p
T
T
O
O
q
T
O
T
O
AKO :
p q
T
O
T
T
I:
J!..!'..!L
T
O
O
O
ILI:
_p v q
T
T
T
O
AKKO : P B3
T
O
O
T
L
T
O
NE:
-p
O
T
143
Logika
Osnovna istinosna stabla
I LI
p l\ q
pv q
I:
!\
-p
-p
-q
144
Ocjena zakljuaka .
Da b ismo ispitali valjan ost iskaza, d ija g ra m i ramo negaciju tog
iskaza . Ako se to istinosno stablo zatvori, iskaz je va ljan ; ako i m a
NIU
NAKO
- (p 1\ ql
- ( p v ql
- ( p ql
- pv - q
- p l\ - q
p l\ - q
/\ l
- p
- q
NAKKO
- p
- q
( p 1\
- (p ql
- ql v (- P 1\ qJ
- p
-q
NIL!:
NAKKO :
- -p p
- fp q) (p 1\ - ql
- (p
1\
ql ( -p v - ql
- (p v qJ ( - p
1\
- ql
- fp ql (p - ql
( -p ql
[ [p
1\
- ql v ( -p
1\
ql J
Druge ekvivalentnosti
Apsorpcija :
Eksportacija :
Kontrapozicija:
lp (p
1\
q) J (p ql
[ (p 1\ ql rl +-) rp ( q rl l
(p ql +-) (- q - pJ
(p - qJ ( q - pl
145
logika
Komutativnost:
[p /\ q) ( q /\ p)
(p v ql ( q v pl
Asocijativnost:
[ p /\ (q /\ r) ] [ [p /\ ql /\ rl
[ p v ( q v rl l [ ( p v ql v rl
R e d u n d antnost:
(p /\ pl p
(p v pl p
AKO :
AKKO :
(p ql ( - p v ql
(p ql ( - p - ql
(p ql [ (p /\ ql v ( - P /\ - ql l
Distribucij a :
[p /\ ( q v rl l [ (p /\ ql v (p /\ rl l
I p v ( q /\ rl ] [ (p v ql /\ (p v rl ]
lp (q /\ rl l [ (p ql /\ (p rl ]
[p ( q v rl l B [ ( p ql v (p r) ]
[ (p v ql rl [ (p rl /\ ( q rl l
[ (p /\ ql rl [ (p rl v ( q r) ]
Teoremi
pp
(zakon i d entitetal
p -- p
(dvostruka negacijal
-- p p
(dvostruka negacijal
- (p /\ - pl
(neproturjenostl
p ( q pl
- p (p ql
(p /\ - pl q
(p /\ ql q
p ( p v ql
(p rl [ (p /\ ql r]
(p rl Ip ( q v rl ]
pv - p
(iskljuenje treeg)
146
Ocjena zakljuaka .
o zagradama
Viezn ano 'k f 1\ v', kao i 'p q r' n i kad n ije doputeno i
smatra se loe obli kovan im, negramatikim. Isto vrijedi i za 'p 1\ q
V
r' .
Bez zagrada, znak ' - ' za "ne" vrijed i samo za jedno jed ino
slovo koje i z a njega sl ijed i ; s a zagradama, vrijed i z a itavu grupu
(sl oenu reen icu) koja neposred no sl ijed i . Budui da ' - - p' jed
nozn ano znai '- (- p)', zagrade tu n isu potrebne.
Pri forma lizi ranju sloe n i h ree n ica zagrade koje u kazuju na
gru piranje su potre bne u svim ostalim sl uajevima. Nepotrebne
zagrade su povremeno gnjavaa, ali n i kada n isu greka. Zagrade
koje nedostaj u i stvaraj u vieznanost jesu greka.
141
Logika
Problemi
uz tree
poglavlje
I.
Ocjena zakljuaka .
149
Logika
3 . Ako H e n ry rano ustane i dobro dorukuje, stii e n a
posao n a vrijeme.
Henry e dobro dorukovati ako ran o u stane.
Dakle, ako ran o ustane, Henry e sti i na posao na
vrijeme.
4. Ako H enry rano ustane i dobro doru kuje, stii e na
posao na vrijeme.
Henry e dobro dorukovati sam o ako rano ustane.
Dakle, ako ran o ustane, H e n ry e stii na posao na
vrijeme.
5.
odl i no.
1
Ocjena zakljuaka .
1 51
Logika
Ocjena zakljuaka .
153
Logika
1 54
d rugi dio
Logi ka p r e d i kata
4.
poglavlje
Nae la izvoenja
Pojam open itosti sve je vrijeme u sred itu naeg rada . Logiko
naelo je prihvatljivo samo ako fun kcion i ra svaki put kad se na
njega pozovemo te je uvijek jednako pouzdano. Gledamo neki isti
nosnofu n kcijski zakljuak: ako udovoljava opi m kriterijima va
ljanosti istinosnofun kcijskog zakljuka, zakljuak je valjan; ako ne,
n ije. G ledamo neku sloenu reen icu : ako su sve reen ice koje
imaju istu strukturu tautologije, ta je reen ica tautologija; ako su svi
iskazi iste stru ktu re i n konzistentn i, iskaz je i n konzistentan; i tako
dalje. No, na to mislimo kad kaemo da dva zakljuka ili dva iskaza
" i m aj u istu stru kturu " ?
Kako s m o vidjeli, isti nosnofun kcijsku stru kturu nekog zaklju
ka ( i l i sloenog iskaza) moemo ui n iti ekspl icitnom tako da u
njemu pronaemo reen i ce sastavnice, nadjenemo i m kratice,
zatim parafraziramo vez n i ke obinog jezika i zam ije n i m o ih jed
noznan im si mbolikim veznicima s jednog vrlo kratkog popisa.
Dva zakljuka (ili dva iskaza) imaju istu strukturu ako su njihovi sim
boliki veznici tono isti i ako se njihove iskazne kratice mogu kore
l i rati jedan na jedan .
Da se posluim jed n i m jednostavn i m i pozn ati m pri mjerom,
sljedea dva zakljuka i maju istu stru ktu ru :
Ako se Mjesec sastoji od zelenog sira, pojest u
vl astiti eir.
(m J
157
Logika
( - l
( - mj
(p -"* sj
( - sl
( - pl
158
Sve je zanimljivo.
Dakle. ova je knjiga zanimljiva .
(valjano)
(nevaljano)
(valjanoj
(nevaljano)
Naela izvoenja .
(nevaljano)
(valjano)
(nevaljano)
je fasciniran francuskim filmovi ma, stvara smijene zvu kove kao vidi
m ia, ima etrdeset i eti ri p rozora, je trajekt, je h rana za m isl i , i l i
to ve) istinito za sve D a bismo izrazil i takvu tvrdnju, koristimo pre
f i ks ' 'ix' ( i l i ''iy') tj . obrnuto 1\ s varijablom (x, y, z sa i l i bez crtice
i l i i n deksa) - to se ita liza svako x" i l i "za b i l o koje x" zajed no
s n ekom otvorenom reenicom 1 , recimo 'Fx' ili "x je takvo i takvo ,
.
"
N aziv 'otvo rena reen ica' koristi m za ono to su White h ead i Russel l
nazivali "propozicijska funkcija". Vidi Alfred North Wh itehead i Bertrand
Russe l l ,
Principia Mathematica
1 59
Logika
fiX
Naela izvoenja .
1 61
Logiki
Dva p ravila
bez ogranienja
Stoga,
. .
1&2
Fa
Ul
Naela izvoenja.
U l je naelo izvoenja; 'Fx' se dakle moe zam ijen iti bilo kojom
otvorenom reen icom, ma kako jednostavna i l i sloena bila, neo
visno o njez i n u sadraju . Ve smo vidjel i da Ul vai za sloene isti
nosnofun kcijske iskaze s otvoren i m reen icama (koj i su i sam i
otvorene reenice): 'Fx v Gx', 'Fx Gx' itd. Vidjel i smo i d a naela
izvoenja za isti nosne fu n kcije (iz prvog poglavlja) vae za potpu no
oblikovane iskaze teorije kvantifikacije (dosad smo imali un iverzalne
tvrdnje i s ingularne iskaze kao to je Fa), ali n e i za otvorene ree
nice teorije kvantifikacije, koje ne mogu biti ni istinite ni neistin ite.
Naelo ZAMjene, s druge strane, vai i za te otvorene reenice
i doputa, u konteksti ma kvantifi kacije, koritenje svi h ekvivalent
nosti za istinosne fun kcije koje smo prihvatil i i l i utvrd i l i . Tako je, na
primjer, prema e kviva lentnosti AKO [(p q ) ( P V q), ija je
instancija (Fa Ga) ( Fa Ga)], 'Fx Gx' zamje-njivo s '
Fx v Gx' . Prema tome, (\;Ix)(Fx Gx) je ekvivalentno s (\;Ix) ( Fx
v Gx) - reci mo, "Sve ptice i m aj u krila" j e ekvivalentno sa "Sve i l i
n ij e ptica i l i i m a kri la".
Nadalje, budui da su varijable samo sredstvo koji m se
postie unakrsno upuivanje, m eusobno su zamjenjive reenice
koje s u iste u svemu osim to i maju raz l iite varijable kvantifikaci
,
je. Wx)(Fx)' je zamjenjivo s Wy)(Fy)' a (:Jz)(Gz) , s '(:Jw)(Gw) . Treba,
naravno , paziti na to da smo u ti m stvari m a konzistentn i : '(\;Ix)(Fx
Gx)' jest zamjenjivo s '(\;Iy)(Fy Gy)' a l i ne i s '(\;Iz)(Fz Gy) , . 3
Treba paziti i na to da se Ul koristi tako kako je reeno, ne " pro_
izvoljno" kako bi se moglo koristiti pravilo zamjene. U l doputa
isputanje vanjskog un iverzalnog kvantifikatora ondje gdje taj kvan
tifikator pokriva cijelu reen icu . To jest, to pravilo doputa ovakve
izvode :
(\;I x) ( ly Dx)
la Da
1 63
Logika
(V x) ( -
Svatko je n eiskre n .
lx)
. . - la
(Vx) ( lxl Zd
:
la Zd
n iti
"
- (V x) ( Ix)
- la
(V x) ( Mx)
. . Ma v - K
R A. (V xl ( Px)
. . R A. Pz
Naela izvoenja _
(p /\
p)l - ovaj put to je: " Postoj i neto . " I opet, ja n e m ogu
tvrditi da je to pretpostavka isti n ita; m e n i se i n i oigledno i sti n it
om, ve na prvi pogled. A l i mislim da je vano pri m ijetiti da se to
pretpostavlja i da je ta pretpostavka na djelu u naem rad u . 4 Osim
toga, treba u o iti kol i ko je ta pretpostavka slaba: ona nam n e go
vori da postoje trajekti, r i be i l i oblaci, zako n i i l i ak lju dska bia.
(Moemo, naravno, postulirati ili tvrditi postojanje takvih predmeta,
zasebno i eksplicitno, ako za to i mamo razloga . ) Ali za naelo uni
verzalne instancijacije potrebno je samo da postoji neto, da se nae
zakljuivanje odvija u nepraznam u niverzu m u .
. .
Logika
Egzis tencijal n a general izacija ( EG) : Egzistencijalno kvantific i ran
EG
1\
Kx)' .
Naela izvoenja .
aristotelovskog s i logizma ree n i ce oblika " N eki A su B" i l i " N ek i A
n isu B" [(3x)(Ax
" pojedi n ane" reenice, a u obinom jeziku ' pojedinosti ' podsje
aju na 'detalje', ' potankosti' . Ja u pokuati posve izbjegavati u po
tre b u n aziva ' partiku larna ree n i ca' .
Tradicionalna logika kategorikog si logizma zn atno je ogra n i e n i
ja o d moderne l ogike predi kata - sli no men uetu u uspored bi sa
suvremenim drutvenim plesovima. Ona se bavi sudovima u obl i ku
su bjekt-predi kat, koj i se d i jele na eti ri sljedea ti pa:
A , univerzalno afirmativni ,
Svi A su a
to b is m o s i m bo l iki izrazi l i :
to b i s m o m i n a p i sal i i l i kao
I , partikularno afirmativni,
Neki A s u a
to m i p iem o :
(3x) (Ax A ax)
i O , negativno partikularni,
Neki A su B
161
Logika
to m i piemo:
L3x) (Ax A
Bx)
. ,
Fs
bez kvantifik atora tako se i nterpretira kao "Svi Sokrati su fi lozofi "
i l i "Svatko tko je Sok rat je fi lozof", i l i
(Vx) ( Sx Px)
Naela izvoenja .
Dva pravi la s
ogran ienj i m a
Logika
Dakle,
[Jx) ( Fx)
Fa
El (a)
Naela izvoenja .
{1
[3x] ( Px /\ Ux)
2 (\7' x] ( Px Nx)
PREM
3 Pa
*
*
*
*
4
5
6
7
8
g
*
*
/\
Ua
1 El ( a)
Pa
3 SIMP
Ua
3 SIM P
2 Ul
6 , 4 MP
7 . 5 ADJ
8 EG
Pa Na
Na
Na /\ Ua
L3xH Nx /\ Ux)
QED
" Parti kularn i " silogiza m, osi m u n iverzal n e premise (koja je potreba u
sva kom sluaju), i ma jed n u "parti kularn u " (egzistencijal n u ) premisu,
i "parti kularn u " (egzistencijal n u ) kon kluziju.
8
Logika
U niverzalna genera l izacija ( U G) : Iz iskaza koj i sadri
UG ( a)
pri emu nema posebn ih uvjeta za a, n iti je 'a ' "stvarno" ime .
Genera l izacija u neformal nom zakljuivanju je, kako znamo,
osjetlj iva stvar. Ne sm ije se generalizirati iz posebnog sluaja. Ako
je Susie, m l adoj, jakoj i iskusn oj plani narki, lako popeti se na vrh
Katahd i n, iz toga ne sl ijed i da e svakome biti lako popeti se na vrh
Katahd i n . S d ruge strane, legitimno je (a esto i korisno) genera
l izirati iz samo jednog s l u aja kad smo sigurn i da nam razlog zbog
kojega vjerujemo u ono to stoj i za taj pojed i n i sl uaj jednako vai
i za bilo koji drugi sluaj. Al i moramo biti sigurni da je tako, da ne
rad imo s posebn im sluajem.
Ogran ienja na pravi la El i U G, koja emo uskoro popisati,
smiljena su za to da nas sprijee koristiti UG za neprikladne gene
ra lizacije, te da nas sprijee neprav i l no koristiti E l , ime bismo
napravi l i zabunu dajui isto ime razl iiti m stvarima. Ta ogran ienja
pojanjavaju naka n u zahtjeva da pseudoime koje se uvodi pri E l
bude novo, kao i o n u paralel nog zahtjeva d a pseudoime koje e l i
m i n i ramo p r i UG ne bude posebno.
Standard n i pri mjeri ispravne u potrebe U G dolaze iz geometri
je . Dokazujemo, pri mjerice, da ako je trokut ABC jednakostran ian,
onda su mu i svi kutovi jednaki.; iz toga slijedi da svi jednako
stranini trokuti imaj u i jednake kutove, budui da je trokut ABC
bilo koji trokut.9 Ovdje emo uzeti primjer iz logi ke, te emo utvrdi9
172
Naela izvDenja
1 (V x) (/U' Lx)
PREM
Dokaimo : (V x) ( Px Lx)
-- -----
tokama B i C i oznaite
sjecite D.
. ,
D
S a d a , dakle, ima m o BC
BO + DC
Problem je u to me da n e m a mo
BC
o.
B O + D C ; ta j e jednakost ii
--,
D
Za s t i m povezan
1 13
Logika
*
3 Ka La
4 Pa Ka
** 5 Pa
*
**
**
*
*
6 Ka
7 La
8 Pa La
9 (\Ix) (Px Lx)
1 Ul
2
Ul
4 , 5 MP
3 , 6 MP
5-7 DI
8 UG ( a)
QEO
5 ' Pa La
4 , 3 lANAC
5' UG (a)
QEO
Al i ne ovako :
*
2 , 1 lANAC
lANAC
QEO
174
Naela izvoenja .
A.
*
*
3 lj
PREM
1 El (j)
2 SIMP
4 (:lx) (lx)
(Netko je u kupaonici . )
3 EG
QEO
10
11
Logika
B.
"
"
1 Jm D m
2 (VxHJx Ox)
PREM
1 UG (mj
"
1 (:lx) (x 1\
Mx)
1\
"
"
"
"
176
4
5
6
7
B
9
a 1\ Ma
a 1\ Pa
Ma
Pa
Ma 1\ Pa
(:lx) [ Mx 1\ Px)
PREM
1 SIMP
1 S I MP
2 El ( a)
3 El [ al
4 SIMP
5 SIMP
4 . 5 ADJ
9 EG
Naela izvoenja .
Pogreka dvostru ke zastavice javlja se u koraku 5, a ta se pogreno
izvedena konkl uzija ne m oe izvesti bez nje. Korak 5 mogl i bismo
popraviti u
if
3 E l (bl
5 ' b /\ Pb
Ma
/\
Pb u kora k u 8 ne bi po luilo
D.
Neto je zanimljivo.
Dakle , sve je zanimljivo.
if
if
if
1 C3x) (Zx)
2 Za
3 (l;;f x) (Zx)
PREM
1 El (al
2 UG (a)
valjan :
D'.
Sve je zanimljivo,
Dakle, neto je zanimljivo.
if
if
if
1 (l;;f x) (Zx)
2 Za
3 (3x) (Zx)
PREM
Hil
2 EG
QEO
E.
Logika
*
1 (V xl (lx v
2 Za
L *
L *
L .
D *
D *
D *
*
PREM
1 Ul
PREM [za
3 UG ( a)
lx)
la
3 la
4 (V x] (lxJ
5 ( V x) (lxJ
( V xl (
lx)
4 TAN
la
7 [V xl (
lx)
8 (V x) (lx)
g [V x) (lx)
Dill
6 UG ( aj
( lfx] (
(V xl (
lx)
? TAN
lx)
2, 3 - 5 , 6-8 DILema
[ (:Jx] (Fx)
t\
(Vx) ( Gxl l
N aela izvoenja .
1 9
Logika
Kvantifi kacijska
negacija
KN :
1 80
Naela izvoenja .
Fx)
- [3x) Fx
**
Fb
**
10
(3xl ( Fxl
9 EG
**
11
(3xl ( Fxl
12
- Fb
/\
(3xl (Fxl
1 0 . 8 ADJ
9 - 1 1 RED
1 2 UG [bl
13
( Vxl ( - Fxl
14
- [3x) [ Fxl
Fxl
8 - 1 3 [1 1
15
- [3x) ( Fxl
Fxl
7 . 1 4 ADJ. DEF
[ V x) ( ( Vxl ( -
QED
(V xl ( -
Sx)
[3x) [ Sxl
1 81
Logika
-*
**
**
**
6
7
**
**
10
**
11
12
13
14
15
(::Ix) ( Fx)
(VxJ (Fxl
- Fa
Fa
Fa A - Fa
- (Vx] ( Fxl
(::Ix] ( - Fxl - [Vx) [Fxl
- (Vx) (Fxl
Fb
(V x] (Fx)
(V x] (Fx) A
(V x) (Fx)
Fb
(::Ix) ( Fxl
- ( V xl [Fxl (::Ixl [ - Fxl
- (Vx] ( Fxl H ( ::I x) ( Fx)
PREM [za [I I )
PREM (za REDl
1 E l [ al
2
Ul
3 , 4 ADJ
2-5 R ED
1 -6 D I
PREM
(za
Dil
KN ' :
Dakle,
KN ' :
Naela izvoenja
F.
1 (Vx) Wx Mx)
3
4
5
6
7
8
9
10
PREM
- (Vx) Wx Gx)
/\
Gx)
2 KN '
3 El (al
( 3 x) Wx /\ - Gx)
Ua /\ - Ga
Ua
- Ga
Ua Ma
Ma
Ma /\ - Ga
4 SIMP
4 SIMP
1 \JI
7, 5 MP
8 , 6 ADJ
9 EG
(3xHMx /\ - Gxl
QEO
Iskuenju da u mjesto koraka
* 3 ' - Wa Gal
3':
Logika
1 - [3x) (x /\ - Sx)
PREM
3
4
(Vx) (x Sx)
[Vx) [Ax - Sx)
1 KN'
2 KN '
N egacija se mora i nternal izi rati barem u prem isama, ali kod kon
k luzije m oemo birati - odgovarat e oba sljedea rjeenja:
*
*
5
6
8
9
a Sa
Aa - Sa
Sa - Aa
a - Aa
(Vx) (x - Ax)
3 Ul
4 Ul
6 lAM (kontrapozicija)
5 , 7 LANAC
8 UG (a)
QED
ili
**
5'
**
6'
*"1:"
7'
**
8'
g'
1 0'
11'
1 2'
**
**
**
"*
**
1 3'
1 4'
(3x) ( x /\ Ax)
a /\ Aa
a
Aa
a Sa
Aa - Sa
Sa
- Sa
Sa /\ - Sa
- (3x) [x /\ Ax)
4 Ul
g ' , 7 ' MP
1 0' , 8 ' MP
1 1 ' , 1 2' ADJ
1 84
N aela izvoenja .
Pravi l a priJ'elaza
<
12
1 4 2- 1 4 3 .
1 85
Logika
2 Tj
3 C:lxl ( Tx)
4 Ph
2 ' Tj
* 3 ' Tj --t
* 4 ' Ph
PREM
2 EG
1 , 3 MP
QEO
Ph
PREM
l ' Ul
3 ' , 2 ' MP
QEO
Naela izvaenja
Tg
Pg
181
Logika
(1 l lp
/\
( 2 1 lp
/\
/\
Fxl
/\
/\
(p
/\
Fb) 1
Fal v (p
/\
Fbl l
Fb) ] [ (p v Fal
/\
/\
(p v FbI I
/\
(p Fbl l
lj
Na to
son .
14
188
1 44 .
Naela izvodenja
bi nam (6) moglo govoriti da je "Ako b u de oluje, netko e stradati "
ekvivalentno s "Odree n i l j u d i e stradati ako bude o l uje", a (7) da
je "Ako n etko pritisne ti pk u , d izalo e se popeti" ekvivalentno s
"Ako itko pritisne ti pku, d izalo e se popeti ". Evo dedukcije za (7):
Dokai m o : [ (3x) ( Fx) pl (Vx) ( Fx pl
*
1 (3xHFx) P
PREM (za DI, slijeva na
d esnol
2
3
Fa
C3x) ( Fxl
2 EG
1 . 3 MP
Fa p
2-4 DI
(VxJ ( Fx pl
5 UG (al
[ (3 x) ( Fxl pJ ( V x) ( Fx pl
1 -6 DI
6
7
8
(Vx) ( Fx pl
**
(3x] ( Fx)
**
1 0 Fb
9 El (bl
**
1 1 Fb p
8 Ul
**
12 p
1 1 . 1 0 MP
1 3 (3x) ( Fxl p
9- 1 2 DI
**
**
**
*
na lijevo)
1 4 (Vx) ( Fx pl
[ (3 x) ( Fxl pJ
8-1 3 DI
7 - 1 4 AOJ. D EF
QEO
Pravi la (1 )
p. Ali obrat ne i de tako glatko. Tu nam moe pomoi kon trast slje
dea dva pri mjera .
189
Logika
J\
1S0
Naela izvoenja
(Fx
---+
da skae po krovu
1 (1;/ x) ( Fxl
1\
1\
al i se k rov ne u ruava .
pl H (1;/ x) (Fx 1\
pl
(Fa ---+ pl
1\
stvar, sam o s
1\
-
ponavljanjima.
Isto tako,
negi
Fb 1\
p; a negi rati da
P 1\ Fb 1\
P, to je ista
-
i m p l i kaci jom :
Doka i m o : [ (1;/ xJ [ Fxl
**
. .
" "
..
1
2
3
4
5
6
---+
pl H r:JxJ [ Fx ---+ p)
PREM [z a DI . slijeva)
Fa
PREM (za D i l
(l;/xl ( Fxl
2 UG ( al
1 , 3 MP
Fa ---+ p
2-4 DI
5 EG
( 3 xl (Fx ---+ pl
1 -6 DI
PREM (za DI , z d esnal
8 E l (bl
**
**
12 p
9 , 1 1 MP
*
{**
---+
8- 1 3 OI
1 - 1 4 ADJ, OEF H
QEO
191
Logika
Strategija u
ded u kciji
192
Naela izvoenja .
Podsjetn ik
etvrto
poglavlje
uz
I z u n iverzalno kvantificiranog
iskaza bez og ranienja slijed i svaka njegova instancija
Univerzalna instancijacija ( U l ) :
Stoga,
('dx) ( Fx)
. . Fa
Ul
St og a ,
Fa
. . C3xH Fx)
EG
Dakle,
[lx) (Fx)
Fa
B (a)
1 93
Logika
Dakle,
Fa
:. ( VxH Fx)
UG ( a)
KN :
KN ' :
Druge ekvivalentnosti
[ ( VxH Fx)
[ ( 3xH Fx)
1 94
J\
v
Naela izvoenja -
/\
( 2 1 lp
/\
ne
sadri
x.
195
Logika
5.
6.
7.
II:
19&
4.
5.
Naela izuoenja
6. Mnogi od o n i h koji koriste automatsku kore kciju
Logika
na sastanak.
Postoji netko takav da e se svatko iznenad iti ako se on
bude radovao.
Dakle, postoji netko takav da e se svatko iznenad iti ako
on doe na sastanak.
V. Utvrd ite dedu kcijom svako od sljedea tri pravi l a prijelaza:
1 . [p !\ (l;;f x )(Fx)] (I;;fx )(p !\ Fx)
QED
Objasn ite i opravdajte ta dva koraka
5.
198
ili ih i spravite.
5.
poglavlje
Logika
Fa
Ga
PREM 1 , ES ( a)
a od (:Jy)(Fy
Cy)
/\
Fa
Ga
PREM 2, ES (a)
201
Logika
a od '(3x) (Fx)
ES ( a)
ES ( bl
v (3x) (Gx ) '
/\
Gb
ES ( al Fa
PREM 3
ES ( bl
ali (3x)(Fx)
Fa
- Fb
PREM 4
- Fx) Je i n konzistentno :
ES ( a)
ES ( al
ES ( bl
PREM 5
t
Kod ta dva nova pravi la, ES i US, nema spomena negacije. S
negacijama kvantificiran i h reenica i l i nji hovih sastavnica mora se
raditi kao s negacijama sloenih reenica i nj ihovih sastavnica u isti
nosnofu n kcijskim istinosn im stablima: negacija se internalizira. Da
bismo d ijagra m i ra l i negaciju kvanti ficirane kon kl uzije, prvo i nter
naliziramo negacij u a zatim koristi mo ES, odnosno US. Pri inter
nalizaciji negacije pomau nam dva para ekvivalentnosti za nega
ciju koje smo uve l i u etvrtom poglavlju :
KN:
202
KN ' :
Bx)
Bx]
(3x) ( Gx v X)
Ge
PREM 1 :
PREM 2 :
Tj
- Tj
- KKL:
PREM 1 :
- [3xJ ( Gx v xl v Tj
('1;1 xl - ( Gx v X) v Tj
('1;1 x) ( - Gx /\
Xl v Tj
prema AKO
pre ma KN
prema NIU
Ge
- Tj
us
Gc
e
- GJ
- Zj
X
PREM 2
- KKL
Tj
X
PREM 1
valj a n o
203
Logika
- Tj
us
PREM 2
KKL
PREM 1
- Gc
X
valjano
KKL:
- KKL:
2D4
( lj x) (Px) -+ ( lj x) ( ox)
- ( ljx] [Px) v (ljx) ( Ox)
(3x) ( - Px) v ( lj x) ( ox)
(lj xJ ( Px -+ Ox)
(3x) (Px 1\
Ox)
-
prema AKO
prema KN
prema KN '
Pa
- Oa
ES
(b)
- KKl, ES ( a)
PREM , US
Oa
X
- Pb
neva ljan o
(\7 xl ( Px -? Ox)
(\7 x) (Px) -? (\7 xl ( Ox)
(\7 xJ ( Pxl " - (\7 x) ( oxl
(\7x) [ Px) " [3xl ( - Ox)
PREM:
KKL:
- KKL:
- Oa
ES
Pa
US
- Pa
X
( a)
Oa
X
prema NAKO
prema KN
KKL
PREM , US
valjano
PREM 1 :
PREM 2 :
KKL:
- KKL:
prema KN '
205
Logika
la
Ua
PREM 1, ES (a)
La
Na
PREM 2, US
Na
Ua
KKl, US
X
valjano
Nadalje:
PREM 1:
PREM 2:
KKL:
Pa
KKl:
la
Pa
KKl, ES (a)
Ka
prema KN'
PREM 2, US
Ka
la
PREM i, US
X
valjano
206
Uoite da, i ako poredak premisa u ovom sl uaju nije bio vaan,
prvo treba unijeti negaciju konkluzije. To n ije stvar naela, nego po
godnosti. Sljedei d ijagram pokazuje kako bi izgledalo istinosno sta
blo u kojemu smo u n ijeli egzistencijal n i iskaz nakon u n iverzaln ih:
- Pa
- Ka
PREM 1, US
La
- Ka
Pb
Pb
- Lb
- Lb
-Pb
Kb
Kb -Pb
PREM 2, US
Ka
/\ !\
PREM 2, US
Kb
-Pb
X
-KKL, ES (bl
!\
- Kb
Lb
-Kb
Lb
- Kb
Lb
PREM 1, US
valjano
KKL:
Logika
- Zj
Za
/a
- KKL
PREM, ES (a)
nevaljano
-Jm
Ja
- Da
208
JmOm
(3x](Jx /\
Ox)
prema KN'
Om
Ja
Da
PREM
- KKL, ES (a)
nevaljano
J
J
a
Ma
b
Pb
-Ma
PREM, ES (al
PREM, ES (bl
-Pa
t
- KKL, US
nevaljano
J
J
a
Ma
b
Pb
-Ma
X
PREM, ES (a)
PREM, ES (bl
- Pa
- KKL, US
-Mb
t
-Pb
- KKL US
nevaljano
209
Logika
Fa
Ga
AA
Fb
Gb
Fb
Gb
to je znaajno razliito od
Fa
Fb
lA
'
Ga
Gb
210
(Vx)(Cx).
PREM:
- KKL:
prema NI
prema KN
[3x)(Mxl
(Vx)(- Mx)
Pa
b
Mb
JS
J ES
E
(a)
(b)
- Ma
[-Pa
1-
- Pb
X
Mb
] ]
KKL
valjano
D. Neto je zanimljivo
Dakle, sve je zanimljivo.
PREM:
(3x)[/xl
KKL:
(V xl (/xl
la
- lb
prema KN
PREM, ES (a)
- KKL, ES (b)
nevaljano
US
kojom se uvodi
Sve je zanimljivo.
Dakle, neto je zanimljivo.
211
Logika
PREM:
(Vx) (bl
KKL:
[::Jxl[bl
prem a KN
(Vx) ( bl
Za
Za
PR EM US
,
KKL. US
valjano
( V xl (Mx bl
KKL:
(::Jx) (Mx 1\ b)
.
KKL: ( V x) (Mx bl
prema KN'
AA
Ma
Za
Ma
Za
Ma
Za
PR EM US
,
KKL, us
nevaljano
n i ari .
E.
212
PREM:
KKL:
prema NIL!
prema KN. DN
ES (al
lb
ES (bl
- KKL
Za
lb
- lb
PREM, US
nevalja n o
\jeki problemi u
ogici predikata
213
Logika
(\7'x)(Bx Mx)
.. (:lx) (Fx 1\
Mx)
To izgleda valjano; druga nam, naime prem isa govori (ako se sje
amo KN') da neki brucoi ne sl uaju matematiku, a prva da takvi
brucoi, budui da ne sluaju matematiku, moraju sluati fiziku. Ta
ko smo otkri l i koga konkl uzija proziva: one koj i sl uaju fizi ku ali ne
i matematiku. To e nam posluiti kao nacrt za dedukciju. Istinosno
stablo izgleda ova ko :
PREM 1:
Prem 2:
(\7'x)(Bx Mx)
(:lx) (8x 1\
KKL:
[:lx)(Fx 1\
KKL :
prema KN'
Mx)
Mx)
prema KN'
Ba
- Ma
Ba
PREM 2, ES [al
Ma
Fa
PREM 1, US
Fa
Ma
KKL , US
valjano
G. Neki Grci su suci.
Neki Grci su kraljevi.
Svi suci su pravedni.
Svi kraljevi su oholi.
Dakle, neki pravedni Grci su oholi.
214
Prem
Prem
Prem
Prem
KKL:
1:
[lx)(Gx 1\ Sxl
2:
(3x)(Gx 1\ Kxl
3:
(\7'x)( Sx Pxl
4:
Ga
Sa
Gb
Kb
prema KN, NI
]
]
nevaljano
Logika
grki sudac, Aristi d (a), koj i je pravedan ali n ije ni kralj ni ohol, kao
i grki kralj Brasidas ( b), koj i je ohol, ali nije ni sudac ni pravedan,
te da je to mogue ak i ako su prem ise istin ite a kon kluzija neis
ti nita, to jest, i kad nijedan pravedan Grk nije ohol. Zakljuak je ne
valjan. (Da bismo ustanovili nevaljanost bi lo je dovoljno zavriti sa
mo l ijevi dio njegova stabla.)
H. Svi brucoi imaju raunala.
Ako nitko tko ima raunalo ne zna pravopis onda svatko tko ima
raunalo koristi program za provjeru pravopisa.
Dakle, ako bilo koji bruco ne koristi program za provjeru pravopisa,
neki korisnici raunala znaju pravopis.
Bx
Rx
Px
Kx
=
=
=
=
x je bruco.
x posjeduje raunalo.
x zna pravopis.
x koristi program za provjeru pravopisa.
l ako moe zavesti na krivi put. Ta pogrena formu lacija n ije ekvi
va le ntn a ispravnoj
21&
I m a jo mogunosti:
- (:lx)(Rx /\ Px) (Vx)(Rx Kx)
- (3x) (Rx /\ Px) - (3x)(Rx /\ - Kx)
(V xJ[Rx - Px) (Vy](Ry Ky)
ili
(Vy)(3x)[(Rx - Px) (Ry KyIJ
gdje je rije 'neki' zamijenila sva pojavlj ivanja izraza 'bilo koj i ' u
izvorniku . Misl i m da e slinost u znaenju biti intu itivno oigledna
veini, a l i vrijed i porazm isliti o tome kako to fun kcionira. Izraz 'bilo
koji' (kao i izrazi 'bilo tko', 'bilo to', 'bi l o gdje') i ma snagu univer
zalnosti , ali ta se sn aga prenosi razliitim zamjenama u razliitim
kontekstima. U potvrdnom kontekstu, izraz 'bilo koj i' se moe
zam ijen iti rijeima 'svaki' i l i 'svi' :
217
Logika
A l i , u n ijenom ko ntekstu , izraz 'bi l o koj i' se ne smije zam ijen iti
rijei ma 'svi' ili 'svaki', nego (ako se u ope zamjenjuje) rijej u
'neki' (iako ona ponekad ne zvui pri rodno):
Ie uivam ni u kojoj aktivnosti na zraku.
Nije sluaj da uivam u nekoj aktivnosti na zraku.
Nije sluaj da postoji bilo koja aktivnost na zraku u kojoj uivam.
Nije sluaj da postoji neka aktivnost na zraku u kojoj uivam.
- (3x)[Zx
Uxl
lUxl
(3xl (Rx
(3x)[Rx
218
Pxl
(VxHRx Kxl
prema AKO
KKL:
- KKL:
[:3x)[Bx 1\
(3x)(Bx 1\
(3x)(Bx 1\
- !(Xl
- !(Xl
- !(Xl
(3x)[Rx 1\ Pxl
1\
- (3x)(Rx 1\ Pxl
1\
(Vx)(Rx - Pxl
prema NAKO
prema KN '
da
-:l ]
- Ba
ES (bl
Rb
Pb
- KKL, US -Rb
Je
- KKL, ES (al
Ra
PREM 1, US
Ra Ka
Je
Je
US
PREM 2
Pb
Je
valjano
219
Logika
- KKL. US- Rb
- Pb
us
- Pa
- Ra
us - Rb
X
- Pb
- Rb
- Pb
_:I 'J
- Ba
ES (bl
US
us
220
Rb
Ra
KKL. ES [al
PREM 1, US
- Ra Ka
Pb
A A
PREM 2
- Pa
- Ra
- Rb
US
- Pb - Rb
- KKL
- Pb
valjano
Ugnijeeni
kvantifikatori
221
LDgika
f--)
(Vx)[Bx pl
f--)
(VxHBx (VyHByl]
i time
prema
prema
prema
prema
KN
NAKO
KN
prema NAKO
prema KN
ES
(al
ES (bl
t
nevaljano
222
(vx)[Bx --) (vy)(By)] je, kako smo i oekivali, nevalpno. Ali ovaj
iskaz: (:Jx)(Bx --) (vy)(By)] je, to moda i nismo oekivali, valja n .
K.
(v yHByll
[vx) [Bx t\
[vxHBx
t\
[vxHBx)
- Ba
Ba
(vyHByll
[:J yH - By]]
C3y)(- By)
t\
prema KN
p rema NAKO
prema KN
prema pravilu prijelaza (1)
ES [a)
US
X
valjano
Ba
(3x)[Bx
--)
PREM
1 UG (a)
(vyHBy)
B a --) (v y)(Byl
1-2 DI
(3xllBx--) (vyHByll
3 EG
QEO
[vxllBx-) [vyHBy)1
3 UG [a)
Logika
H C3xJ(Bx pJ
1 (3x)[Sx (V'y)[Dyll
2 (3xJ(Dx (V'yl(fyll
PREM
3 Sa (V'yl !Dyl
4 Db (V' yHlyJ
**
5 Sa
**
6 (V'yl( Dyl
1 E l (al
2 E l (bl
**
7 Db
**
8 (V' yH/yl
PREM
1.5 MP
6 Ul
4.7 MP
9 Sa (V' yH/yl
5-8
DI
QEO
Logika
1 [=3xHSx [VyHDyll
2 L"l x)[Dx (Vyl (Jy)]
3 (Vx)(Sxl (Vy)(Dy)
4 (Vx)(Dx) (Vy)(/y)
5 (Vy)(Dyl (VyHly)
6 (VxHSx) (VyJ(/y)
7 C3x)[Sx (VyHly)]
*
*
*
*
*
PREM
1 ZAM [prema pravilu prijelaza (8) l
(takoe r) 2 ZAM
4 ZAM (Oil
3,5 tANAC
6ZAM
QEO
*
*
*
*
*
*
*
*
*
*
C3x)[Sx (Vy)[Dyll
2 (3x)[Dx (VyHly) l
3 (3x)(Vy)(Sx Dy)
4 (3x](Vy)(Dx Iy)
5 (Vy)(Sa Dy)
6 (Vy)(Db Iy)
7 Sa Db
8 Db lc
9 Sa lc
10 (V y)(Sa Iy)
11 ["lx) (Vy) [Sx Iy)
12 C"lx)[ Sx (V y)(Jy)]
PREM
1 ZAM [prema pravilu prijelaza (6)]
2 ZAM (takoer)
3 El [a)
4 E l (b)
5 IJI
6
Ul
7, StANAC
9 UG (c)
'ID EG
1 1 ZAM
QEO
PREM 2:
2':
KKL:
- KKL:
[3x)[Sx (Vy)(Dy)1
prema ES [al
Sa (VylWyl
(3xllDx (V yI (f y) ]
Db (VyI (fyl
prema ES (bl
(VyI Uy)]
- [lxllSx (VyHlyll
(Vxl - ISx (V y)(/yll
[Vx][ Sx /\ - (VyHlyl I
prema NAKO
(VxJ(Sx
prema KN
(3x)[Sx
/\
(Vx)(Sxl
/\
prema KN
(3y)(- ly)1
(3y](- Iyl
- KKL A:
(Vxl(Sxl
prema SIMP
- KKL B:
[lx][- Iyl
prema SIMP
- lc
prema ES [cl
- lc
ES (bl
ES (a) - Sa
- KKL A, US
- KKL B, ES (cl
- Db
Db
lc
US PREM 2'
US PREM l'
Sa
valjana
227
Logika
PREM 2:
[3xIISx ('v'yHDyll
('v'x)(Sxl ('v'yHDyl
- ('v'xHSxl v ('v'yHDyl
C3x)(- Sxl v ['v'yHDyl
[3xllDx ('v'yHly)]
S l ino,
(3x)( - Dxl v ['v'yH/yl
(3x)[ Sx ['v'y)(/yll
KKL:
S l ino,
- KKL:
- KKLA:
- KKL B:
prema NILI, KN
prema SIMP
prema SIM P
ES (bl
- KKL B. ES (al
- Db
la
US PREM 2
ES (c) - Sc
- KKLA. US
Db
US PREM 1
Sa
Sb
Sc
valjano
228
Neki varljivi
zakljuci
PREM 1:
PREM 2:
PREM 3:
KKL:
- KKL:
(V xl (Rx Vxl
(V xl (Sx
Vxl
-
prema KN'
Sa
Ra
-Da
PRElIA 3,
ES
- Va
- KKL.
Va
-Ra
- Ra
(al
US
Va PREM 1,
US
- Sa
- Va
PREM 2,
US
valjano
229
Logika
Sa
X
REM 3, ES ( a)
Va
PREM
Va
Ra
X
2, US
PREM 1 , US
valjano
['17' x) [ Sx Hx)
['I7'x)( Sx Gx)
[:lx) ( Gx i\ Hx)
('17' x)( Gx - Hx)
PREM 1:
PREM
2:
KKL:
- KKL:
prema KN'
- Ga
- Ha
KKL US
Ga
PREM 2. US
Ga - Sa
X
- Sa
- Sa
Ha
Sa
Ha
- Sa
Ha
PREM 1, US
nevaljano
230
PREM 2:
PREM 3:
[3x)(Sx)
KK L:
(3x)[Gx
KKL
(\1' x)(Gx
Hx)
A
v
prema KN'
Hx)
Sa
PREM 3, ES (a)
Ga
Ha
KK L, US
Sa
Ga
Sa
Ga
PREM 2, US
Sa
Ha
PREM 1, US
valjano
Logika
/\
C3x)(Sx)
Ux)
(3x)(x /\ Ux)
(\7x)(x Ux)
E3x) (X /\
Ux)
232
Istinosna stabla
za logiku
p redikata.
Podsjetnik
uz peto
poglavlje
US: N a mjesto u n iverzalno kvantifici rane reen ice ili sastavn ice
KN:
J\
J\
- Bx)
Problemi
uz peto
poglavlje
I.
Logika
IZ
235
Logika
236
OH (3xHFx
pl
(pravilo prijelaza 81
(pravilo prijelaza 31
3. [(3xHFxl v 13xHGxll
4. IIVxHFxl
OH (3x)(Fxv Gxl
(VxllGxll OH IVxHFx
Gx)
237
Logika
6.
Ako neki oevidac zloina jest rekao istinu ili nije rekao
istinu, netko e biti uhapen.
Dakle, netko e biti uhapen.
sti pendiju .
Dakle, ako nekim studentima ove god ine dobro ide fizi ka,
neki studenti ove godi ne e dobiti stipendiju .
239
trei dio
Logika relacija
6.
poglavlje
Netko je majka.
Dakle, netko ima majku.
(2)
(3)
Logika
Netko je majka
Dakle. netko ima majku.1
.
a je
majka od b.
Med
e je majka od d.
itd.
Neka je Myx
y je majka od x.
ili
Neka je Mwz
w je majka od z.
ista defin icija kao i ona p rijanja; mogli bismo i h sve zap i sati i
ovako:
Neka je M_ . .
.
je majka od . . .
Kako onda zapisati tvrdnju da je Alice majka? Ne kao 'Ma ' . U tom
kontekstu 'Ma' nam ne govori n ita. To je gramatiki neispravan
zapis, jer je 'M' defin i rano kao dvomjesni predi kat, kao relacija, a
ne kao jednomjesn i predi kat, te j e izraz 'Ma' nedefi n i ran ; u tom
relacijskom kontekstu on ne f u n kcion i ra . Tako e nam zatrebati i
" pomona" defin icija.
Rei da je Alice majka znai rei da Alice i m a d ijete : postoj i
netko kome je Alice majka; tj.
(3yH Mayl
b ima majku .
(3yHMxyJ
x je majka.
[3x) ( MxyJ
y ima
Stoga imamo:
majku.
Logika
[1 l
Kvantifi kator '(3x), u prem isi ima d u g doseg: njegov je doseg kvan
tificirana a l i i p a k otvorena reen ica '(3y)(Mxy)', i l i /Ix je m ajka". I sti
kvantifikator u konkluziji i m a kratak doseg: 'Mxy' i l i /Ix je majka od
y" . I obratno za ' (3y) ' . Ugl ate zagrade pomau nam da jasno vidi
mo tu ugnijeen ost. Ali one zapravo nisu nune jer su form ule
posve jed noznane i bez nj i h pa emo i h obino ispustiti , kad se
itatelj navikne na ugn ijeene kvantifi katore.
Evo i dedu kcije :
*
*
*
*
*
1 [3 xH[3y] [Mxy] ]
2 [3yH Mayl
3 Mab
4 [3xl [Mxbl
PRE M
1 El [al
2 El [bl
3 EG
4 EG
(3yH(3x) ( Mxyl l
QEO
Uoite da svak i put kad se koristi mo s E l , vanjski kvantifi kator samo vanjski kvantifi kator - ispada, te da svaki put kad se koristimo
s E C uvod i m o vanjski kvantifi kator, kOj i pokriva cije l u formu l u .
N ijedna dva kvantifi kacijska koraka, nadalje, ne mogu s e sa
eti u jed a n . To je pri lino vano. Ako n e vod i m o rauna o tome
koj i korak rad i m o prvo, i n i m o pogreku . itaj ui tu ded u kciju
obin i m jezikom dobiva mo :
*
244
2 Nazovimo je Alice.
Alice je nekome majka.
To jest,
Postoji netko kom e je Alice majka .
3 Nazovimo ga Bertrand.
Alice je majka Bertrandu.
Alice je Bertrandova majka.
PREM
1 El ( a)
2 E l (bl
Postoji
To
3 EG
4 EG
QEO
Netko j e majka.
To jest,
PREM
2'
Nazovimo ga Barry.
Barry ima majku .
1 El ( bl
3 EG
4' EG
QEO
II
4 " (3yHMybl
3 EG
4" EG
*
*
QEO
Prednost prve verz i j e koraka 4 i 5 je u tome to su otvoren e
reenice u koraci ma 1 i 5 potpuno i ste : 'x' stoji namjesto m ajke;
'yi stoj i namjesto djeteta. Ta vrsta u n iformnosti - gdje ju je m ogu e
p o sti i - o l ak ava itanje . Njome se oponaa up otreb a zamjen i ca
245
Logika
. .
i l i , ako na m je d rae,
L:J zl ( Rz /\ Cxzl
ili
(V x) [ (3yH Ky 1\
1
2
3
4
[V xHKx
Rxl
[3y) [ Ky 1\ Cayl
PREM
PREM
Kb
2 El ( bl
3 SIM P
Kb 1\ Gab
**
Gab
3 SIMP
**
Kb Rb
**
Rb
**
Rb 1\ Gab
1 Ul
6, 4 MP
7 , 5 ADJ
**
[3zH Rz 1\ Cazl
*
*
EG
2-9 DI
10 UG ( al
DEO
241
Logika
(3)
Neka je
Vxy
x vo li Y
[3 x) [ (Vy) ( Vyx) )
..
i l i krae,
[3x) (V y) ( Vyx)
..
(V y) (:lx) ( Vyx)
to n edvoj beno daje forma ln u verziju dane kon kl uzije. Ali u for
mal noj verziji - recimo 'v Vyz' - ne treba traiti n eto to bi odgo
varalo izrazu "ovu i l i onu". Izraz "ovu i l i on u " ne dodaje n ita. On
sl ui samo za to da otkloni vieznanost.
Drugo, taj zakljuak, takav kakav jest, odmah je prepoznatljiv
kao valjan : ako postoj i netko koga vole svi, recimo Joe, onda svatko
od n as vol i Joea pa tako svatko od nas vol i n ekoga.
A l i obratno, za zakljuak:
Svatko od nas voli neku, ovu ili onu osobu.
Dakle, postoji n etko koga svi vole.
248
(::J xJ [V yJ [ Vyxl
( V yH Vya)
3 Vba
4 (::Jx) ( Vbxl
*
*
(v yl (::J x) ( Vyx)
PREM
1 El (al
2 lli
3 EG
4 UG ( bl
QEO
Obin i m jezikom,
*
PREM
1 E l (a)
2 UI
3 EG
4 UG (b)
QEO
249
- logika
U n a krsne
zastavice
* 3
PREM
1 Ul
[:=Jx) [ Vax)
2 El
Vab
[ b)
* 4
(VyH Vyb)
3 UG ( a)
* 5
[ :=J xH V yH Vyx)
4 EG
1 El [b)
ili onoga) .
PREM
Ul
2) ;
s v i vole Beatrice.
3 U G [ a)
4 EG
3 Vab
4 ' ('v'x) ( Vax) (Albert vo l i svakoga . )
2 E l (bl
3 UG (b)
Logika
*
PREM
Ul
2 El (b) [ a l
(lJ yH Vyb)
( 3 x ) ( 1J y)( Vyx)
3 UG ( a) [bl
4 EG
252
253
Logika
(V'z) ( Vzxl l
Vzxl
( Vz) ( Vzxl l
PREM
3 (3 yl ( Vryl
4 (3yJ [ Vryl
5 (V zJ ( Vzrl
6 Vpr
7 L3y) ( Vpy)
8 (3 yJ [ Vpyl
*
*
*
9 (V' zJ ( Vzp)
10
11
12
*
*
2 El
(V'z) [ Vzrl
( l1z) ( Vzpl
Vap
( VyH Vayl
(V'x) ( Vy) ( Vxyl
(rl
1 Ul
4 , 3 MP
5 Ul
6 EG
Hil
8 , 7 MP
9 '-II
1 0 UG (pl
1 1 UG (al
QEO
254
g UG (pl
1 0 " (V x) ( V y) ( Vyxl
1 0 PV
i l i, na hrvatskom,
Svatko j e volje n od sva koga .
A l i m i trebamo dokazati
(Vxl [Vyl [ VxyJ
Svatko voli sva koga.
Da bismo dokazali tono ono to elimo dokazati, trebala su nam
ta posljednja tri koraka.
Alternativno, mogi i smo koristiti UG u koraku 1 0 i odatle iz
vesti traen u konkluziju . To bi znai lo da su '(Vx)(Vy)(Vxy)' i
'(Vy)(Vx)(Vxy)' - zamjena mjesta un iverza l n i h kvantifikatora - me
usobno zamje njive formu l e, i one to u isti n u i jesu. S l in o, za
kljuak ( 1 ) o m ajkama, o kojemu smo raspravljali na poetku ovog
poglavlja, pokazuje d a su '(3x)(3y)(Mxy)' i ' (3y)(3x)(Mxy)' m e
usobno zamjenjive formule i one to u istin u jesu . Napokon, obrat
od ( 1 ) :
Netko ima maj ku.
Dakle . netko je majka .
(3 yH:lx) ( Mxyl
(3x) (:ly) ( Mxyl
Logika
( 3 x) (3 y) (Fxy) H ( 3 y) (3 x) ( Fxy)
( V x] ( V yH Fxy) H [ V yHVxHFxy)
Doseg
kvantifi kato ra
( 1)
(2)
(3 x) [ Sx) [3 yH Pyx)
Napokon, tek poneto jed nostavn iji iskaz, "Ako se neto slomi,
nekoga e se globiti " sim bol izirao bi se "sl i no" :
256
No, premda ova druga form ula fu nkcion ira, (1') ne funkcion ira. For
m u la ( 1 ') ne uspijeva prenijeti namjeravano u nakrsno upuivanje.
Ono 'to' u kon sekvensu ( 1 ) upuuje u n atrag na "neto" njegova
antecedensa, ali 'x ' u konsekvensu ( 1 ') "visi " : to 'x ' ne moe u pui
vati u natrag na 'x' njegova antecedensa jer je taj antecedens
zatvoren ; doseg kvantifi katora '(:lx)' je samo 'Tx ' .
Da bismo pren ijel i sm isao ( 1 ), moramo rastegn uti doseg kvan
tifikatora "x" u ( 1 ') tako da "u hvati mo" visee 'x ' konsekvensa :
[ 1 " ) [V'x) [ Sx [::Jyl l PyxJ l
(V'x) [ Gx pl
251
Logika
kojoj stvari (x) za koju, ako se slomi, netko mora platiti ; stoga je pri
kladno koristiti vanjski u n iverzalni kvantifikator. Prisjeti mo se da egzi
stencijalnim jezikom esto obuhvaamo "obine" u n iverzalne iska
ze . "Ako je netko graanin, onda ona i l i on moe glasati" i "Svi
graani mogu glasati " su u h rvatskom meusobno zamjenjivi .
Uoimo nadalje da bi kontrastna egz istencijalna "form ulacija"
za (1 ) :
( 1 " ' ) C3x) [ Sx L3 y) [Pyxl l
bila sasvim pogrena. (1 ' '' l nam govori da postoji neto takvo da
ako se slom i, onda e netko za to platiti, ili moda, da ako se odre
ene stva ri sl ome, da e za njih netko platiti . Moe se za m i sl iti
situacija u kojoj e se platiti za neku posebn u ki nesku vazu ako
bude slomljena, ali za druge lomove to ne vai. N i ( 1 ) n i ( 1 ' f f l n isu
tone formal izacije ( 1 l; fu n kcio n i ra samo ( 1 ").
'
Pon i m o s
(Vx) ( Gx Rx)
258
kao i
Neka je Pxy
x je prije y.
Parafrazirajmo (2) :
Svatko tko glasa u odreeno vrijeme mora se registrirati neko
vrijeme prije toga.
ili moda,
Svatko tko glasa u bilo koje vrijeme mora se registrirati neko
vrijeme prije toga.
yI
Logika
[p C3x) (Fx) ]
C3x) (p Fxl
i dobiti
(1 al (lj xl l:3y) (Sx Pyxl
(2al (ljx) (ljyl [3z) [ Gxy (Rxz /\ Pzy) ]
ili
(ljxJ (3zJ (ljy) [Gxy ( Rxz /\ Pzy) ]
260
Poredak
ugnijee n i h
kvantifi katora
Neka je Ox
Neka je Px
Neka je Vxy
je osoba.
je pril ika .
x moze biti prevaren u y.
nekoj prilici .
ili
A'
Citi rano
Bartlett,
Logika
( V y] [ Py [:Jx) ( Ox /\ Vxyl J
ili
B'
Dokai m o :
A
/\
Vxyl l
262
PREM
Pa /\ ( Vy) ( ox Vxa J
->
Pa
1 El ( a)
2 SIMP
[V x) ( Ox Vxa)
2 SIMP
Sada plan i ramo nau dedu kciju odozdo prema gore i namjerava
mo dokazati i nstanciju konkluzije: to jest, dokazati da Ob (Jy)(Py
/\ Vby) - a ne: Oa ( 3 y) (Py /\ Vay), jer emo na kraju koristiti UG
p ri genera l izaciji, a a je istakn uto ve u koraku 2. Kao prem isu za
dokaz po i m p l ikaciji stoga uzi mamo njezin antecedens Ob :
o o
o o
Ob
Ob Vba
**
Vba
**
Pa /\
**
t:3 y) [ P y /\
"
PREM
4 Ul
6 , 5 MP
Vba
3 , 7 ADJ
8 EG
Vbyl
1 0 Db (3yHPy /\ Vbyl
5-9
DI
1 1 (\1'x) [ Ox (3y ) ( Py
/\
Vxyl ]
1 0 UG ( bl
QEO
263
Logika
Podsjetn i k
u z esto
poglavlje
Ogran ienja kod E l i UG
logika
Iz iskaza koj i sa d ri
p seu do ime moemo izvesti univerzalno kvantificiran iskaz
kojega je on i n sta n cij a ako pseudoime koje smo za mijenili
varijablom kvantifikacije ne u puuje na poseban sluaj.
U kvantifikacijskim su kon
tekstima meusobno za m je nj i ve svake dvije otvorene ree
nice za i je se instancije pokazalo da su isti nosnofu n kcijski
ekvi valentne.
KN:
KN':
Bxl
Druge ekvivalentnosti
1 (\i xH Fxl
/\
Prav i l a prijelaza
266
( 1 ) lp /\ ( \i x) [Fxl l
B (\ix) ( p
(21 lp /\ (3 x) [ Fx) )
B (3x) [ p
/\
/\
Fxl
Fx)
B (\ix) [p v Fx)
B (3x) (p v Fxl
I.
Probl e m i
u z esto
pogl avlje
B
B'
i zakljuil i d a B
*
*
**
1
2
3
4
5
**
Ob
**
Vba
8
9
1D
11
Pa --). Vba
(Vy) (Py --). Vby)
Ob /\ (VyHPy --). Vby)
(3xH Ox /\ (Vy) (Py --). Vxyl l
**
**
*
*
*
*
(3x) ( Ox /\ Vxa)
Ob
/\
Vba
PREM
1 Ul
PREM
2 , 3 MP
4 El ( b)
5 SIMP
5 SIMP
3 7 DI
8 UG (aj
6 , 9 ADJ
1 0 EG
-
2&7
Logika
Obin i m jezikom :
*
* 2
*
* 4
** 5
** 6
** 7
* 8
* 9
*
10
11
PRE M
1 Ul
PREM
2, 3 MP
4 El [ bl
5 SIMP
5 SIMP
3-7
DI
B UG [al
6 , 9 ADJ
1 0 EG
2. Svatko tko teti svima koji tete njemu, teti samome sebi.
268
8.
2&9
7.
poglavlje
u ravnini.
PREM :
KKL:
- KKL:
u ravn ini.
( V x) (Kx Rx)
(Vx) [ (3y H Ky !\ Cxy)
(3zH Rz !\ exz) ]
KN '
KN'
prema ES ( a)
prema
prema
211
Logika
krugl
- KKL A:
C3yH Ky A Cayl
- KKL B :
(Vz) ( Rz - Cazl
PREM :
(V xl (Kx Rxl
Albert]
Poet emo s egzistencija l n i m iskazom, a nakon toga s u n iverzal
n i ma, svejedno koj i m redom :
Kb
Cab
Rb
- Kb
PREM , US
- Rb
KKL A, ES ( bl
Cab
KKL B, US
X
valjan o
g l asa
nekom asu
registrirati.
I V xHl 3 yH Gxy) 13z) [ Rxzl l
PREM :
- KKL:
p rema
(3x) [ (3 yH Gxy)
- ( 3 zH Rxz) ]
prema NAKO
[V z) [ - Rxzll
(3y) [ Gay)
PREM ' :
prema
KN
KN
prema ES ( a)
( V z) ( - Raz)
prema US
(koristei a)
(3y) ( Gay)
Albert glasa)
- KKL B:
( V yH - Ray)
PREM, US
- KKL
A, ES ( b)
- KKl B , US
Rae
Peb
ES ( e)
273
Logika
- KKL A, ES (bl
- KKL B, US
Rae
PREM, US
Peb
- Rae
ES (e]
- KKL B , US
valjano
Kod tog smo se primjera mogl i osigurati protiv takvih propusta uno
enjem prem ise, koja sad ri ugnijeeni egzistencijalni iskaz, prije
u n iverzal nog iskaza - KKL B :
Gab
PREM , US
;: ]
- Rae
ES (eJ
- KKL B, US
valjano
KKL:
- KKL:
PREM:
]
Rae
P R E M , US
KN
KN '
ES ( al
E S ( b)
US
US
prema
prema
prema
prema
prema
prema
Peb
- KKL, ES ( a, b)
ES ( cl
t
nevaljano
- KKL:
prema KN
prema KN ' , NAKO
prema KN'
275
Logika
Kad instanciramo,
prema ES ( a)
PREM ' :
prema US
(I;jy) [ Gay)
prema AKO, KN
C:lzJ (Raz)
Stablo e sadravati:
KKL A :
Gab
KKL B :
PREM ' :
( l;j yH Gay)
C:l zJ ( Raz)
Gab
KKL A
PREM , US Gab
Rae
Rac
ES ( e)
Peb KKL B , US
t
nevaljano
276
(3z)(Raz)
**
2
3
4
5
(3 y) ( Gay)
**
( 3 z) ( Raz l\ Pzb)
**
7
8
9
Rae
**
**
**
**
**
Gab
( Vy) [ Gay ( 3 z) ( Raz l\ Pzy) 1
Vab l:lzJ ( Raz 1\ Pzb)
Rae 1\ Peb
( 3 zH Razl
PREM
PREM ( z a Dil
1 El ( bl [al
1 Ul
4 Ul
5 , 3 MP
6 E l ( e) [a, b l
7 SIMP
8 EG
2-9 01
1 0 UG ( a)
QEO
Beskonana
stabla
PREM:
- KKL:
PREM ' :
-
KKL' :
[Vy) ( Vya)
[ Vx) (- Vbx)
Vaa
Vba
- Vba
- Vbb
prema KN
prema KN
iz PREM, prema ES ( a)
iz KKL. prema ES ( bl
-
J
]
iz PREM' prema US
iz - KKL' prema US
x
217
Logika
PREM :
- KKL:
prema KN
prema KN
prema US
prema ES (b]
prema US
prema ES ( cl
prema U S
prema E S ( dl
prema US (pokuavamo
to povezati s premisom]
prema ES ( b 1
prema US
prema US ( b ' 1
prema US
prema ES ( b " 1
i tako dalje. Lista: - Vb 'b . - Vb "b ', - Vb lllb ", . , kao i Vab, Vbc,
, ide u beskonanost, a tako e biti i s Vb'c', Vc 'd', , Vd'e'
koju generira prem isa, koja poinje s b', te - Vc "c', - VC '"C ", . .
Vcd,
218
. . .
. . .
279
Logika
Vab
Vaa
1\ /\
a
- Vaa - Vba
1
1
/\
- Vba
va
/\
d D : l-1- v{L
- Vaa
_I
PREM :
- Vaa
- V
- Vba
- Vaa
- Vba
bb- a
KKL
valjano
PREM
- Vaa
- KKl
I.
..
(3 xl ( I;i yH VyxJ .
Logika
PREM :
- KKL:
('I7' yl ! Py v (3 yH Ox !\ Vxyl l
PREM
US
- K
PREM
US
Ob
p
a
Vab
/\
ES ( bl
Pc
Pc
- Vbe
/\
_
Pc
- Vbc
ES ( cl
- Pc
X
Vod
- Od
- KKL
US
Pe
- Vde
ES
(01
itd .
282
*
*
**
**
4
5
**
(:lx) ( ox /\ Vxa)
Ob /\ Vba
Ob
Vba
8 Pa ---+ Vba
9 ( V y) ( Py ---+ Vby)
1 0 Ob /\ (V y) (Py ---+ Vby)
1 1 (:lx) [ ox /\ ( Vy) ( Py ---+ Vxy) l
**
6
7
**
*
*
*
*
PREM
1 Ul
PREM
2, 3 MP
4 El (b)
5 SIMP
5 SIMP
3-7 D I
8 UG (a)
6, 9
ADJ
1 0 EG
e biti istin ita ako nema pri l i ke; rad i neisti nitosti antecedensa nje
zine otvore ne reenice, a bit e tad isti n ita ak i a ko nema lj u d i ,
ka ko pokazuje isti nosno stablo. A l i kon kluzija
(:lx) [ ox /\ ( V y) (Py ---+ VxyJ l
'
283
Logika
PRE M 2
-
v
v
[V zJ ( Vzxl I
(Vz] ( Vzx)]
prema AKO
prema KN
(3xl (3 yI ( VxyJ
- (V x) [V yl[ Vxyl
KKL
prema KN
(3x)(3y)( - VxyJ
p rema KN
PREM 2 , ES [ al , (bl
-
KKL, ES (cl , ( dl
(a
284
PREM 2, ES [ a l , [bl
- Vcd
PREM 1 ,
US, dvaput
Vab
X
Vaa
Vba
Vca
Vda
Vcd.
na mjesto z i d na mjesto
Time se zatvara
x.
Vab
- Vcd
PREM 1 .
US.
US - Vab
X
PREM 1 , US
KK L, ES (cl , (dl
vaa
Vba
Vca
Vda
Vda
X
US
Vcd US
X
valjano
US
Vaa
Vab
Vac
Vad
Vaa
Vba
Vca
Vda
l
x,
x,
j est:
us
jest:
285
Logika
us
Vda
Vdb
Vdc
Vdd
(l
Vad
Vbd
Vcd
Vdd
us
Du lje nego to je to n uno, ali moda transparentn ije istin osno sta
blo za taj bi zakljua k izgledalo ovako:
Vab
P REM 1 US
,
- Vcd
Vaa
- Vab
Vac
Vad
PRE M 1 . U S
KKL, E S (cl , ( dJ
Vaa
Vba
Vca
Vda
P REM 2 , E S (al , ( bl
- Vda
Vdb
- Vdc
- Vdd
us
Vad
Vbd
Vcd
Vdd
us
valjano
28&
Podsjetn i k
u z sed mo
poglavlje
:
Iq
PA
ILI
Aq
AKO
AKKO
A A
q
I: I -q
-P
-P
Problem i
uz sed mo
poglavlje
281
Logika
wina.
Svatko tko vol i sve od Gershwi na, ne vol i nita od
Wagnera.
Dakle, ne postoj i n itko tko vol i neto od Wagnera i neto
od Gershwina.
I I I. Shvaajui da biti roditelj znai biti neiji rod itelj, da imati
rod itelja znai da je netko nekome roditelj, i da je neiji djed
i l i baka roditelj nekome tko je neiji rod itelj, razmislite o
sljedei h dvanaest iskaza. Za svaki prosu dite je li valjan - je l i
teorem logike relacija. Ako jest, nai n ite dedukciju i to
utvrd ite. Ako n ije valjan, objasnite zato n ije.
Ponite formaliziranjem navedenih definicija. Razmiljajui o va
ljanosti iskaza pazite da ostavite po stran i sve ostalo to znate o
rod iteljima i djedovima i bakama. Tim se definicijama, na pri288
S.
baka.
1 1 . Ako nitko nije njezi n djed ili baka, n itko n ij e vlastiti
roditelj.
1 2 . Ako neki mukarci n isu ene, nije isti na da svatko tko ima
289
etvrti dio
I dentitet i opis
8.
poglavlje
Logi ka i dentiteta
('v' xl ( Tmx)
Tmm
To jest, znamo da ako je Mary tolerantna p rema svi ma, onda m ora
biti tolerantna p re m a sebi. Ali ako nam netko, recimo Henry, kae
Logika
Logika identiteta .
N ael a
identiteta
{x= y
Fx
Stoga :
-:::ry- II
{ ;y=
:. Fx
a isto tako,
Y
II
293
Logika
Fx
Fy
:. x * y
LZ '
294
{
*
LDgika identiteta .
1 Fa
2
Fb
PREM
Dokaimo: a =t b
**
3 a
b
4 Fb
5 Fb /\ - Fb
**
6 a =t b
**
PREM
3 , 1 II
4, 2 ADJ
3-5 RED
QED
Drugo naelo koje e nam trebati da bismo mogl i rad iti s poj
mom identiteta ne moe se sm atrati nae lom izvoenja; to je
naelo samo-identiteta, ili " B utie rov zako n " , BZ:
Butlero\' zakon (BZ) : Sve je identin o sa sa m i m sobom.
To jest,
(Vx) (x
xl
BZ
295
Logika
Neke dedukeije
"
Neka
Onda e
i
'
Fb '
'
==
==
/I
'
a .
'
a .
. .
a= b
a= b
a = a
Fa
b= a
Fb
..
b= a
b= b
Gb
a = b
Ga
296
b (;-7 b = a
Logika identiteta .
If
a = b
PREM
a= a
BZ
b= a
a= b b = a
If
b = a
2 II
DI
PREM
If
b= b
BZ
If
a= b
5 , 6 ll
1,
1 -3
b = a a = b
5-7
a = bH b = a
4 , 8 AoJ ,
DI
DEF H
QEO
297
Logika
Uoite da, dok se prem isa mogla zapi sati bilo u re lativno istoj
form i, kao gore, b i lo u preneksnoj :
( 3 xJ (3y) (3z) ( Vxy 1\ - Vxz)
kon k l uzij i
Y *- z)
1\ (3y) ( - VxyJ ]
Y *- z)
(3yJ ( Vay)
1\ (3y] ( - VxyJ ]
1\ (3y) ( - Vay)
Vab
- Vac
PREM
1 El (a)
2 SIMP
2 SIMP
3 El [ b)
4 El ( ej
b *- e
5 , 6 11'
8
9
10
11
[3y) [ Vay)
(3y) [ - VayJ
*
*
*
5, 6, 7
EG
Vaz 1\ y *- zJ
Y *- zI
9 EG
1 0 EG
QED
298
ADJ
Lo g ika identiteta.
B roj 1
H e n ry je u sobi :
Sh
Samo H e n ry je u sobi
N itko razl iit od Hen ryja n ij e u sobi :
i l i, p rema KN',
( V x] (Sx - H
hl
Sh 1\ [V x) [Sx x hl
(3x) [ Sxl
(3x) [3y) (Sx 1\ Sy 1\ X 1:- yl
- (3x) [3y) [Sx 1\ Sy 1\ X 1:- yl
=
ili
(Vx) (VyJ I (Sx 1\ SyJ x
yI
yI
Ovaj posljed nji iskaz se moe napisati tako, kao kon j u n kcija dva
gornja iskaza, i l i s dugi m dosegom, kako slijed i :
ili
(3x] ( Sx 1\ [Vy) [ Sy Y
xJ l
Logika
(Vx) (x
Ms B (Vx) (x
Ms B C3x) (x
s Mx) B C3x) (x
=
=
=
s Mx)
s /\ Mx)
s Mx)
Logika identiteta .
Dokai mo: Fa
*
Fa
**
b =
( \7x ) (x
Fb
4
5
6
b = a Fb
(\7 x) (x = a Fxl
(\7x) (x = a Fxl
8
9
Fx)
Fa (\ix) [x = a Fxl
*
*
**
a Fa
a = a
PREM
PREM
2, 1 II
2-3 DI
4 UG (bl
1 -5 DI
PREM
7 Ul
BZ
1 0 Fa
8, 9 MP
1 1 ( \7 x) (x = a Fxl
12 Fa ( \7 x) [x = a {xl
7- 1 0 DI
6, 1 1
ADJ, DEF
QEO
**
PREM
PREM
2 , 1 ll
2-3 DI
Logika
*
5
6
4 U G [ bl
1 - 5 DI
9
10
11
PREM
7 Ul
BZ
8, 9 MP
7- 10 DI
hl
Sh /\ [ \;I x) [ Sx x
302
hl
Logika identiteta .
(V X) (X = h Sx)
1\
(V x) (Sx x
hl
1\
( Sx x
hI l
hl
ljati kao o konj u n kciji - Henry je u sobi i n itko drugi n ije u sobi
- i l i kao o un iverzalno kvantificiranoj e kvivalenciji, to bi open ito
znailo da je netko u sobi ako i samo ako je identian s Henryjem.
To se ini pojmovno ispravno (to zapaanje itate lj a ko el i moe
usporediti s vlastitim i ntuicijama), a notacijski je kratko i jasno. No,
ti m e se ne kae izravno da H e n ry jest u sobi te nam u zakljuku
moe zatrebati i ta i nformacija .
Vidjeli smo kako se forma ekvivalencije moe izgraditi iz forme
konjunkcije; preokrenimo sada taj proces naopako i pogledajmo
kako iz ekvivalencijske formulacije izvesti dva konjunkta : H enry je
u so bi, i n itko drugi n ije u sobi .
*
(VXJ ( SX B X = hl
PREM
Dokai m o : Sh
*
*
*
*
2
3
4
5
Sh B h = h
1 Ul
h = h
BZ
h = h Sh
2 DEF B , SIMP
4 , 3 MP
Sh
QEO
Dokaimo:
(3x)(Sx
1\
x :F- h )
303
Logika
**
**
**
**
**
**
*
(:3x] ( Sx /\ X;t:. hl
Sa /\ a :t::. h
h
8 Sa B a
9 Sa a h
10
(Sa a hl
1 1 (Sa a hl /\
(Sa a
1 2 - (:3x] ( Sx /\ x :t::. hl
=
hl
(V x) ( V yl [ ( Sx /\ Syl x yl
Postoji najvie jedna osoba u sobi.
=
Logika i dentiteta .
xv z
yl ] }
ili
[3x) (3 y) { x *- y /\ (\iz) [ Sz ( z
xv z
yl l }
'
'
PREM :
- KKL:
( \i x] ( x
a Fxl
- Fa
305
Logika
- Fa
- KKL
Fa PREM, U S
K
valjano
Desna grana se zatvara jer ' - Fa ' protu rjei ' Fa '; l ijeva grana se za
tvara zato to je 'a *" a' protu rjeno u sebi , prema Butlerovom
zakon u .
Kako bismo na slian nain mogl i koristiti Leibn izov zakon ( LZ,
i l i ako vam se vie svia, LZ'), pogledaj mo njegovu protu tvrdnju .
Svaka i n stancija izraza
Fx /\ - Fy /\ X
a Fx) .
Fa
- (I:;fx) (x = a Fxl
C3xl (x a /\ - Fxl
=
Fa
b= a
- Fb
K
LS
prema KN'
PREM
- KKL, ES
(bl
valja no
a Fxl
Logika identiteta.
Fx J\
Fy J\ X
J\
a= e
J\
cl
...., Fb
1 Fa
2 a
PREM
e
3b= e
4 Fe
5 Fb
=
*
<-
6 ( Fa J\ a
2 , 1 Ll
3 , 4 Ll
=
J\
cl
...., Fb
( 1 , 2 , 3l ...., 5 D I
DEO
LS:
ili
Fx J\ - Fy J\ X
Z J\
oblika
Y =Z
Logika
Neki primjeri
(AJ
3DB
P1 .
P2.
P3.
P4.
Logika identiteta .
Neka je Ex = x je Engleskinja
Neka je Pxy x je prevela y
Neka je Nxy = x je napisala y
Neka je a Mary Ann Evans
Neka j e g George Eliot
N ekq je e Spinozina Etika
Neka je m Middlemarch
=
P1 . Ea
C 1 . Eg
P 2 . Pae
P3 . Ngm
C2. Nam
P4 . a
C3 . L3x) ( Ex /\ Nxml
/\
(3yH Nxyl ]
Provjeri m o C3 i C4.
P1
Ngm
P3
- Ea
X
prema KN , NI
Ea
P4
- Nam
X
LS
- C3 , US
valjano
-C4:
- C4 ' :
- C4 " :
KN , NI
KN
US
US
309
Logika
Pae
P2
Ngm
P3
a= g
P4
- C4 ' , US - Pae
- Nam
C4 ' , US
X
LS
valjano
(8)
Tj
Tjl
310
Tj'
PREM :
[3x] ( Tx J
KKL:
(Vx) ( Tx x
jj
Logika identiteta
- KKL:
[3xJ ( Tx 1\ X o;t j )
prema KN '
l
PREM , US - Ta
- KKL, ES ( a)
Tj
t
nevaljano
(Vx) ( Tx x
KKL:
- KKL:
(:lx) ( Tx)
---+
jl
Tj
( :l x) (Txl 1\ - Tj
I:
ES
(a)
- Ta
X
prema NAKO
T.
- KKL
P REM, U S
a=j
X
LS
valjano
I na kraju malo kom pliciraniji primjer: dva povezana zakljuka, od
Logika
Prvi :
PREM :
KKL:
- KKL:
yJ
prema D N
prema ES ( bl
P REM , ES ( al
Vaa
Vab
Vbb
- KK L, ES ( bl , US
a= a
- Vaa
prema ES ( aj
- Vab
a= b
PREM , U S
nevaljano
zJ
/\ ( Vyz Y = zl l }
(3yJ { Vaa /\ Vyy /\ a * y /\ (liy) [ ( Vaz a
/\ ( Vyz Y
zJ
prema ES ( aj
zJ I }
KKL:
- KKL:
312
zJ /\ [ Vbz b
zl l
prem a ES [ bJ
- (3xHIi yH VyxJ
prema DN
prema ES ( el
Logika identiteta .
Vaa
Vbb
a c# b
Vae
Vbe
Vee
- Vae
X
l
l
PREM, ES la, bJ
- KKL, ES
a= e
b
- Vbe
X
US
X
LS
US
(e) , US
P R EM
valjano
Podsjetnik
os mo
o
p g lavlje
uz
Stoga :
X= Y
Fx
. . Fy
Ll
313
Logika
Stoga:
Fx
- Fy
X :; y
Ll'
Sve je
Taj aksiom treba koristiti kao da je teore m . Moe ga se, dakle, uvesti
kao korak u dokazu u bilo kojoj fazi svake ded u kcije. A svaka nje
gova abecedna varijanta, recimo
( 'lj l) [l = II
b=b
takoer se moe uvesti kao korak u dokazu .
Prav i l a za istinosna stabl a s i dent itetom
BS:
Logika identiteta .
i l i obl i ka
Fx /\
Fy /\
Z /\
predstavlja p rotu rjeje i stoga uvijek zatvara gra n u i stin osnog sta
bla na kojoj se pojav i .
Treba napomen uti da s u , za razl i ku o d ovi h , iskazi neidentiteta,
i l i d rugosti, bes korisn i za Leibn izov zakon, bilo da ih se uzme kao
naelo izvoenja u prirodnoj dedukciji bilo kao pravilo za istinosna
stabla.
Problem i
uz osmo
poglavlje
2.
l.
N ai n i dedukciju za :
Bar dvoje ljudi vjeruje sebi i n i kome drugome.
Dakle, ne postoji netko kome vjeruju svi .
napravi dedukcij u :
315
Logika
31&
Logika identiteta .
8.
Jedna i jedina (osoba) koju svatko vol i n ije ista ona (osoba)
koja voli sve.
Dakle, postoje osobe koje neuzvraeno vole - osobe koje
vole ali n isu zauzvrat voljene.
317
9.
poglavlje
Od reeni o p i s
Odreen i lan (the u engleskom jezi ku, der, die, das u njemakom,
i l i la u francuskom, el ili la u panjolskom i tako dalje) koristi se
za m nogo toga, ali glavna m u je svrha ono to je Bertrand Russel l
nazvao "odreen i opis" . 1 U izrazima poput "knjiga koju ita",
" kua u kojoj sam roen", " ispravan nain dranja noa za reza
nje l u ka" i "cesta za Albany", odreeni lan je, grubo reeno, isto
znaan s 'jedan i jedini' i prenosi znaenja broja 1. Koritenje takvih
izraza pretpostavlja i postojanje i jedinstvenost opisanog entiteta,
dok u poraba neodreenog lana (u engleskom a i l i an) naznau
je samo postojanje. (Zanimljivo je pritom da je u drugim navedenim
jezicim a koji imaju lanove, rije za neodreen i lan ista kao i rije
za 'jedan ', iako znai samo "barem jedan " , a ne "tono jedan" . )
Jo otkad j e objavljena knjiga Principia Mathematica2 10giari kao
simbol za "jedan i jed i n i " koriste obrn uto grko jota " 1 " Ja u se
trud iti sl ijediti i objasn iti Russellovu analizu, a l i za samom jota-no-
le
B e rtrand Russe l l , " O n D enoti ng", Mind, n . s. vol . 1 4 ( 1 9 0 5 ) , str. 4799 3 , u razn i m p retisc i ma, n p r. Logic and Knowledge, R . C . Marc h ( u r. )
( Lo n don : A l l e n a n d Unwi n , 1 9 5 6 ) . " Descri ptio ns", pogl . 1 6 u Intro
duction to Mathematical Philosophy (London, Allen and Unwi n ; N ew
Yo rk: Macm i l l a n , 1 9 1 9) , ta koer u raz n i m p retisci m a .
Al fred North Wh ite h ead i Bertra n d Russe l l (Ca m bri dge : U n ivers i ty
Press, 1 9 1 0), nadalje PM.
319
Lo g ika
(egzistencijal
(jedinstvenostI
(to ve)
"Autobus koji u pravo stie n ije prepu n" je samo jedan - trei - od
ti h disj u n kta. Neke negativne reen ice po jezinoj struktu ri sline
toj su sluajno vieznane; ova n ije. " Knjige koju treba nema u
knjinici", na primjer, moe se shvatiti na dva naina. Moe se shva
titi kao da znai " Postoji neka odreena knjiga koju treba koja se
ne nalazi u knjinici" i l i (otprilike) " N ijedna od knjiga u knjinici n ije
ono to ti treba".
*
320
U izvorn iku engl . one. Prijevod "onaj jed i n i " u daljnjem je tekstu uvje
tovan n epostojanjem l a n ova u h rvatskom jeZi ku. (op. prev. )
Odreeni opis .
to se m oe itati kao:
G vrijedi za jedan i samo jedan entitet x takav da x je F.
A to se, u notac ij i iz osmog poglavlja, defi n i ra kao :
(3x) [ (VyHFY B Y
xl
/\
Gxl
ili
(3x) [ Fx /\ (V xH Fy y xl /\ Gyl
Postoji jedan i samo jedan F, i on je G.
=
321
Logika
if
if
if
if
1
2
3
( \l y) (Fy
Ga
/\
xl
/\
PREM
1 E l ( al
2 SIMP
2 SIMP
Gxl
Ga
al
i l i ovako :
if
if
if
if
if
1
2
3
4
5
(\I y) (Fy y
Ga
==
/\
xl
/\
Gxl
Ga
al
PREM
1 El (al
2 SIMP
2 SIMP
2 SIMP
1 (\ly] (Fy Y
al
PREM (al
2 Ga
odnosno
if
1 Fa
2 ( \l y] (Fy Y
3 Ga
al
PREM (al
O G (1 x) ( Fx l
Odreeni
opis .
xl
1\
al
xl
1\
x = a l B (Vy) [ FY B Y = aj
pisati kao
( V xH Fx B X = aj
323
Lagika
. .
*
*
*
*
**
**
**
**
**
*
**
**
**
**
*
*
*
*
*
1 lVyH RY B Y al
2 Sa
3 Sa
4 Ra B a a
5a a
6 a a Ra
7 Ra
8 b /\ Rb
9 Rb
1 0 Rb B b a
1 1 Rb b a
12 b a
1 3 ( b /\ Rbl b a
14 b a
1 5 b
1 6 Rb
1 7 b /\ Rb
1 8 b a ( b /\ Rbl
19 ( b /\ Rbl B b a
20 (Vy) [ ( /\ Ryl B y al
2 1 ( Vy) [ (Sy /\ 'iyl B y al /\ Sa
22 C3xl { (Vy) [ ( Sy /\ Ryl B y xl /\ Sx}
=
=
=
PREM ( al
1 Ul
BZ
4 DEF B, SIMP
6 , 5 MP
PREM
e SIM P
1 Ui
1 0 DEF B, SIMP
1 1 , 9 MP
8- 1 2 DI
PREM
1 4 , 2 Ll
1 4 , 7 Ll
1 5 , 1 6 AOJ
1 4- 1 7 DI
1 3 , 1 8 ADJ, DEF B
1 9 UG ( bl
20 , 3 AOJ
2 1 EG
QEO
324
Odreeni opis.
(Vyl [ (y /\ Ryl Y al
Sa
- [3x) [ (Vy) [Ry y xl /\ x /\ Sxl
(V xl - [ (VyHRy y xl /\ x /\ Sxl
[Vx) [ - [VyHRy Y xl v - x v - Sxl
(Vx] ( (3yl - (Ry y xl v - x v - Sxl
[Vx) [ [3y) [ Ry y * xl v - x v - Sxl
(3y) ( Ry }';tal v - a v - Sa
=
prema
prema
prema
prema
prema
KN
NI
KN
NAKKo
US
325
Logika
PREM 2
Sa
- Ra
a* a
X
SS
Ra
a= a
ES [ bl
Rb
b*a
- Rb - Sa
X
b= a
- a
X
PREM 1 , US
- KKL
LS
- b
- Rb
Rb
b* a
b* a
b = a
PREM ' . U S
nevaljano
Odreeni opis .
Logika
Vrati mo s e n a zaklj u a k
B kako je zadan :
Neka je Rxy
Neka je
Neka je
Neka je
N e ka je
Ixy
Px
=
:=
x je zapis za y.
x je slovo 'j' u y.
X je pravilno.
"rjenik" (hrvatska rije) .
' rijenik' (zapis) .
Stoga,
emo kao
zapisat
( V' y) [ ( Rya 1\
Py)
y ::::
xl
a
x
z ap i sat
emo kao
( V' z) ( V' w) [ (lzx 1\ IwxJ z
PREM 1 :
PREM 2:
wl
X
yI 1\
(V'z) (V' w) ( (/zx 1\ Iwx) B z
Rba 1\ (3z] (3 w] ( Jzb 1\ Iwb 1\ z of: w)
=
wJ }
Dokaimo: - Cb
Prva prem isa (uz
prethodno
i m e n ova n je cl daje :
wl
- KKl:
328
Pb
prema DN
Odreeni opis .
Pb
- KKL
Rba
PREM 2A
b= e
Pb
Rba
- Rba
Ifb
Igb
f*g
- Pb
]
]
PREM 1 A , ES, [ cl , U S
Ige
Ife
f=g
[f.gl
PREM 1 B, US,
dvostruko
- Ife
- Ige
H
LS
H
LS
valjano
*
*
*
*
*
*
*
*
*
*
*
(V yI [ (Py /\ Ryal y
cl
2 (V z) ( V wl l ( fze /\ Iwel z wl
3 Rba
4 [3z 1 [3 wl (fzb /\ Iwb /\ y wl
5 [3 w) [ ldb /\ Iwb /\ wl
6 Idb /\ Igb /\ d * g
7 ( V w) [ Ude /\ Iwe l d wl
B Ude /\ Ige l d g
g
9 Ude /\ Ige l d
1 0 - Ude /\ Ige /\ d * gl
11 b* e
1 2 [ Pb /\ Rba) b e
1 3 ( Pb /\ Rbal b e
1 4 - (Pb /\ Rbal
1 5 - Pb
=
PREM ( cl
4 E l [ dl
5 E l (gl
2 Ul
l li I
B D E F SIMP
,
ZAM, NAKO
6 , 1 0 ll'
Hi l
1 2 DEF , SIMP
1 3, 1 1 MT
1 4 , 3 N KO N
QEO
9
Logika
II
II
*
*
II
II
II
cl
(Vy) [ ( Py /\ Ryal y
Rba
4
5
6
==
wl
PREM (e]
l-1il 2 KN
5 KN '
4 , 6 ll'
==
8 , 7 MT
9 , 3 NKON
QEO
(Cl
(3x][(Vy) ( By Y
Dokai m o : (:3x)((Vy)(8y
*
*
II
II
II
*
*
II
*
II
II
*
*
*
*
xl /\ Kxl
PREM
( 3 x] [(VyHBy Y = xl /\ Pxl
(VyH By Y = al
(VyH By y = bl
(Vy) ( By Y
al
Ba a
a
7 a= a
8 a
a -+ Ba
9 Ba
1 0 ( VyH By Y = bl
b
1 1 Ba a
b
1 2 Ba -+ a
b
13 a
1 4 Pb
1 5 Pa
al
1 6 [Vy)[By Y
1 7 [ 3 x) [ (VyH By y
3
4
5
6
x)
/\ Kx /\ Px]
/\ Ka
/\ Pb
El ( al
E l ( bl
SI M P
lli
BZ
==
1
2
3
5
/\ Ka /\ Pa
= xl /\ Kx /\ Pxl
6 DEF , SIMP
8 , 7 MP
4 SIMP
1 0 Ul
1 1 DEF , SIMP
1 2 , 9 MP
4 SIMP
1 4 , 1 3 Ll
3 , 1 5 ADJ
1 6 EG
QEO
330
Od reeni opis .
(V yHBy (-) y
prema ES ( al
i SIMP
prema ES (bl
i SIMP
prema KN
al
Ka
PREM 2:
- KKL:
(V yHBy (-) y bl
Pb
(V x) [ [3 yH By (-) y ;to xl
=
Kx v
Pxl
Ka
PREM 1 . ES ( a)
Pb
PREM 2, ES (b)
Ba
- Ba
a i' a
PREM 1 , US
SS
Bb
- Bb
b= b
b i' b
X
PREM 2, US
SS
Bb
- Bb
b= a
a
X
PREM 1 , US
SS
ES (e)
Bc
- Bc
- Pa
- Ka
8i'e
iJ=e
LS
Bc
- Bc
iJ=e
8i'e
LS
KKL, US
PREM 1 , US
valjano
Logika
/\
H ( 1 x) [Fxl l l G /\ Hl [ 1 xH Fxl
/\
xl
/\
Hxl }
332
Odreeni opis .
e gz istencijal
noj tei n i
==
xl
J\
Px}
==
xl
J\
Gxl }
Logika
xl !\ Px}
jota n otacij i :
xl !\ Px}
JJ
pri e m u smo 'to' i nte rpreti ra l i kao zamje n icu koja u puuje na
onog nekog ("netko") tko je te lefo n i rao . Tu smo ree n icu, meu
ti m, m ogl i iitati kao da kae :
334
Odreeni opis .
ji
C3 xHTxl (\fyHTy B Y
jJ
jn
(\fx) ( Tx x = Jl
- [ (3x) ( TxJ (V yH Ty B Y
JI l
prema NAKO
prema KN
I ( Ty /\ Y *' JI
( - Ty /\ y= Jl l
Ta
prema NAKKO
- KKL. ES ( al
- Tb
b=j
PREM , US
- Tb
b =j
- Ta
- KKL, ES ( bl
PREM , US
X
LS
valjano
( 3 x) ( Txl (\fy) ( TY B Y
(\fx) ( - Txl
- KKL:
JI
[VyH Ty B Y = JI
- (\fxJ ( Tx x
(3x) ( Tx /\ x *' JI
prema AKO , KN
JI
prema KN
335
Log ika
Ta
PREM , US
- Ta
K
]-
KKL.
ES
I :.T,J.a ]
Ta
a=j
OT-
(al
P R EM US
,
valjano
Kao i zakl juak B iz osm og poglavlja, sljedei je zaklj uak dakle
pogrean ;
Ako je netko telefonirao, telefonirao je Joh n .
Dakl e , ako j e netko telefonirao, onaj tko je telefonirao b i o je John.
(l x) (Fx)
/\
/\
x ( 1 x) ( Fx) ]
(VyHFY B y = xl l
=
ili
Ono jed no i jedino F je identino sa samim sobom.
(3x) [ ( Vy) (Fy B Y = xl
/\
xl
Odreeni opis .
C3xHVyH FY B Y xl
Postoji jedno i samo jedno F.
=
negaciji
-G!1 xHFxJ
- f:3xl l [VyHFY B y xJ I\ Gx!
Nije sluaj da (taj jedin il F j e G.
=
to je n egacija izraza
G (1 xH FxJ
C3xJ [ [VyJ [Fy B y
(Toj F je G.
xJ
1\
Gx!
i s druge strane,
Gh xH FxJ
C3x) [ (VyHFy B y
(To jednoj F je ne G
xJ
1\
Gx!
Logika
samo p redi kat (u tome j e snaga nad-crte, koju sada nakratko i pri
godn o uvod i m o ali je u l iteraturi uobiajena).
Sljedee reen i ce po mom m iljenju jed n oznano pripadaj u
drugoj vrsti :
Autobus koji upravo stie nije prepun.
ovjek u kutu se ne zabavlja .
N e znam gdje s a m stavila klju o d kue.
xl /\ Ox}
xl
/\ Gx}
=
stavila sam x na y, Kx
znam x, a h
xl
/\ Kx}
Odreeni opis .
xl
/\
Gxl }
- (3 xl { ( \fyl ! ( /\ Sy) y
xl /\ Dx}
- (3 xl { ( \fyl [ ( Cy /\ Mybl y
xl /\ Zx}
=
- (3 x) { ( \fy) [ Oyq y
xl
/\
lx}
xl
t\
Vxml
yl
t\
Vxml
iako je
- (3x] [( \f y] (Pyu x
yl
t\
Vxml
Logika
[Prva od tih reen ica doista i mplicira d rugu, ali sljedee dvije, kojih
su gornje ree n i ce i n stancije:
(3x) (Fx 1\ - Gx)
- (3xl (Fx 1\ Gx) .
PREM
PREM
4 (Vy) (FY H y= a) 1\ Ga 1\ - Ga
5 Ga 1\ - Ga
6 - (3x) [ (VyHFY H Y = x) 1\ Gx)
34 0
4 SIMP
2-5 RED
QED
Odreateni opis .
PREM:
(3x) [ (VyHFy H y= xl
(Vy) (Fy H Y = al
- KKL:
bl
i\
=
i\
i\
Gx]
prema ES ( al
prema DN
prema ES (bl
Ga
xl
i\
Gx)
Gb
PREM A:
PREM B:
-KKL A :
- KKL B :
(Vyl (FY H y = al
- Ga
(VyHFy H Y = bl
Gb
PREM B
- Ga
Gb
KKL B
Fa
- Fa
a* a
PREM A. US
X
BS
Fb
- Fb
b= b
b* b
KKL A . US
BS
Fb
b =a
PREM A. US
K
LS
valjano
Prim ijetimo, za kraj, da je obrat nevaljan :
- (3x) [ ( VyHFY H Y = xl
..
(3x) [ (Vy) ( Fy H Y = xl
i\
i\
Gx]
Gx]
kon k luzij i : da
341
Logika
Podsjetn ik
u z deveto
poglavlje
(Onaj) F j e G.
Onaj jedini F j e G.
(1)
G (1 xH Fxl
C 3 x) [ (VyH Fy y
xl
1\
Gxl (n a
Quineov nainl
il i
(3xl [ Fx 1\ (Vy) ( Fy ---+ Y
xl
1\
Gxl (na
Russellov nain)
(21 x je (onajl F.
x je
x
onaj jedini F.
(1 y) [Fy)
(Vy) (Fy Y
xl
ili
Fx 1\ (Vy) (Fy Y
Teore m i
xl
identitetom
xl
x ---+ Fyl
xl (Vy) (y
x ---+ Fyl
xl I Fx 1\ (VyH Fy ---+ y
xl
1\
(V yH (Fy Y
342
xJ J
xl ---+ Fx
xl
1\
Gxl
Odredeni opis .
2.
3.
4.
5.
6.
1\
Fy]
7.
8.
1\
i l i, u jota notaciji,
Gh xl Fx G(1 xl Fx
(ali
ne
i obrnuto).
Pogledajte i Podsjetni k
uz
osmo poglavlje.
I.
Utvrdite teoreme 1 do 6 s gornjeg
popisa teorema, i istinosni m stablom i ded u k
cijom. U rad u barem po jed nom i skoristite
Russelovu i Q u i neovu defin iciju "onog
jedi nog Fti. Pri klad n o je uvijek koristiti ' a ' i 'b'
' '
(pseudoimena, a ne slobodne varijable) u mjesto 'x' i y ,
kako su korite n i u zapisu teorema.
Problemi
u z deveto
poglavlje
343
Logika
sta:
Osoba s kojom sam juer ruala je armantn a i govori
sva h i l i .
Dakle, armantna osoba s kojom sam juer ruala govori
svah i l i .
2.
Pijan ist koji prati Stephena prati samo darovite glazben ike.
Dakle, Stephen je darovit glazbenik.
344
Odreeni opis .
5.
Al ice n i je na prozoru .
7.
Pijan ist koj i prati Stephena prati i Teresu. Dakl e, p ijan ist
koji prati Teresu prati Stephena.
na to pitanje.
9 . Mary j e na prozoru s aom vina. Alice je na prozoru sa
se u sljedeim znaenjima:
(A) Ja poznajem Georgea, i on je zan i m ljiviji od svi h drugih
muka raca koje poznajem .
(B) Ja poznajem Georgea, i n ijedan mukarac kojeg poznajem
Logika
njega.
pa onda i
(F) N itko n ije zan i m lj iviji od samog sebe.
A takoer:
(G) Svatko tko je zan i m lj iviji od nekoga zan i m ljivijeg od nekih
takoer je zan i m ljiviji od tih neki h .
(H) Svatko tko n ije zan i mljiviji o d nekoga tko nije zan i mljiviji
zajedno i m p l iciraju A.
34&
Ddreeni opis .
347
Pogovor
o imenima i varijab lama
Logika
ti li smo 'p ' , 'q ' itd . u mjesto reeni ca, 'x ' , 'y' itd. u mjesto i men ica i l i
imenski h izraza, F 'G' itd . umjesto glagola ili glagolskih izraza. Via
razina openitosti nam n ije bila potrebna. Dijelom i zbog tog razlo
ga, mogl i smo izbjei relativno neuobiajen grki i iril iki alfabet.
Slova koja se koriste kao varijable nemaj u referenta, n ego stoje
u mjesto d rugih si mbola koj i i maj u referente. Ona s u sredstva iji
je cilj odvratiti panju s referenta simbola koj i moe stu piti na nji
hovo mjesto, i svratiti panju na logiku strukturu reenine forme
u kojoj se pojavljuju .
Nesretna je injen ica da se u objanjenjima u potrebe varijabl i
esto poziva na "sistematsku vieznanost". (Zaostatak tog stajali
ta je u korijenjenost pojma 'varijabla', kao da tu neto "varira" ali to?) . 'Sistematska vieznanost' je krivi naziv: u u potrebi vari
jabl i ne bi smjelo biti vieznanosti .
U l i kovnosti i poeziji vieznanost je esto poeljna; u znano
sti i logici n ij e tako. Jednoznana u potreba temeljn i h termi n a bit
je znanstven e knj ige i l i projekta. Su kladno tome, a osobito nakon
Leibn iza i Boolea, logiari se trude govoriti jednoznani m Jezikom
- to je golem doprinos moderne s i m bol ike logike.
Kako vieznaan s i m bol i m a dva i l i vie razl iitih znaenja pa
ga se stoga moe shvatiti na dva i l i vie razliitih naina, on zbu
njuje itatelja. Varijabla ne moe na taj n ai n zbu njivati, budui da
nema vl astita znaenja. Moramo, meutim, paziti da posve j asno
odredi m o doseg varijabl i koje koristimo - jezin i prostor u kojem
i maj u svoj identitet - tako da struktura zakljuivanja n e moe doi
u pitanje. Treba paziti i na druge rijei i simbole u naim reen i
n i m formama, osobito na '', ' 1\ ' i ".
lako sam u prvom poglavlju izbjegla raspravu o u potrebi vari
jabli - tovie pokuala sa m izbjei raspravu o jeziku - pokuala sam
jasno dati do znanja da varijable koritene u obj anjenjima pravila
zakljuivanja, prvo 'taj i taj ' i 'to i to', a zati m 'p ' , ' q ' i Ir', nemaju
referente. Pravila bi trebala univerzalno vaiti . Stoga se u mjesto tih
varijabl i moe staviti bilo koja reen ica koja nas zan i ma .
U tekstu i u zadacima z a itatelja koristi la sam primjere, jed
nostavne reen ice poput "Henry je u kuhinji" i l i " Pada kia". Vjeru
jem da e itate lj shvatiti da je rjeavajui te zadatke samo vjebao,
'
1350
',
Pogovor .
351
Logika
Pogovor .
lj ude.
Pseudoime gl u m i da j e ime u jednom uskom prostoru - trajanj u
zaklj u ka - a l i ga se mora e l i m i n i rati prije nego se doe do vrste
kon kluzije. Njegov referent je fikcija, usporediva s OthelIom i l i
Pepelj u gom .
Pse u doi mena su potrebna za dva pravila s ogran ienj i ma u
teorij i kvantifi kacije, UG (un iverza l n u general izacij u ) i El (egzisten
cijal n u i nstancijacij u ili p rav i l o i menovanja) . U G n a m omoguuje
da generaliz i ramo iz pseudoimena koje smo ispravno uveli j ame
i ti me da ono ne predstavlja poseban sluaj. UG ne doputa d ruge
ge neral izacije.
Kazalo
(svi ) 1 5 9, 1 6 1 , 1 7 2
formule, 2 4 8
( n e k i ) vidi egzistencijal n i iskaz, 1 60
formule, 2 4 8
3'<;1 / '<;1 3
razl i kovanje, 2 4 9 , 2 6 1 - 2 6 4
(to, jedno i jedino) vidi opis, jata notacija, 3 1 9 - 3 2 3
(dakle) vidi zakljua k, 2 2 , 1 2 7
(ne) vidi negacija, 4 2 - 4 7
(jest, identian je sa) vidi identitet, 2 94 , 3 2 2- 3 2 3
of:.
/\
( i l i ) vidi d i sj u n kcija, 4 8 - 5 2
355
Logika
ADJ u n kcija, 3 8 - 3 9
-107
AKKO (ekvival entnost) , 9 1 - 9 2
Davidson, D o n a l d , 3 4 9
De Morga n , Au gustus, 8 9 , 1 2 4
De Morga n ovi za ko n i , 61 , 8 9
1 00-1 0 1
A KO (ekvivalentnost), 5 5 , 8 3
A KO (isti n osna tab l i ca), 8 4
AKO (pravi lo z a isti nosna stabla),
99
a ksiom identi teta sa sa m i m
sobom ( Bl, Butlerov zakon ) ,
2 9 5 , 3 36- 3 3 7
A n d e rson , John M . , 2 7
antecedens, 2 0- 2 1
anti l ogiza m , 1 36
Aristote l , 44, 1 24 , 2 3 1 , 3 5 1
aristotelovska tradicija, 1 5 9 , 1 66- 1 68, 1 7 1 - 1 7 3 , 1 82 , 2 3 1 , 2 4 1 ,
299-300
Bergman n , Merrie, 2 7
beskonana stabla, 2 7 7 - 2 8 1
B izet, Georges, 1 2 6
B l u mberg, A l bert, 2 7
Bohnert, H erbert, 8 7
B oole, George, 1 24 , 3 5 0
broj jedan, 2 9 7 , 2 9 9 - 3 0 5
B S (Butlerov zakon z a istinosna
stabla), 305
B u tl e r, Joseph, 2 9 2
Bl ( B utl e rov zako n , i l i aksiom
identiteta sa sa m i m sobo m ) ,
295
Carro l l , Lewis, 2 3 3
c i k l i ka zastavica, 2 5 2
356
298
d e d u kcija, 1 2- 1 3
vidi takoer prezentacija
d ed u kcija
deklaracija n a pa kira n j u , 29, 66-67
D I (dokaz po i m p l i kacij i ) , 1 3 , 2 5
D I Lema, 48-49, 5 7
d i lema, 1 3 , 48-50, 5 8
d isju n kcija, 48-50
NE
dokazi e kvivalentnosti , 60-6 1 , 84,
88
doseg kvantifi katora, 1 6 1 , 1 85 - 1 89, 204, 2 1 6- 2 1 7 , 2 5 6-260
dovrena dedu kcija, 1 69, 1 7 5 - 1 76
d r u gost, 2 4 8 - 2 4 9 , 2 69, 2 9 1 - 2 9 4 ,
297
dvostru ka zastavica, 1 7 5 , 1 78 ,
1 92 , 2 2 3 , 2 5 1 , 2 5 2
E G (egzistencijalna generalizacija),
1 66
egzistencijalna teina, 2 3 1 -2 3 2 ,
33 3-334, 338
egzi stencija l n i i s kazi , 1 65 - 1 6 7 ,
1 99-200
Kazalo .
El (egzistencijal na i n sta ncijacija i l i
pravilo i menovanja), 1 69 , 1 99
ekvivalencija, 5 2 , 5 9 , 89-90
e kvivalentnost, 4 6 , 5 9 - 6 1 , 2 5 7
identitet, 3 2 , 2 9 1 - 3 1 7 , 3 2 3
ekvival entnosti
sobom
ekvival e ntnosti , 6 1
i mena, 1 6 1 , 1 6 9 , 1 99-200, 2 0 8 ,
1 04 , 1 80- 1 8 2
3 5 2- 3 5 3
E L i M i nacija, 6 3
i menovanje, pravilo, 1 6 9
vidi takoer E l
2 9 2 , 308
i m p l icitna negacija, 1 04 - 1 05 , 2 0 3
i mpl i kacija, 2 1
e nti mem, 1 3 7
egzistencijalnih iskaza), 2 0 1
formal izacija, 1 0, 2 1 , 2 3 , 1 2 2 - 1 2 5 , 1 2 9 - 1 30, 1 5 8 , 1 66
s i d e ntiteto m , 2 9 9 , 3 02-306,
u
i m p l i kacija
i nd i rektn i dokaz (red u ctio ad
absu rd u m), 1 3 , 1 8, 4 2 , 1 08 ,
110
i n d u kcija, 1 8- 1 9
3 1 9-3 2 3 , 3 3 7 - 3 3 9
i n konzistentne premise, 2 30
i n konzistentnost, 1 8, 2 2 , 9 5 , 1 3 6 ,
2 1 6- 2 1 8, 2 2 1
u l ogici relacija, 2 4 2 -2 4 7 , 2 5 6,
2 6 1 -264, 2 7 1
292, 305
i n stancije, 5 2 - 5 4 , 1 5 8 , 200-201
i nternalizacija negacije, 1 0 2 - 1 0 3 ,
1 83 , 202
Ish i gu ro , Hide, 2 9 3
Gentzen, Gerhard, 5 0
1 08 - 1 1 2 , 1 2 6 - 1 2 7, 1 2 9
hipotetiki si l ogiza m , 2 8
h ipoteti ko za kljuivanje, 1 8
ispitivanje valjanosti, 1 1 - 1 2, 8 1 - 8 2 ,
I (istinosna ta b l ica), 8 5
I (pravi lo za istinosna stabla), 9 4
9 2 - 94 , 1 01 - 1 02 , 1 08 , 1 09 - 1 1 1
isti na, 9 , 1 1 2
357
Logika
Leutz, E ma n u e l Gottlieb, 1 02
istinosne fu n kcije, 8 2 , 1 5 7
istinosne tabl ice, 8 2 - 9 4 , 1 1 2
-337
Jeffrey, R i c h a rd C , 94, 1 03 , 1 26,
252
Joh nson, Charles, 1 88
Joh nso n , W. E . , 1 7 3
Johnstone, H e n ry w., 2 7
jota notacija, 3 1 9 - 3 2 3
KN (kvantifi kacijska n egacija), 1 80
K N ' (aristotelovska KN), 1 8 2
kon kl uzija, l l , 1 7 - 1 8
vidi
konsekve ns, 2 0- 2 1
kontrafakti na i m p l i kacija, 1 2 6-1 27
kontrapozicij a, 74, 90
konzistentnost, 9 5 -96, 1 0 1 - 1 0 2 ,
1 08, 1 3 5 - 1 36
konju n kcija, 3 7-4 1
Kri pke, Sau l , 3 4 9
kvantifi kacija, 1 5 8
kvantifi kacijska n egacija, 1 80- 1 83
kvantifi katori, 1 5 9 - 1 6 1
vidi
K-ZAM ( kvantifikacijska
ZAMjena), 1 6 3 , 1 79
Ladd-Fra n kl i n , Christine, 1 3 6
Lam bert, Kare l , 1 65
LANAC, pravi lo, 28- 30, 62
358
Kazalo .
N e l son , Jack, 2 7
pogreka, 2 4 , 1 06 - 1 0 7 vidi
takoer potvrivanje
konsekvensa, u n a krsne
zastavice, c i k l i ka zastavica,
n egacija antecedensa ,
dvostru ka zastavica,
n eovlateno ponavljanje vidi
N I (e kviva lentnost) , 8 9
takoer prepoznavanje
pogrea ka
opravdanje, 2 9 , 3 6 , 70- 7 2
- 1 00, 1 0 2 - 1 0 3 , 2 0 1 , 3 0 5 - 3 08
osi m a ko, 1 2 5
243-244
359
LDgih
pre m i se, 1 0- 1 1 , 1 7 , 1 9, 2 6
premise u igri , 2 6 , 3 9
preneksna forma, 1 8 5 , 2 2 6- 2 2 7,
2 5 9-260, 2 9 8
pretpostavke, 1 0- 1 1
prezentacija dedukcija, 69-72
primjer i zakljuaka, 23, 3 1 , 6 2
prirodna dedu kcija, 1 2
p rotupri mjer, 8 1 , 9 2 , 1 08, 1 3 4 -135
PV (promjena varijable), 1 63 , 1 79
Q E D (quod erat
demonstrandom), 2 9 , 6 8 , 1 7 5
Quine, Willard Van Orman, 2 7 ,
8 5 , 9 4 , 1 2 6 - 1 2 8 , 1 3 6 , 1 60,
-35 1
SIMPlifi kacija,
37
singularni i s kaz, 1 66 - 1 6 7 , 1 6 9 ,
2 9 9 - 3 00
slobodne va rijable, 1 6 1 , 2 4 3 ,
294, 3 5 1
dedukCiji,
1 3, 32-35,
4 3 , 5 0, 5 6 - 5 7 , 1 3 8 - 1 40, 1 9 2 ,
24 7 , 2 6 2 , 3 3 0
sumarna ko n k l u zija, 1 3 , 2 5- 2 7
TANjenje, 4 8 , 5 0- 5 1
1 6 9, 1 7 1 , 1 8 5 , 1 88 , 3 2 1 , 342,
tautologija, 5 3 , 1 06 , 1 08 - 1 09
349
telesko p i ranje, 1 2 8, 1 3 1
REDuctio ad absurd u m , 4 2
TEOREM, 5 2 - 5 5 , 7 5 - 7 6
teore m i , 1 1 , 3 3 , 4 4 , 46-4 7 , 5 2 -
262-26 4
rupe u za kljuku, 1 3 2 - 1 3 3
Russe l l , Bertra nd, 1 5 9 , 3 1 9, 3 20,
3 2 1 , 324, 342
Sacco, N i ccola, 3 3 3
samo, 2 2 , 3 0 2 - 3 0 3 , 3 2 7
samo a k o , 2 2 , 1 2 5 , 3 2 7
s i l ogiza m , 1 3 6 , 1 5 9 , 1 6 7 , 20 5
360
s i m bo l i , 1 0, 2 1 , 2 3 , 8 1 , 1 2 2 , 3 5 0-
- 5 3 , 1 08 - 1 09 , 1 3 9
popisi, 7 3 , 1 4 6, 3 4 2 - 3 4 3
UG (un iverzalna genera l i zacija),
1 72
Kazalo .
Ul ( u n iverza l na i nsta ncijacija),
1 62
u n iverza l n i iskazi, 1 5 9, 1 6 6
US ( p ravi l o za isti nosna stabla za
u n iverzalne iskaze) , 2 0 1
valjanost, 9, 1 1 - 1 2 , 1 5 , 1 9, 5 3 ,
8 1 , 1 08
vi eznanost, 3 8 , 4 8 , 68-69, 2 3 2 ,
2 4 8 , 2 6 1 - 2 6 2 , 3 2 0 , 3 3 7-340-350
za klj uak, l l , 1 9, 8 1
zakljuivanje, 1 0 , 1 3
ZAMjena e kvivalenata, 4 6 , 5 9-6 1 ,
1 63 , 1 7 9
zastavica, 1 69 , 1 7 1
361
UOK
- Zag reb
1 64
leigh S.
Uvod u logiku prvog reda I Le i gh S. Cauman ; <preveo
Ognjen Strpi>. Zagreb : Naklada Jesenski i Turk 2004 .
(Filozofska bib lioteka l
CAUMAN.
I. M at mati ka
44 1 0 1 B 1 56
117
Nakon dueg vremena u hrvatskom se prijevodu pojavio udbenik iz suvremene logike (logike prvog reda). Koliko mi je poznato, posljednji prijevodi
knjiga slinog sadraja objavljeni su jo osamdesetih godina prologa stoljea (ili ranije) i davno su postali zastarjeli ili nedostupni. Postoji nekoliko
knjiga domaih autora novijeg datuma, koje su, opet, ili teko dostupne
irem itateljstvu ili vie prilagoene srednjokolskoj razini, pa ne pruaju
obuhvatniji prikaz podruja. Ve je i zato objavljivanje Uvoda u logiku prvog
reda, ime se barem dijelom ukidaju spomenuti problemi, pohvalno. Prijevod knjige je dobar, a koritena je danas, vie ili manje, prihvaena terminologija.
Knjiga je namijenjena, kako autorica u predgovoru istie, uvoenju inteligentnih mukaraca i ena u naela i notaciju moderne simbolike logike,
te bi im trebala pomoi da koriste ta naela i provode tu disciplinu na drugim mjestima. Za razliku od slinih uvoda u kojima autori tvrde kako knjiga
ne pretpostavlja prethodno znanje logike ili da je primjerena za itateljevo
samostalno upoznavanje s njom, a to se ve na prvim stranicama obino
pokae netonim, Cauman je ostvarivanje takve pedagoke odlike uistinu i
polo za rukom.
itatelji upoznati s Quineovim Methods of Logic brzo e uoiti slinost
Uvoda s tom knjigom. Ona nije sluajna. Autorica upravo Methods istie kao
rad ija joj je struktura posluila pri oblikovanju Uvoda. Utoliko se Uvod u
logiku prvog reda moe upotrijebiti i kao uvod u tu Quineovu knjigu. Sadrajno, Uvod je vie ogranien. Tako, za razliku od Methods, Cauman u svojoj knjizi ne obrauje metateoriju, te se usredotouje iskljuivo na logiku u
quineovskom smislu (ne razmatrajui brojeve, skupove i sl.).
Knjiga je podijeljena u etiri dijela (tj. devet poglavlja). U uvodu su neformalno objanjeni osnovni logiki pojmovi poput premise, zakljuka,
teorema, valjanosti, i sl., te metode kojima e se sluiti u knjizi. Prvi dio
Uvoda, Logika istinosnih funkcija, bavi se logikom na razini iskaza. U
prvome su poglavlju uvedeni osnovni logiki veznici, te pravila izvoenja.
Metoda koju autorica razvija u tom poglavlju jest prirodna dedukcija. Drugo
poglavlje uvodi metode ispitivanja zakljuaka: istinosne tablice i istinosno
stablo. Prvi dio zavrava poglavljem koje se bavi pitanjem ocjene zakljuka,
pri emu se koriste i dedukcija i istinosno stablo. U drugome se dijelu, Logika predikata, iskazna logika proiruje na logiku predikata, tonije na monadinu predikatsku logiku koja doputa samo jednomjesne predikate. U
etvrtom je poglavlju uvedena teorija kvantifikacije. Pravila izvoenja iz
prvoga poglavlja upotpunjena su pravilima za logiku predikata, te je razmotrena dedukcija s kvantifikatorima. Ista je stvar u narednom poglavlju
118
Prolegomena 4 (1/2005)
uinjena s metodom istinosnog stabla. Trei dio, Logika relacija, predstavlja proirenje monadine predikatske logike na logiku relacija, ime su uvedeni i viemjesni predikati. To, opet, iziskuje daljnja upotpunjenja pravila
ranije koritenih metoda. U estom je poglavlju tako prirodna dedukcija prilagoena viemjesnim predikatima, a u sedmom je isto uinjeno s istinosnim
stablom. Filozofijski najzanimljiviji, etvrti dio, Identitet i opis, u posljednja
dva poglavlja obrauje logiku identiteta (tj. logiku relacija proirenu pravilima za identitet), pri emu su razmotrena neka formalna svojstva identiteta
zajedno s dedukcijom i istinosnim stablom, dok se deveto poglavlje na isti
nain bavi odreenim opisima. Knjiga zavrava kraim pogovorom gdje je
ukratko razmotreno pitanje uloge i upotrebe varijabli i imena.
Uvod je pisan pristupano. Odlikuje ga postupno i strpljivo razvijanje
ideja potkrijepljeno dostatnim brojem primjera. To je za posljedicu imalo da
stvari koje drugi autori nerijetko izlau na svega nekoliko stranica, Cauman
razvija ak i kroz vie poglavlja. Kada se u kasnijim dijelovima knjige obrauju stvari koje izravno pretpostavljaju ranije uvedene ideje (prvenstveno
pravila), autorica ih se ne ustruava sve ponavljati. Tim je izbjegnuta potreba
za itateljevim prelistavanjem ranijih dijelova knjige u potrazi za pretpostavljenim idejama, te je omoguen kontinuitet u slijeenju novog sadraja. No
to, kao i autoriina postupnost, nikada ne prelaze u zamorno ponavljanje ili
odugovlaenje. Svako poglavlje prate zadatci, nerijetko preuzeti od drugih
autora (poput Quinea ili Carrolla), i, to je posebno korisno, saetak (podsjetnik) kljunih ideja uvedenih u tom poglavlju.
Autorica u knjizi nije izbjegavala neformalna objanjenja koja su u
udbenicima logike ponekad svedena na minimum u korist formalizma. Ima
li se na umu tip itatelja kojemu je takva vrsta knjiga prvenstveno namijenjena, takav je autoriin pristup svakako poeljniji. Neformalna objanjenja
osposobljavaju i ne tako paljivog ili nadarenog itatelja da se uhvati u
kotac s naknadnim formalnim dijelovima. Jasnoi Uvoda pridonio je i autoriin izbor da u raspravi izostavi metateoriju, koja je u knjizi svedena na
svega nekoliko usputnih opaski. Time je izbjegnuta potencijalna pomutnja
koju bi paralelno izlaganje logike i njezine metateorije moglo uzrokovati pri
poetnim upoznavanjem s podrujem. Metateoriju je bolje uvesti nakon to
je sama glavnina logike svladana, jer je tada lake pojmiti njihov odnos, a
ujedno se smanjuje i mogunost njihova mijeanja.
Na kraju bih panju skrenuo na svojevrsni propust koji je uinjen u
knjizi. Naime, ne postoje savjeti o prikladnoj literaturi za daljnje itanje, to
bi se ipak trebalo oekivati od knjige ovoga tipa. To bi bilo od znatne koristi
onima koji ele nastaviti svoje istraivanje. Dodue, autorica se kroz knjigu
vie puta poziva na radove drugih autora, no uvijek u kontekstu neke specifine toke u radu, a ne s ciljem savjetovanja za daljnje bavljenje temom i ne
uvijek na najprikladnije radove za poblie upoznavanje s njom. Izuzetak su,
naravno, kroz knjigu vie puta spominjane Quineove Methods of Logic, koje
su svakako dobar poetak za nastavak istraivanja. Unato tome, sustavni
119
popis literature ne bi bio na odmet, posebice danas, kada je itatelju ponueno nepregledno mnotvo logike literature, poevi od raznih uvoda i
pregleda podruja, pa sve do specijaliziranih rasprava ija pristupanost i
opseg znatno variraju.
Uvod u logiku prvog reda korisno je izdanje koje e se, vjerujem, takvim
pokazati i u praksi. Knjiga je dobar poetak za upoznavanje sa suvremenom
formalnom logikom, te pregledan podsjetnik onima koji su s disciplinom ve
upoznati.
Duan Doudi
Hrvatski studiji Sveuilita u Zagrebu
Ulica grada Vukovara 68, HR-10000 Zagreb
ddozudich@yahoo.com