4 svarbiausi logikos tipai (ir funkcijos)

Logika yra motyvacijos ir išvadų tyrimas , Tai klausimų ir analizių rinkinys, leidžiantis mums suvokti, kaip teisingi argumentai skiriasi nuo klaidų ir kaip mes juos atvykome.

Dėl to buvo būtina sukurti skirtingas sistemas ir studijų formas, dėl kurių atsirado keturi pagrindiniai logikos tipai. Žemiau mes pamatysime, kas yra kiekvienas iš jų.

• Rekomenduojamas straipsnis: ["10 rūšių loginių ir argumentuotų klaidų"] (10 rūšių loginių ir argumentuojančių klaidų)

Kas yra logika?

Žodis "logika" kilęs iš graikų "logos", kuris gali būti išverstas įvairiais būdais: kai kurie iš pagrindinių yra žodis, mintis, argumentas, principas ar priežastis. Šia prasme logika yra principų ir samprotavimų studija.

Šio tyrimo tikslas yra suvokti skirtingus kriterijų išvada ir kaip mes atvykti į galiojančias demonstracijas, priešingai negu negaliojančios demonstracijos. Taigi, pagrindinis logikos klausimas yra tai, kas yra teisingas mąstymas, ir kaip galime atskirti teisingą argumentą nuo klaidos?

Norint atsakyti į šį klausimą, logika siūlo skirtingus teiginių ir argumentų klasifikavimo būdus, nesvarbu, ar jie vyksta formalioje sistemoje, ar natūralia kalba. Tiksliau analizuojami teiginiai (deklaratyvūs sakiniai), kurie gali būti tikri ar klaidingi, taip pat klaidingos, paradoksos, argumentai, susiję su priežastimis ir apskritai argumentacijos teorija.

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

• Nuoseklumas (nėra tarp teorijų, sudarančių sistemą, prieštarauja)
• Tvirtumas (bandymų sistemose nėra klaidingų išvadų)
• Baigtas (visi tikri sakiniai turi būti įrodyti)

4 logikos tipai

Kaip matėme, logika naudoja skirtingus įrankius, kad suprastų motyvus, kuriuos mes naudojame tam, kad pateisintų kažką. Tradiciškai pripažįstamos keturios pagrindinės logikos rūšys, kurių kiekvienas turi tam tikrų potipių ir ypatumų. Žemiau mes pamatysime tai, apie ką kiekvienas yra.

1. Formali logika

Taip pat žinomas kaip tradicinė logika ar filosofinė logika kalbant apie išimtines išvadas su grynai formaliu ir aiškiu turiniu , Tai yra analizuoti formalius teiginius (loginius ar matematinius), kurių reikšmė nėra būdinga, bet jos simboliai turi prasmę dėl naudingo pritaikymo. Filosofinė tradicija, kurią ji gauna, vadinama būtent "formalizmu".

Savo ruožtu oficiali sistema yra ta, kuri naudojama išvadoms iš vienos ar daugiau patalpų išgauti. Pastarosios gali būti aksiomos (savaime suprantami teiginiai) ar teorijos (fiksuoto išvestinių ir aksiomų taisyklių rinkinio išvados).

2. Neformali logika

Savo ruožtu neoficiali logika yra naujausia disciplina, kuri mokytis, vertinti ir analizuoti natūralioje arba kasdieninėje kalboje pateiktus argumentus , Taigi, ji gauna "neformaliojo" kategoriją. Tai gali būti žodinė ar 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 tobulinimui; oficiali kalba reiškia kalbas ir kalbas.

Taigi neoficiali logika iš asmeninių motyvų ir argumentų gali analizuoti politines diskusijas, teisinius argumentus ar žiniasklaidos platinamas patalpas, tokias kaip laikraščiai, televizija, internetas ir kt.

3. Simbolinė logika

Kaip rodo pavadinimas, simbolinė logika analizuoja santykius tarp simbolių. Kartais ji naudoja sudėtingą matematinę kalbą, nes ji yra atsakinga už problemas, kurias tradicinė formalaus logika laiko sudėtinga arba sunkiai sprendžiama. Paprastai ji susideda iš dviejų potipių:

• Numatytoji logika arba pirmasis užsakymas : tai oficiali sistema, sudaryta iš formulių ir kiekybiškai įvertintų kintamųjų
• Propositional : tai formali sistema, sudaryta iš pasiūlymų, kurie gali kurti kitus pasiūlymus per jungtis, vadinamą "logine jungtimi". Čia beveik nėra kiekybiškai įvertinamų kintamųjų.

4. Matematinė logika

Priklausomai nuo autoriaus, kuris tai apibūdina, matematinė logika gali būti laikoma formalios logikos rūšimi. Kiti mano, kad matematinė logika apima tiek formalios logikos taikymą matematikai, tiek matematinių sampratų pritaikymą formaliąja logika.

Apskritai, matematinės kalbos taikymas loginių sistemų kūrime leidžia atgaminti žmogaus protą. Pavyzdžiui, tai buvo labai aktuali dirbtinio intelekto kūrimui ir pažinimo tyrimo skaičiavimo paradigmams.

Paprastai ji susideda iš dviejų potipių:

• Logistika : tai yra apie logikos taikymą matematikoje. Tokio tipo pavyzdžiai yra įrodymo teorija, modelio teorija, teorija ir rekursijos teorija.
• Intuicija : teigia, kad ir logika, ir matematika yra metodai, kurių taikymas nuosekliai atlieka sudėtingas psichines konstrukcijas. Tačiau jis sako, kad savaime logika ir matematika negali paaiškinti gilių analizuojamų elementų savybių.

Indukcinis, dedukcinis ir modalinis argumentavimas

Kita vertus, Yra trijų tipų argumentai, kuriuos taip pat galima laikyti loginėmis sistemomis , Tai yra mechanizmai, leidžiantys mums padaryti išvadas iš patalpų. Atsiradusios priežastys leidžia tokią ištrauką iš bendrosios prielaidos į konkrečią prielaidą. Klasikinis pavyzdys yra tas, kurį pasiūlė Aristotelis: visi žmonės yra mirtingieji (tai yra bendroji prielaida); Sokratas yra žmogus (tai pagrindinė prielaida), ir galiausiai, Sokratas yra mirtingasis (tai yra išvada).

Savo ruožtu indukcinis mąstymas yra procesas, kurio metu daroma išvada priešinga kryptimi: nuo konkretaus iki visuotinio. Tokiu pavyzdžiu būtų "Visos varnos, kurias galiu pamatyti, yra juodos" (konkreti prielaida); tada visos varnos yra juodos (išvados).

Galiausiai, loginis pagrindimas arba modalas pagrįstas tikimybiniais argumentais, ty jie išreiškia galimybę (modalumą). Tai oficiali loginė sistema, apimanti tokius terminus kaip "gali", "gali", "turėtų", "galiausiai".

Bibliografinės nuorodos:

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

Zeitgeist: Judame Pirmyn (2011) (Balandis 2024).