Professional Documents
Culture Documents
LOGIKA Fax1god
LOGIKA Fax1god
Kolegij: Logika I
Nositelj kolegija: Dr. sc. Majda Trobok
Sadržaj:
sudovi
argumenti
dijagramiranje argumenata
istinitost i valjanost argumenta
argument/objašnjenje
tablice istinosne vrijednosti
LOGIKA
- Bavi se analizom metoda i principa koji nam sluţe da bi smo razlikovali pravilno od nepravilnog zaklju čivanja.
- Logika se bavi samo zaključivanjem = logičko zaključivanje. Ujedno, bavi se pravilima zaključivanja odvojenih od
nas.
Zaključivanje – proces u kojem dolazimo do jedne propozicije, na osnovi čega jednu ili više propozicija uzimamo
kao polaznu točku u tom procesu.
Propozicija ↔ Izričaj bilo što što se pismeno ili usmeno izriče, imalo smisla ili ne.
Rečenica je uvijek vezana za jezik. Rečenica moţe imati različite sadrţaje. Propozicija je sadrţaj i nije vezana za jezik.
Npr.: pada kiša, deţuje, it´s reining, piore = 4 rečenice koje imaju istu propoziciju.
Logika se bavi isključivo rečenicama koje izraţavaju istinit ili neistinit sud/propoziciju.
Nas zanima rečenica i propozicija.
Primjer zadatka:
Koje od sljedećih rečenica izraţavaju istu propoziciju?
1
PROPOZICIJA – sud
ANALITIČKI sud – akko i ondda ako ne moţe biti laţan, odnosno, ako je istinit samo na osnovi strukture i
značenja termina kojeg sadrţi.
SINTETIČKI sud – ako istinitost suda ne ovisi samo od sinteti čke strukture i značenja termina koji sude, već od
drugih sadrţaja.
LAŢAN sud – nije istinit i slučajno je laţan.
KONTRADIKTORAN sud – logički je nemoguć.
Primjer sintetičkoga suda: 1. Sokrat je umro 399.g pr.n.e. ili nije umro 399.g pr.n.e.
2. Sokrat je umro 399.g pr.n.e.
1 je istinit sud, ne moţe biti laţan
2 je kontigentan sud, slučajno istinit (moţe biti i laţan)
Primjer laţnog suda: Sokrat je umro 200 g pr.n.e. - slučajno je sud laţan.
Primjer kontradiktornog suda: Sokrat je umro 399.g pr.n.e. i nije umro 399.g pr.n.e.
A ∧¬A = nemoguće
Primjer zadatka:
odredite koje su propozicije:
1. logičke
2. sintetičke
3. laţne
4. kontradiktorne
2
TABLICE ISTINOSNE VRIJEDNOSTI
KONJUNKCIJA
A B A∧B
⊤ ⊤ ⊤
⊤ ⊥ ⊥
⊥ ⊤ ⊥
⊥ ⊥ ⊥
DISJUNKCIJA
A B A∨B
⊤ ⊤ ⊤
⊤ ⊥ ⊤
⊥ ⊤ ⊤
⊥ ⊥ ⊥
IMPLIKACIJA
3
A B A→B
⊤ ⊤ ⊤
⊤ ⊥ ⊥
⊥ ⊤ ⊤
⊥ ⊥ ⊤
EKVIVALENCIJA
- bikondicional.
- A akko B, A ondda B.
A B A↔B
⊤ ⊤ ⊤
⊤ ⊥ ⊥
⊥ ⊤ ⊥
⊥ ⊥ ⊤
- Ekvivalencija je istina jedino u slučajevima kada su oba ekvivalenta ili istina ili neistina.
NEGACIJA
Načini pisanja: ne A, ¬ A, ~ A.
A ¬A A ¬A
⊤ ⊥ ili 1 0
⊥ ⊤ 0 1
4
ARGUMENT
- Skup propozicija u kojem jedna propozicija, koju zovemo konkluzija, logi čki slijedi iz ostalih premisa. Tada
kaţemo da je argument dobar/valjan.
- Skup premisa moţe biti jednočlan i višečlan.
ENTIMEMI – argumenti koji su nepotpuni. U njima nedostaje jedna ili više premisa, ili konkluzija.
Primjeri:
- Ne postoji dakle, niti jedan labud koji nije ptica, pošto su svi labudovi ptice.
- Protivnik sam eutanazije. Nikada neću prihvatiti ubijanje pacijenata od strane liječnika.
Označitelji konkluzije: dakle, stoga, slijedi da, što implicira da, i sl.
Označitelji premisa: pošto, s obzirom da, slijedi iz, jer, zato što, i sl.
Primjeri:
- Niti jedna dobra stvar ne donosi štetu svom vlasniku. Bogatstvo me đutim, često šteti svom vlasniku.
5
- Ivica je liječnik, stoga zasigurno zna izmjeriti tlak.
Primjeri zadataka/označitelji:
- Smatram da je prohibicija teških droga potpuni promašaj. U tu svrhu citirati ću valove ubojstva od strane
preprodavača droga u gradovima kao što su Washington i New York, opterećenost drţavnih i federalnih sudova i
zatvora zatvorenicima vezanih za drogu, politi čki razdor Kolumbije i korupcija svuda u svijetu koja je vezana za
drogu.
Primjer:
- Svjetlost koja nam stiţe s dalekih galaksija krenula je s njih prije milijuna godina, i u slu čaju najudaljenijeg objekta
kojeg smo vidjeli. Svjetlo je krenulo prije osam tisu ća milijardi godina. Dakle, kada gledamo Svemir vidimo ga kakav
je bio u prošlosti.
Pr1: SVE
K: Kada gledamo Svemir vidimo ga kakav je bio u prošlosti.
Primjer:
- Poglavica američkih Indijanaca u Rimu je iz aviona izašao obu čen u plemensku svečanu odjeću i objavio u ime
američkih Indijanaca prisvajanje Italije pošto zemlja pripada onome tko je otkrije, kao što je to sa Amerikom
učinio Kolumbo. Poglavica je tom prilikom izjavio: “Današnji je dan Dan otkri ća Italije. Koje je pravo imao
Kolumbo da objavi otkriće Amerike, koja je stoljećima prije toga bila naseljena? S jednakim pravom ja dolazim u
Italiju i proglašavam je otkrivenom.”
6
DIJAGRAMIRANJE ARGUMENATA
Primjer:
- Leibnitz: “Argumenti jednostavne supstancije moraju postojati jer postoje sloţene supstancije.”
Dijagramiranje:
- iz čega slijedi
2. [Jednostavne supstancije moraju postojati]
2 - konkluzija
Primjer:
- Protivno onom što mnogi ljudi misle pozitivan test na HIV ne zna či nuţno smrtnu presudu. Prvo stoga što je
vrijeme koje je potrebno od razvijanja antitijela do kliničkih simptoma u prosjeku 10 godina. A drugo, što mnoga
izvješća danas sugeriraju da značajni broj ljudi kojima je test na HIV pozitivan nikada ne razviju klini čki AIDS.
1 [Protivno... presudu]
2 Stoga što je [vrijeme... 10 godina]
3 [mnoga izvješća... klinički AIDS]
K: 1
premise: 2, 3 2 3 2 3 2 3
konkluzija: 1 ili ili ili
1 1 3 2
1 1
- Svaki razlog je dovoljan sam za sebe da bi se zaklju čivala konkluzija. U ovom slučaju, to je argument s dvije
nezavisne premise.
7
Primjer:
- Starije ţene imaju manje slobode protiv seksualnog napastovanja na radnom mjestu ili da napuste nasilnog muţa,
zato što diskriminacija starijih osoba znači da neće moći lako naći druge načine uzdrţavanja.
1 2
PREPOZNAVANJE ARGUMENATA
Primjer:
- Stoga mu je ime Babel, jer je ondje Jahve pobrkao govor svima u onom kraju i odande ih je Jahve raspršio po svoj
zemlji.
Argument Objašnjenje
Primjer:
- Svaki fetus ima pravo na postojanje. Ako je fetus neduţna ţrtva ako se radi o abortusu za vrijeme trudno će koja
nastaje u običnim okolnostima je li išta manje neduţan ako je začet za vrijeme silovanja ili incesta?
8
Primjer:
- Crna je jama objekt s toliko gravitacije da je ništa ne moţe izbje ći, niti svjetlost, najbrţa stvar u Svemiru. Sve što se
pribliţi crnoj jami biva povučeno i nestaje kao da je palo u rupu. Pošto je niti svjetlost ne moţe izbjeći jama izgleda
crna.
OBJAŠNJENJE
- Volim muziku Wagnera više od ostalih. Stoga što je toliko glasna da je mogu će pričati s nekim cijelo vrijeme bez
da se čuje što osoba govori.
OBJAŠNJENJE
- [1Sabirajte sebi blago na nebu, gdje ga ni moljac ni rđa ne izgriza, gdje lopovi ne prokopavaju zidova i ne kradu.]
[2Jer, gdje ti je blago, tu će ti biti i srce.]
ARGUMENT
2
ISTINITOST I VALJANOST
ARGUMENTA
Primjer deduktivnog:
Pr: Svi ljudi su smrtni ljudi
Pr: Sokrat je čovjek - nuţno slijedi konkluzija
K: Sokrat je smrtan Sokrat
Primjer induktivnog:
Pr: Većina studenata uči studenti uče
Pr: Ana je studentica
K: Ana vjerojatno uči Ana
9
Primjer:
Zaključak: dodavanjem Pr mijenjamo vjerojatnost argumenta. Kod deduktivnog - argument ne moţemo oslabiti.
Argument je valjan ako K nuţno slijedi iz premisa. Pojam valjanosti se ne primjenjuje na induktivni argument.
Primjer:
Svi sisavci imaju pluća. ⊤ sisavci pluća
Svi su kitovi sisavci. ⊤ Venn-ov (objašnjenje)
Svi kitovi imaju pluća. kitovi
Argumen je valjan.
Primjer1:
Argument je valjan.
Primjer2:
10
Primjer3:
Kada bih Vimao sve vrijednosti zlatarne Tiffany, bio bih Bbogat.
VNemam sve vrijednosti zlatarne Tiffany.
- Kada dokazujemo valjanost K – traţimo PROTUPRIMJER. U ovom primjeru su sudovi istiniti ali argument nije
valjan jer, iako je K istinita nije nuţno da nije bogat.
Primjer4:
Primjer5:
- Protu-primjerima smo dokazali da K ne slijedi nuţno iz Pr, odnosno, moţe, u ovom slu čaju, slijediti četiri
različita zaključka.
Primjer6:
11
Valjani argument moţe biti izveden:
1. ⊤Pr i ⊤K
2. ⊥Pr i ⊤K
3. ⊥Pr i ⊥K
4. ⊤Pr i ⊥K – nije moguće
Primjer1:
Protuprimjer:
Treba biti:
Korisnost Korisnost
Knjige - nema nuţnosti Knjige - nuţnost
Dragocjenost Dragocjenost
Primjer2:
Neki su filozofi logičari.
Budisti su filozofi. - nekorektan primjer
Neki su budisti logičari.
- Argument nije valjan. K “Neki su budisti logi čari” ne slijedi nuţno iz premisa.
Primjer3:
Protuprimjer: K S L
12
Primjer4:
Protuprimjer: Nespretne stvari
Neki su ljudi nespretni.
Sve su glupe stvari nespretne. Glupe stvari
Neki su ljudi dakle glupi. Ljudi
Primjer5:
Sisavci
- Argument je valjan.
- U prvoj Pr nema zajedničkih elemenata u M. S i P imaju zajedničkih elemenata. Obzirom da P i M nemaju
zajedničkih elemenata, ono što je zajedničko u S i P disjunktno je sa M.
- Ne podrazumijeva se u logici da neki nisu znači da neki jesu. Različno je od uobičajenog govora.
Primjer6:
M M M S
Načini: P P S P
S
- Argument je valjan.
Primjer7:
P
Sve mačke su psi. M S
Neki sisavci su mačke.
Neki sisavci su psi.
13
Primjer8:
Protuprimjeri: R G R
Ţ G Ţ
Primjer9:
- Argument je valjan.
- K slijedi nuţno iz premisa. Postoje elementi u M koji nisu u P.
Primjer10:
- Argument je valjan.
- K slijedi nuţno iz premisa. Svi elementi iz G su u Cs.
14