Logiikka on muodollinen tiede, toisin sanoen, kuten mikä tahansa muodollinen tiede, se luo oman tutkimuskohteensa ja päättelynsä ja mielen luoma ideat ovat sen työn ja tiedon metodologiaa, mutta myös logiikka, se on yksi Filosofian tärkeimmät ja suosituimmat osa-alueet, sen tutkimuskohteena ovat demonstroinnin ja pätevän päättelyn periaatteet, jotka ovat menetelmiä, joiden avulla voimme viime kädessä erottaa oikean päättelyn väärästä..
Logiikka juontaa juurensa klassisen Kreikan kulta-ajalle, ja sen luojana ja isänä pidetään kreikkalaista filosofia Aristotelesta., koska hän käytti ensimmäisenä käsitettä ja antoi sille kokonaisuuden, jonka se säilyttää tähän päivään asti, tutkia argumentteja totuuden ilmentymänä tieteessä.
Tämä logiikka, jota kuvailimme edellä ja jonka perustajana Aristoteles on, tunnetaan myös nimellä muodollista logiikkaasillä välin on myös a epävirallista logiikkaa joka keskittää huomionsa filosofian, retoriikan ja puheen todennäköisten argumenttien metodiseen tutkimukseen muiden näitä käsittelevien tieteiden joukossa.
Pohjimmiltaan epävirallinen logiikka käyttää kaikki ponnistelunsa virheiden ja paradoksien tunnistamiseen ja diskurssien oikeaan jäsentämiseen.
Mutta muodollisessa ja epävirallisessa logiikassa kysymys ei ole tyhjentynyt, koska löydämme myös muun tyyppisiä logiikoja, jotka ehdottavat täysin erilaisia menetelmiä, kuten esim. luonnollista logiikkaa jota luonnollinen ajatus ehdottaa, kun se kulkee, turvautumatta muodolliseen tieteeseen tukipohjana.
Sitten sumeaa logiikkaa tai kutsutaan myös sumeaksi että se ottaa tiettyjä lisenssejä suhteessa muihin ja myöntää tietyn epäselvyyden väitteidensä totuuden tai valheellisuuden välillä läheisessä yhteisymmärryksessä ja suhteessa ihmisjärjen kanssa.
Toisessa järjestyksessä voimme löytää Matemaattinen logiikka jota käsitellään keinotekoisella ja symbolisella kielellä ja abstraktilla sisällöstä. Ja lopuksi binäärilogiikka joka toimii muuttujien kanssa, jotka sallivat vain kaksi erillistä arvoa.
