Logika je samostalnik ženskega spola iz grškega izraza logotip, povezane z logotipi, razlog, beseda ali govor, kar pomeni sklepanje znanosti.
V prenesenem pomenu je beseda logika povezana z a poseben način sklepanja, pravilno Na primer: To nikoli ne bo delovalo! Vaš načrt nima logike!
Ti težave ali logične igre so dejavnosti, pri katerih mora posameznik uporabiti a logično sklepanje za rešitev problema.
Aristotelova logika
Po Aristotelu je predmet proučevanja logike: mislil, pa tudi zakoni in pravila, ki jo nadzirajo, da je bila ta misel pravilna. Za grškega filozofa so sestavni elementi logike: koncept, obsodba in sklepanje. Zakoni logike ustrezajo povezavam in razmerjem, ki obstajajo med temi elementi.
Nekateri nasledniki Aristotela so bili odgovorni za temelje srednjeveške logike, ki je trajala do trinajstega stoletja. Srednjeveški misleci, kot so Galen, Porfirij in Aleksander iz Afrodizije, so logiko uvrstili med vede o pravilnem presojanju, kar omogoča doseganje pravilnih in formalno veljavnih razlogov.
Programska logika
Programska logika je jezik, ki se uporablja za ustvarjanje računalniškega programa. Programska logika je bistvena za razvoj računalniških programov in sistemov, saj določa logično verigo za ta razvoj. Koraki za ta razvoj so znani kot algoritem, ki je sestavljen iz logičnega zaporedja navodil za izvedbo funkcije.
Argumentacijska logika
Logika argumentacije omogoča preverjanje veljavnosti ali ali je izjava resnična ali ne. Ni narejen z relativnimi ali subjektivnimi koncepti. So oprijemljivi predlogi, katerih veljavnost je mogoče preveriti. V tem primeru je namen logike oceniti obliko predlogov in ne vsebine. Silogizmi (sestavljeni iz dveh premis in sklepa) so primer argumentacijske logike. Na primer:
Koruzni zdrob je pes.
Vsi psi so sesalci.
Zato je koruzna moka sesalec.
Matematična logika
Matematična logika (ali formalna logika) proučuje logiko glede na njeno strukturo ali obliko. Matematična logika je sestavljena iz a deduktivni sistem izjav, katerih namen je oblikovati sklop zakonov in pravil za ugotavljanje veljavnosti obrazložitev. Tako se utemeljitev šteje za veljavno, če je mogoče iz resničnih izhodišč priti do resničnega zaključka.
Matematična logika se uporablja tudi za izgradnjo utemeljenega sklepanja prek drugih razmišljanj. Razlogi so lahko odbitek (sklep je obvezno pridobljen iz resničnosti premis) in induktivno (verjetnostna).
Formalno logiko lahko razdelimo v dve skupini: logika predlogov in logika predikatov.
Leibniza mnogi vidijo kot um, ki je sprožil koncept formalne logike ali matematike, ki obravnava temeljna vprašanja matematike. Vendar pa se je šele po letu 1890 s Peanom začelo spraševanje o skladnosti aksiomov. Nekatera pomembna načela formalne logike najdemo v Matematični analizi logike Georgea Boolea (avtor Boolove logike ali algebre).
propozicijska logika
Propozicijska logika je področje logike, ki proučuje sklepanje glede na razmerja med stavki (predlogi), minimalnimi diskurznimi enotami, ki so lahko resnične ali napačne.