- De mest relevante typene logikk
- Formell logikk
- Uformell logikk
- Ikke-klassisk logikk
- Symbolisk logikk
- Modal logikk
- Beregningslogikk
- referanser
Det er flere typer logikk, og alle fokuserer deres studieobjekt på å forstå resonnement og identifisere når de er riktige eller uriktige. Studien av logikk har utviklet seg fra tiden til den greske filosofen Aristoteles til i dag.
Etikken har tilpasset seg med den hensikt å være mer spesifikk og samtidig mer tilpasset menneskets hverdag, noe som gir en mer håndgripelig anvendelse på forskjellige områder.

Aristoteles, anerkjent som farens logikk.
Logikk søker den systematiske studien av argumenter og proposisjoner, og de forskjellige typene logikk gjør det mulig å studere både den formelle strukturen til disse utsagnene, så vel som hva som har med innholdet å gjøre, og kraften til nevnte innhold.
Selv om logikk er basert på studier av utsagn, fokuserer den ikke tydelig på naturlig språk (språk slik vi kjenner det), men nytten har nådd forskjellige områder og med forskjellige strukturer, som matematikk og databehandling.
De mest relevante typene logikk
Formell logikk
Formell logikk, også kjent som klassisk logikk eller aristotelisk logikk, er studiet av proposisjoner, argumenter, uttalelser eller setninger fra et strukturelt synspunkt. Det er en metode for å strukturere tanker og bestemme riktige eller uriktige former for en spesifikk tilnærming.
Formell logikk fokuserer ikke på sannheten eller falskheten i innholdet i et bestemt argument, men fokuserer heller på gyldigheten eller ikke til konstruksjonen av dens form.
Det vil si at gjenstanden for å studere formell logikk ikke er empirisk, for logikeren er det ikke relevant å avgjøre om argumentet som presenteres er reelt og bevist; Snarere fokuserer studien tydelig på strukturen til nevnte argument.
Innenfor formell logikk er det to veldig viktige klassifikasjoner: deduktiv logikk og induktiv logikk.
Deduktiv logikk refererer til de spesifikke utsagnene som genereres fra generelle forestillinger. Gjennom denne typen logikk kan det gjøres konklusjoner fra begreper eller teorier som allerede eksisterer.
Innenfor deduktiv logikk kan det for eksempel sies at hvis mennesker har ben og Clara er et menneske, så har Clara ben.
Når det gjelder induktiv logikk, skjer konstruksjonen av argumentene på motsatt måte; det vil si generelle begreper lages fra spesifikke argumenter.
Innenfor induktiv logikk kan det for eksempel sies at hvis en katt liker fisk, og en annen liker den også, og en annen også, så liker alle katter fisk.
Uformell logikk
Uformell logikk er gren av studien som fokuserer på språk og budskapet som stammer fra semantiske konstruksjoner og argumenter.
Denne logikken er forskjellig fra formell logikk, ved at formell logikk studerer strukturer av setninger og proposisjoner; og uformell logikk fokuserer på innholdet i meldingen som formidles.
Studiens formål er måten å argumentere for å oppnå ønsket resultat. Uformell logikk gir gyldighet til logiske argumenter som er mer sammenhengende blant andre som har en svakere argumentasjonsstruktur.
Ikke-klassisk logikk
Ikke-klassisk logikk, eller moderne logikk, har sin opprinnelse i det nittende århundre og oppstår i opposisjon til utsagnene om klassisk logikk. Den etablerer andre former for analyse som kan dekke flere aspekter enn de som kan dekkes gjennom den klassiske tilnærmingen til logikk.
Slik er matematiske og symbolske elementer inkludert, nye utsagn eller teoremer som kom til å kompensere for manglene ved et formelt logisk system.
Innenfor ikke-klassisk logikk er det forskjellige undertyper av logikk, for eksempel modal, matematisk, trivalent, blant andre.
Alle disse typene logikker skiller seg til en viss grad fra formell logikk, eller innlemmer nye elementer som er komplementære, og lar den logiske studien av en spesiell uttalelse være mer nøyaktig og tilpasset nytteverdi i hverdagen.
Symbolisk logikk
Symbolisk logikk kalles også førsteordens logikk, eller matematisk logikk, og er preget av å bruke symboler som utgjør et nytt språk som argumenter blir "oversatt" gjennom.
Intensjonen med symbolsk logikk er å konvertere abstrakte tanker til mer formelle strukturer. Faktisk bruker den ikke naturlig språk (formspråk), men bruker et teknisk språk som gjør setninger om til elementer som er mottagelige for anvendelse av mer eksakte regler enn det som kan brukes på naturlig språk.
Så, symbolisk logikk gjør det mulig å behandle proposisjoner gjennom kalkulasjonslovene, for å unngå forvirring eller unøyaktigheter.
Den søker å innlemme matematiske elementer i analysen av strukturene i formell logikk. I det matematiske riket brukes logikk for å bevise teoremer.
Kort sagt søker symbolsk eller matematisk logikk å uttrykke menneskelig tanke gjennom matematisk språk.
Denne matematiske anvendelsen av logikk gjør at argumenter og konstruksjoner er mer nøyaktige.
Modal logikk
Modal logikk fokuserer på studiet av argumenter, men legger til elementer relatert til muligheten for at utsagnet det gjelder er sant eller usant.
Modal logikk prøver å være mer i tråd med menneskelig tanke, derfor omfatter den bruk av konstruksjoner som "kunne", "muligens", "noen ganger", "kanskje", "sannsynligvis", "er sannsynlig", "kanskje ", blant andre.
I modal logikk handler det om å vurdere et scenario der det er en mulighet, og det har en tendens til å vurdere alle mulighetene som kan være, fra logisk synspunkt.
Beregningslogikk
Beregningslogikk er en type logikk avledet fra symbolisk eller matematisk logikk, bare den blir anvendt innen databehandlingsområdet.
Dataprogrammer bruker programmeringsspråket for å utvikle seg, og gjennom logikk er det mulig å jobbe med disse språksystemene, tilordne spesifikke oppgaver og utføre bekreftelseshandlinger.
referanser
- "Logic" i Encyclopedia Britannica. Hentet 4. august 2017 fra Encyclopedia Britannica: britannica.com
- "Formell logikk" i Encyclopedia Britannica. Hentet 4. august 2017 fra Encyclopedia Britannica: britannica.com
- Hernández, F. "Computational Logic" ved National Autonomous University of Mexico. Hentet 4. august 2017 fra National Autonomous University of Mexico: unam.mx
- Muñoz, C. "Ikke-klassisk logikk" ved Complutense-universitetet i Madrid. Hentet 4. august 2017 fra Complutense University of Madrid: ucm.es
- Julia, J. "Hva er symbolsk logikk?" i eHow på spansk. Hentet 4. august 2017 fra eHow på spansk: ehowenespanol.com
- Oller, C. "Formell logikk og argumentasjon" (2006) ved National University of La Plata. Hentet 4. august 2017 fra National University of La Plata: rfytp.fahce.unlp.edu.ar
- "Deduktive og induktive slutninger" i Junta de Extremadura. Hentet 4. august 2017 i Junta de Extremadura: educarex.es.
