Loginės minties struktūra bei formalizavimas

 1. LOGINĖ MINTIES STRUKTŪRA. FORMALIZAVIMAS.
Logika – termino kilmė graikiška (logikė), nuo žodžio l o g o s – žodis, sąvoka, tvarka, persmelkianti ir būtį ir žmogaus sąmonę. Šia prasme terminą Logika pradėjo vartoti dar Herakleitas (apie 544 – 483 m. pr. Kr). Taigi etimologiškai – logiškas, vadinasi sąmoningas, atsakingas prieš Būtį, žmogaus mąstymas. Mąstymas tik tuomet logiškas, kai savimi išreiškia didžiąją Kosminią pasaulio tvarką, Būties tvarką. Taigi Herakleitas logikos kaip filosofinio termino autorius suteikia šiai sąvokai ontologinį turinį. Vėliau pas naturfilosofus, sofistus, Platoną, Aristotelį terminas logika praranda fundamentalų ontologinį turinį ir virsta formaliąja logika – mokslu, nagrinėjančiu žmogaus mąstymą. Mąstymas visuomet turi turinį ir formą.
Turinys – tai objektų, apie kuriuos mąstome, vaizdai, suvoktys, sąvokos. Mąstymo objektai nebūtinai tik natūralūs pasaulio daiktai (medžiai, debesys, kalnai, gyvūnai ir pan.), bet ir kultūros, sąmonės dalykai: grožis, tiesa, Don Kichotas, sapnas, laimė, valia, gėris, informacija, kaina, vertė, Tėvynė ir pan. – t. y. metafiziniai objektai. Kai sakome “Dabar šioje auditorijoje vyksta logikos paskaita”, tai mąstymo turinį sudaro sąmonėje operuojami objektai “dabar”, “paskaita”, “vyksta”, “logika”. Logika atsižvelgia į mąstymo turinį (į tai, ką operuojamos sąvokos išreiškia), tačiau tai nėra jos tikslas. Logika tiria mąstymo proceso formą. Formalioji logika, tai mokslas apie visuotinai reikšmingas logines minties formas ir priemones, būtinas racionaliam pažinimui bet kokioje pažinimo srityje ir veiklos produktyvumui.
Jei dabar diena, tai ateis naktis.
Dabar diena. Vadinasi, ateis naktis.
Teiginį “Dabar diena” pažymėkime raide p, teiginį “Ateis naktis” – raide q.
Jei p, tai q.
p yra.
--------------------
Vadinasi, q yra.
Panagrinėkime dar ir tokį samprotavimą:
Jei valdau kompiuterį, tai galiu jį panaudoti studijose.
Kompiuterį valdau._____________
Vadinasi galiu jį panaudoti studijose.
Teiginį “Valdau kompiuterį” pažymime raide p, teiginį “Galiu panaudoti studijose” – raide q, turime:
Jei p, tai q.
p yra.
--------------------
Vadinasi, q yra.
Ši išraiška ir yra loginė dviejų nagrinėtų samprotavimų forma. Samprotaujant pagal šią formą, pasakomas koks nors teiginys (p) ir iš jo išplaukiąs kitas teiginys (q). Paskui...

Daugiau informacijos...

★ Klientai rekomenduoja

Šį rašto darbą rekomenduoja mūsų klientai. Ką tai reiškia?

Mūsų svetainėje pateikiama dešimtys tūkstančių skirtingų rašto darbų, kuriuos įkėlė daugybė moksleivių ir studentų su skirtingais gabumais. Būtent šis rašto darbas yra patikrintas specialistų ir rekomenduojamas kitų klientų, kurie po atsisiuntimo įvertino šį mokslo darbą teigiamai. Todėl galite būti tikri, kad šis pasirinkimas geriausias!