logika

Što je logika:

Logika je ženska imenica koja potječe iz grčkog pojma logiké, povezana s logosom, razumom, riječju ili govorom, što znači znanost rasuđivanja .

U figurativnom smislu, riječ logika je povezana s određenim načinom razmišljanja ispravno. Na primjer: Ovo nikada neće uspjeti! Vaš plan uopće nema logiku!

Problemi ili logičke igre su aktivnosti u kojima pojedinac mora upotrijebiti logičko razmišljanje za rješavanje problema.

Aristotelova logika

Prema Aristotelu, logika ima za cilj proučavati misao, kao i zakone i pravila koja ga kontroliraju, tako da je ova misao ispravna. Za grčkog filozofa, konstitutivni elementi logike su pojam, prosudba i rasuđivanje . Zakoni logike odgovaraju vezama i odnosima koji postoje između tih elemenata.

Neki nasljednici Aristotela bili su odgovorni za temelje srednjovjekovne logike, koja je trajala sve do trinaestog stoljeća. Srednjovjekovni mislioci poput Galenusa, Porfirija i Aleksandra Afrodizije klasificirali su logiku kao znanost o ispravnom prosuđivanju, što omogućuje da dođemo do ispravnih i formalno valjanih obrazloženja.

Logika programiranja

Logika programiranja je jezik koji se koristi za izradu računalnog programa. Logika programiranja bitna je za razvoj programa i računalnih sustava, jer definira logičku vezu za taj razvoj. Koraci za ovaj razvoj poznati su kao algoritam koji se sastoji od logičkog slijeda naredbi za izvršavanje funkcije.

Logika argumenta

Logika argumentacije omogućuje nam da potvrdimo valjanost ili je izjava istinita ili ne. To se ne radi s relativnim ili subjektivnim pojmovima, oni su opipljivi prijedlozi čija se valjanost može provjeriti. U ovom slučaju, logika teži ocjenjivanju oblika prijedloga, a ne sadržaja. Silogizmi (sastavljeni od dvaju premisa i zaključka) primjer su logike argumentacije. Na primjer:

Fuba je pas.

Svi psi su sisavci.

Stoga je Fubá sisavac.

Matematička logika

Matematička logika (ili formalna logika) proučava logiku prema svojoj strukturi ili obliku. Matematička logika sastoji se od deduktivnog sustava tvrdnji koji ima za cilj stvoriti skup zakona i pravila za određivanje valjanosti rasuđivanja. Stoga se rasuđivanje smatra valjanom ako je moguće doći do pravog zaključka iz istinskih premisa.

Matematička logika se također koristi za konstruiranje valjanog rezoniranja kroz druga razmišljanja. Obrazloženje može biti deduktivno (zaključak se nužno dobiva iz istine premisa) i induktivan (vjerojatnosni).

Formalna logika može se podijeliti u dvije skupine: propozicijsku logiku i predikatnu logiku.

Leibniz mnogi vide kao um koji je inicirao koncept formalne ili matematičke logike, koja se bavi središnjim pitanjima matematike. Međutim, tek nakon 1890. godine, s Peanom, počelo je pitanje dosljednosti aksioma. Neka važna načela formalne logike nalaze se u Matematičkoj analizi logike Georgea Boolea (autora Logičke ili Booleove algebre).

Propositional Logic

Logika propozicija je područje logike koje ispituje rezoniranje prema odnosima između rečenica (propozicija), minimalnih jedinica diskursa, koje mogu biti istinite ili lažne.