Kultuur

4 kõige olulisemat loogika tüüpi (ja funktsioonid)

4 kõige olulisemat loogika tüüpi (ja funktsioonid) / Kultuur

Loogika on põhjenduste ja järelduste uurimine. Tegemist on küsimuste ja analüüside kogumiga, mis on võimaldanud meil mõista, kuidas kehtivad argumendid pettustest erinevad ja kuidas me nendeni jõuame.

Selleks on olnud hädavajalik erinevate süsteemide ja õppevormide arendamine, mis on viinud nelja peamise loogika tüübini. Me näeme allpool, millest igaüks neist on.

  • Soovitatav artikkel: [10 loogilise ja argumentatiivse lagunemise 10 liiki] (10 loogilise ja argumentatiivse pettuse tüüpi)

Mis on loogika?

Sõna "loogika" pärineb kreeka "logodest", mida saab tõlkida erinevalt: sõna, mõte, argument, põhimõte või põhjus on mõned peamistest. Selles mõttes on loogika põhimõtete ja põhjenduste uurimine.

Selle uuringu eesmärk on mõista erinevaid järeldusi ja seda, kuidas jõuame kehtivatele meeleavaldustele, erinevalt kehtivatest meeleavaldustest. Seega on loogika põhiküsimus see, mis on õige mõtlemine ja kuidas me saame eristada kehtivat argumenti ja eksimatust??

Sellele küsimusele vastamiseks pakub loogika erinevaid viise, kuidas klassifitseerida väiteid ja argumente, olgu need siis formaalses süsteemis või loomulikus keeles. Täpsemalt analüüsib see ettepanekuid (deklaratiivseid lauseid), mis võivad olla tõesed või valed, samuti pettused, paradoksid, põhjuslikud seosed ja üldiselt argumentatsiooniteooria..

Üldiselt tuleb süsteemi loogiliseks käsitlemiseks täita kolm kriteeriumi:

  • Järjepidevus (ei ole vastuolu süsteemi moodustavate teoreemide vahel)
  • Tugevus (testisüsteemid ei sisalda vale järeldusi)
  • Compested (kõik tõelised laused peavad olema tõestatud)

Nelja liiki loogikat

Nagu me nägime, kasutab loogika erinevaid põhjendusi, et mõista, mida me kasutame, et midagi õigustada. Traditsiooniliselt tunnustatakse nelja peamist loogika tüüpi, millest igaühel on mõned alatüübid ja spetsiifilisused. Me näeme allpool, millest igaüks on.

1. Ametlik loogika

Tuntud ka kui traditsiooniline loogika või filosoofiline loogika, tegemist on puhtalt formaalse ja selgesõnalise sisuga järelduste uurimisega. Tegemist on ametlike avalduste (loogiliste või matemaatiliste) analüüsimisega, mille tähendus ei ole sisemine, vaid selle sümbolid on mõistliku tähendusega antud kasuliku rakenduse kaudu. Filosoofilist traditsiooni, millest viimane tuleneb, nimetatakse täpselt "formaalsuseks".

Ametlik süsteem on omakorda selline, mida kasutatakse ühe või mitme ruumi järelduse tegemiseks. Viimased võivad olla aksioomid (enesestmõistetavad ettepanekud) või teoreemid (järeldused ja järeldused fikseeritud reeglistikust).

2. Mitteametlik loogika

Mitteametlik loogika omakorda on uuem distsipliin, mis uurida, hinnata ja analüüsida loomulikus või igapäevases keeles esitatud argumente. Seega saab ta "mitteametliku" kategooria. See võib olla kas suuline või kirjalik keel, või mistahes tüüpi mehhanism ja suhtlus, mida kasutatakse suhtlemiseks. Erinevalt formaalsest loogikast, mida näiteks rakendataks arvutikeelte õppimiseks ja arendamiseks; ametlik keel viitab keeltele ja keeltele.

Seega saab mitteametlik loogika isiklikust arutlusest ja argumentidest analüüsida poliitilisi arutelusid, õiguslikke argumente või meedias levitavaid ruume, nagu ajalehed, televisioon, internet jne..

3. Sümboolne loogika

Nagu nimigi ütleb, analüüsib sümboolne loogika sümbolite vahelisi suhteid. Mõnikord kasutab see keerulist matemaatilist keelt, kuna see vastutab probleemide uurimise eest, mida traditsiooniline formaalne loogika on raske või raske lahendada. Tavaliselt jaguneb see kahte alatüüpi:

  • Ennustav loogika või esimene järjekord: see on ametlik süsteem, mis koosneb valemitest ja kvantifitseeritavatest muutujatest
  • Propositsiooniline: see on ametlik süsteem, mis koosneb ettepanekutest, mis on võimelised looma muid ettepanekuid läbi konnektorite, mida nimetatakse "loogiliseks sideks". Selles ei ole peaaegu kvantifitseeritavaid muutujaid.

4. Matemaatiline loogika

Sõltuvalt autorist, kes seda kirjeldab, võib matemaatilist loogikat pidada formaalseks loogikaks. Teised leiavad, et matemaatiline loogika hõlmab nii formaalse loogika rakendamist matemaatikas kui ka matemaatilise põhjenduse rakendamist formaalsele loogikale..

Üldiselt võimaldab matemaatilise keele rakendamine loogiliste süsteemide konstrueerimisel inimmeelt reprodutseerida. Näiteks on see olnud kunstliku luure arendamisel ja kognitsiooni uuringu arvutus paradigmades väga kohal.

Tavaliselt jaguneb see kahte alatüüpi:

  • Loogika: tegemist on loogika rakendamisega matemaatikas. Seda tüüpi näited on testi teooria, mudeliteooria, komplektide teooria ja rekursiooni teooria.
  • Intuitionism: väidab, et nii loogika kui ka matemaatika on meetodid, mille rakendamine on komplekssete vaimse konstruktsioonide teostamiseks järjekindel. Kuid ta ütleb, et loogika ja matemaatika ei saa iseenesest selgitada analüüsitavate elementide sügavaid omadusi.

Induktiivne, deduktiivne ja modaalne põhjendus

Teisest küljest, Loogilisteks süsteemideks võib pidada ka kolme liiki põhjendusi. Need on mehhanismid, mis võimaldavad meil teha järeldusi ruumidest. Pühendav põhjendus muudab sellise väljavõtte üldisest eeldusest konkreetseks eelduseks. Klassikaline näide on Aristotelese pakutud: kõik inimesed on surelikud (see on üldine eeldus); Sokrates on inimene (see on peamine eeldus) ja lõpuks, Sokrates on surelik (see on järeldus).

Teisest küljest on induktiivne arutluskäik protsess, mille abil tehakse järeldus vastupidises suunas: konkreetsest üldisest. Selle näiteks on "Kõik varesed, mida ma näen, on mustad" (eriti eeldus); siis kõik varesed on mustad (järeldus).

Lõpuks põhineb põhjendus või modaalne loogika tõenäosuspõhistel argumentidel, st nad väljendavad võimalust (modaalsust). See on formaalne loogikasüsteem, mis sisaldab selliseid termineid nagu "võiks", "saab", "peaks", "lõpuks".

Bibliograafilised viited:

  • Groarke, L. (2017). Mitteametlik loogika. Stanfordi filosoofia enciklopeedia. Välja otsitud 2. oktoobril 2018. Saadaval aadressil https://plato.stanford.edu/entries/logic-informal/
  • Loogika (2018). Filosoofia alused. Välja otsitud 2. oktoobril 2018. Saadaval aadressil https://www.philosophybasics.com/branch_logic.html
  • Shapiro, S. ja Kouri, S. (2018). Klassikaline loogika. Välja otsitud 2. oktoobril 2018. Saadaval loogikas (2018). Filosoofia alused. Välja otsitud 2. oktoobril 2018. Saadaval aadressil https://www.philosophybasics.com/branch_logic.html
  • Garson, J. (2018). Modal Logic. Stanfordi filosoofia enciklopeedia. Välja otsitud 2. oktoobril 2018. Saadaval aadressil https://plato.stanford.edu/entries/logic-modal/