Mikä on logiikkaa:
Logiikka Se on muodollinen tiede, joka tutkii ihmisen ajattelun rakennetta tai muotoja (kuten ehdotuksia, käsitteitä ja päättelyjä) vahvistaakseen voimassa olevat lait ja periaatteet totuuden kriteerien saamiseksi.
Adjektiivina "looginen" tai "looginen" tarkoittaa, että jokin noudattaa logiikan ja järjen sääntöjä. Se osoittaa myös odotetun luonnollisen tai normaalin seurauksen.
Sitä käytetään myös viittaamaan niin sanottuun "terveen järkeen". Se tulee latinasta logiikka, ja puolestaan kreikaksi λογική (logike, 'jolla on järkeä, "älyllinen", "dialektinen", "argumentatiivinen"), mikä puolestaan johtuu sanasta λόγος (logot, "sana", "ajatus", "syy", "idea", "argumentti").
Propositio-, matemaattinen tai symbolinen logiikka
Lauselogiikka on logiikan haara, joka tutkii ehdotusmuuttujia, loogisia liitososia (
). Jotkut kirjoittajat tunnistavat sen myös matemaattisella logiikalla tai symbolisella logiikalla, koska siinä käytetään sarjaa erikoissymboleja, jotka tuovat sen lähemmäksi matemaattista kieltä. Ehdotukset voivat olla totta tai väärää.
Filosofinen logiikka
Logiikkaa pidetään yleensä osana filosofiaa, vaikka logiikkaa sellaisenaan sovelletaan ihmisen eri alueilla ja toiminnoissa.
Filosofinen logiikka käyttää neljää perusperiaatetta, jotka perustavat oikeat ajatusprosessit. Nämä periaatteet ovat identiteetin periaate, ristiriidattomuuden periaate, ulkopuolisen kolmannen osapuolen periaate ja riittävän perustelun periaate.
Muodollinen logiikka ja epävirallinen logiikka
Muodollinen logiikka on sellainen, jonka tutkimuksen kohteena ovat tekniset päätelmät deduktiivisten järjestelmien sekä muodollisten kielten ja semantiikan avulla. Epävirallinen logiikka puolestaan tutkii luonnollisia päättely- ja argumentointijärjestelmiä kielen ja jokapäiväisen ajattelun kautta.
Aristotelilainen logiikka
Se on logiikka, joka perustuu 4. vuosisadalla eKr. Kreikkalaisen filosofin Aristoteleen tutkimuksiin. Aristotelaisessa logiikassa käytetään niin kutsuttuja sylogismeja, joka on vähennys tai päättelymuoto, jossa perustetaan tilat, joista johtopäätös johtuu.
Siksi se on samanlainen käsite kuin deduktiivisesti perustellut argumentit. Klassinen esimerkki aristoteleisesta logiikasta on: Kaikki miehet ovat kuolevaisia. Kaikki kreikkalaiset ovat miehiä. Siksi kaikki kreikkalaiset ovat kuolevaisia. ' Kaksi ensimmäistä virkettä olisivat tilat ja kolmas johtopäätös.
Diffuusi logiikka
Käsite diffuusi logiikka tulee englannista ('sumea logiikka'). Se on eräänlainen logiikka, joka käyttää satunnaisia arvoja, mutta kontekstualisoituu ja liittyy toisiinsa ja määrittää suhteellisen sen, mitä havaitaan eroasemana. Fuzzy-logiikkaa sovelletaan useilla aloilla, kuten tietojenkäsittelytieteessä ja teollisuudessa.
