Mis on loogika:
Loogika See on ametlik teadus, mis uurib inimmõtte struktuuri või vorme (nagu väited, mõisted ja arutluskäigud), et kehtestada kehtivad seadused ja põhimõtted tõekriteeriumide saamiseks.
Omadussõnana tähendab „loogiline” või „loogiline” seda, et miski järgib loogika ja mõistuse reegleid. See näitab ka eeldatavat looduslikku või normaalset tagajärge.
Seda kasutatakse ka nn "terve mõistuse" tähistamiseks. See pärineb ladina keelest loogika, ja omakorda kreeka keelest λογική (logike, "millel on põhjus (intellektuaalne), „dialektiline”, „argumenteeriv”), mis tuleneb omakorda sõnast λόγος (logod, "sõna", "mõte", "põhjus", "idee", "argument").
Propositsiooniline, matemaatiline või sümboolne loogika
Lauseloogika on loogika haru, mis uurib propositsioonilisi muutujaid, loogilisi ühendusi (
). Mõned autorid samastavad seda ka matemaatilise loogika või sümboolse loogikaga, kuna see kasutab rida erisümboleid, mis lähendavad seda matemaatilisele keelele. Väited võivad olla tõesed või valed.
Filosoofiline loogika
Loogikat peetakse tavaliselt filosoofia osaks, kuigi loogikat kui sellist rakendatakse inimese erinevates valdkondades ja tegevustes.
Filosoofiline loogika kasutab nelja põhiprintsiipi, mis kehtestavad õiged mõtteprotsessid. Need põhimõtted on identiteedi põhimõte, vastuolu puudumise põhimõte, välistatud kolmanda isiku põhimõte ja piisava mõistuse põhimõte.
Ametlik loogika ja mitteformaalne loogika
Ametlik loogika on see, mille uurimisobjektiks on tehnilised järeldused deduktiivsete süsteemide ning formaalsete keelte ja semantika kasutamise kaudu. Mitteametlik loogika uurib loomulikke arutlus- ja argumentatsioonisüsteeme keele ja igapäevase mõtlemise kaudu.
Aristoteleslik loogika
Just loogika põhineb Kreeka filosoofi Aristotelese 4. sajandi eKr uuringutel. Aristoteleslikus loogikas kasutatakse nn süllogisme, mis on deduktsioon või arutlusvorm, kus luuakse eeldused, millest järeldatakse.
Seetõttu on see mõiste, mis sarnaneb deduktiivselt kehtivate argumentidega. Aristotelese loogika klassikaline näide on: "Kõik mehed on surelikud. Kõik kreeklased on mehed. Seetõttu on kõik kreeklased surelikud. ' Esimesed kaks lauset oleksid eeldused ja kolmas järeldus.
Hajus loogika
Mõiste hajus loogika pärineb inglise keelest ('hägune loogika'). See on teatud tüüpi loogika, mis kasutab juhuslikke väärtusi, kuid on kontekstualiseeritud ja üksteisega seotud, määrates diferentsiaalasendina vaadeldava suhtelise. Hägusat loogikat rakendatakse erinevates valdkondades, näiteks arvutiteaduses ja tööstuses.
