4 svarbiausi logikos tipai (ir funkcijos)

Logika yra samprotavimų ir išvadų tyrimas. Tai klausimų ir analizių rinkinys, kuris leido mums suprasti, kaip galiojantys argumentai skiriasi nuo nesąžiningumo ir kaip mes pasiekiame juos.

Dėl to buvo būtina plėtoti skirtingas sistemas ir formas, kurios lėmė keturias pagrindines logikos rūšis. Mes matysime žemiau tai, ką kiekvienas iš jų yra.

• Rekomenduojamas straipsnis: [10 „loginių ir argumentuojančių klaidų tipų“) (10 loginių ir argumentuojamų klaidų tipų)

Kas yra logika?

Žodis „logika“ kilęs iš graikų „logotipų“, kuriuos galima versti įvairiais būdais: žodis, minties, argumentai, principas ar priežastis yra keletas pagrindinių. Šia prasme logika yra principų ir argumentavimo tyrimas.

Šio tyrimo tikslas - suprasti skirtingus išvadų kriterijus ir tai, kaip pasiekiame galiojančias demonstracijas, priešingai nei neteisingos demonstracijos. Taigi, pagrindinis logikos klausimas yra tai, kas yra teisingas mąstymas ir kaip mes galime atskirti galiojantį argumentą ir klaidingumą??

Norėdami atsakyti į šį klausimą, logika siūlo įvairius teiginių ir argumentų klasifikavimo būdus, nesvarbu, ar jie vyksta formalioje sistemoje, ar natūralia kalba. Konkrečiai kalbant, jame analizuojami teiginiai (deklaratyvūs sakiniai), kurie gali būti teisingi ar klaidingi, taip pat klaidingi, paradoksai, argumentai, susiję su priežastiniu ryšiu, ir apskritai argumentavimo teorija..

Apskritai, norint, kad sistema būtų logiška, jie turi atitikti tris kriterijus:

• Nuoseklumas (nėra prieštaravimų tarp teorijų, sudarančių sistemą)
• Stiprumas (bandymo sistemose nėra klaidingų išvadų)
• Compided (visi tikrieji sakiniai turi būti įrodomi)

4 logikos tipai

Kaip matėme, logika naudoja skirtingus įrankius, kad suprastume argumentus, kuriais mes naudojame kažką pateisinti. Tradiciškai pripažįstamos keturios pagrindinės logikos rūšys, kurių kiekvienas turi tam tikrus potipius ir ypatumus. Mes matysime žemiau tai, ką kiekvienas turi.

1. Formali logika

Taip pat žinomas kaip tradicinė logika arba filosofinė logika, kalbama apie išvadų su vien tik formaliu ir aiškiu turiniu tyrimą. Kalbama apie oficialių pareiškimų (loginių ar matematinių) analizę, kurių reikšmė nėra būdinga, bet jos simboliai yra prasmingi naudinga programa. Filosofinė tradicija, iš kurios pastaroji atsiranda, vadinama „formalumu“..

Savo ruožtu, oficiali sistema yra tokia, kuri naudojama išvadai iš vienos ar daugiau patalpų. Pastarieji gali būti aksiomos (savaime suprantami pasiūlymai) arba teoremos (fiksuotų išvadų ir aksiomų taisyklių rinkinio išvados).

2. Neformali logika

Savo ruožtu neoficiali logika yra naujausia drausmė, kuri studijuoti, vertinti ir analizuoti natūralios ar kasdieninės kalbos argumentus. Taigi ji gauna neformalaus pobūdžio kategoriją. Tai gali būti kalba arba rašytinė kalba, arba bet koks mechanizmas ir sąveika, naudojama kažkam bendrauti. Skirtingai nuo formalios logikos, kuri, pavyzdžiui, būtų taikoma kompiuterinių kalbų studijoms ir plėtrai; oficiali kalba kalba ir kalbomis.

Taigi neoficiali logika gali iš asmeninių argumentų ir argumentų analizuoti politines diskusijas, teisinius argumentus ar žiniasklaidos priemones, pvz., Laikraščius, televiziją, internetą ir kt..

3. Simbolinė logika

Kaip rodo jo pavadinimas, simbolinė logika analizuoja simbolių ryšius. Kartais ji naudoja sudėtingą matematinę kalbą, nes ji yra atsakinga už problemų, kurias tradicinė loginė logika nustato sunkiai ar sunku spręsti, tyrimą. Paprastai jis skirstomas į du potipius:

• Prognozuojama logika arba pirmoji tvarka: tai oficiali sistema, sudaryta iš formulių ir kiekybiškai įvertinamų kintamųjų
• Siūloma: tai oficiali sistema, sudaryta iš pasiūlymų, kurie gali sukurti kitus pasiūlymus per jungtis, vadinamas „logine jungiamuoju“. Šiuo atveju beveik nėra kiekybiškai įvertinamų kintamųjų.

4. Matematinė logika

Priklausomai nuo autoriaus, kuris ją apibūdina, matematinė logika gali būti laikoma oficialios logikos tipu. Kiti mano, kad matematinė logika apima ir formalaus logikos taikymą matematikai, ir matematinio motyvavimo taikymą į formalią logiką..

Apskritai matematinės kalbos taikymas kuriant logines sistemas leidžia atkurti žmogaus protą. Pavyzdžiui, tai buvo labai svarbi dirbtinio intelekto vystyme ir pažinimo studijos paradigmose..

Paprastai jis skirstomas į du potipius:

• Logika: tai yra logikos taikymas matematikoje. Šio tipo pavyzdžiai yra bandymo teorija, modelių teorija, rinkinių teorija ir rekursijos teorija.
• Intuicionalizmas: teigia, kad ir logika, ir matematika yra metodai, kurių taikymas yra nuoseklus, siekiant atlikti sudėtingas psichines konstrukcijas. Tačiau jis sako, kad savaime logika ir matematika negali paaiškinti gilių jų analizuojamų elementų savybių.

Indukcinis, dedukcinis ir modalinis argumentavimas

Kita vertus, Yra trys argumentavimo tipai, kurie taip pat gali būti laikomi loginėmis sistemomis. Tai yra mechanizmai, leidžiantys daryti išvadas iš patalpų. Dedukcinis motyvavimas leidžia tokį išgavimą iš bendros prielaidos tam tikroje prielaidoje. Klasikinis pavyzdys yra tas, kurį pasiūlė Aristotelis: visi žmonės yra mirtingi (tai yra bendroji prielaida); Socrates yra žmogus (tai yra pagrindinė prielaida), ir galiausiai, „Socrates“ yra mirtingasis (tai yra išvada).

Kita vertus, indukcinis argumentavimas yra procesas, kurio metu sudaroma išvada priešinga kryptimi: nuo konkrečios iki bendrosios. To pavyzdys būtų „Visos varnos, kurias galiu pamatyti, yra juodos“ (ypač prielaida); tada visos varnos yra juodos (išvada).

Galiausiai argumentavimas ar modalinė logika grindžiama tikimybiniais argumentais, ty jie išreiškia galimybę (modalumą). Tai yra oficiali logikos sistema, apimanti tokius terminus kaip „gali“, „gali“, „turėtų“, „galiausiai“.

Bibliografinės nuorodos:

• Groarke, L. (2017). Neformali logika. Stanfordo filosofijos enciklopedija. Gauta 2018 m. Spalio 2 d. Galima rasti adresu https://plato.stanford.edu/entries/logic-informal/
• Logika (2018). Filosofijos pagrindai. Gauta 2018 m. Spalio 2 d. Galima rasti adresu https://www.philosophybasics.com/branch_logic.html
• Shapiro, S. ir Kouri, S. (2018). Klasikinė logika. Gauta 2018 m. Spalio 2 d. Galima rasti Logic (2018). Filosofijos pagrindai. Gauta 2018 m. Spalio 2 d. Galima rasti adresu https://www.philosophybasics.com/branch_logic.html
• Garson, J. (2018). Modal Logic. Stanfordo filosofijos enciklopedija. Gauta 2018 m. Spalio 2 d. Galima rasti adresu https://plato.stanford.edu/entries/logic-modal/