Logika

Kas yra logika:

Logika yra moteriškas daiktavardis, kilęs iš graikų kalbos logiké, susijęs su logotipais, priežastimi, žodžiu ar kalba, o tai reiškia motyvavimo mokslą .

Figūrine prasme žodinė logika yra teisingai susijusi su konkrečiu argumentavimo būdu . Pavyzdžiui: Tai niekada neveiks! Jūsų planas apskritai neturi logikos!

Problemos ar loginiai žaidimai - tai veikla, kurioje asmuo turi naudoti loginį pagrindimą problemai išspręsti.

Aristotelio logika

Aristotelio teigimu, logika turi mintį, kaip ištirti minties, taip pat įstatymus ir taisykles, kurios ją kontroliuoja, kad ši mintis būtų teisinga. Graikijos filosofui pagrindiniai logikos elementai yra samprata, sprendimas ir motyvavimas . Logikos įstatymai atitinka ryšius ir ryšius, kurie egzistuoja tarp šių elementų.

Kai kurie Aristotelio įpėdiniai buvo atsakingi už viduramžių logikos pagrindus, kurie truko iki tryliktosios amžiaus. Viduramžių mąstytojai, tokie kaip Galenus, Porfyras ir Aleksandras iš Afrodizijos, klasifikavo logiką kaip teisingo vertinimo mokslą, kuris leidžia pasiekti teisingus ir formaliai pagrįstus argumentus.

Programavimo logika

Programavimo logika - tai kalba, naudojama kuriant kompiuterinę programą. Programavimo ir kompiuterinių sistemų kūrimui būtina programavimo logika, nes jame apibrėžiama logiška šio vystymosi sąsaja. Šio kūrimo etapai yra žinomi kaip algoritmas, kurį sudaro loginė instrukcijų seka atliekamai funkcijai.

Argumentų logika

Argumentacijos logika leidžia mums patikrinti galiojimą arba ar teiginys yra teisingas, ar ne. Tai nėra padaryta su santykinėmis ar subjektyviomis sąvokomis, o tai yra apčiuopiami pasiūlymai, kurių galiojimą galima patikrinti. Šiuo atveju logika siekiama įvertinti pasiūlymų formą, o ne turinį. Syllogizmai (susidedantys iš dviejų patalpų ir išvados) yra argumentavimo logikos pavyzdys. Pavyzdžiui:

Fubá yra šuo.

Visi šunys yra žinduoliai.

Todėl Fubá yra žinduolis.

Matematinė logika

Matematinė logika (arba formali logika) analizuoja logiką pagal jos struktūrą ar formą. Matematinė logika susideda iš dedukcinės teiginių sistemos, kuria siekiama sukurti įstatymų ir taisyklių rinkinį, skirtą argumentavimo pagrįstumui nustatyti. Taigi motyvavimas laikomas galiojančiu, jei galima pasiekti tikrą išvadą iš tikrųjų patalpų.

Matematinė logika taip pat naudojama galiojantiems argumentams kurti kitais argumentais. Priežastys gali būti dedukcinės (išvada būtinai gaunama iš patalpų tiesos) ir indukcinio (tikimybinio).

Formali logika gali būti suskirstyta į dvi grupes: siūlymo logika ir predikacinė logika.

Leibnizas daugeliu laikomas protu, kuris inicijavo formalaus ar matematinio logikos sąvoką, kurioje sprendžiami pagrindiniai matematikos klausimai. Tačiau tik po 1890 m., Peano, prasidėjo aksiomų nuoseklumo klausimas. Kai kurie svarbūs formalios logikos principai aptariami George Boole logikos logikos analizėje (Logic arba Boolean algebra autorius).

Propozicinė logika

Siūloma logika yra logikos sritis, nagrinėjanti samprotavimus pagal sakinius (sakinius), minimalius diskurso vienetus, kurie gali būti teisingi ar klaidingi.