De 6 hovedlogikktyper

Det er flere typer logikk og alle fokuserer sitt mål om å studere i å forstå argumentasjonen og identifisere når de er korrekte eller feil.

Studiet av logikk har utviklet seg siden tidspunktet for greske filosofen Aristoteles til i dag, og det har blitt justert med den hensikt å være mer spesifikk, og, på samme tid, mer tilpasset common av mennesket, som tillater en mer håndgripelig søknad i ulike felt.

Logikken ser for systematisk studie av argumenter og påstander, og ulike typer logikk tillate mulig å studere både den rent formelle oppbyggingen av disse uttalelsene, som det som har å gjøre med innholdet, og kraften av slikt innhold.

Selv om logikken er basert på studier av utsagnene, betyr det ikke fokusere utelukkende på naturlig språk (språket slik vi kjenner det), men nytten har kommet til forskjellige områder og med ulike strukturer, slik som matematikk og databehandling.

De mest relevante typer logikk

formell

Den formelle logikken, også kjent som klassisk logikk eller aristotelisk logikk, er studiet av proposisjoner, argumenter, setninger eller setninger fra strukturell synspunkt.

Det er en metode for å strukturere tanken og bestemme riktige eller feilaktige former for en bestemt tilnærming.

Den formelle logikken fokuserer ikke på sannheten eller falskheten til innholdet i et bestemt argument, men fokuserer på gyldigheten eller på annen måte av konstruksjonen av sin form.

Det vil si at formålet med studiet av formell logikk ikke er empirisk, for logikeren er det ikke relevant å avgjøre om det presenterte argumentet er ekte og bevist; men at hans studie er fokusert tydelig på strukturen av argumentet.

I formell logikk er det to svært viktige klassifikasjoner: deduktiv logikk og induktiv logikk.

Den deduktive logikken refererer til de konkrete uttalelsene som genereres av generelle oppfatninger. Gjennom denne typen logikk kan det utledes fra konsepter eller teorier som allerede eksisterer.

For eksempel, i deduktive logikken kan man si at hvis mennesker har ben og Clara er et menneske, har Clara bena.

I tilfelle av induktiv logikk skjer konstruksjonen av argumenter på en motsatt måte; det vil si generelle begreper er opprettet fra bestemte argumenter.

For eksempel, i den induktive logikken kan man si at hvis en katt liker fisk, og en annen også liker den, og en annen også, så vil alle katter som fisk.

uformell

Informell logikk er grenen av studie som fokuserer på språket og meldingen som kommer fra semantiske konstruksjoner og argumenter.

Denne logikken er forskjellig fra formell logikk, i den formelle logikken studerer strukturen av setninger og proposisjoner; og uformell logikk fokuserer på bakgrunnen av meldingen som sendes.

Målet med studiet er måten å argumentere for å oppnå ønsket resultat. Uformell logikk validerer logiske argumenter som er mer sammenhengende blant andre som har en svakere argumentativ struktur.

Ikke klassisk

Ikke-klassisk logikk, eller moderne logikk, stammer fra det nittende århundre og oppstår i motsetning til uttalelsene om klassisk logikk.

Den etablerer andre former for analyse som kan dekke flere aspekter enn det er mulig å inkludere gjennom den klassiske tilnærmingen til logikken.

Dette er hvordan matematiske og symbolske elementer er inkludert, nye setninger eller teoremer som kom til å gjøre opp for manglene i et formelt logikksystem.

Innenfor ikke-klassisk logikk er det forskjellige undertyper av logikk, for eksempel modal, matematisk, trivalent, blant andre..

Alle disse typer logikk varierer til en viss grad fra formell logikk, eller inneholder nye elementer som er komplementære, og tillater den logiske studien av en bestemt setning å være mer nøyaktig og tilpasset verktøyet i hverdagen.

symbolsk

Symbolisk logikk kalles også første ordens logikk, eller matematisk logikk, og er preget av å bruke symboler som utgjør et nytt språk der man kan "oversette" argumentene.

Formålet med symbolsk logikk er å konvertere abstrakte tanker til mer formelle strukturer.

Faktisk bruker det ikke naturlig språk (språk), men bruker et teknisk språk som konverterer setninger til elementer som er mottakelige for bruk av mer nøyaktige regler enn det som kan brukes på naturlig språk..

Deretter tillater symbolsk logikk behandling av proposisjoner gjennom beregningsloven, for å unngå forvirring eller unøyaktigheter.

Den søker å innlemme matematiske elementer i analysen av formelle logikkstrukturer. I matematisk felt brukes logikk til å bevise teorier.

Kort sagt, symbolisk eller matematisk logikk forsøker å uttrykke menneskelig tanke gjennom matematisk språk.

Denne matematiske applikasjonen av logikk tillater argumenter og konstruksjoner å være mer nøyaktige.

modal

Modal logikk fokuserer på studiet av argumenter, men legger til elementer relatert til muligheten for at setningen er sann eller falsk.

Modal logikk tar sikte på å være mer konsonant med menneskelig tanke, derfor omfatter bruk av konstruksjoner som "kunne", "muligens", "noen ganger", "kanskje", "sannsynligvis", "sannsynlig", "kanskje ", Blant annet.

I modal logikk er det et spørsmål om å vurdere et scenario der det er mulighet, og en tendens til å vurdere alle mulighetene som kan eksistere, fra det logiske synspunktet.

beregnings

Beregningslogikk er en type logikk utledet fra symbolsk eller matematisk logikk, bare den brukes i databehandlingsområdet.

Dataprogrammer bruker språket til programmering for deres utvikling, og gjennom logikk er det mulig å arbeide med disse språksystemene, tildele bestemte oppgaver og utføre verifikasjonshandlinger..

referanser

1. "Logikk" i Encyclopedia Britannica. Hentet 4. august 2017 fra Encyclopedia Britannica: britannica.com
2. "Formell logikk" i Encyclopedia Britannica. Hentet 4. august 2017 fra Encyclopedia Britannica: britannica.com
3. Hernández, F. "Computational Logic" ved National Autonomous University of Mexico. Hentet 4. august 2017 fra National Autonomous University of Mexico: unam.mx
4. Muñoz, C. "Non-Classical Logics" på Complutense University of Madrid. Hentet 4. august 2017 fra Universidad Complutense de Madrid: ucm.es
5. Julia, J. "Hva er symbolsk logikk?" I eHow en Español. Hentet 4. august 2017 fra eHow en Español: ehowenespanol.com
6. Oller, C. "Formell logikk og argumentasjon" (2006) ved Nasjonal Universitet i La Plata. Hentet 4. august 2017 fra Nasjonal Universitet i La Plata: rfytp.fahce.unlp.edu.ar
7. "Deduktive og induktive påvirkninger" i Junta de Extremadura. Hentet 4. august 2017 i Junta de Extremadura: educarex.es.