Jaga:
6 peamist loogikatüüpi
On mitmeid loogika tüübid ja kõik keskenduvad oma uuringu eesmärgile mõistmise mõistmisel ja tuvastamisel, kas need on õiged või valed.
Loogika uurimine on arenenud Kreeka filosoofi Aristotelese ajastust kuni tänapäevani ja seda on korrigeeritud eesmärgiga olla spetsiifilisem ja samal ajal paremini kohandatud inimese igapäevaeluga, mis võimaldab tal konkreetsemat rakendust erinevates valdkondades.
Loogika eesmärk on argumentide ja ettepanekute süstemaatiline uurimine ning erinevad loogika tüübid võimaldavad uurida nii nende avalduste puhtalt formaalset struktuuri, kui see, mis on seotud sisu ja selle sisu võimega..
Kuigi loogika põhineb avalduste uurimisel, ei keskendu see selgelt loomulikule keelele (keel, nagu me seda teame), kuid selle kasulikkus on jõudnud erinevatesse valdkondadesse ja erinevate struktuuridega, nagu matemaatika ja arvuti.
Kõige olulisemad loogika liigid
Ametlik
Ametlik loogika, tuntud ka kui klassikaline loogika või aristotelese loogika, on ettepanekute, argumentide, avalduste või lausete uurimine struktuurilisest vaatenurgast.
See on meetod mõtlemise struktuuri ja konkreetse lähenemisviisi õige või vale vormi määramiseks.
Ametlik loogika ei keskendu konkreetse argumendi sisu tõele ega väärusele, vaid keskendub selle vormi ülesehituse kehtivusele või mitte..
See tähendab, et formaalse loogika uurimise objekt ei ole empiiriline, sest loogikale ei ole oluline kindlaks teha, kas esitatud argument on reaalne ja tõestatud; kuid et tema uurimus keskendub selgelt nimetatud argumendi struktuurile.
Ametlikul loogikal on kaks väga olulist klassifikatsiooni: deduktiivne loogika ja induktiivne loogika.
Deduktiivne loogika viitab nendele konkreetsetele avaldustele, mis on genereeritud üldmõistetest. Seda tüüpi loogikat saab järeldada juba olemasolevatest kontseptsioonidest või teooriatest.
Näiteks võib deduktiivses loogikas öelda, et kui inimestel on jalad ja Clara on inimene, siis Claral on jalad.
Induktiivse loogika puhul toimub argumentide koostamine vastupidisel viisil; see tähendab, et üldised mõisted on loodud konkreetsetest argumentidest.
Näiteks võiks induktiivses loogikas öelda, et kui üks kass meeldib kala ja teine meeldib see, ja teine ka siis, siis kõik kassid nagu kala.
Mitteametlik
Mitteametlik loogika on õppe haru, mis keskendub semantilistest konstruktsioonidest ja argumentidest tulenevale keelele ja sõnumile.
See loogika erineb formaalsest loogikast, selles formaalses loogikas uuritakse lausete ja ettepanekute struktuure; ja mitteametlik loogika keskendub edastatava sõnumi taustale.
Selle uuringu eesmärk on väita, et saavutada soovitud tulemus. Mitteametlik loogika kinnitab loogilisi argumente, mis on sidusamad teiste hulgas, millel on nõrgem argumenteeriv struktuur.
Ei ole klassikaline
Mitteklassikaline loogika või kaasaegne loogika pärineb 19. sajandist ja tekib vastandina klassikalise loogika avaldustele..
See loob muid analüüsivorme, mis võivad hõlmata rohkem aspekte kui on võimalik hõlmata loogika klassikalise lähenemise kaudu.
See hõlmab nii matemaatilisi kui ka sümboolseid elemente, uusi avaldusi või teoreeme, mis tulid ametliku loogika süsteemi puuduste korvamiseks.
Mitteklassikalises loogikas on erinevaid loogika alatüüpe, nagu näiteks modaalne, matemaatiline, kolmevalentne..
Kõik need loogikaliigid erinevad mõnevõrra formaalsest loogikast või sisaldavad uusi elemente, mis on üksteist täiendavad ja võimaldavad konkreetse avalduse loogilist uurimist täpsemini kohandada ja igapäevaelus kasulikkust kohandada.
Sümboolne
Sümboolset loogikat nimetatakse ka esimese järjekorra loogikaks või matemaatiliseks loogikaks ja seda iseloomustab sümbolite kasutamine, mis moodustavad uue keele, mille kaudu "tõlkida" argumente.
Sümboolse loogika eesmärk on muuta abstraktsed mõtted formaalsemateks struktuurideks.
Tegelikult ei kasuta see loomulikku keelt (keelt), vaid kasutab tehnilist keelt, mis teisendab laused elementideks, mis on vastuvõtlikumad täpsemate reeglite rakendamiseks kui seda võib kasutada loomulikus keeles..
Siis võimaldab sümboolne loogika arusaamade ja ebatäpsuste vältimiseks arvutustega seotud seaduste käsitlemist.
Selle eesmärk on lisada matemaatilised elemendid formaalsete loogiliste struktuuride analüüsimisse. Matemaatilises valdkonnas kasutatakse loogikat teoreemide tõestamiseks.
Lühidalt, sümboolne või matemaatiline loogika püüab väljendada inimese mõtlemist matemaatilise keele kaudu.
See loogika matemaatiline rakendamine võimaldab argumentide ja konstruktsioonide täpsust.
Modal
Modaalne loogika keskendub argumentide uurimisele, kuid lisab elemendid, mis on seotud võimalusega, et kõnealune avaldus on tõene või vale.
Mooduli loogika teeskleb, et see on inimmõtetega rohkem kooskõlas, seega hõlmab see selliste konstruktsioonide kasutamist nagu "võiks", "võimalik", "mõnikord", "võibolla", "tõenäoliselt", "tõenäoliselt", "võibolla" "Muu hulgas.
Moodulilises loogikas on vaja kaaluda stsenaariumi, kus on olemas võimalus, ja kaldub arvestama kõiki võimalikke võimalusi, mis võivad olla loogilisest vaatenurgast.
Arvutuslik
Arvutuslik loogika on sümboolsest või matemaatilisest loogikast tulenev loogika, vaid seda rakendatakse arvutustehnika valdkonnas..
Arvutiprogrammid kasutavad nende arendamiseks programmeerimise keelt ja loogika kaudu on võimalik töötada nende keelesüsteemidega, määrata konkreetseid ülesandeid ja teostada kontrollimeetmeid..
Viited
- "Logic" in Encyclopedia Britannica. Välja otsitud 4. august 2017 kasutajalt Encyclopedia Britannica: britannica.com
- "Formal logic" in Encyclopedia Britannica. Välja otsitud 4. august 2017 kasutajalt Encyclopedia Britannica: britannica.com
- Hernández, F. "Arvutuslik loogika" Mehhiko Riiklikus Autonoomses Ülikoolis. Välja otsitud 4. augustil 2017 Riiklikust Autonoomsest Ülikoolist: unam.mx
- Muñoz, C. "Mitteklassikaline loogika" Madridi Complutense'i ülikoolis. Välja otsitud 4. augustil 2017 pärit Universidad Complutense de Madrid: ucm.es
- Julia, J. "Mis on sümboolne loogika?" EHow en Español. Välja otsitud 4. august 2017 kasutajalt eHow et Español: ehowenespanol.com
- Oller, C. "Formaalne loogika ja argumentatsioon" (2006) La Plata riiklikus ülikoolis. Välja antud 4. augustil 2017 Riikliku Ülikooli La Plata'st: rfytp.fahce.unlp.edu.ar
- "Pühendavad ja induktiivsed järeldused" Junta de Extremadural. Välja otsitud 4. augustil 2017 in Junta de Extremadura: educarex.es.