De 6 hovedlogikktyper

Det finnes flere typer logikk og fokuserer alle på studiet av å forstå argumentasjonen og identifisere når de er korrekte eller ukorrekte.

Studien av logikk har utviklet seg fra den greske filosofen Aristoteles tid til nåtiden, og dette er blitt justert med sikte på å være mer spesifikk og samtidig tilpasset menneskets dagligliv, noe som gjør det mulig å mer håndgribelig anvendelse på forskjellige områder.

Logikk søker etter den systematiske studien av argumenter og proposisjoner, og de ulike typene logikk gjør det mulig å studere både den formelle strukturen i disse uttalelsene, og det som har å gjøre med innholdet og kraften til innholdet.

Selv om logikken er basert på studier av uttalelser, fokuserer den ikke tydelig på naturlig språk (språk som vi vet), men dets verktøy har nådd ulike områder og med ulike strukturer, 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 dens 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 studien hans er fokusert tydelig på argumentets struktur.

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 ben.

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, liker en annen også den, og en annen også, så alle katter liker fisk.

uformell

Informell logikk er grenen av studie som fokuserer på språk 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. Informell logikk gir validitet til 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 oppsigelser av klassisk logikk.

Det etablerer andre former for analyse som kan omfatte flere aspekter enn det som kan omfattes av den klassiske tilnærmingen til logikken.

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

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

Alle disse typer logikk er i en viss grad forskjellig fra formell logikk, eller innlemme nye elementer som er komplementære, og la 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 de som kan brukes i 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 virker som å være mer konsonant med menneskelig tanke, derfor inkluderer det bruken av konstruksjoner som "kunne", "muligens", "noen ganger", "kanskje", "sannsynligvis", "sannsynlig", "kanskje" ", Blant annet.

I modal logikk handler det 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 at 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.