Logika

Logika (gr. logiké = proza, veština koja se odnosi na reči i njihovu upotrebu u zaključivanju i dokazivanju) je grana filozofije koja izučava idealne metode mišljenja i ispitivanja; unutrašnje i spoljno posmatranje, dedukciju i indukciju, obrazovanje hipoteza i eksperiment, analizu i sintezu. Dakle, ovo je nauka o formalnim uslovima, principima i pravilima ispravnog, korektnog mišljenja. Logika predstavlja veštinu i metodu pravilnog mišljenja. Ona je „logija“ ili metoda svake nauke, svakog učenja i svake umetnosti (muzike na primer). Definiše se kao nauka zato što se proces pravilnog mišljenja može, kao kod fizike i matematike, svesti na zakone i njih može naučiti svaki čovek; ona je veština zato što vežbanjem čovek stiče sigurnost u svoje mišljenje.

Ljudsko mišljenje sadrži sve ono što čovek misli i taj sadržaj je izuzetno raznovrstan i velik. Mišljenje je refleksija beskonačnog univerzuma fenomena i procesa, uključujući i sam proces mišljenja. Forme ili oblici sadržaja mišljenja, odnosno način ispoljavanja mišljenja, ujedno su i osnovni elementi ili glavne kategorije logike: pojam , sud i zaključak. Logika je, po svom sadržaju, sistematsko proučavanje tvrdnji (sudova, argumenata) i njihovih veza sa zaključkom. Logički ispravna tvrdnja je ona kod koje postoji logička osnova koja povezuje pretpostavku iz tvrdnje sa zaključkom i potvrđuje je.

Osim navedenih, naučna logika koristi se i drugim pojmovima, između ostalih, to su: definicija, specifikacija, naučna činjenica, naučni problem, naučno otkriće, distinkcija (razlika), deskripcija (opis), eksplanacija (obrazloženje), predviđanje, dokaz, opovrgavanje, problem, hipoteza (pretpostavka), teorija, zakon (pravilo), verifikacija (potvrđivanje). Jasno je da se mnogi od ovih pojmova koriste i u drugim naukama, sa identičnim ili sličnim značenjem i primenom.

U okviru logike primenjuju se različite metodologije rezonovanja: dedukcija, koja se od vremena klasične logike smatrala kao jedina validna metoda, indukcija, koja je i dalje predmet kritika i abdukcija (latinski: abductio - odvođenje), koju revalorizuje filozof Čarls Sanders Pers.

Uvod

Čarls Sanders Pers (1839-1914): Malo ljudi se trudi da proučava logiku jer svako smatra da je već dovoljno sposoban da dobro rezonuje. ... Da bi učio, moraš želeti da učiš i nemoj biti zadovoljan sa onim mišljenjem kojem si već sklon ... Put istraživanja se ne sme blokirati! Identitet čoveka sastoji se od sklada između onoga što radi i onoga što se misli.

Logika se ne bavi posebnim područjima stvarnosti; ona istražuje proces(e) kojim se dolazi do saznanja o stvarnosti uopšte i to je čini filozofskom naukom. Dakle, logika utvrđuje zakone kojima se dolazi do istine. U odnosu na shvatanje pojma istine izdvojile su se formalna logika i sadržinska (konkretna) logika - prva se bavi objektivnom istinom i tretira mišljenje na formalan način a druga se bavi formalnim pravilima i tretiranjem pravila mišljenja na konkretan (sadržinski način).

Grčki filozof Aristotel iz IV veka p. n. e. se smatra osnivačem evropske logike, on je postavio odličan temelj ovoj nauci i prvi je koristio varijable za predstavljanje logičkih izraza. U srednjem veku se Aristotelova deduktivna logika samo nadograđivala, sve do XVII veka, kada engleski filozof Fransis Bejkon uvodi novu, induktivnu logiku. U XIX i XX veku razvija se simbolička logika, na početku je bila samo razvijeniji oblik deduktivne logike, a kasnije je obuhvatila i induktivnu logiku. Ova logika je šira i egzaktnija od tradicionalne. Simboličkoj logici je prethodila matematička logika, njoj je neposredno prethodio rad Lajbnica, a istaknuti predstavnici su bili Rudolf Karnap, Bertrand Rasel, Alfred Tarski i dr. Ova logika koristi poseban sistem znakova (slično matematičkim) sa striktno određenim značenjima. Ipak, ovakav sistem je ograničen u primeni na složenim pojavama izražene dinamike, kao što su prirodne i društvene pojave.

Sa Hegelom, koji je prvi dao formulaciju pravila dijalektičkog mišljenja, razvija se dijalektička metoda koja je značajno pogodnija za tretiranje takvih pojava zato što uvek razmatra i posebnosti datih situacija. Ipak, njegova logika je ostala u okviru idealizma a materijalističku interpretaciju dobija u radovima marksista (npr. Marksov Kapital sadrži izraženu primenu dijalektičke logike). Logika nije normativna nauka, ali poznavanje formi mišljenja i logičkih zakona pomaže jasnijem i pravilnijem izražavanju kao i pronalaženju grešaka u vlastitom i tuđem mišljenju. Što se tiče odnosa psihologije i logike, uočava se razlika u opsegu proučavanja: psihologija se bavi svim psihičkim, intelektualnim, emotivnim procesima i procesima volje dok je logika usmerena samo na forme istinitog i pravilnog mišljenja.

Logika se u određenim krugovima posmatra kao deo filozofije, a u drugim kao posebna nauka. Predstavnici ontološke logike zastupaju stanovište prema kojem su svi filozofski problemi u osnovi ontološki tako da ni logika nije moguća kao odvojena nauka. Kod gnoseološke logike zastupa se mišljenje da je logika disciplina koja se bavi isključivo formalnim uslovima spoznaje i kao takva samo je deo teorije spoznaje koja tretira spoznaju u njenoj ukupnosti. Antropologizam u logici smatra da je mišljenje deo čovekovih aktivnosti pa je prema tome logika, koja se bavi čovekovim mišljenjem, deo antropologije. Lingvistički pravac u logici nalaže da nema misli bez jezika, pa je zato logika samo praktična primena lingvistike ili njen deo. Svim ovim mišljenjima suprotan položaj zauzima shvatanje pristalica čiste logike koji naglašavaju da logika ne proučava realna dešavanja (npr. psihičke procese), već idealne pojave - misli, a njima se ne bavi nijedna druga nauka.

Ne postoji opšta saglasnost o opsegu i predmetu istraživanja logike. Prema tradicionalnom učenju, logika se bavi klasifikacijom argumenata, sistematskog podvrgavanja logičkih formi svim validnim argumentima, te proučavanjem paradoksa i logičkih grešaka (zabluda, neistina). Tokom istorije logika se proučavala u okviru filozofije (od antičkog doba), matematike (od sredine XIX veka), a u XX i XXI veku, logika je važan deo lingvistike, psihologije, računarstva i drugih intelektualnih aktivnosti.

Podela

Razlikuju se:

• Bivalentna logika je logika koja sadrži samo dve istinosne vrednosti: istinito i lažno.
• Modalna logika za razliku od klasične prihvata modalne operatore. Modalni operator je propozicionalni operator koji nije funktor istine, nego pojmova kao što su mogućnost, kontingentnost, nemogućnost, nužnost.
• Moderna logika, za razliku od klasične, aristotelovske, uvodi nove tipove logičkih veza i stroge postupke aksiomatizacije, formalizacije i simbolizacije.
• Polivalentna logika za razliku od klasične, bivalentne, prihvata više od dve istinosne vrednosti.
• Formalna logika opisuje forme sistematskog ispravnog mišljenja: pojam, sud, zaključak (silogizam). Izraz se najčešće upotrebljava kao oznaka za tradicionalnu, aristotelovsku logiku.
• Hegelova logika, za razliku od aristotelovske, zasnovana je kao sinteza tradicionalne logike, gnoseologije i ontologije, pa su u njenim okvirima svi principi aristotelovske logike revidirani i prikazani samo kao prazne forme „razumskog mišljenja“. Ona se ponekad neadekvatno poistovećuje c dijalektikom.
• Logički principi, uobičajeni naziv za četiri osnovna principa ili „zakona“ korektnog mišljenja: princip identiteta (lat. principium identitis), princip protivrečnosti (lat. principium contradictionis), princip isključenja trećeg ili srednjeg (lat. principium exclusi tertii sine medii), princip dovoljnog razloga (lat. principium rationis sufficientis). Prva tri principa u osnovi je nagovestio Aristotel, a četvrti potiče od Lajbnica.
• Klasična logika je uobičajeni naziv za logiku konstituisanu na osnovu Aristotelovih logičkih spisa, bivalentna, podrazumeva tri temeljna principa: identiteta, neprotivrečnosti i isključenja trećeg.
• Neklasična logika je opšta oznaka za modalnu, polivalentnu i oslabljenu logiku.

Počeci logike, Antičko doba

Aristotel (384. p. n. e. – 322. p. n. e.): „Svaki čovek po prirodi teži znanju.“

Počeci logike vezuju se za stare civilizacije, od onih nastalih na tlu Indijskog potkontinenta, preko Kine do Grčke. Aristotel je prvi uspostavio logiku kao filozofsku disciplinu dodelivši joj fundamentalnu ulogu u filozofiji. Aristotel je u svom delu Organon (instrument, oruđe) detaljno i na sistematičan način ispitao oblike mišljenja i odredio pravila s kojim mišljenje mora biti usaglašeno. Sam Aristotel nije koristio naziv logika, ovaj naziv u širu upotrebu uvode stoici u ranom III veku p. n. e. Oni su svojom filozofijom doneli novi, unifikovani pogled na svet koji su tumačili uz pomoć tri osnovne discipline: logike, monističke fizike i naturalističke etike.

Pojam (grčki): λογικός (loghikòs) je korišten u antičkoj filozofiji još od vremena Heraklita i Zenona, preko sofista do Platona, i to u generičkom smislu: ono što se odnosi na (grčki): λόγος" (logos), sa višestrukim značenjem „razum“, „diskurs“, „zakon“ i sl. U stoičkoj školi pojmovi (grčki): ἡ λογική (τέχνη) (e loghiké tékne), τὰ λογικά (tà loghikà) dobivaju tehničko značenje: „teorija prosuđivanja i znanja“ koje se odnosi ne samo na gnoseologiju (teorija spoznanja, epistemologija) već i na formalnu strukturu mišljenja.

Aristotel je logiku postavio na sistematičan način; za njega, ona se podudara sa metodom dedukcije, jedinim metodom, kako je smatrao, koji poseduje potrebnu i striktnu posledičnost koja je očigledna u silogizmu (deduktivni zaključak sa dve premise i konkluzijom (zaključkom)). Primer:

• Svi ljudi su smrtni.
• Sokrat je čovek.
• Dakle, Sokrat je smrtnik.

Ipak, Aristotelova logika ostaje samo oruđe koje samo po sebi ne može automatski otvoriti put ka istini. Istina zavisi od premisa koje formuliše intelekt, on intuicijom dolazi do spoznaje univerzalnih koncepata iz koji logika donosi samo formalno ispravne zaključke, od opštih ka posebnim.

Logika u Srednjem veku do modernog doba

Fransis Bejkon (1561-1626): „Znanje je moć.“

Tokom srednjeg veka Aristotelove formulacije su se dopunjavale i dodatno sistematizovale. U delu Novum Organum, Fransis Bejkon je pokušao da izgradi novu metodologiju temeljenu na indukciji, a da logiku predstavi kao instrument za naučno istraživanje.

Rad na ovim pitanjima nastavio je Rene Dekart, koji je pokušao da utvrdi da li tipičan rigorozni matematički diskurs može postati temelj svakog znanja, uključujući i ono filozofsko. Tomas Hobs, takođe na polju matematike, smatrao je da je logika kombinacija znakova i pravila. Gotfrid Lajbnic i njegovi sledbenici pokušali su da objedine kompleks logičko-lingvističkih struktura u jedan univerzalni naučni jezik, odnosno, „simboličku i kombinatoričku logiku“.

U XVIII veku dati su značajni doprinosi razvoju savremene logike. Imanuel Kant, u Kritici čistog uma, definisao je transcendentalnu logiku kao deo opšte logike koja se bavi načinom na koji se ljudsko znanje može primeniti na empirijske koncepte, odnosno, kako nauka može pomoći ljudskoj spoznaji. Kant je razlikovao dve vrste logičkih hipoteza: analitičke i empirijske. Prve ne mogu biti kontradiktorne, a druge su konstatacije. Ipak, ni jedna od njih nije bila u mogućnosti da poboljša ljudsku spoznaju o svetu, jer analitičke hipoteze nisu davale dodatnu spoznaju premisama, a empirijske nisu imale univerzalni karakter. Zato je Kant predložio treći tip hipoteza: (a priori) sintetičke u koje je ponovo uveo matematičke hipoteze.

Gotlob Frege je kasnije pokazao da aritmetika vodi do sušte logike, jer je sačinjena od čisto analitičkih hipoteza. I drugi naučnici iz Bečkog kruga su kritikovali postojanje a priori sintetičkih sudova. Hegel je zatim odbacio one filozofije koje su u temelje logike postavljale intuiciju nadrazumske prirode i pretvorio je deduktivnu metodu u spiralni postupak koji na kraju sam sebe opravdava. Takav dijalektički sistem smatra se superiornijim od onog klasičnog.

Savremena logika

Kurt Gedel (1906-1978): „Ili je matematika prevelika za ljudski um ili je ljudski um više od mašine.“

U drugoj polovini XIX veka logika se vraća proučavanju formalnih aspekata jezika, dakle, formalnoj logici, i naturalističkim metodama, što je doprinelo razvoju matematičke logike. Sa modernom fizikom, odnosno, kvantnom mehanikom, prelazi se iz logike Aristotela, tj. principa isključenja trećeg (ili srednjeg; lat. principium esclusi tertii sine medii) u logiku Heraklita (antidijalektika) koja princip nekontradiktornosti menja za princip komplementarne kontradiktornosti: jedan kvant istovremeno i jeste i nije, čime se ilustruje suprotstavljena dualnost jedne te iste realnosti (to je slučaj kod čestičnog (korpuskularnog) i talasnog (ondularnog) aspekta materije).

Ovaj koncept, koji predstavlja pravi paradoks pojavnih oblika stvarnosti, najavio je Heraklit: „Ulazimo i ne ulazimo u istu reku, mi i jesmo i nismo“

Značajan doprinos na polju formalne matematičke logike dao je Kurt Gedel. On je svojim teoremama pokazao da ako je neki formalni sistem logički koherentan, njegova nekontradiktornost se ne može demonstrirati iz samog logičkog sistema. Smisao Gedelovog otkrića je ostao predmet rasprave: sa jedne strane smatra se da njegova teorema definitivno negira mogućnost dolaženja do matematičkih istina u koje se može imati apsolutno poverenje, a sa druge strane, da je paradoksalno pokazao da je potpunost (kompletnost) jednog sistema upravo to, jer se ne može demonstrirati: U suprotnom slučaju, ako jedan sistem može demonstrirati sopstvenu koherentnost onda nije koherentan. Gedel je bio uveren da uopšte nije razložio konzistenciju logičkih sistema, koje je uvek smatrao za realne funkcije sa punom ontološkom vrednošću, i da se čak i njegova teorema nepotpunosti (nekompletnosti ) odlikuje objektivnošću i logičkom strogoćom. Objašnjavao je da formulacija kojom se tvrdi njena nedokazivost unutar jednog formalnog sistema, upravo kao takva istinita, zato što se ne može efektivno demonstrirati.

Gedel je interpretirao svoje teoreme kao potvrdu platonizma, filozofske struje koja tvrdi da postoje istinite formule koje se ne mogu demonstrirati, dakle, da se pojam istine ne može redukovati tako da se može demonstrirati. U skladu sa ovom filozofijom, bio je uveren da se istina, nešto što je objektivno (nezavisno od konstrukcija koje se grade demonstriranjem teorema), ne može dati kao zaključak na kraju bilo kojeg sleda demonstracija, već isključivo na početku. Slično Parmenidu, koncipirao je „formalnu“ logiku kao neodvojivu od „suštinskog“ sadržaja: „Ne vidim razlog zašto bi trebalo da imaju manje poverenja u ovaj tip percepcije, dakle, u matematičku intuiciju, u odnosu na čulnu percepciju, koja nas uvodi u kreiranje teorija u fizici i za očekivati je da će se budući čulni osećaji uskladiti sa njom...“ (Kurt Gödel)

Logička forma

Logika se smatra formalnom kada analizira i predstavlja formu bilo kojeg validnog argumenta (tvrdnje, suda). Forma argumenta se izražava formalnom gramatikom i simbolikom logičkog jezika kako bi se njegov sadržaj mogao upotrebiti u formalnom zaključivanju. Jednostavnije rečeno: rečenice iz običnog jezika se prevode u jezik logike. Na ovaj način se predstavlja logička forma argumenta. Ona je neophodna jer se rečenice u običnom jeziku javljaju u velikom broju različitih formi i stepena složenosti pa njihova upotreba u zaključivanju nije praktična. U prvom redu, potrebno je zanemariti gramatičke karakteristike koje nisu relevantne za logiku (npr. rod i deklinacija), zameniti veze koje nisu potrebne u logici (kao „ali“) sa logičkim vezama kao što je npr. „i“ i zameniti neodređene ili dvosmislene logičke izraze („bilo koji“, „neki“ itd.) sa standardnim izrazima (kao što je „svi“, ili univerzalnim kvantifikatorom „∀“). Dalje, određeni delovi rečenice se moraju zameniti šematskim znakovima (slovima). Tako se, na primer, izrazom „svako A je B“ iskazuje logička forma zajednička rečenicama „svi ljudi su smrtni“, „svi psi su mesojedi“, „svi Grci su filozofi“ i tako dalje. Fundamentalni značaj koncepta forme u logici je prepoznat od antičkog doba. Aristotel je prvi koristio varijable kako bi predstavio validne zaključke. Fundamentalna razlika između moderne formalne logike i tradicionalne (ili aristotelovske) logike, nalazi se u različitim analizama logičke forme rečenica. Moderni način je složeniji i sveobuhvatniji, jer aristotelovska logika nije mogla uspešno renderovati rečenice sa kombinacijom različitih kvantifikatora (npr. „svi“ + „neki“); Aristotel je dozvoljavao uticaj samo jednog kvantifikatora na zaključak. Međutim, kao što je i u naturalnom (prirodnom, običnom) jeziku lingvistički neophodno prepoznavanje rekurzivnih rečeničnih struktura, tako je i logici potrebna rekurzivna struktura logičkih izraza.

Semantika

Glavni članak: Semantika

Vilijam Okamski (1287-1347): „Logika je za sve veštine najkorisniji alat. Bez nje nijedna nauka ne bi mogla biti potpuna.“

Validnost logičkog argumenta (tvrdnje, suda) zavisna je od značenja ili semantike rečenica koje čine logički izraz, iz ovog razloga logika se mora baviti i semantikom, dakle, značenjem. Aristotel je u Organonu i naročito u spisu O tumačenju, dao semantički okvir koji je u XIII i XIV veku razvijen u složenu u sofistikovanu teoriju – teoriju supozicije. Vilijam Okamski je dao sveobuhvatan pregled uslova koji su potrebni i dovoljni da bi jednostavna rečenica bila istinita i kako bi pokazao koji argumenti su validni (valjani), a koji nisu. Međutim, u XV i XVI veku zanemaruje se i gubi pronicljivost semantičkog aspekta logike. Semantika se definisala samo kao relacija između ideja u ranom modernom dobu. Istina ili neistina nisu ništa više od slaganja ili neslaganja ideja, ali iz toga tako proizilaze očigledne teškoće. Džon Lok, uočivši ovaj problem, napravio je razliku između 'prave' istine, u kojoj naše ideje 'stvarno postoje', i 'imaginarne' ili 'verbalne' istine u kojoj su naše ideja, kao Harpije ili Kentauri koji postoje samo u našem umu.

Ovakvo razmišljanje je u XIX veku dovedeno do krajnosti, u psihologiji i sociologiji poznat kao psihologizam; smatra se da je to bila veoma niska tačka u razvoju logičke misli. Moderna semantika je u određenoj meri sličnija srednjovekovnom učenju, jer je odbacila psihološke uslove istinitosti. Ipak, uvođenje kvantifikatora je bilo potrebno da bi se rešio problem višestruke uopštenosti, a time se analiza 'subjekat-predikat' na kojoj se srednjovekovna semantika temeljila pokazala neprimenljivom. Glavni moderni pristup, koji se bavi značenjem različitih delova izraza, reprezentativan je u semantičkoj teoriji istine Alfreda Tarskog kod kojeg se, u krajnjoj analizi, dolazi do zaključka da je iskaz „sneg je beo“ istinit onda i samo onda ako je sneg beo.

Jedan od fundamentalnih koncepata teorije modela je model teoretske semantike. Interpretacija kod ovog modela sastoji se od dva dela. Jedan deo detaljno prikazuje karakteristične događaje, osobine i odnose za datu situaciju, prikazanu modelom. Činjenica je da ljudska bića nešto iskazuju kako bi dala informaciju o određenoj situaciji. Iako se značenje rečenice može odrediti i kada ne poznajemo konkretnu situaciju pod uslovom da poznajemo uslove njene istinitosti, informacija iz rečenice se ne može preneti, ako nije povezana sa ličnostima, predmetima i relacijama između njih.

Drugi deo teorije navodi pravila za interpretaciju izraza objektnoga jezika u odnosu na bilo koji arbitraran model. Teorijom modela specifikuju se istinosni uslovi rečenica objektnoga jezika. Istinosni uslovi specifikovani teorijom modela važe nezavisno od pojedinačnog modela, a pojedinačne rečenice se mogu interpretirati samo u odnosu na neki model.

Zaključivanje

Zaključivanje se ne treba mešati sa implikacijom. Implikacija se nalazi u rečenicama tipa 'ako je p onda je q', i one mogu biti istinite ili neistinite. Uslov istinitosti takvih implikacija: neistinite su ako je prethodnik p istinit, a sledbenik q neistinit, a u svakom drugom slučaju su istinite. Zaključak se sastoji od dvije odvojene tvrdnje izraza 'p, dakle q'. Zaključak nije istinit ili neistinit, već je validan ili nije. Ipak, postoji veza između implikacije i zaključka: ako je implikacija 'ako je p, onda je q' istinita, onda je zaključak 'p dakle q' validan. Filon Aleksandrijski je ovo prikazao u prividno paradoksalnoj formulaciji 'ako je dan, onda je noć' - ona je istinita samo dok traje noć, prema tome, zaključak 'dan je, dakle, noć je' je validna noću ali ne i danju. Teorija zaključivanja ili posledica je sistematično razvijana u Srednjem veku a naročito su zaslužni Vilijam Okamski i Volter Barli. Specifična je upravo za Srednji vek i zato je pretežno korištena terminologija zasnovana na latinskom jeziku.

Logika i hermeneutika

Hans-Georg Gadamer (1900-2002): „Sve zavisi od toga kako je nešto rečeno.“ „Razumevanje ne nastaje kada pokušavamo presresti nešto što neko hoće reći tvrdnjom da to već znamo“

J. K. Danhauer je u XVII veku upotrebio hermeneutiku kao pravilo i metode potrebne za tumačenje Svete Knjige u svom delu Sveta hermeneutika ili Metoda tumačenja svetih tekstova. Zakoni koje je predstavio su bili potencijalno korisni svim naukama i znanjima koji se temelje na tumačenju pisane reči.

Sloboda i širina kojom se hermeneutika odlikovala dali su joj položaj temeljne nauke i status koji je imala i logika. Ipak, logika se bavi proučavanjem ispravnosti sudova (argumenata, tvrdnji) i logika je alat kojim se sprečavaju greške a hermeneutika je fundamentalna nauka i alat kojim se dolazi do značenja teksta, onoga što je napisano, i razumevanje značenja koje je autor želio preneti, dakle, hermenutiku nužno ne interesuju logička istinitost i tačnost. Istina koju hermeneutika primarno nastoji utvrditi je ono značenje kojeg je autor želio prenijeti svojim tekstom. Stvarna i logička istinitost značenja teksta i sudovi sadržani u njemu su sekundarni za hermeneutiku. Dakle, u prvoj fazi proučavanja teksta treba otkriti njegovo značenje (uz pomoć hermeneutike) a u drugoj fazi može se razmatrati njegova istinitost ili neistinitost (oslanjajući se na logiku).

Jasno je da logička analiza zahteva blisku vezu sa hermeneutikom. Hermeneutika je XVII i XVIII veku sa logikom zaista i bila saživela; hermeneutika je za interpretaciju bila njena logika i metoda. Smatralo se da se uz ispravne metode i logiku razmišljanja može razumom spoznati sva istina i stvarnost sveta, budući da razum može (ima tu sposobnost, potencijal) shvatiti filozofsku istinu a da ljudsko znanje može otkriti misterije Nature. Pronalaženjem ispravnih metoda interpretacije i pripadajuće logike uklanjaju se sve prepreke koje stoje na putu tumačenja i razumevanja pisane reči.

Johan Martin Hladenius (1710—1759) je u svome radu postavio određena pitanja koja su bila tema rasprava u hermeneutici i tokom naredna dva veka. Uveo je pitanje interferencija koje se javljaju u interpretaciji zbog mogućnosti mešanja perspektive interpretatora u proces tumačenja. Hladenius je odvojio teoriju interpretacije od logike, odnosno, opštu hermeneutiku je utemeljio kao pomoćnu nauku za ljudsko znanje, što je logika već bila. Georg Fridrih Majer (1718—1777) bio je uveren da nijedan tumač ne može bolje proceniti nameru autora od samog autora, prema njemu, najbolji tumač teksta, i značenja koje je bilo cilj pisanja, je sam autor. Ipak, dalje tvrdi: „Čovek je ograničeno biće, njega mogu varati i on može biti prevaren, pa se iz hermeneutičke istinitosti značenja ne može izvesti njegova logička, metafizička ili moralna istinitost“.

Logika i računarstvo

Logika ima fundamentalnu ulogu u računarstvu a posebno su važne rekurzivna teorija, modalna logika i teorija kategorija. Računarska teorija se temelji na konceptima koje su postavili, između ostalih, Alonzo Čerč i Alan Tjuring. Čerč je ukazao na postojanje nerešivih algoritamskih problema, a Tjuring je prvi temeljno analizirao ono što se može nazvati matematičkom procedurom, a Gedel je ustvrdio da je Tjuringova analiza „savršena“. Logika i računarstvo se preklapaju u nekoliko teoretskih područja:

• Gedelova teorema o nepotpunosti dokazuje da bilo koji logički sistem koji je dovoljno moćan da karakterizuje aritmetiku sadrži izraze koji se ne mogu dokazati kao istiniti ili neistiniti u tom istom sistemu. Ovo se direktno odnosi na mogućnost dokazivanja potpunosti i ispravnosti softvera
• Problem okvira (Frame problem) je temeljni logički problem koji se mora prevazići prilikom kreiranja veštačke inteligencije.
• Teorija kategorija predstavlja matematičko stajalište koje naglašava odnose između struktura. U bliskoj je vezi sa mnogim aspektima računarstva, naročito u programskim jezicima. Teorija kategorija se takođe odnosi i na formalnu analizu i transformaciju usmerenih grafikona a primenjuje se u programskim jezicima i kompajlerima

Drugačije koncepcije logike

Logika je nastala iz nastojanja da se argumentacija učini korektnom. Postoje tvrdnje u modernoj logici da se logičko proučavanje treba isključivo odnositi na argumente koji proizlaze iz odgovarajućih opštih oblika zaključivanja. Na primer, kaže se da logika ne obuhvata dobro rezonovanje u celini. Ona se više odnosi na zaključke čija validnost se može pratiti do formalnih obeležja predstava koje su deo tog zaključka, bilo da se radi o lingvističkim, mentalnim ili drugim predstavama. Nasuprot tome, Imanuel Kant je tvrdio da se logika treba posmatrati kao nauka o sudovima; ovu ideju je prigrlio Gotlob Frege, u svojim radovima iz filozofije i logike. Međutim, njegov rad nije jasno određen, jer se bavi i zakonima mišljenja i zakonima istine, dakle, tretira logiku u kontekstu teorije razuma i u okviru proučavanja apstraktnih formalnih struktura.

Kategorije i pojmovi

Pojam

Glavni članak: Pojam

Pojam je u logici, misao o biti (suštini) onoga o čemu mislimo, odnosno, o bitnim karakteristikama onoga o čemu mislimo. Kod pojma razlikujemo: sadržaj, obim i doseg. Sadržaj čine bitne karakteristike nekog pojma, odnosno, ono što nešto čini onim što jeste. Npr. sadržaj pojma „čovek“ je taj da je čovek svesno biće, i ta činjenica da je čovek svesno biće čini čoveka onim što jeste. Obim nekog pojma čini skup nižih pojmova na koje se taj jedan pojam odnosi. Npr. obim pojma „čovek“ je taj da se ljudi mogu razvrstati u kategorije po rasama, državama i drugo. Doseg je broj pojedinačnih predmeta na koje se jedan pojam odnosi. Npr. pojam „čovek“ obuhvata sedam milijardi ljudi. Obim i sadržaj pojma su obrnuto proporcionalni kada se radi o pojmovima iste vrste ili roda. Ako je širok obim uzak je sadržaj i obrnuto.

Sud

Glavni članak: Sud (logika)

Sud (suđenje, tvrdnja, tvrđenje, argument) je veza između dva pojma kojim se po osnovu međusobnog odnosa ta dva pojma nešto tvrdi. Sud može imati samo dve istinosne vrednosti koje su moguće, može biti istinit ili neistinit. Sudovi se mogu razvrstati prema kvantitetu, kvalitetu, relaciji (odnosu, vezi) i modalitetu. Kvantitativni sudovi mogu biti opšti i posebni, kvalitativni mogu biti afirmativni (potvrdni) i odrečni dok se sudovi prema relaciji dele na kategoričke, hipotetičke i disjunktivne (razdvajajuće).

Zaključak

Glavni članak: Zaključak

Zaključak je složena strukturisana misao koja se sastoji od najmanje dva ili više sudova od kojih jedan sledi iz jednog ili više drugih sudova. U zaključku razlikujemo sudove od kojih polazi postupak zaključivanja i sud do kojeg se dođe postupkom zaključivanja. Sudovi od kojih polazi postupak zaključivanja nazivaju se premise. Sud do kojeg se dođe postupkom zaključivanja naziva se konkluzija. Zaključak ili konkluzija nekog argumenta poseduje karakteristiku valjanosti (validnosti). Ako je zaključak valjan, tada nužno sledi iz prethodno navedenih premisa. Ako zaključak nije valjan, tada on nije nužna posledica premisa, odnosno, ne sledi nužno iz istih. Od njegove valjanosti zavisi valjanost celog argumenta. Zaključci koji se temelje na samo jednoj premisi ili kada slede direktno iz dve premise zovu se neposredni zaključci. Zaključci koji su posredni dele se na deduktivne, induktivne i analogijske.

• Dedukcija je metoda kojom se zaključci izvode iz opštih značenja premisa prema posebnom značenju zaključka.
• Indukcija je logička metoda kojom se zaključci donose idući od posebnih značenja premisa prema opštem značenju zaključka.
• Analogijski zaključci mogu se izvoditi od posebnih značenja premisa prema posebnom značenju zaključka i od opštih značenja premisa do opštih značenja zaključka.

Definicija

Glavni članak: Definicija

Definicija je jedna od osnovnih metoda saznanja. To je sud kojim se nedvosmisleno određuje sadržaj nekog pojma.

• Pojam koji definišemo se naziva definiendum.
• Pojam kojim se definiše se naziva definiens.

Dokaz

Istinitost neke tvrdnje se utvrđuje postupkom koji se zove dokazivanje a logička forma (oblik) koja proizilazi iz tog postupka zove se dokaz. Dokaz mora sadržavati barem dva elementa: tezu, čija se istinitost dokazuje i argument (razlog) na temelju kojeg se definiše istinitost teze.

Aksiom

Glavni članak: Aksiom

Aksiom ili postulat, prema definiciji u klasičnoj filozofiji, je tvrdnja (u matematici se često prikazuje u simboličkom obliku) koja je evidentna ili dobro uspostavljena, te koja je prihvaćena bez kontroverzi ili pitanja. U logici ili u matematici aksiom može biti korišten kao premisa ili početna tačka za dalje rezonovanje ili argumente. Reč dolazi iz grčkog jezika, od axíōma - ono što se smatra dostojnim ili sposobnim' ili 'ono što je samo po sebi istinito. Prema upotrebi u modernoj logici, aksiom je jednostavno premisa ili početna tačka rasuđivanja. Bez obzira da li je smisleno (i, ako je tako, šta to znači) za aksiom, ili bilo koju matematičku tvrdnju, da bude „tačna“ je centralno pitanje u filozofiji matematike, o čemu savremeni matematičari imaju različita mišljenja.

Matematička logika

Glavni članak: matematička logika

Matematička logika formalizuje postupke dobijanja složenih rečenica od prostih (iskaza i predikata), utvrđivanje istinitosne vrednosti ovih rečenica u skladu sa pravilima ispravnog logičkog zaključivanja.

Matematička logika se deli na:

• iskazni račun
• predikatski račun

Primeri

Osnovne operacije

• I (konjunkcija): označava se kao x∧y ili kao x*y ili kao x I y.
• ILI (disjunkcija): označava se kao x∨y ili kao x+y ili kao x ILI y.
• NE (negacija): označava se kao ¬x ili kao `x ili kao NE x.

Bulova algebra

Glavni članak: Bulova algebra

Bulova algebra je deo matematičke logike - algebarska struktura koja sažima osnovu logičkih operacija I, ILI i NE kao i skup teorijskih operacija kao što su unija, presek i komplement. Bulova algebra je dobila naziv po autoru, britanskom matematičaru Džordžu Bulu iz XIX veka. Bulova algebra je, osim kao deo apstraktne algebre, izuzetno uticajna kao matematički temelj računarskih nauka.

Za razliku od elementarne algebre, u kojoj se koriste brojevi od 0 do 9, u Bulovoj algebri koriste se samo istinite vrednosti, odnosno, tačno i netačno. Ove vrednosti predstavljaju se preko bitova, tj. preko brojeva 1 i 0. U Bulovoj algebri ovi bitovi se ne ponašaju na uobičajen način, odnosno, $1+1$ nikada ne može biti $2$. Bulova algebra takođe može da barata i funkcijama. Vrednosti koje se koriste u ovim funkcijama moraju biti iz skupa {0, 1}. Neprazan skup B na kojem su definisane dve binarne operacije „V“ (zbir, disjunkcija, ILI), "Λ" (proizvod, konjunkcija, I) i jedna unarna operacija "⌐" (negacija, komplement, NE) je Bulova algebra ako važe aksiomi:

• A1. Komutativnost: za bilo koja dva elementa a,b ∈ B važi:

(a) a V b = b V a,

(b) a Λ b = b Λ a;

• A2. Asocijativnost: za bilo koja tri elementa a,b,c ∈ B važi:

(a) (a V b) V c = a V (b V c),

(b) (a Λ b) Λ c = a Λ (b Λ c);

• A3. Distributivnost: za bilo koja tri elementa a,b,c ∈ B važi:

(a) a V (b Λ c) = (a V b) Λ (a V c),

(b) a Λ (b V c) = (a Λ b) V (a Λ c);

• A4. Apsorptivnost: za bilo koja dva elementa a,b ∈ B važi:

(a) a Λ (a V b) = a,

(b) a V (a Λ b) = a;

Logičke greške

Induktivna logička greška (kod tvrdnje)

• Premisa 1: Sve evropske mačke su pitome kućne mačke.
• Premisa 2: Fifi je evropska mačka.
• Zaključak: Fifi je pitoma kućna mačka.

Logička greška u dedukciji

• Premisa 1: Sidnej se nalazi u Australiji.
• Premisa 2: Sidnej je najveći grad u Australiji.
• Zaključak: Sidnej je glavni grad Australije.

Induktivna logička greška (u zaključku)

• Premisa 1: U Hercegovini smo videli crnu ovcu.
• Zaključak: Ovce u Hercegovini su crne.

Argumentum ad hominem (argument protiv čoveka, osobe)

Glavni članak: Ad hominem

• Osoba A iznosi tvrdnju X
• Osoba B diskredituje osobu A
• Dakle, tvrdnja X osobe A nije istinita.

Karakter, postupci, okolnosti i sl. onoga ko iznosi tvrdnju u većini slučajeva nemaju vezu sa istinitošću tvrdnje.

Argumentum ad verecundiam (argument koji se zasniva na autoritetu)

• Osoba A je (samozvani) autoritet za problem X.
• Osoba A iznosi tvrdnju C o problemu X.
• Dakle, tvrdnja C je istinita.

Logička greška nastaje kada osoba nije kvalifikovana da iznosi pouzdane tvrdnje.

Argumentum ad populum (argument koji se zasniva na opštem verovanju)

• Većina ljudi veruje da je tvrdnja X istinita.
• Dakle, tvrdnja X je istinita.

Većina ljudi je u prošlosti verovala da je planeta Zemlja ravna ploča.

Ad Ignorantium (logička greška u zaključku iz neznanja)

• Ne može se dokazati da Bog ne postoji, dakle, On postoji.

Non sequitur

Česta logička greška koja ima karakter sofizma, ali može biti i paralogička greška. Čini je logički (misaono) neutemeljen skok od premise ka zaključku, skok misli koji nije opravdan premisom, koji nije neposredno jasan kao takav. Pojednostavljeno rečeno - zaključak ne sledi iz premise odnosno ne postoji nužna veza između premise i zaključka. Primer:

• Ako naš neprijatelj ne želi da učini ovaj ustupak, onda je to dokaz da on ne želi mir.

Paralogizam (od grčki: paralogizomai - pogrešno računam), nenameran, pogrešan zaključak; (grčki: paralogismós)

Sofizam (od grčki: sóphizma - lukavština, varanje), lažni zaključak, zaključak kojim se obmanjuje a koji je naizgled pravilan, temelji se na dokazivanju uz pomoć premisa koje nisu potpune, smišljeno mudro ili lukavo, argument korektan po formi, ali koji sadrži suptilnu logičku grešku.

Logička pogreška u zaključku

• Zvezde, planete, sateliti i ostala tela u svemiru su sferičnog oblika.
• Dakle, i svemir mora imati oblik sfere.

Greška kompozicije - svemir može biti beskonačan bez obzira na oblik tela

Greška divizije

• Filozofija ni do danas nije uspela da odgovori na osnovna filozofska pitanja na definitivan način. Dakle, ni Jirgen Habermas ne može dati te odgovore.

Možda Habermas može dati te odgovore ali se ostali filozofi ne slažu sa njim.

Литература

• Devey, Joseph (1902). Lord Francis Bacon: Novum Organum. New York: P.F. Collier. Приступљено 30. 4. 2016. 
• Hegel, G.W.F. Kritika čistog uma (PDF). Приступљено 30. 4. 2016. 
• Kant, Immanuel. Introduction to logic. 
• The philosopher, Aristoteles (1973). Opere. Bari: Laterza. стр. 372—373. 
• Calogero, Guido (1968). I fondamenti della logica aristotelica. Firenze: La Nuova Italia. стр. 15i dalje. 
• Lo filosofo, Aristotele. Analitici secondi. стр. 100b 16[12]. 
• Russell, Bertrand (1945). A History of Western Philosophy. New York: Simon and Schuster. стр. 264. Приступљено 30. 4. 2016. 
• Sanders Peirce, Charles. Scritti scelti. Torino, 2005: Utet. 
• Sanders Peirce, Charles. First Rule of Logic. Collected Papers, Vol. I. стр. 135. 
• Sanders Peirce, Charles (1877). Illustrations of the Logic of Science, First Paper - The Fixation of Belief. Popular Science Monthly. стр. Vol. 12. 
• Цветковић, Љиљана. Квантитативне и квалитативне методе анализе података. Нови Сад, 2011. стр. 20—23. ISBN 978-86-85251-36-8. 
• Филиповић, Владимир (1989). Филозофијски рјечник. Загреб: Накладни завод Матице хрватске. 
• Тубић, Ристо (1974). Енциклопедијски рјечник марксистичких појмова. Sarajevo: ИП Веселин Маслеша. стр. 232—233. 
• Петровић, Гајо (2007). Логика (1 изд.). Београд: Завод за уџбенике и наставна средства. ISBN 978-86-17-14606-9. 
• Tubić, Risto (1974). Enciklopedijski rječnik marksističkih pojmova. Sarajevo: IP Veselin Masleša. 
• Filipović, Vladimir (redaktor) (1989). Filozofijski rječnik. Zagreb: Nakladni zavod Matice hrvatske. 
• Cvetković, Ljiljana. Kvantitativne i kvalitativne metode analize podataka. Novi Sad, 2011. ISBN 978-86-85251-36-8. 
• Vaezi, Ahmad. Uvod u hermeneutiku. Sarajevo: Fondacija Mulla Sadra (1435/2014). стр. 57—63. ISBN 978-9958-657-75-7. 
• Kant, Immanuel (2013). The Critique of Pure Reason. The Pennsylvania State University: An Electronic Classics Series Publication. 
• Barwise, J. (1982). Handbook of Mathematical Logic. Elsevier. ISBN 9780080933641. 
• Belnap, N. (1977). "A useful four-valued logic". In Dunn & Eppstein, Modern uses of multiple-valued logic. Reidel: Boston.
• Bocheński, J. M. (1959). A précis of mathematical logic. Translated from the French and German editions by Otto Bird.  D. Reidel, Dordrecht, South Holland.
• Bocheński, J. M. (1970). A history of formal logic. 2nd Edition.  Translated and edited from the German edition by Ivo Thomas. Chelsea Publishing, New York.
• Brookshear, J. Glenn (1989). Theory of computation: formal languages, automata, and complexity. Redwood City, Calif.: Benjamin/Cummings Pub. Co. ISBN 978-0-8053-0143-4. 
• Cohen, R.S, and Wartofsky, M.W. (1974). Logical and Epistemological Studies in Contemporary Physics. Boston Studies in the Philosophy of Science. D. Reidel Publishing Company: Dordrecht, Netherlands. ISBN 978-90-277-0377-4. CS1 održavanje: Višestruka imena: spisak autora (veza)
• Finkelstein, D. (1969). "Matter, Space, and Logic". in R.S. Cohen and M.W. Wartofsky (eds. 1974).
• „Gabbay, D.M., and Guenthner, F. (eds., 2001–2005). Handbook of Philosophical Logic. 13 vols., 2nd edition. Kluwer Publishers: Dordrecht.“
• Hilbert, D.; and Ackermann, W (1928). Grundzüge der theoretischen Logik. (Principles of Mathematical Logic).  Springer-Verlag. OCLC 2085765
• Susan Haack (1996). Deviant Logic, Fuzzy Logic: Beyond the Formalism, University of Chicago Press.
• Hodges, W. (2001). Logic. An introduction to Elementary Logic. Penguin Books. 
• Hofweber, T. (2004), Logic and Ontology. Stanford Encyclopedia of Philosophy. Edward N. Zalta (ed.).
• Hughes, R.I.G. (1993, ed.). A Philosophical Companion to First-Order Logic. Hackett Publishing.
• Kline, Morris (1972). Mathematical Thought From Ancient to Modern Times. Oxford University Press. ISBN 978-0-19-506135-2. 
• Kneale, William; and Kneale, Martha (1962). The Development of Logic. Oxford University Press, London, UK. 
• Liddell, Henry George; Scott, Robert. „Logikos”. A Greek-English Lexicon. Perseus Project. Pristupljeno 8. 5. 2009. 
• Mendelson, Elliott (1964). Introduction to Mathematical Logic. Wadsworth & Brooks/Cole Advanced Books & Software: Monterey, Calif. OCLC 13580200. 
• Harper, Robert (2001). „Logic”. Online Etymology Dictionary. Pristupljeno 8. 5. 2009. 
• Smith, B. (1989). "Logic and the Sachverhalt". . Smith, Barry (1989). „Logic and the Sachverhalt”. The Monist. 72 (1): 52—69. doi:10.5840/monist19897212. .
• Whitehead, Alfred North; Bertrand Russell (1910). Principia Mathematica. Cambridge University Press: Cambridge, England. OCLC 1041146. 

Spoljašnje veze

• Logika na sajtu PhilPapers
• Logika na sajtu InPho
• Hazewinkel Michiel, ur. (2001). „Logical calculus”. Encyclopaedia of Mathematics. Springer. ISBN 978-1556080104. 
• An Outline for Verbal Logic
• Uvod i tutorijali
  • An Introduction to Philosophical Logic Архивирано на сајту Wayback Machine (3. април 2008), by Paul Newall, aimed at beginners.
  • forall x: an introduction to formal logic, by P.D. Magnus, covers sentential and quantified logic.
  • Logic Self-Taught: A Workbook (originally prepared for on-line logic instruction).
    • Rescher, Nicholas (1964). Introduction to Logic. St. Martin's Press. 
• Eseji
  • "Symbolic Logic" and "The Game of Logic", Lewis Carroll, 1896.
  • Math & Logic: The history of formal mathematical, logical, linguistic and methodological ideas. In The Dictionary of the History of Ideas.
• Onlajn oruđa
  • Interactive Syllogistic Machine A web based syllogistic machine for exploring fallacies, figures, terms, and modes of syllogisms.
• Referentni materijal
  • Translation Tips Архивирано на сајту Wayback Machine (8. март 2010), by Peter Suber, for translating from English into logical notation.
  • Ontology and History of Logic. An Introduction with an annotated bibliography.
• Reading lists
  • The London Philosophy Study Guide Архивирано на сајту Wayback Machine (23. септембар 2009) offers many suggestions on what to read, depending on the student's familiarity with the subject:
    • Logic & Metaphysics Архивирано на сајту Wayback Machine (12. јул 2018)
    • Set Theory and Further Logic Архивирано на сајту Wayback Machine (27. фебруар 2009)
    • Mathematical Logic Архивирано на сајту Wayback Machine (25. јануар 2009)