Logika yra moteriškas daiktavardis iš graikiško termino logotipas, susijęs su logotipai, priežastis, žodis arba kalbos, o tai reiškia samprotavimo mokslas.
Perkeltine prasme žodis logika yra susijęs su a konkretus samprotavimo būdas, teisingai. Pavyzdžiui: Tai niekada neveiks! Jūsų plane nėra logikos!
Tu problemos ar loginiai žaidimai yra veikla, kuria asmuo turi naudotis a loginis samprotavimas išspręsti problemą.
Aristoteliška logika
Pasak Aristotelio, logikos tyrimo objektas yra pagalvojo, taip pat įstatymai ir taisyklės, kurie jį kontroliuoja, kad ta mintis būtų teisinga. Graikų filosofui pagrindiniai logikos elementai yra samprata, sprendimas ir samprotavimai. Logikos dėsniai atitinka ryšius ir santykius, egzistuojančius tarp šių elementų.
Kai kurie Aristotelio įpėdiniai buvo atsakingi už viduramžių logikos pagrindus, kurie tęsėsi iki XIII a. Viduramžių mąstytojai, tokie kaip Galenas, Porfirijus ir Aleksandras iš Afrodizijos, logiką priskyrė prie teisingo vertinimo mokslo, o tai leidžia pasiekti teisingą ir formaliai pagrįstą samprotavimą.
Programavimo logika
Programavimo logika yra kalba, naudojama kuriant kompiuterio programą. Programavimo logika yra būtina kuriant kompiuterines programas ir sistemas, nes ji apibrėžia loginę tos plėtros grandinę. Šio kūrimo žingsniai yra žinomi kaip algoritmas, kurį sudaro loginė vykdytinos funkcijos instrukcijų seka.
Argumentavimo logika
Argumentavimo logika leidžia patikrinti pagrįstumą ar teiginio teisingumą. Jis nėra sukurtas pagal santykines ar subjektyvias sąvokas. Tai yra apčiuopiami teiginiai, kurių pagrįstumą galima patikrinti. Šiuo atveju logika siekiama įvertinti pasiūlymų formą, o ne turinį. Silogizmai (sudaryti iš dviejų prielaidų ir išvados) yra argumentacijos logikos pavyzdys. Pavyzdžiui:
Kukurūzų miltai yra šuo.
Visi šunys yra žinduoliai.
Todėl kukurūzų miltai yra žinduoliai.
Matematinė logika
Matematinė logika (arba formali logika) tiria logiką pagal jos struktūrą ar formą. Matematinę logiką sudaro a dedukcinė sistema teiginių, kuriais siekiama sukurti įstatymų ir taisyklių grupę, siekiant nustatyti samprotavimų pagrįstumą. Taigi samprotavimai laikomi pagrįstais, jei iš tikrųjų patalpų įmanoma padaryti tikrą išvadą.
Matematinė logika taip pat naudojama kuriant pagrįstą samprotavimą naudojant kitus samprotavimus. Samprotavimai gali būti dedukcinis (išvada privaloma gauti iš patalpų tiesos) ir indukcinis (tikimybė).
Formalią logiką galima suskirstyti į dvi grupes: teiginio logika ir predikato logika.
Leibnizą daugelis laiko protu, kuris inicijavo formalios logikos ar matematikos koncepciją, kurioje sprendžiami pagrindiniai matematikos klausimai. Tačiau tik po 1890 m. Kartu su Peano pradėta abejoti aksiomų nuoseklumu. Keletas svarbių formalios logikos principų yra George'o Boole'o (Boole'o logikos ar algebros autorius) „The Mathematical Logical Analysis of Logic“.
teiginio logika
Teiginių logika yra logikos sritis, nagrinėjanti samprotavimus pagal sakinių (teiginių) santykius, minimalius diskurso vienetus, kurie gali būti tikri ar melagingi.