KAS YRA LOGIKA KAIP MOKSLAS?

KAS YRA LOGIKA KAIP MOKSLAS?

S¹vokos “logika” etimologija graikiška. Graikiškai l o g i k o s – reiškia “atitink¹s prot¹”.

L o g i k e – “logika”.

Logika tiria minčių struktūr¹, minčių ryšių dėsningumas, teiginių išvedimo taisykles.

Logika yra mokslas apie samprotavimo būd¹ Kadangi mintys reiškiamos kalba, tai logika tiria kalb¹ kaip pažinimo priemonź.

Mes studijuosime simbolinź logik¹. Simboline ji vadinama todėl, kad joje plačiai naudojami simboliai. Logika sudaryta kaip simbolių kalba. Dar ji vadinama matematine logika, nes į j¹ perkelti matematiniai metodai. Dar ji kartais vadinama formali¹ja logika, nes joje tiriamos m¹stymo procedūrų formos. Formalus logikos pobūdis reiškia tai, kad ji tiria tokius minčių ryšių dėsningumus, kurie priklauso ne nuo m¹stymo turinio, bet nuo m¹stymo formos, nuo minčių struktūros.

M¹stymo tikslas, bendrai paėmus, yra tiesa. (Dabar nenagrinėsime tiesos problemas kaip filosofinės problemos). Pasvarstykime toki išsireiškim¹: “Šiandien lyja”. Norėdami įsitikinti, ar šis teiginys teisingas, turime jį patikrinti – pasižiūrėti į lauk¹. Bet šį teiginį mes galime sužinoti iš kito žmogaus, kuriuo mes galime pasitikėti ar ne. Tiesos, kurios mes turime patikrinti patyrimu, vadinamos fakto arba empirinėmis tiesomis. Tačiau yra kitokio pobūdžio tiesos – vadinamosios loginės tiesos. Jų teisingumo netikriname patyrimu. Sakykime teiginio “Šiandien lyja arba šiandien nelyja” nereikia tikrinti patyrimu. Akivaizdu, kad šiandien arba lyja arba ne. Šio teiginio teisingum¹ suvokiame iš loginių konstantų “taip”, “arba”, “ne”.

Štai, pvz., teiginiai:

Jei Algis neserga, tai jis sveikas.

Jei aš turiu raktus, o aš esu auditorijoje, tai raktai yra auditorijoje.

Nesunku suvokti, kad šie teiginiai teisingi. Jų teisingumo patikrinimui nėra reikalo ieškoti kažkokio Algio, aiškintis ar jis serga ar ne. Antru atveju visai nereikia knaisiotis mano kišenėse ir pan. Tokio pobūdžio teiginių teisingumu įsitikiname teoriškai, tai loginės tiesos, kurių teisingumas priklauso išimtinai nuo jų loginės formos arba loginės struktūros.

Loginės tiesos – tai teiginiai, kurių nereikia tikrinti patyrimu, jų teisingumas priklauso tik nuo jų loginės struktūros.

Loginės tiesos gaunamos, perdirbant pačioje žinių sistemoje esanči¹ informacij¹. Fakto tiesos surandamos, įgyjant informacij¹, išeinanči¹ už esamos žinių sistemos ribų – tai žinių prieaugis.

Logikos tikslas – nustatyti logines pažinimo teisingumo s¹lygas, sukurti efektyvius loginio pažinimo metodus, nustatyti priemones ir logines procedūras, įgalinančias iš vienų teiginių išvesti kitus teiginius.

Pakartojimui

Kas yra logika?

Kaip simbolinė logika dar kitaip vadinama?

Koks skirtumas tarp fakto tiesų ir loginių tiesų?

Koks logikos tikslas?

Pratimai

Nustatykite, kurie teiginiai yra fakto tiesos ir kurie yra loginės tiesos:

Vilniuje gyvena lietuviai ir kitų tautybių žmonės.

Vilniuje gyvena kitataučiai arba jie čia negyvena.

Mes pasakėme skaičių “1”.

Jei mes pasakėme skaičių “1”, tai mes pasakėme pirm¹jį sveikųjų skaičių eilės skaičių.