Logikos apibrėžimas pagal Aristotelį
Logika, kaip sisteminis samprotavimo metodas, tūkstantmečius buvo filosofinio diskurso kertinis akmuo. Viena iš svarbiausių loginės minties raidos figūrų yra Aristotelis, kurio novatoriškas darbas padėjo pamatus daugeliui Vakarų logikos teorijų. Norint suprasti logikos apibrėžimus ir niuansus, pasak Aristotelio, būtina įsigilinti į jo traktatus, ypač į „Organoną“, kuriame apibendrinamos jo teorijos ir principai, susiję su loginiu samprotavimu.
Aristotelio indėlio apžvalga
Aristotelis (384–322 m. pr. Kr.) buvo graikų filosofas, kurio reikšmingas indėlis apėmė įvairias sritis, įskaitant metafiziką, etiką, politiką ir, svarbiausia, logiką. Dažnai vadinamas „logikos tėvu“, Aristotelis susistemino ir įformino samprotavimo principus, kurie buvo daugelio vėlesnių filosofinių tyrimų pagrindas. Jo darbai suteikė pagrindą, kurį filosofai, mokslininkai ir matematikai naudojo ištisus amžius.
Aristotelio logikos tyrinėjimai daugiausia užfiksuoti šešiuose traktatuose, kuriuos sudaro „Organonas“ (graikiškai „instrumentas“ arba „įrankis“). Šie darbai yra:
1. „Kategorijos“
2. „Apie interpretaciją“
3. „Ankstesnė analizė“
4. „Posteriorinė analizė“
5. „Temos“
6. „Rafinuoti paneigimai“
Šie tekstai kartu apibūdina Aristotelio logikos teoriją, nagrinėjančią argumentų struktūrą, teiginių klasifikaciją, silogistinio samprotavimo prigimtį ir mokslinio tyrimo principus.
Logikos apibrėžimas ir tikslas
Aristoteliui logika yra instrumentas (todėl ir pavadinimas „Organon“) žinioms įgyti ir pagrįsto samprotavimo principams suprasti. Jis logiką laiko ne empiriniu mokslu, o metodologiniu pagrindu argumentams įvertinti ir tiesai nuo melo atskirti. Šia prasme logika yra ir įrankis, ir mokslas – kitų mokslų organas, – kuris padeda teisingai mąstyti ir užkerta kelią samprotavimo klaidoms.
Kategorijos ir predikatų logika
Vienas iš svarbiausių Aristotelio indėlių yra jo kategorijų teorija, kurią jis išsamiai aprašo tekste „Kategorijos“. Kategorijos reiškia skirtingus predikatų tipus, kurie gali būti priskirti subjektui, ir sudaro jo ontologijos bei loginės teorijos pagrindą. Aristotelis išskiria dešimt kategorijų:
1. Medžiaga (pvz., žmogus, arklys)
2. Kiekis (pvz., penkių pėdų ilgio)
3. Kokybė (pvz., balta, gramatika)
4. Ryšys (pvz., dvigubas, pusė, didesnis)
5. Vieta (pvz., turguje)
6. Laikas (pvz., vakar, praėjusiais metais)
7. Padėtis (pvz., gulėti, sėdėti)
8. Būsena (pvz., apautas/neautas)
9. Veiksmas (pvz., pjauti, deginti)
10. Meilė (pvz., būti įpjautam, būti nudegintam)
Šios kategorijos padeda apibrėžti ir suskirstyti į kategorijas įvairių rūšių predikatus, išdėstydamos pagrindinius būdus, kuriais galima apibūdinti ir suprasti daiktus.
Teiginiai ir silogizmai
Aristotelio traktate „Apie interpretaciją“ gilinamasi į teiginius – deklaratyvius teiginius, teigiančius ką nors apie pasaulį ir galinčius būti teisingus arba klaidingus. Jis apibrėžia paprastų sakinių loginę struktūrą ir sintaksinius ryšius tarp subjektų ir predikatų.
Remdamasis tuo, „Prior Analytics“ pristato silogizmo, dedukcinio samprotavimo formos, sąvoką. Silogizmas susideda iš dviejų prielaidų ir išvados, ir jis yra Aristotelio logikos pagrindas. Aristotelis įrodo, kad jei prielaidos yra teisingos, o silogistinė forma yra galiojanti, būtinai turi būti padaryta išvada.
Klasikinis silogizmo pavyzdys yra:
1. Visi žmonės yra mirtingi. (Pagrindinė prielaida)
2. Sokratas yra žmogus. (Šaltinės prielaidos)
3. Todėl Sokratas yra mirtingas. (Išvada)
Aristotelis apibrėžia įvairias galiojančias silogizmų formas (samprotavimo būdus), kurių kiekviena turi konkrečias taisykles, susijusias su terminų išdėstymu ir santykiu prielaidose.
Pastebėtinė analizė ir mokslinės žinios
Veikale „Posterior Analytics“ Aristotelis nagrinėja mokslinio tyrimo metodologiją. Jis skiria skirtingus žinių tipus, pabrėždamas demonstracinių žinių, kurios kyla iš būtinų ir universalių principų, svarbą. Pasak Aristotelio, mokslinės žinios (epistem) pasiekiamos demonstruojant (apodeiksė) – tai loginio įrodymo forma, kuri remiasi savaime suprantamais pirmaisiais principais, siekiant padaryti išvadas apie gamtos pasaulį.
Dialektinis samprotavimas ir temos
„Temos“ nagrinėja dialektinį samprotavimą, kuris skirtas diskusijai ir debatams, o ne absoliučiam įrodymui. Aristotelis pateikia metodologiją argumentams konstruoti ir dekonstruoti, remiantis tikėtinomis prielaidomis, kurios skiriasi nuo konkrečių prielaidų, reikalingų moksliniame demonstravime. Aristoteliui dialektika yra metodas, skirtas atrasti kitų nuomones ir patikrinti įvairių požiūrių stiprumą bei darną.
Sofistiniai paneigimai
Veikale „Sofistiniai paneigimai“ Aristotelis nagrinėja klaidingus argumentus – klaidingus argumentus, kurie atrodo pagrįsti, bet tokie nėra. Jis suskirsto į kategorijas skirtingus klaidų tipus, tiek formalius (susijusius su logine forma), tiek neformalius (susijusius su turiniu), ir siūlo metodus joms atpažinti ir paneigti. Šis darbas yra labai svarbus logikos studijoms, nes suteikia priemonių kritiniam mąstymui ir klaidingo samprotavimo vengimui.
Išvada
Aristotelio logikos apibrėžimas peržengė šimtmečius ir tapo pagrindu, ant kurio kuriama šiuolaikinė logika. Jo kruopštus predikatų suskirstymas į kategorijas, silogistinio samprotavimo plėtojimas ir žinių tipų diferencijavimas sudaro išsamų loginių principų supratimo pagrindą. Logika, Aristoteliui, yra ne tik teorinis pratimas, bet ir praktinis instrumentas minčiai valdyti ir žinioms įgyti įvairiose tyrimų srityse.
Išgrynindamas pagrįsto samprotavimo principus, Aristotelis žmonijai suteikė neįkainojamą įrankį, kuris ir toliau informuoja bei formuoja intelektinius siekius, įtvirtindamas jo, kaip pagrindinės figūros logikos istorijoje, palikimą.
