4 kõige olulisemat tüüpi loogikat (ja omadusi)

Loogika on arutluskäik ja järeldused. See on hulk küsimusi ja analüüse, mis on võimaldanud mõista, kuidas kehtivad argumendid eksitustest erinevad ja kuidas me nendeni jõuame.

Selleks on olnud oluline erinevate süsteemide ja õppevormide väljatöötamine, mille tulemuseks on neli peamist tüüpi loogikat. Allpool näeme, millest igaüks neist räägib.

• Soovitatav artikkel: "10 tüüpi loogilisi ja argumenteeritud eksitusi"

Mis on loogika?

Sõna "loogika" pärineb kreeka keelest "logos", mida saab tõlkida erineval viisil: sõna, mõte, argument, põhimõte või põhjus on ühed peamistest. Selles mõttes on loogika põhimõtete ja arutluste uurimine.

Selle uuringu eesmärk on mõista erinevaid järelduste kriteeriume ja seda, kuidas jõuame kehtivate tõenditeni, erinevalt kehtetutest tõenditest. Seega on loogika põhiküsimus see, mis on õige mõtlemine ja kuidas teha vahet kehtiva argumendi ja eksituse vahel?

Sellele küsimusele vastamiseks pakub loogika väidete ja argumentide klassifitseerimise erinevaid viise, olenemata sellest, kas need esinevad formaalsetes süsteemides või loomulikus keeles. Täpsemalt analüüsib see väiteid (deklaratiivseid lauseid), mis võivad olla tõesed või valed, samuti eksitused, paradoksid, põhjuslikku seost puudutavad argumendid ja üldiselt argumentatsioon.

Süsteemi loogiliseks pidamiseks peavad nad vastama kolmele kriteeriumile:

• Järjepidevus (süsteemi moodustavate teoreemide vahel pole vastuolu)
• Soliidsus (testisüsteemid ei sisalda valesid järeldusi)
• Täielikkus (kõik tõesed laused peavad olema kontrollitavad)

4 tüüpi loogikat

Nagu nägime, kasutab loogika erinevaid vahendeid, et mõista põhjendusi, mida millegi õigustamiseks kasutame. Traditsiooniliselt tunnustatakse nelja peamist loogikaliiki, millest igaühel on mõned alamtüübid ja eripära. Allpool näeme, millest igaüks räägib.

1. Ametlik loogika

Tuntud ka kui traditsiooniline loogika või filosoofiline loogika, see on puhtalt formaalse ja sõnaselge sisuga järelduste uurimine. See on ametlike väidete (loogiliste või matemaatiliste) analüüsimine, mille tähendus ei ole sisemine, vaid selle sümbolid on mõistlikud tänu neile antud kasulikule rakendusele. Filosoofilist traditsiooni, millest viimane tuleneb, nimetatakse täpselt "formalismiks".

Omakorda on ametlik süsteem see, mida kasutatakse järelduse tegemiseks ühest või mitmest ruumist. Viimased võivad olla aksioomid (iseenesestmõistetavad väited) või teoreemid (järeldused järelduste ja aksioomide fikseeritud reeglistikust).

Järeldused, milleni jõudsime ametliku loogika kaudu, kui need põhinevad kehtivatel ruumidel ja loogilistes toimingutes pole tõrkeid, on need iseenesest tõesed. Tegelikult viib see avatud aruteluni selle üle, kas formaalne loogika kuulub teadusmaailma. või kuuluvad nad teise teadmiste valdkonda, kuna nad ei kirjelda tegelikkust, vaid pigem omaenda reegleid toimivad.

2. Mitteametlik loogika

Mitteametlik loogika on omalt poolt uuem distsipliin, mis uurib, hindab ja analüüsib loomulikus või igapäevases keeles kasutatavaid argumente. Seega saab see kategooria "mitteametlik". See võib olla nii kõne- kui ka kirjakeel või mis tahes tüüpi mehhanism ja suhtlus, mida kasutatakse millegi edastamiseks. Erinevalt formaalsest loogikast, mis kehtiks näiteks arvutikeelte uurimisel ja arendamisel; ametlik keel viitab keeltele ja keeltele.

Seega saab mitteametlik loogika analüüsida kõike alates isiklikest arutlustest ja argumentidest kuni poliitiliste aruteludeni, õiguslikud argumendid või meedia, näiteks ajaleht, televisioon, Internet, jne.

3. Sümboolne loogika

Nagu nimigi ütleb, analüüsib sümboolne loogika sümbolite vahelisi suhteid. Mõnikord kasutab see keerukat matemaatilist keelt, kuna see on probleemide uurimise ülesanne, mida traditsiooniline formaalne loogika peab keeruliseks või raskesti lahendatavaks. Tavaliselt jaguneb see kahte alamtüüpi:

• Ennustav ehk esimese järgu loogika: see on ametlik süsteem, mis koosneb valemitest ja kvantifitseeritavatest muutujatest
• Propositsiooniline: see on ametlik süsteem, mis koosneb väidetest, mis on võimelised looma muid ettepanekuid konnektorite kaudu, mida nimetatakse "loogilisteks ühendajateks". Selles pole peaaegu ühtegi kvantifitseeritavat muutujat.

4. Matemaatiline loogika

Sõltuvalt autorist, kes seda kirjeldab, võib matemaatilist loogikat pidada vormilise loogika tüübiks. Teised leiavad, et matemaatiline loogika hõlmab nii formaalse loogika rakendamist matemaatikas kui ka matemaatilise arutluse rakendamist formaalses loogikas.

Laias laastus tähendab see matemaatilise keele rakendamist loogiliste süsteemide ülesehitamisel, mis võimaldab inimese meelt reprodutseerida. Näiteks on see olnud väga olemas tehisintellekti arendamisel ja tunnetuse uurimise arvutuslikes paradigmades.

Tavaliselt jaguneb see kahte alamtüüpi:

• Loogika: see puudutab loogika rakendamist matemaatikas. Seda tüüpi näideteks on tõestusteooria, mudeliteooria, komplektiteooria ja rekursiooniteooria.
• Intuitsionism: väidab, et nii loogika kui matemaatika on meetodid, mille rakendamine on järjepidev keerukate vaimsete konstruktsioonide teostamiseks. Kuid ta ütleb, et loogika ja matemaatika ei suuda iseenesest seletada nende analüüsitavate elementide sügavaid omadusi.

Induktiivne, deduktiivne ja modaalne arutluskäik

Teiselt poolt, on kolme tüüpi arutlusi, mida võib pidada ka loogilisteks süsteemideks. Need on mehhanismid, mis võimaldavad meil teha ruumidest järeldusi. Deduktiivne arutluskäik muudab selle väljavõtte üldisest eeldusest konkreetseks eelduseks. Klassikaline näide on Aristotelese pakutud näide: kõik inimesed on surelikud (see on üldine eeldus); Sokrates on inimene (see on peamine eeldus) ja lõpuks on Sokrates surelik (see on järeldus).

Induktiivne arutlus on omalt poolt protsess, mille käigus tehakse järeldus vastupidises suunas: konkreetsest üldiseks. Selle näiteks võiks olla "Kõik varesed, keda näen, on mustad" (konkreetne eeldus); nii et kõik varesed on mustad (järeldus).

Lõpuks põhineb arutluskäik või modaalne loogika tõenäosuslikel argumentidel, see tähendab, et nad väljendavad võimalust (modaalsust). See on ametlik loogikasüsteem, mis sisaldab selliseid termineid nagu "võiks", "võib", "peab", "lõpuks".

Bibliograafilised viited:

• Groarke, L. (2017). Mitteametlik loogika. Stanfordi filosoofiaentsüklopeedia. Vaadatud 2. oktoobril 2018. Saadaval https://plato.stanford.edu/entries/logic-informal/
• Loogika (2018). Filosoofia põhitõed. Vaadatud 2. oktoobril 2018. Saadaval https://www.philosophybasics.com/branch_logic.html
• Magnani, L. (2001). Röövimine, põhjus ja teadus: avastamise ja selgitamise protsessid. New York: Kluweri akadeemilise pleenumi kirjastajad.
• McGinn, C. (2000). Loogilised omadused: identiteet, olemasolu, predikatsioon, vajalikkus, tõde. Oxford: Clarendon Press.
• Quine, W.V.O. (1986) (1970). Loogika filosoofia. Cambridge, MA: Harvardi Ülikooli Kirjastus.
• Shapiro, S. ja Kouri, S. (2018). Klassikaline loogika. Vaadatud 2. oktoobril 2018. Saadaval loogikas (2018). Filosoofia põhitõed. Vaadatud 2. oktoobril 2018. Saadaval https://www.philosophybasics.com/branch_logic.html
• Garson, J. (2018). Modaalne loogika. Stanfordi filosoofiaentsüklopeedia. Vaadatud 2. oktoobril 2018. Saadaval https://plato.stanford.edu/entries/logic-modal/