4 svarbiausi logikos tipai (ir charakteristikos)

Logika yra samprotavimų ir išvadų tyrimas. Tai yra klausimų ir analizių rinkinys, leidęs suprasti, kuo pagrįsti argumentai skiriasi nuo klaidų ir kaip mes juos pasiekiame.

Tam buvo būtina plėtoti įvairias sistemas ir studijų formas, kurios nulėmė keturis pagrindinius logikos tipus. Toliau pamatysime, apie ką kiekvienas iš jų.

• Rekomenduojamas straipsnis: „10 loginių ir argumentuotų klaidų tipų“

Kas yra logika?

Žodis „logika“ kilęs iš graikų kalbos „logos“, kurį galima išversti įvairiai: žodis, mintis, argumentas, principas ar priežastis yra vieni iš pagrindinių. Šia prasme logika yra principų ir samprotavimų tyrimas.

Šio tyrimo tikslas yra suprasti skirtingus išvadų kriterijus ir tai, kaip mes gauname pagrįstus įrodymus, priešingai nei netinkami įrodymai. Taigi pagrindinis logikos klausimas yra tai, kas yra teisingas mąstymas ir kaip mes galime atskirti pagrįstą argumentą nuo klaidos?

Norėdami atsakyti į šį klausimą, logika siūlo skirtingus teiginių ir argumentų klasifikavimo būdus, neatsižvelgiant į tai, ar jie vyksta formaliose sistemose, ar natūralia kalba. Konkrečiai, jis analizuoja teiginius (deklaratyvius sakinius), kurie gali būti tikri ar melagingi, taip pat klaidos, paradoksai, argumentai, susiję su priežastiniu ryšiu, ir apskritai argumentavimas.

Apskritai, norint sistemą laikyti logiška, jie turi atitikti tris kriterijus:

• Nuoseklumas (nėra prieštaravimo tarp teoremų, sudarančių sistemą)
• Solidumas (bandymų sistemose nėra melagingų išvadų)
• Išsamumas (visi tikri sakiniai turi būti patikrinami)

4 logikos tipai

Kaip matėme, logika naudoja skirtingus įrankius, kad suprastų samprotavimus, kuriais remiamės. Tradiciškai yra atpažįstami keturi pagrindiniai logikos tipai, kurių kiekvienas turi tam tikrus potipius ir specifiką. Toliau pamatysime, apie ką kiekvienas yra.

1. Formali logika

Taip pat žinomas kaip tradicinė logika arba filosofinė logika, tai grynai formalaus ir aiškaus turinio išvadų tyrimas. Kalbama apie formalių teiginių (loginių ar matematinių) analizę, kurių prasmė nėra savaiminė, o simboliai turi prasmę dėl jiems suteikiamos naudingos taikymo. Filosofinė tradicija, iš kurios pastaroji kyla, tiksliai vadinama „formalizmu“.

Savo ruožtu formali sistema yra ta, kuri naudojama išvadai padaryti iš vienos ar daugiau patalpų. Pastarosios gali būti aksiomos (savaime suprantami teiginiai) arba teoremos (išvados iš fiksuoto išvadų ir aksiomų taisyklių rinkinio).

Išvadas, kurias padarėme formalia logika, jei jie pagrįsti galiojančiomis prielaidomis ir nėra loginių operacijų gedimų, jie savaime yra teisingi. Iš tikrųjų tai sukelia atviras diskusijas apie tai, ar formali logika priklauso mokslo pasauliui. arba jie priklauso kitai žinių sričiai, nes jie neapibūdina tikrovės, o greičiau savo pačių taisykles veikiantis.

2. Neformali logika

Savo ruožtu neformali logika yra naujesnė disciplina, kuri tiria, vertina ir analizuoja argumentus, naudojamus natūralia ar kasdiene kalba. Taigi jis gauna kategoriją „neformalus“. Tai gali būti tiek sakytinė, tiek rašytinė kalba, arba bet kokio tipo mechanizmas ir sąveika, naudojami norint kažkam perduoti. Skirtingai nuo formalios logikos, kuri, pavyzdžiui, būtų taikoma kompiuterinių kalbų studijoms ir plėtrai; oficiali kalba reiškia kalbas ir kalbas.

Taigi neformali logika gali analizuoti viską, pradedant asmeniniais argumentais ir argumentais, baigiant politinėmis diskusijomis, teisiniai argumentai ar žiniasklaidos, pavyzdžiui, laikraščio, televizijos, interneto, ir kt.

3. Simbolinė logika

Kaip rodo pavadinimas, simbolinė logika analizuoja simbolių santykius. Kartais ji naudoja sudėtingą matematinę kalbą, nes ji yra atsakinga už problemų studijas, kurios tradicinei formaliajai logikai atrodo sudėtingos ar sunkiai įveikiamos. Paprastai jis skirstomas į du potipius:

• Predikatyvi arba pirmos eilės logika: tai formali sistema, susidedanti iš formulių ir kiekybiškai įvertinamų kintamųjų
• Pasiūlymo: tai formali sistema, susidedanti iš teiginių, galinčių sukurti kitus teiginius per jungiklius, vadinamus „loginiais ryšiais“. Čia beveik nėra kiekybiškai įvertinamų kintamųjų.

4. Matematinė logika

Priklausomai nuo autoriaus, kuris ją apibūdina, matematinę logiką galima laikyti formalios logikos tipu. Kiti mano, kad matematinė logika apima ir formalios logikos taikymą matematikai, ir matematinių samprotavimų taikymą formaliai logikai.

Apskritai kalbant, matematinės kalbos taikymas kuriant logines sistemas leidžia atkurti žmogaus protą. Pavyzdžiui, tai buvo labai svarbu kuriant dirbtinį intelektą ir pažinimo tyrimo skaičiavimo paradigmose.

Paprastai jis skirstomas į du potipius:

• Logika: kalbama apie logikos taikymą matematikoje. Tokio tipo pavyzdžiai yra įrodymų teorija, modelių teorija, aibių teorija ir rekursijos teorija.
• Intuicionizmas: teigia, kad tiek logika, tiek matematika yra metodai, kurių taikymas yra nuoseklus, norint atlikti sudėtingas psichines konstrukcijas. Tačiau jis sako, kad savaime logika ir matematika negali paaiškinti gilių analizuojamų elementų savybių.

Indukcinis, dedukcinis ir modalinis samprotavimas

Iš kitos pusės, yra trijų tipų samprotavimai, kuriuos taip pat galima laikyti loginėmis sistemomis. Tai yra mechanizmai, leidžiantys daryti išvadas iš patalpų. Dedukciniai samprotavimai daro šį išskyrimą iš bendros prielaidos į tam tikrą prielaidą. Klasikinis pavyzdys yra tas, kurį pasiūlė Aristotelis: visi žmonės yra mirtingi (tai yra bendra prielaida); Sokratas yra žmogus (tai yra pagrindinė prielaida), pagaliau Sokratas yra mirtingas (tokia išvada).

Savo ruožtu indukcinis samprotavimas yra procesas, kurio metu daroma išvada priešinga kryptimi: nuo konkretaus iki bendro. To pavyzdys galėtų būti „Visos varnos, kurias matau, yra juodos“ (konkreti prielaida); taigi visos varnos yra juodos (išvada).

Galiausiai samprotavimai arba modalinė logika remiasi tikimybiniais argumentais, tai yra, jie išreiškia galimybę (modalumą). Tai formali logikos sistema, apimanti tokius terminus kaip „galėčiau“, „gali“, „privalau“, „galų gale“.

Bibliografinės nuorodos:

• Groarke, L. (2017). Neformali logika. Stanfordo filosofijos enciklopedija. Žiūrėta 2018 m. Spalio 2 d. Yra https://plato.stanford.edu/entries/logic-informal/
• Logika (2018). Filosofijos pagrindai. Žiūrėta 2018 m. Spalio 2 d. Yra https://www.philosophybasics.com/branch_logic.html
• Magnani, L. (2001). Pagrobimas, priežastis ir mokslas: atradimų ir paaiškinimų procesai. Niujorkas: „Kluwer Academic Plenum Publishers“.
• McGinnas, C. (2000). Loginės savybės: tapatumas, egzistavimas, polinkis, būtinybė, tiesa. Oksfordas: „Clarendon Press“.
• Quine, W.V.O. (1986) (1970). Logikos filosofija. Kembridžas, MA.: Harvardo universiteto leidykla.
• Shapiro, S. ir Kouri, S. (2018). Klasikinė logika. Žiūrėta 2018 m. Spalio 2 d. Yra „Logic“ (2018). Filosofijos pagrindai. Žiūrėta 2018 m. Spalio 2 d. Yra https://www.philosophybasics.com/branch_logic.html
• Garsonas, Dž. (2018). Modalinė logika. Stanfordo filosofijos enciklopedija. Žiūrėta 2018 m. Spalio 2 d. Yra https://plato.stanford.edu/entries/logic-modal/