6 pagrindiniai logikos tipai

Yra keletas logikos tipų ir visi jų tyrimo objektas sutelkti į supratimą ir nustatyti, kada jie yra teisingi ar neteisingi.

Logikos tyrimas išsivystė iš graikų filosofo Aristotelio laikų iki dabarties, ir tai buvo pakoreguota siekiant tapti konkretesne ir tuo pat metu labiau pritaikytu prie kasdienio žmogaus gyvenimo, kuris leidžia jai labiau apčiuopiamas taikymas įvairiose srityse.

Logika ieško sistemingo argumentų ir pasiūlymų analizės, o skirtingų tipų logika leidžia ištirti ir tik formalią šių pareiškimų struktūrą, ir tai, kas yra susijusi su turiniu, ir minėto turinio galia.

Nors logika yra pagrįsta pareiškimų tyrimu, ji nėra aiškiai orientuota į natūralią kalbą (kalbą, kurią mes žinome), tačiau jos naudingumas pasiekė įvairias sritis ir skirtingas struktūras, pvz., Matematiką ir skaičiavimas.

Svarbiausios logikos rūšys

Oficialus

Oficiali logika, dar žinoma kaip klasikinė logika arba aristotelio logika, yra pasiūlymų, argumentų, teiginių ar sakinių tyrimas struktūriniu požiūriu.

Tai metodas, skirtas idėjoms struktūrizuoti ir nustatyti teisingus ar neteisingus konkrečios metodo formas.

Oficiali logika nesusijusi su konkretaus argumento turinio teisingumu ar klaidingumu, bet daugiausia dėmesio skiria jos formos konstrukcijos galiojimui ar kitam.

Tai reiškia, kad formalios logikos tyrimo objektas nėra empirinis, nes logistikui nėra svarbu nustatyti, ar pateiktas argumentas yra realus ir įrodytas; tačiau jo tyrimas aiškiai sutelktas į argumento struktūrą.

Oficialioje logikoje yra dvi labai svarbios klasifikacijos: dedukcinė logika ir indukcinė logika.

Dedukcinė logika reiškia tuos konkrečius pareiškimus, kurie yra generuojami iš bendrųjų sąvokų. Šio tipo logika leidžia daryti išvadas iš jau egzistuojančių sąvokų ar teorijų.

Pavyzdžiui, dedukcinėje logikoje galima sakyti, kad jei žmonės turi kojų ir Clara yra žmogus, tada Clara turi kojas.

Indukcinės logikos atveju argumentų konstravimas vyksta priešingai; tai yra, bendros sąvokos sukuriamos iš konkrečių argumentų.

Pavyzdžiui, indukcinėje logikoje galėtume pasakyti, kad jei viena katė mėgsta žuvis, kita taip pat mėgsta, o kita taip pat, tada visos katės kaip žuvys.

Neoficialus

Neformali logika - tai studijų kryptis, orientuota į kalbą ir pranešimą, kuris kyla iš semantinių konstrukcijų ir argumentų.

Ši logika skiriasi nuo oficialios logikos, kadangi formali logika nagrinėja sakinių ir pasiūlymų struktūrą; ir neformali logika sutelkta į perduodamo pranešimo foną.

Tyrimo objektas yra būdas pareikšti norimą rezultatą. Neformali logika pagrįsta logiškais argumentais, kurie yra darnesni tarp kitų, turinčių silpnesnę argumentacinę struktūrą.

Ne klasikinis

Ne klasikinė logika, arba moderni logika, kilo iš XIX a. Ir kyla prieštaraujant klasikinės logikos išsakymams.

Jame nustatomos kitos analizės formos, kurios gali apimti daugiau aspektų nei gali būti įtrauktos į klasikinį logikos metodą.

Taip įtraukiami matematiniai ir simboliniai elementai, nauji pareiškimai ar teoremos, kurios padėjo kompensuoti oficialios logikos sistemos trūkumus.

Ne klasikinėje logikoje yra įvairių logikos potipių, pvz., Modalinis, matematinis, trivalentinis.

Visi šie logikos tipai tam tikru mastu skiriasi nuo formalios logikos, arba įtraukti naujus elementus, kurie papildo vienas kitą, ir leidžia logiškai ištirti tam tikrą teiginį, yra tikslesnė ir pritaikyta prie kasdienio gyvenimo.

Simbolinis

Simbolinė logika taip pat vadinama pirmos eilės logika, arba matematine logika, ir yra apibūdinama naudojant simbolius, kurie sudaro naują kalbą, per kurią „verčia“ argumentus.

Simbolinės logikos tikslas yra konvertuoti abstrakčias mintis į formalesnes struktūras.

Tiesą sakant, ji nenaudoja natūralios kalbos (kalbos), bet naudoja techninę kalbą, kuria sakiniai paverčiami elementais, galinčiais taikyti tikslesnes taisykles nei tos, kurios gali būti taikomos natūralia kalba.

Tada simbolinė logika leidžia apdoroti pasiūlymus per skaičiavimo įstatymus, kad būtų išvengta painiavos ar netikslumų.

Juo siekiama įtraukti matematinius elementus į oficialių loginių struktūrų analizę. Matematiniame lauke logika naudojama teoremams įrodyti.

Trumpai tariant, simbolinė ar matematinė logika siekia išreikšti žmogišką mąstymą matematine kalba.

Šis matematinis logikos taikymas leidžia argumentams ir konstrukcijoms tapti tikslesniais.

Modalas

Modalinė logika orientuota į argumentų tyrimą, tačiau prideda elementų, susijusių su galimybe, kad nagrinėjamas pareiškimas yra teisingas ar klaidingas.

Modalinė logika apsimeta, kad ji labiau sutampa su žmogaus mintimi, todėl apima tokias konstrukcijas kaip „gali“, „galbūt“, „kartais“, „galbūt“, „tikriausiai“, „tikriausiai“, „gal“. ", Be kita ko.

Kalbant apie modalinę logiką, kalbama apie scenarijų, kuriame yra galimybė, ir nuo loginio požiūrio yra linkusios atsižvelgti į visas galimas galimybes.

Apskaičiuota

Skaičiavimo logika - tai logika, gauta iš simbolinės ar matematinės logikos, tik ta, kad ji taikoma skaičiavimo srityje.

Kompiuterių programose jų kūrimui naudojama programavimo kalba, o logika leidžia dirbti šiomis kalbų sistemomis, priskirti konkrečias užduotis ir atlikti tikrinimo veiksmus.