Professional Documents
Culture Documents
duh.
- Kao prvotno znaenje uzima se govor, ali logiku ne zanima bilo
kakav govor, nego samo onaj koji ima neki smisao te moe biti istinit
ili neistinit.
- Logika je filozofska disciplina o oblicima valjane misli i o
metodama spoznaje.
METODE SPOZNAJE:
- Analiza
- Sinteza
- Indukcija
- Dedukcija
- Apstrakcija
- Generalizacija
POVIJEST LOGIKE:
Logika je filozofska disciplina koja je nastala na podruju antike
Grke u 4.stoljeu prije Krista. Njezini tvorci bili su starogrki filozofi,
a najzasluniji je Aristotel, tvorac formalne logike.
Za razvoj logike zasluni su i filozofi megarsko-stoike kole koji su
prouavali deduktivno zakljuivanje, pa se njihova logika naziva
Deduktivna logika.
Kroz srednji vijek se formiralo miljenje da se u logici ne moe
stvoriti nita novo-radi se o sustavu kojemu nita ne manjka.
Razvoj misli u 19.i 20.stoljeu opovrgnuo je miljenje da se na
podruju logike ne moe uiniti korak naprijed. Dolo je do razvoja
Induktivne logike koju su razvili eng. logiari, posebno J. St. Mill.
Nacrt takve logike nalazimo ve u 17.st kod filozofa F. Bacona.
Poela se razvijati i Simbolika logika (matematika logika)-eng. i
njem. filozofi 19. i 20.st. G. Boole, G. Frege, B. Russell.
VALJANI OBLICI LJUDSKE MISLI SU: pojam, sud i zakljuak.
1. POJAM
- najjednostavniji oblik ljudske misli i zato se on u logici prvi
prouava.
- misao o biti predmeta, tj. misao o bitnim karakteristikama
onoga to mislimo.
NEZADOVOLJAVAJUE LOGIKE TEORIJE POJMAa)formalistika pojam je element suda
PODJELA POJMOVA:
A) PO VLASTITIM OBILJEJIMA:
1. JEDNOSTAVNI I SLOENI
-jednostavni pojmovi koji imaju samo jednu sadrajnu oznaku
(uto, slatko)
- PODVRSTE:
a) KONTRARNI (SUPROTNI) POJMOVI
(toplo/hladno- toplina ,mlad/star- ivotna dob)
b) LIIDBENI
- liiti oduzeti
- odnose se na ono to je ivo
- jedan pojam govori o nedostatku drugog
Pravilan hod - epanje
Pismen nepismen
c) RELATIVNI (ODNOSNI) POJMOVI
- jedan ne ide bez drugog
Djed-unuk ne moe biti unuk ako nema djeda, a djed nije ako nema
unuka
Branitelj- branjenik
7. KONTRADIKTORNI (PROTURJENI) POJMOVI:
- pojam A je negacija pojma B
- lijepo nelijepo ima vei opseg od runo
- lijepo runo - kontrarnost
Najopenitiji pojmovi
Najopenitije oznake koje pripadaju svim pojmovima.
ARISTOTELOVE KATEGORIJE
- najopenitije pojmove ili najopenitije naine postojanja bitka nazvao je
kategorijama.
1.Supstancija
2.Kvantiteta (kolikoa)
3.Kvaliteta (kakvoa)
4.Relacija
5.Mjesto (Gdje?)
6.Vrijeme (Kada?)
7.Poloaj
8.Imanje
9.Djelovanje
10.Trpnja
KANT 12 kategorija
- Kolikoa: jedinstvo
mnotvo
ukupnost
- Kakvoa: stvarnost
negacija
limitacija
- Odnos: supstirentnost i infirentnost
uzronost i ovisnost
razmjer (recipronost)
- Nain: postojanje
mogunost
nunost
SUD
-svaki smisleni skup pojmova kojim se neto tvrdi ili nijee. Moe
biti istinit ili neistinit.
Npr. ovjek je smrtan. Kamen nije ivo bie.
- ako kaemo da je sud spoj pojmova, to ne znai da je svaki spoj pojmova
sud jer moemo rei, npr. zeleno drvo to je spoj pojmova, ali nije sud.
Sud se izraava reenicom, ali ni svaka reenica nije sud. Npr. Kuda hoda? to je
reenica, ali nije sud. Svaka reenica nije sud, dok je svaki sud reenica.
NEGACIJA
Za sud kaemo da je negacija drugog suda ako ono to jedan tvrdi, drugi
negira.
Negaciju suda A oznaavamo sa A i itamo ne A, nije A.
Ako je sud istinit njegova negacija je neistinita i obrnuto, ako je sud
neistinit, njegova negacija je istinita.
Istinit: Kia pada.
Neistinit: Nije istina da kia pada.
Tablica:
KONJUNKCIJA
Ako su A i B sudovi, tada sloeni sud A i B povezujemo istim znakom tj A
B nazivamo KONJUNKCIJOM sudova A i B i itamo A B (i ili et).
Sud A B je istinit onda i samo onda ako je i sud A istinit i ako je i sud B
istinit.
DISJUNKCIJA
UKLJUNA ILI INKLUZIVNA DISJUNKCIJA ako su A i B dani sudovi, tada se
sloeni sud A i B naziva disjunkcijom sudova A i B. Disjunkciju sudova A i B
oznaavamo sa A V B, a itamo A vel B.
- Istinita ako je barem jedan od sudova istinit. Neistinita je ako su oba
suda neistinita.
Ivan je spor ili lijen.
Ivan je spor. Ivan je lijen. ISTINIT
Ivan je spor. Ivan nije lijen. ISTINIT
Ivan nije spor. Ivan nije lijen. - NEISTINIT
Tablica:
EKSKLUZIJA, Sheffer ( )
Neistinit samo kada su oba suda istinita.
Istinit kada je barem jedan sud neistinit.
Primjer: Nije istina da i sjedim i piem.
Sjedim. Piem. NEISTINIT
Sjedim. Ne piem. ISTINIT
Ne sjedim. Piem. ISTINIT
Ne sjedim. Ne piem. ISTINIT
Tablica:
BINEGACIJA, Lukasziewich
Sud je istinit samo ako su oba suda neistinita.
Sud je neistinit kad je barem jedan sud istinit.
Primjer: Niti grmi, niti se zemlja trese.
Grmi. Zemlja se trese. NEISTINIT
naziva
se
TEORIJE SUDA
1.PREDIKACIONA TEORIJA
-subjekt: misao o onome o emu u sudu neto tvrdimo
-predikat: misao o onome to o subjektu tvrdimo
2.RELACIONA TEORIJA SUDA
3.EGZISTENCIJALNA ILI ESENCIJALNA TEORIJA
-svaki sud je postojanje neega ili nepostojanje neega
VRSTE SUDOVA
1. TRADICIONALNA ETVEROSTRUKA PODJELA SUDOVA:
1.SUDOVI PO KOLIINI/KVANTITETI: radi se o razlici u koliini/kvantiteti
opsega pojma subjekta.
a)opi/univerzalni pojam subjekta je miljen u cijelom opsegu (svi S
su P)-> Svi ljudi su smrtni, Sve make su krvolone
b)posebni/partikularni pojam subjekta je miljen samo u dijelu
svoga opsega (neki S su P)-> Neke ivotinje su sisavci, Neke ptice nisu
pjevice
c)pojedinani/singularni pojmom subjekta se misli neki
pojedinaan predmet (S je P)
->Ivan je uenik, lav je ivotinja
2.SUDOVI PO KVALITETI ILI KAKVOI: svakim sudom se neto tvrdi ili
nijee.
a)potvrdni/afirmativni tvrdi se neko stanje stvari (S je P)-> Svi ljudi
su smrtni
b)nijeni/negativni nijee se neko stanje stvari (S nije
P)-> Neki ljudi nisu dobri, Nijedan pas nije maka
c)granini/limitativni sastoje se od afirmativne kapule i negativnog
predikata (S je ne P, ne S je P)-> Neki ljudi su neodgovorni, Djeca su
nemirna
KOMBINIRANA PODJELA PO KVANTITETI I KVALITETI:
a) ope - potvrdni (univerzalno - afirmativni) (svi S su P A) S a P
-> Svi profesori su rastreseni
b)ope - nijeni (univerzalno - negativni) (nijedan S nije P E) S e
P -> Nijedan pas nije maka
c)posebno - potvrdni (partikularno - afirmativni) (neki S su P I)
S i P -> Neki romani su dosadni
d)po subalternaciji
KATEGORIKI SILOGIZAM
Figure kategorikog silogizma razlikuju se prema raspodijeljenosti srednjeg
pojma M u premisama.
-I. FIGURA:
M P
S M
----------S P
Svi M jesu P a
Svi S jesu M a
Svi S jesu P
a
ima 4 modusa:
Barbara: Svi ljudi su smrtni.
Svi M su P
Svi Grci su ljudi.
Svi S su M
---------------------------------------------------Svi Grci su smrtni.
Svi S su P
Nijedan P nije M
Sve S jesu M
Nijedan S nije P
e
a
e
-------S P
Svi tragiari jesu dramatiari.
Svi tragiari jesu umjetnici.
Neki umjetnici jesu dramatiari.
Svi M jesu P a
Svi M jesu S a
Neki S jesu P i
Svi P jesu M
a
Svi M jesu S
a
Neka S jesu P i
Ako b
onda c
Ako a
onda c
+
Ako sam
onda sam
Ako
bit u
Kia pada
Ako nauim,
Nisam nauio
poloit u ispit
DISJUNKTIVNI SILOGIZAM
- silogizam u kojem su sudovi disjunktivni sudovi.
- A je B ili C
C je D ili E
A je B ili D ili E
Sva bia su razumna ili nerazumna.
Nerazumna bia su biljke ili ivotinje.
Sva bia su razumna ili biljke ili ivotinje.
Dakle,
ista konverzija
univerzalno afirmativnog suda
Svi ljudi su smrtni
Svi a su b
Dakle, sva smrtna bia su ljudi
Dakle, svi b su a
Uetvaranje pojmova
Logika pogreka
koja se dogaa kada
u silogizmu imamo
4, a ne 3 pojma.
Marija ima dugu kosu.
Kosa je opasno orue.
Marija ima dugo opasno orue.
Negacija
antecedensa
Ako kia pada, ulice su mokre.
Kia ne pada.
Ulice nisu mokre.
Ako p, onda q
Nije p
Nije q
Afirmacija
konsekvensa
Ako a, onda b
Jest b
Dakle, jest a
Ako nauim, poloit u ispit.
Poloio sam ispit.
Nauio sam.
VALJANOST ZAKLJUKA
-zakljuak je valjan kad iz istinitih premisa slijedi istinita konkluzija.
(ne znai da sve premise moraju biti istinite).