Dvireikšmė teiginių logika: samprata ir reikšmė

Žodis „logika“ gana dažnai naudojama daug kur, tačiau dažniausiai ne technine prasme. Logika yra „griežtas“ mokslas ar tyrimas, kaip vertinti argumentus. Logikos mokslas leidžia atskirti teisingus ir klaidingus argumentus. Sakinių ryšius tirianti logika lemia sakinio klaidingumą arba teisingumą, tai vadinama dvireikšmė teiginių logika. Teiginių logika, matematinės logikos mokslo teorija, kurioje formalios kalbos simboliais bei loginėmis operacijomis išvedimo ir lygiavertiškumo taisyklių sistema leidžianti išvesti formules, kurias vadiname teoremomis ir tai interpretuojami kaip teisingi. Eilė formulių, kurios yra surašomos naudojant šią sistemą yra vadinama išvedimu, o paskutinė iš jų yra teorema, kurios išvedimas yra laikomas teiginio teisingumo įrodymu. Dvireikšmė teiginių logika yra labai „įrėminta“ bei nenusileidžianti matematikos teorijoms.
Tarp žmonių sugebėti samprotauti yra įprasta. Dauguma visi galvojame apie tai ko norime iš gyvenimo, samprotaujame apie artimųjų/draugų problemas, ginčyjamiesi su jais lyg ir žinome, kad tai mums padės. Tad pats papraščiausias logikos mokslo apibūdinimas — logika yra mokslas apie samprotavimo taisyklingumą.
Tačiau samprotavimas turi ir savo taisykles, o taisykles pažeidžiantis samprotavimas klaidina. Samprotavimo taisykles ir taisyklingumą padeda nustatyti logikos mokslas, be kurio yra neatsiejama žmonijos kultūros dalis.
Logika išskiria dedukcinius ir indukcinius samprotavimus. Jeigu gaunamo sakinio teigingumas yra tik spėjamas, samprotavimas vadinamas indukciniu. Jeigu gaunamas sakinys yra teisingas kartu su turimais teisingumo sakiniais ir yra būtinumo ryšys, samprotavimas vadinamas dedukciniu. Jei gaunamo sakinio teisingumas yra tik spėjimas, samprotavimas vadinamas indukciniu.
Tam, kad būtų galima nustatynėti samprotavimo taisykles, logikos moklas tyrinėja sakinių bei teiginio reikšmės ryšį, stebi teorijas ,formuluoja, kuriami metodai, kuriais nustatynėjama ar samprotavimai tų taisyklių nepažeidžią.
Logikos teorijose taikomas aksiominis dedukcinis metodas, juo ramiantis svarbiausios loginių tyrimų išvados tampa teoremomis — neginčijamų teisingų logikos teorijų teiginiu. Taigi, yra ir tam tikrų dar neišreikštų, o gal apskritai neišreiškiamų nei simbolių kalba ar net aksiominėmis dedukcinėmis teorijomis samprotavimo taisyklingumo aspektų.Samprotavimas yra įrodinėjimų sudėtinė dalis, jo metodai padeda išsiaiškinti...

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!