Logika je imenica ženskog roda iz grčkog izraza logo, vezano za logotipi, razlog, riječ ili govor, što znači rasuđivanje znanosti.
U prenesenom značenju riječ logika povezana je s a specifičan način zaključivanjas pravom Na primjer: Ovo nikad neće uspjeti! Vaš plan nema logike!
Vas problemi ili logičke igre su aktivnosti u kojima pojedinac mora koristiti a logično razmišljanje riješiti problem.
Aristotelovska logika
Prema Aristotelu, predmet je proučavanja logike misao, kao i zakoni i pravila koja ga kontroliraju, kako bi ta misao bila ispravna. Za grčkog filozofa sastavni su elementi logike koncept, osuda i rasuđivanje. Zakoni logike odgovaraju vezama i odnosima koji postoje između ovih elemenata.
Neki su Aristotelovi nasljednici bili odgovorni za temelje srednjovjekovne logike, koja je trajala do trinaestog stoljeća. Srednjovjekovni mislioci poput Galena, Porfirija i Aleksandra Afrodiskog klasificirali su logiku kao znanost o ispravnom prosuđivanju, što omogućava postizanje ispravnih i formalno valjanih zaključaka.
Logika programiranja
Programska logika jezik je koji se koristi za stvaranje računalnog programa. Logika programiranja je bitna za razvoj računalnih programa i sustava, jer definira logički lanac za taj razvoj. Koraci za ovaj razvoj poznati su kao algoritam, koji se sastoji od logičnog slijeda uputa za funkciju koja se treba izvršiti.
Logika argumentacije
Logika argumentacije omogućuje provjeru valjanosti ili je li tvrdnja istinita ili ne. Nije napravljen s relativnim ili subjektivnim konceptima. To su opipljivi prijedlozi čija se valjanost može provjeriti. U ovom slučaju, logika ima za cilj procijeniti oblik prijedloga, a ne sadržaj. Silogizmi (sastavljeni od dvije premise i zaključka) primjer su argumentacijske logike. Na primjer:
Kukuruzno brašno je pas.
Svi psi su sisavci.
Stoga je kukuruzno brašno sisavac.
Matematička logika
Matematička logika (ili formalna logika) proučava logiku prema njezinoj strukturi ili obliku. Matematička logika sastoji se od a deduktivni sustav izjava kojima je cilj stvoriti skupinu zakona i pravila za utvrđivanje valjanosti obrazloženja. Stoga se obrazloženje smatra valjanim ako je iz istinitih premisa moguće doći do istinskog zaključka.
Matematička logika također se koristi za izgradnju valjanog zaključivanja kroz druga razmišljanja. Obrazloženja mogu biti deduktivni (zaključak se obvezno dobiva iz istine premisa) i induktivna (vjerojatnosni).
Formalnu logiku možemo podijeliti u dvije skupine: logika prijedloga i logika predikata.
Mnogi Leibniza vide kao um koji je pokrenuo koncept formalne logike ili matematike koji se bavi osnovnim pitanjima matematike. Međutim, tek nakon 1890. s Peanom započinje propitivanje dosljednosti aksioma. Neka važna načela formalne logike nalaze se u Matematičkoj analizi logike Georgea Boolea (autora Booleove logike ili algebre).
prijedloška logika
Propozicijska logika je područje logike koje ispituje rasuđivanje prema odnosima između klauzula (prijedloga), minimalnih diskursnih jedinica, koje mogu biti istinite ili lažne.
