Kas yra logika:
Logika Tai yra oficialus mokslas, tiriantis žmogaus minties struktūrą ar formas (pvz., Teiginius, sąvokas ir samprotavimus), kad būtų nustatyti galiojantys dėsniai ir principai tiesos kriterijams gauti.
Kaip būdvardis, „logiška“ arba „logiška“ reiškia, kad kažkas atitinka logikos ir proto taisykles. Tai taip pat rodo numatomas natūralias ar įprastas pasekmes.
Jis taip pat naudojamas vadinamajam „sveiku protu“. Jis kilęs iš lotynų kalbos logika, o savo ruožtu iš graikų λογική (logike “,turintis proto, „intelektualinis“, „dialektinis“, „argumentuotas“), kuris savo ruožtu kyla iš žodžio λόγος (logotipai, „žodis“, „mintis“, „priežastis“, „idėja“, „argumentas“).
Teiginio, matematinė ar simbolinė logika
Teiginių logika yra logikos šaka, tirianti teiginių kintamuosius, loginius jungiklius (
). Kai kurie autoriai taip pat tapatina su matematine logika ar simboline logika, nes joje naudojama specialių simbolių serija, priartinanti jį prie matematinės kalbos. Teiginiai gali būti teisingi arba melagingi.
Filosofinė logika
Logika paprastai laikoma filosofijos dalimi, nors logika kaip tokia taikoma įvairiose žmogaus esybės srityse ir veikloje.
Filosofinė logika naudoja keturis pagrindinius principus, kurie nustato teisingus mąstymo procesus. Šie principai yra tapatumo principas, neprieštaravimo principas, pašalintos trečiosios šalies principas ir pakankamo proto principas.
Formali logika ir neformali logika
Formalioji logika yra ta, kurios tyrimo objektas yra techninės išvados naudojant dedukcines sistemas ir formalias kalbas bei semantiką. Neformali logika savo ruožtu tiria natūralias samprotavimo ir argumentavimo sistemas, pasitelkdama kalbą ir kasdienę mintį.
Aristoteliška logika
Tai logika, pagrįsta 4 amžiaus pr. Kr. Graikų filosofo Aristotelio studijomis. Aristoteliškoje logikoje naudojami vadinamieji silogizmai, tai yra dedukcija arba samprotavimo forma, kurioje nustatomos prielaidos, iš kurių daroma išvada.
Todėl tai yra sąvoka, panaši į dedukciškai pagrįstus argumentus. Klasikinis Aristotelio logikos pavyzdys yra: „Visi vyrai yra mirtingi. Visi graikai yra vyrai. Todėl visi graikai yra mirtingi “. Pirmieji du sakiniai būtų patalpos, o trečiasis - išvada.
Difuzinė logika
Sąvoka difuzinė logika kilęs iš anglų kalbos („fuzzy logic“). Tai logikos tipas, kuris naudoja atsitiktines reikšmes, tačiau yra kontekstualizuotas ir susijęs vienas su kitu, nustatydamas santykį to, kas stebima kaip diferencinė padėtis. Apytikslė logika taikoma įvairiose srityse, tokiose kaip informatika ir pramonė.
