Logika

Kaj je logika:

Logika je ženski samostalnik, ki izvira iz grškega izraza logiké, povezan z logosom, razumom, besedo ali govorom, kar pomeni znanost razmišljanja .

V figurativnem smislu je beseda logika povezana s specifičnim načinom razmišljanja . Na primer: To ne bo nikoli uspelo! Vaš načrt sploh nima logike!

Težave ali logične igre so dejavnosti, pri katerih mora posameznik uporabiti logično razmišljanje za rešitev problema.

Aristotelova logika

Po Aristotelu je logika predmet proučevanja misli, pa tudi zakonov in pravil, ki jo nadzorujejo, tako da je ta misel pravilna. Za grškega filozofa so sestavni elementi logike koncept, sodba in sklepanje . Zakoni logike ustrezajo povezavam in odnosom, ki obstajajo med temi elementi.

Nekateri Aristotelovi nasledniki so bili odgovorni za temelje srednjeveške logike, ki je trajala do 13. stoletja. Srednjeveški misleci, kot so Galenus, Porfir in Alexander of Aphrodysia, so logiko opredelili kot znanost o pravilnem presojanju, ki omogoča, da dosežemo pravilne in formalno veljavne razloge.

Logika programiranja

Programska logika je jezik, ki se uporablja za izdelavo računalniškega programa. Logika programiranja je bistvena za razvoj programov in računalniških sistemov, saj opredeljuje logično povezavo za ta razvoj. Koraki za ta razvoj so znani kot algoritem, ki je sestavljen iz logičnega zaporedja navodil za izvedbo funkcije.

Argument logika

Logika argumentacije nam omogoča, da preverimo veljavnost ali je izjava resnična ali ne. To ni opravljeno z relativnimi ali subjektivnimi pojmi, temveč so oprijemljivi predlogi, katerih veljavnost je mogoče preveriti. V tem primeru je logika namenjena oceni oblike predlogov in ne vsebine. Sillogizmi (sestavljeni iz dveh premislekov in zaključka) so primer logike argumentacije. Na primer:

Fubá je pes.

Vsi psi so sesalci.

Zato je Fubá sesalec.

Matematična logika

Matematična logika (ali formalna logika) preučuje logiko glede na njeno strukturo ali obliko. Matematična logika je sestavljena iz deduktivnega sistema izjav, ki si prizadevajo ustvariti niz zakonov in pravil za določanje veljavnosti sklepanja. Tako se sklepanje šteje za veljavno, če je mogoče doseči pravi zaključek iz resničnih premislekov.

Matematična logika se uporablja tudi za konstruiranje utemeljenega sklepanja z drugimi argumenti. Razlogovanje je lahko deduktivno (zaključek je nujno pridobljen iz resnice prostorov) in induktivnega (verjetnostnega).

Formalno logiko lahko razdelimo v dve skupini: propozicijsko logiko in predikatno logiko.

Leibniz so mnogi razumeli kot um, ki je sprožil koncept formalne ali matematične logike, ki obravnava osrednja vprašanja matematike. Vendar pa je šele po letu 1890 z Peano začelo vprašanje skladnosti aksiomov. Nekaj ​​pomembnih načel formalne logike najdemo v Matematični analizi logike Georgea Booleja (avtor logične ali logične algebre).

Propositional Logic

Predlagalna logika je področje logike, ki preučuje razmišljanje glede na razmerja med stavki (predlogi), minimalnimi enotami diskurza, ki so lahko resnične ali lažne.