Nelja kõige olulisema loogika (ja funktsioonide)

Aprill 1, 2024

Logic on arutluskäik ja järeldused . See on küsimustike ja analüüside komplekt, mis on võimaldanud meil mõista, kuidas kehtivad argumendid erinevad eksitustest ja kuidas me neile jõuame.

Selleks on erinevate süsteemide ja õppevormide väljaarendamine olnud hädavajalik, mis on toonud kaasa nelja peamise loogika tüübi. Allpool näeme, millest igaüks neist on.

Soovituslik artikkel: ["10 tüüpi loogilisi ja argumenteerivaid vigu"] (10 tüüpi loogilisi ja argumenteerivaid vigu)

Mis on loogika?

Sõna "loogika" pärineb Kreeka "logodest", mida saab tõlgendada erinevalt: mõni peamine on sõna, mõte, argument, põhimõte või põhjus. Selles mõttes on loogika põhimõtete ja arutluste uurimine.

Selle uuringu eesmärgiks on mõista erinevaid järelduste kriteeriume ja seda, kuidas me jõuame kehtivatele meeleavaldustele, vastupidiselt kehtetutele meeleavaldustele. Seega on loogika põhiküsimus, mis on õige mõtlemine ja kuidas me saame eristada kehtiva argumendi ja eksituse?

Sellele küsimusele vastamiseks pakub loogika välja erinevaid avaldamisviise ja argumente klassifitseerivaid viise, kas need esinevad formaalses süsteemis või looduslikus keeles. Täpsemalt analüüsitakse ettepanekuid (deklareerivaid lauseid), mis võivad olla tõesed või valed, samuti lünkad, paradoksid, argumendid, mis sisaldavad põhjuslikku seost ja üldiselt argumentatsiooni teooriat.

Üldiselt pidage süsteem loogiliseks, peavad need vastama kolmele kriteeriumile:

Järjepidevus (süsteemi moodustavate teoreemide vahel puudub vastuolu)
Tahked (katsesüsteemid ei sisalda valesid järeldusi)
Lõpetatud (kõik tõelised laused peavad olema tõestatud)

Nelja tüüpi loogika

Nagu nägime, kasutab loogika erinevaid vahendeid, et mõista põhjendusi, mida me kasutame, et midagi õigustada. Traditsiooniliselt tunnustatakse neli peamist tüüpi loogikat, millest igaühel on mõned alamtüübid ja eripärad. Allpool näeme, mida igaüks neist on.

1. Formaalne loogika

Tuntud ka kui traditsiooniline loogika või filosoofiline loogika see puudutab ainult formaalse ja selgesõnalise sisuga järelduste uurimist . Tegemist on formaalsete avalduste (loogiline või matemaatiline), mille tähendus pole olemuslik, vaid nende sümbolite tähendus nende kasuliku rakenduse tõttu, mis neile on antud, analüüsimine. Selle filosoofilise traditsiooni nimetatakse täpselt "formaalsuseks".

Omakorda on ametlik süsteem, mida kasutatakse ühe või mitme ruumilise järelduse väljavõtmiseks. Viimased võivad olla aksioomid (enesestmõistetavad propositions) või teoreemid (järelduste fikseeritud reegli järeldused ja aksioomid).

2. Mitteformaalne loogika

Omalt poolt on mitteametlik loogika hilisem distsipliin, mis uurida, hinnata ja analüüsida looduslikus või igapäevases keeles esitatud argumente . Seega saab ta kategooria "mitteametlik". See võib olla kas rääkimine või kirjalik keel või mis tahes mehhanism ja vastastikune suhtlemine, mida kasutatakse midagi suhelda. Erinevalt ametlikust loogikast, mis kehtib näiteks arvutikeelte uurimise ja arendamise kohta; ametlik keel tähendab keeli ja keeli.

Seega võib mitteametlik loogika analüüsida isiklikest arutlustest ja argumentidest poliitiliste arutelude, õiguslike argumentide või meedias levitatavate ruumide, näiteks ajalehtede, televisiooni, interneti ja nii edasi.

3. Sümboolne loogika

Nagu nimest osutab, sümboliline loogika analüüsib sümbolitevahelisi suhteid. Mõnikord kasutab ta keerukat matemaatilist keelt, sest see vastutab probleemide uurimise eest, mida traditsiooniline formaalne loogika leiab keeruliseks või raskesti käsitletavaks. See on tavaliselt jagatud kaheks alamtüübiks:

Ettearvatav loogika või esimene järjekord : see on formaalne süsteem, mis koosneb valemist ja mõõdetavatest muutujatest
Propositional : see on formaalne süsteem, mis koosneb ettepanekutest, mis suudavad luua teisi ettepanekuid ühenduste kaudu, mida nimetatakse "loogilisteks siduvateks". Selles ei ole peaaegu kvantifitseeritavaid muutujaid.

4. Matemaatiline loogika

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

Laialdaselt tähendab matemaatilise keele rakendamine loogiliste süsteemide ülesehitamisel inimkeele paljunemist. Näiteks on see olnud kunstliku intelligentsi arendamisel ja kognitsiooni uurimise arvutustes paradigmas väga tähtis.

See on tavaliselt jagatud kaheks alamtüübiks:

Logistika : see on loogika rakendamine matemaatika valdkonnas. Selle tüübi näideteks on tõenditeooria, mudeli teooria, seatud teooria ja rekursiooni teooria.
Intuitsioon : väidab, et nii loogika kui ka matemaatika on meetodid, mille rakendamine on järjepidev keerukate vaimsete konstruktsioonide teostamiseks. Kuid ta ütleb, et iseenesest ei saa loogika ja matemaatika selgitada analüüsitavate elementide sügavaid omadusi.

Induktiivne, deduktiivne ja modaalne põhjendus

Teiselt poolt On kolme liiki arutlusvõimalusi, mida võib pidada loogilisteks süsteemideks . Need on mehhanismid, mis võimaldavad teha järeldusi ruumides. Deduktatiivne põhjendus muudab sellise üldise eelduse ekstraheerimise konkreetseks eelduseks. Klassikaline näide on Aristotelese välja pakutud: kõik inimesed on surelikud (see on üldine eeldus); Sokrates on inimene (see on peamine eeldus) ja lõpuks on Socrates surematu (see on järeldus).

Induktiivne arutluskäik on omakorda protsess, mille käigus tehakse järeldus vastupidises suunas: konkreetsest üldisest. Selle näiteks võiks olla: "kõik varid, mida ma näen, on mustad" (eriline eeldus); siis kõik noored on mustad (järeldus).

Lõpuks põhineb arutluskäik või modaalsed loogikad tõenäosuslike argumentidega, st nad väljendavad võimalust (modaalsust). See on ametlik loogika süsteem, mis sisaldab selliseid termineid nagu "võiks", "võimalik", "peaks", "lõpuks".

Bibliograafilised viited:

Groarke, L. (2017). Mitteametlik loogika. Stanfordi filosoofia entsüklopeedia. Laaditud 2. oktoobril 2018. Saadaval aadressil //plato.stanford.edu/entries/logic-informal/
Logic (2018). Filosoofia alused. Laaditud 2. oktoobril 2018. Saadaval aadressil //www.philosophybasics.com/branch_logic.html
Shapiro, S. ja Kouri, S. (2018). Klassikaline loogika. Laaditud 2. oktoobril 2018. Saadaval loogikas (2018). Filosoofia alused. Laaditud 2. oktoobril 2018. Saadaval aadressil //www.philosophybasics.com/branch_logic.html
Garson, J. (2018). Modal Logic. Stanfordi filosoofia entsüklopeedia. Laaditud 2. oktoobril 2018. Saadaval aadressil //plato.stanford.edu/entries/logic-modal/