Dalintis:
6 pagrindiniai logikos tipai
Yra keletas logikos tipai ir visi sutelkti savo tyrimo objektą, kad suprastų argumentus ir nustatytų, 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 pritaikyta prie kasdienio žmogaus gyvenimo, kuris leidžia jai labiau apčiuopiamas taikymas įvairiose srityse.
Logika siekiama sistemingai išnagrinėti argumentus ir pasiūlymus, o skirtingų tipų logika leidžia ištirti tiek formalią šių pareiškimų struktūrą, kiek tai susiję su turiniu ir minėto turinio galia.
Nors logika yra pagrįsta pareiškimų tyrimu, ji aiškiai neapsiriboja natūralia kalba (kalba, kurią mes žinome), tačiau jos naudingumas pasiekė įvairias sritis ir skirtingas struktūras, pvz., Matematiką ir skaičiavimas.
Svarbiausios logikos rūšys
Oficialus
Formali logika, dar vadinama klasikine logika arba aristotelio logika, yra pasiūlymų, argumentų, teiginių ar sakinių iš struktūrinio požiūrio tyrimas.
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 kūrimo teisėtumui 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; bet kad jo tyrimas yra aiškiai sutelktas į minėto 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 logikos išvados gali būti padarytos iš jau egzistuojančių sąvokų ar teorijų.
Pavyzdžiui, dedukcinėje logikoje galima pasakyti, kad jei žmonės turi kojas 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, o kita taip pat mėgsta, o kita taip pat, tada visos katės mėgsta žuvis.
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 patvirtina logiškus argumentus, 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 teiginiams.
Jame nustatomos kitos analizės formos, kurios gali apimti daugiau aspektų nei galima įtraukti į klasikinį logikos metodą.
Taip įtraukiami matematiniai ir simboliniai elementai, nauji teiginiai ar teoremos, kurios padėjo kompensuoti oficialios logikos sistemos trūkumus.
Ne klasikinėje logikoje yra įvairių logikos potipių, pavyzdžiui, modalinis, matematinis, trivalentinis..
Visi šie logikos tipai tam tikru mastu skiriasi nuo oficialios logikos, arba įtraukti naujus elementus, kurie papildo vienas kitą, ir leidžia logiška konkretaus teiginio studijavimas būti tikslesnis ir pritaikytas naudingumui kasdieniame gyvenime.
Simbolinis
Simbolinė logika taip pat vadinama pirmosios eilės logika, arba matematine logika, ir 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), tačiau naudoja techninę kalbą, kuri sakinius paverčia elementais, galinčiais taikyti tikslesnes taisykles, nei galima taikyti 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ė arba 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, taigi ji apima ir tokių konstrukcijų, kaip „gali“, „galbūt“, „kartais“, „galbūt“, „tikriausiai“, „tikėtina“, „gal“, naudojimą. ", Be kita ko.
Modalinėje logikoje reikia apsvarstyti scenarijų, kuriame yra galimybė, ir vienas iš logiško požiūrio yra linkęs apsvarstyti visas galimas galimybes..
Apskaičiuota
Skaičiavimo logika yra logikos, gautos iš simbolinės ar matematinės logikos, rūšis, tik 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..
Nuorodos
- „Logika“ Enciklopedijoje Britannica. Gauta 2017 m. Rugpjūčio 4 d. Iš Encyclopedia Britannica: britannica.com
- „Formalinė logika“ Enciklopedijoje Britannica. Gauta 2017 m. Rugpjūčio 4 d. Iš Encyclopedia Britannica: britannica.com
- Hernándezas, F. "Kompiuterinė logika" Nacionaliniame Meksikos universitete. Gauta 2017 m. Rugpjūčio 4 d. Iš Meksikos autonominio universiteto: unam.mx
- Muñoz, C. "Ne klasikinė logika" Madrido Complutense universitete. Gauta 2017 m. Rugpjūčio 4 d. Iš Universidad Complutense de Madrid: ucm.es
- Julija, J. "Kas yra simbolinė logika?" EHow en Español. Gauta 2017 m. Rugpjūčio 4 d. Iš eHow lt Español: ehowenespanol.com
- Oller, C. "Oficiali logika ir argumentacija" (2006) La Plata nacionaliniame universitete. Gauta 2017 m. Rugpjūčio 4 d. Iš La Plata nacionalinio universiteto: rfytp.fahce.unlp.edu.ar
- „Dedukcinės ir indukcinės išvados“ Junta de Estremaduroje. Gauta 2017 m. Rugpjūčio 4 d. Junta de Extremadura: educarex.es.