logiikka on muodollinen tiede, toisin sanoen koska mikä tahansa formaali tiede luo oman tutkimuskohteensa ja mielen päättely ja ideoiden luominen ovat sen työn ja tiedon metodologia, mutta lisäksi logiikka on yksi filosofian tärkeimmistä ja suosituimmista haaroista, sillä sen tutkimuskohteena ovat demonstraation ja pätevän päättelyn periaatteet, jotka ovat menetelmiä, joiden avulla voidaan Viime kädessä erottaa perustelut oikea väärästä.
logiikan alkuperä juontaa juurensa klassisen Kreikan kulta-aikaan, ja kreikkalaista filosofia Aristotelesta pidetään sen luojana ja isänä, koska hän oli ensimmäinen, joka käytti käsitettä ja antoi sille entiteetin, joka on säilynyt tähän päivään asti, argumenttien tutkimisen totuuden esittelijänä tieteessä.
tätä logiikkaa, johon viittasimme edellä ja jota Aristoteles pitää sen perustajana, kutsutaan myös formaaliksi logiikaksi, molemmissa on myös epävirallinen logiikka, joka keskittää huomionne järjestelmälliseen tutkimukseen niistä argumenteista, jotka ovat todennäköisiä filosofiasta, retoriikasta ja oratoriosta, muiden näitä käsittelevien tieteiden joukossa.
epämuodollinen logiikka käyttää periaatteessa kaikki voimansa harhaluulojen ja paradoksien tunnistamiseen ja diskurssien oikeaan jäsentämiseen.
mutta muodollisessa ja epämuodollisessa logiikassa kysymys ei ole loppuun käsitelty, koska löydämme myös muunlaisia logiikoita, jotka ehdottavat täysin erilaisia metodologioita, kuten luonnollisen logiikan, joka on se, jota luonnollinen ajattelu ehdottaa edetessään turvautumatta muodolliseen tieteeseen tukikohtanaan.
silloin esiintyy sumea tai myös sumeaksi kutsuttu logiikka, joka ottaa tiettyjä lupia suhteessa toisiin ja myöntää tietyn epäselvyyden väitteidensä totuuden tai valheellisuuden välillä, läheisessä yhteisymmärryksessä Ja suhteessa inhimilliseen järkeen.
toisessa järjestyksessä voidaan löytää matemaattinen logiikka, jota käsitellään keinotekoisen ja symbolisen kielen avulla ja jonka sisällöstä tehdään abstraktio. Ja lopuksi binäärilogiikka, joka toimii muuttujilla, jotka tukevat vain kahta diskreettiä arvoa.