Loogika on üks iidsemaid õppeaineid, mis seisab filosoofia ja sotsioloogia kõrval ning on märkimisväärne üldkultuuriline nähtus selle esinemise algusest peale. Selle teaduse roll tänapäeva maailmas on oluline ja mitmetahuline. Need, kellel on selles vallas teadmisi, võivad vallutada kogu maailma. Usuti, et see on ainus teadus, mis suudab leida kompromisslahendusi igas olukorras. Paljud teadlased omistavad selle distsipliini filosoofia harule, teised aga lükkavad selle võimaluse ümber.
On loomulik, et aja jooksul muutub loogilise uurimistöö orientatsioon, täiustuvad meetodid ning tekivad uued suundumused, mis vastavad teaduslikele ja tehnilistele nõuetele. See on vajalik, sest igal aastal seisab ühiskond silmitsi uute probleemidega, mida ei ole võimalik vananenud meetoditega lahendada. Loogika aine uurib inimese mõtlemist nende mustrite poolelt, mida ta kasutab tõe tundmise protsessis. Tegelikult, kuna käsitletav distsipliin on väga mitmetahuline, uuritakse seda mitme meetodi abil. Vaatame neid.
Loogika etümoloogia
Etümoloogia on keeleteaduse haru, mille põhieesmärk on sõna päritolu, selle uurimine semantika (tähenduse) seisukoh alt. "Logos" tähendab kreeka keeles "sõna", "mõte", "teadmine". Seega võime öelda, et loogika on aine, mis uurib mõtlemist (arutlusvõimet). Psühholoogia, närvitegevuse filosoofia ja füsioloogia uurivad nii või teisiti ka mõtlemist, kuid kas saab öelda, et need teadused uurivad sama asja? Vastupidi, teatud mõttes on nad vastandid. Nende teaduste erinevus seisneb mõtteviisis. Muistsed filosoofid uskusid, et inimese mõtlemine on mitmekesine, sest ta suudab analüüsida olukordi ja luua algoritmi teatud ülesannete täitmiseks konkreetse eesmärgi saavutamiseks. Näiteks filosoofia kui subjekt on pigem lihts alt arutlemine elu üle, olemise mõtte üle, samas kui loogika viib lisaks tühistele mõtetele teatud tulemuseni.
Võrdlusmeetod
Proovime kasutada sõnaraamatuid. Siin on selle mõiste tähendus mõnevõrra erinev. Entsüklopeediate autorite seisukoh alt on loogika aine, mis uurib inimese mõtlemise seaduspärasusi ja vorme, et mõista ümbritsevat reaalsust. Seda teadust huvitab, kuidas "elav" tõeline teadmine toimib, ja oma küsimustele vastuseid otsides ei pöördu teadlased iga konkreetse juhtumi poole, vaid juhinduvad erireeglitest ja mõtteseadustest. Loogika kui mõtlemisteaduse põhiülesanne on arvestadaainult viis uute teadmiste saamiseks ilma nende vormi konkreetse sisuga sidumata.
Loogikapõhimõte
Loogika teemat ja tähendust saab kõige paremini näha konkreetse näite kaudu. Võtke kaks väidet erinevatest teadusvaldkondadest.
- "Kõigil tähtedel on oma kiirgus. Päike on täht. Sellel on oma kiirgus.”
- Iga tunnistaja peab rääkima tõtt. Mu sõber on tunnistaja. Mu sõber on kohustatud tõtt rääkima.
Kui analüüsime neid otsuseid, näeme, et igas neist on kolmas seletatav kahe argumendiga. Kuigi kõik näited kuuluvad erinevatesse teadmiste valdkondadesse, on sisukomponentide seos igas neist ühesugune. Nimelt: kui esemel on mingi omadus, siis kõigel, mis seda kvaliteeti puudutab, on teine omadus. Tulemus: kõnealusel üksusel on ka see teine omadus. Neid põhjuse-tagajärje seoseid nimetatakse loogikaks. Seda suhet võib täheldada paljudes elusituatsioonides.
Pöördume ajalukku
Selle teaduse tõelise tähenduse mõistmiseks peate teadma, kuidas ja millistel asjaoludel see tekkis. Selgub, et loogika kui teaduse teema tekkis peaaegu samaaegselt mitmes riigis: Vana-Indias, Vana-Hiinas ja Vana-Kreekas. Kui me räägime Kreekast, siis see teadus tekkis hõimusüsteemi lagunemise ja selliste elanikkonnakihtide nagu kaupmehed, maaomanikud ja käsitöölised moodustamise perioodil. Need, kes valitsesid Kreekat, rikkusid peaaegu kõigi elanikkonnarühmade huve ja kreeklased aktiivselthakkasid oma seisukohti väljendama. Konflikti rahumeelseks lahendamiseks kasutas kumbki pool oma argumente ja argumente. See andis tõuke sellise teaduse nagu loogika arengule. Teemat kasutati väga aktiivselt, sest otsustamise mõjutamiseks oli väga oluline arutelusid võita.
Vana-Hiinas tekkis loogika Hiina filosoofia kuldajal ehk, nagu seda ka nimetati, “võitlevate riikide” perioodil. Sarnaselt Vana-Kreeka olukorrale puhkes ka siin võitlus jõukate elanikkonnakihtide ja võimude vahel. Esimene soovis muuta riigi struktuuri ja tühistada võimu üleandmine pärilikul teel. Sellise võitluse ajal oli võidu nimel vaja tema ümber koondada võimalikult palju toetajaid. Kui aga Vana-Kreekas oli see loogika arengu täiendavaks stiimuliks, siis Vana-Hiinas oli see hoopis vastupidine. Pärast seda kui Qini kuningriik siiski domineerivaks sai ja nn kultuurirevolutsioon toimus, arenes loogika selles etapis
see peatus.
Arvestades, et erinevates riikides tekkis see teadus just võitluse perioodil, saab loogika subjekti ja tähendust iseloomustada järgmiselt: see on teadus inimese mõtlemise järjestuse kohta, mis võib positiivselt mõjutada konfliktsituatsioonid ja vaidlused.
Loogika põhiteema
Raske on välja tuua üht konkreetset tähendust, mis võiks üldiselt iseloomustada nii iidset teadust. Näiteks,loogika aineks on teatud tõelistest asjaoludest õigete kindlate hinnangute ja väidete tuletamise seaduste uurimine. Nii iseloomustas seda iidset teadust Friedrich Ludwig Gottlob Frege. Loogika mõistet ja ainet uuris ka meie aja tuntud loogik Andrei Nikolajevitš Šuman. Ta pidas seda mõtlemise teaduseks, mis uurib erinevaid mõtteviise ja modelleerib neid. Lisaks on loogika objektiks ja subjektiks loomulikult kõne, sest loogikat teostatakse vaid vestluse või diskussiooni abil ja see ei oma üldse tähtsust, kas valjusti või “iseendale”.
Eelnimetatud väited viitavad sellele, et loogikateaduse subjektiks on mõtlemise struktuur ja selle erinevad omadused, mis eraldavad abstraktse-loogilise, ratsionaalse mõtlemise sfääri – mõtlemise vormid, seadused, vajalikud seosed struktuurielementide ja mõtlemise õigsus tõe saavutamiseks.
Tõe otsimise protsess
Lihtsustatult öeldes on loogika tõe otsimise mõtteprotsess, sest selle põhimõtete alusel kujuneb teadusliku teadmise otsimise protsess. Loogika kasutamise vorme ja meetodeid on erinevaid ning need kõik on erinevates teadusvaldkondades ühendatud teadmiste järeldamise teooriaks. See on nn traditsiooniline loogika, mille sees on rohkem kui 10 erinevat meetodit, kuid siiski peetakse peamiseks Descartes'i deduktiivset loogikat ja Baconi induktiivset loogikat.
Deduktiivne loogika
Me kõik teame mahaarvamismeetodit. Selle kasutamine igal juhulseotud loogikateadusega. Descartes'i loogika aineks on teadusliku teadmise meetod, mille olemus seisneb uute ranges tuletamises teatud sätetest, mida on eelnev alt uuritud ja tõestatud. Ta suutis selgitada, miks, kuna algsed väited on tõesed, siis ka tuletatud väited on tõesed.
Deduktiivse loogika jaoks on väga oluline, et esialgsetes väidetes ei oleks vastuolusid, kuna edaspidi võivad need viia valede järeldusteni. Deduktiivne loogika on väga täpne ega talu eeldusi. Kõik kasutatavad postulaadid põhinevad reeglina kontrollitud andmetel. Sellel loogilisel meetodil on veenmisjõud ja seda kasutatakse reeglina täppisteadustes, näiteks matemaatikas. Pealegi ei sea kahtluse alla deduktiivset meetodit, vaid uuritakse tõe leidmise viisi. Näiteks tuntud Pythagorase teoreem. Kas selle õigsuses on võimalik kahelda? Pigem vastupidi – on vaja teoreem selgeks õppida ja seda tõestada. Õppeaine "Loogika" uurib täpselt seda suunda. Selle abiga, teades subjekti teatud seadusi ja omadusi, on võimalik tuletada uusi.
Induktiivne loogika
Võib öelda, et Baconi nn induktiivne loogika on praktiliselt vastuolus deduktiivse loogika aluspõhimõtetega. Kui eelmist meetodit kasutatakse täppisteaduste jaoks, siis see on loodusteaduste jaoks, kus on vaja loogikat. Loogika teema sellistes teadustes: teadmised saadakse vaatluste ja katsete kaudu. Täpsete andmete ja arvutuste jaoks pole kohta. Kõik arvutusedon toodetud ainult puhtteoreetiliselt, eesmärgiga uurida objekti või nähtust. Induktiivse loogika olemus on järgmine:
- Teostamaks uuritava objekti pidevat jälgimist ja tekitada teoreetiliselt tekkida võiv kunstlik olukord. See on vajalik teatud ainete omaduste uurimiseks, mida looduslikes tingimustes õppida ei saa. See on induktiivse loogika õppimise eeltingimus.
- Koguge vaatluste põhjal uuritava objekti kohta võimalikult palju fakte. On väga oluline märkida, et kuna tingimused on kunstlikult loodud, võivad faktid olla moonutatud, kuid see ei tähenda, et need oleksid valed.
- Tee kokkuvõte ja süstematiseeri katsete käigus saadud andmed. See on vajalik olukorra hindamiseks. Kui andmeid pole piisav alt, siis tuleb nähtus või objekt asetada uuesti mõnda teise tehislikku olukorda.
- Looge teooria leidude selgitamiseks ja nende edasise arengu ennustamiseks. See on viimane etapp, mis on kokkuvõtteks. Teooria saab koostada ilma tegelikke saadud andmeid arvesse võtmata, kuid sellest hoolimata on see täpne.
Näiteks loodusnähtuste, heli, valguse, lainete võnkumiste jms empiiriliste uuringute põhjal on füüsikud sõnastanud seisukoha, et iga perioodilise iseloomuga nähtust saab mõõta. Loomulikult loodi iga nähtuse jaoks eraldi tingimused ja tehti teatud arvutused. Olenev alt kunstliku olukorra keerukusest,näidud erinesid oluliselt. See võimaldas tõestada, et võnkumiste perioodilisust on võimalik mõõta. Bacon selgitas teaduslikku induktsiooni kui põhjuslike seoste teadusliku teadmise meetodit ja teadusliku avastamise meetodit.
Põhjuslikkus
Loogikateaduse arengu algusest peale pöörati sellele tegurile suurt tähelepanu, mis mõjutab kogu uurimisprotsessi. Põhjuslikkus on loogika uurimise protsessis väga oluline aspekt. Põhjuseks on teatud sündmus või objekt (1), mis loomulikult mõjutab teise objekti või nähtuse esinemist (2). Formaalselt rääkides on loogikateaduse teemaks selle jada põhjuste väljaselgitamine. Lõppude lõpuks selgub ül altoodust, et (1) on (2) põhjus.
Võib tuua näite: teadlased, kes uurivad maailmaruumi ja seal leiduvaid objekte, on avastanud “musta augu” fenomeni. See on omamoodi kosmiline keha, mille gravitatsiooniväli on nii suur, et suudab neelata mis tahes muid kosmoseobjekte. Nüüd selgitame välja selle nähtuse põhjusliku seose: kui mis tahes kosmilise keha gravitatsiooniväli on väga suur: (1), siis on see võimeline neelama mis tahes teist (2).
Loogika põhimeetodid
Loogika aine uurib põgus alt paljusid eluvaldkondi, kuid enamasti sõltub saadav teave loogilisest meetodist. Näiteks analüüs on uuritava objekti kujundlik jagamine teatud osadeks, et uurida selle omadusi. Analüüs on reeglina tingimata seotud sünteesiga. Kui esimene meetod eraldab nähtuse, siis teine, vastupidi, ühendab vastuvõetud osad, et luua nendevaheline seos.
Teine huvitav loogika teema on abstraktsioonimeetod. See on objekti või nähtuse teatud omaduste vaimse eraldamise protsess, et neid uurida. Kõiki neid tehnikaid võib liigitada tunnetusmeetoditeks.
On olemas ka tõlgendamismeetod, mis seisneb teatud objektide märgisüsteemi tundmises. Seega saab objektidele ja nähtustele anda sümboolse tähenduse, mis hõlbustab objekti enda olemuse mõistmist.
Moodne loogika
Moodne loogika ei ole õpetus, vaid maailma peegeldus. Sellel teadusel on reeglina kaks kujunemisperioodi. Esimene algab Vana-Maailmast (Vana-Kreeka, Vana-India, Vana-Hiina) ja lõpeb 19. sajandil. Teine periood algab 19. sajandi teisel poolel ja kestab tänapäevani. Meie aja filosoofid ja teadlased ei lõpeta selle iidse teaduse uurimist. Näib, et Aristoteles ja tema järgijad on kõiki selle meetodeid ja põhimõtteid juba ammu uurinud, kuid igal aastal uuritakse loogikat kui teadust, loogika subjekti ja ka selle omadusi.
Kaasaegse loogika üheks tunnuseks on uurimisobjekti levik, mis on tingitud uutest tüüpidest ja mõtteviisidest. See tõi kaasa selliste uut tüüpi modaalse loogika tekke nagu muutuste loogika ja põhjusliku loogika. On tõestatud, et sellinemudelid erinevad oluliselt juba uuritud mudelitest.
Kaasaegset loogikat kui teadust kasutatakse paljudes eluvaldkondades, nagu inseneriteadus ja infotehnoloogia. Näiteks, kui mõelda, kuidas arvuti on paigutatud ja töötab, saate teada, et kõik sellel olevad programmid käitatakse algoritmi abil, kus loogika on ühel või teisel viisil kaasatud. Ehk siis võib öelda, et teadusprotsess on jõudnud sellisele arengutasemele, et loogilistel põhimõtetel töötavad seadmed ja mehhanismid on eduk alt loodud ja tööle pandud.
Teine näide loogika kasutamisest kaasaegses teaduses on juhtimisprogrammid CNC-masinates ja -paigaldistes. Ka siin näib, et raudrobot teeb loogiliselt üles ehitatud toiminguid. Sellised näited näitavad meile aga vaid formaalselt moodsa loogika arengut, sest selline mõtteviis saab olla vaid elusolendil, näiteks inimesel. Pealegi vaidlevad paljud teadlased endiselt selle üle, kas loomadel võib olla loogilisi oskusi. Kõik selle valdkonna uuringud taanduvad tõsiasjale, et loomade tegevuse põhimõte põhineb ainult nende instinktidel. Ainult inimene saab teavet vastu võtta, seda töödelda ja tulemuse anda.
Uuringud sellise teaduse nagu loogika vallas võivad kesta veel tuhandeid aastaid, sest inimaju pole põhjalikult uuritud. Iga aastaga sünnivad inimesed üha arenenum alt, mis viitab inimese jätkuvale evolutsioonile.
