De 6 typene logikk og deres betydning

Det er flere Typer logikk og alle fokuserer på studiet på å forstå resonnement og identifisere når de er riktige eller feil. Studien av logikk har utviklet seg siden den greske filosofen Aristoteles til i dag.

Etikk har blitt justert med den hensikt å være mer spesifikk og samtidig mer tilpasset menneskets daglige liv, noe som tillater en mer håndgripelig anvendelse på forskjellige områder.

Aristoteles, anerkjent som faren til logikk.

Logikk søker den systematiske studien av argumenter og proposisjoner, og de forskjellige typer logikk lar det være mulig å studere både den bare formelle strukturen i disse utsagnene, og hva som har med innholdet å gjøre og kraften i nevnte innhold å gjøre og kraften til nevnte innhold.

Selv om logikk er basert på studiet av utsagnene, fokuserer den ikke tydelig på naturlig språk (språket slik vi kjenner det), men nytten av det har nådd forskjellige områder og med forskjellige strukturer, for eksempel matematikk og databehandling.

De mest relevante typene av logikk

Formell logikk

Den formelle logikken, også kjent som klassisk eller logisk aristotelisk logikk, er studiet av proposisjoner, argumenter, uttalelser eller setninger fra det strukturelle synspunktet. Det er en metode for å strukturere tanker og bestemme de riktige eller uriktige måtene for en spesifikk tilnærming.

Den formelle logikken fokuserer ikke på sannheten eller usannheten til innholdet i et bestemt argument, men er konsentrert i gyldigheten eller ikke av konstruksjonen av dens form.

Det vil si at studiet av formell logikk ikke er empirisk, for logikk er det ikke relevant å avgjøre om argumentet som presenteres er reelt og bevist; Men studien din er tydelig fokusert på strukturen til nevnte argument.

Kan tjene deg: Empedokler

Innenfor formell logikk er det to veldig viktige klassifiseringer: deduktiv logikk og induktiv logikk.

Deduktiv logikk refererer til de spesifikke uttalelsene som er generert fra generelle forestillinger. Gjennom denne typen logikk kan de bli slutninger fra konsepter eller teorier som allerede eksisterer.

Innenfor den deduktive logikken kan man for eksempel si at hvis mennesker har ben og klar er et menneske, så har klart ben.

Ved induktiv logikk skjer konstruksjonen av argumentene i strid med; det vil si at generelle begreper er opprettet fra spesifikke argumenter.

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

Uformell logikk

Uformell logikk er grenen av studien som fokuserer på språket og meldingen som stammer fra semantiske konstruksjoner og argumenter.

Denne logikken er forskjellig fra formell logikk, ved at formell logikk studerer strukturene til bønner og proposisjoner; Og uformell logikk fokuserer på bunnen av den overførte meldingen.

Studiens gjenstand er måten å argumentere for å oppnå ønsket resultat. Uformell logikk gir gyldighet til de logiske argumentene som er mer sammenhengende blant andre som har en svakere argumenterende struktur.

Ikke -klassisk logikk

Ikke -klassisk logikk, eller moderne logikk, har sin opprinnelse på 1800 -tallet og oppstår i motsetning til uttalelsene om klassisk logikk. Den etablerer andre former for analyse som kan dekke flere aspekter som er mulig å omfatte gjennom den klassiske logiske tilnærmingen.

Kan tjene deg: moralsk emne

Slik er matematiske og symbolske elementer, nye uttalelser eller teoremer som kom til å gi manglene i et formelt logikksystem inkludert.

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

Alle disse typer logikk skiller seg til en viss grad fra formell logikk, eller innlemmer nye elementer som er komplementære, og lar den logiske studien av en bestemt uttalelse være mer nøyaktig og tilpasset verktøyet i hverdagen.

Symbolsk logikk

I dette spillet må du finne hvert stykke av det sentrale torget i de forskjellige figurene rundt

Symbolsk logikk kalles også første -ordenslogikk, eller matematisk logikk, og er preget av å bruke symboler som utgjør et nytt språk som de "oversetter" argumentene.

Intensjonen 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 anvendelse av mer eksakte regler som kan brukes på naturlig språk.

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

Søker å innlemme matematiske elementer i analysen av strukturene i formell logikk. I det matematiske feltet brukes logikk for å demonstrere teoremer.

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

Denne matematiske anvendelsen av logikk gjør at argumenter og konstruksjoner kan være mer nøyaktig.

Modal logikk

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

Kan tjene deg: utilitarisme

Modal logikk tar sikte på å være mer konsistent med menneskelig tanke, derfor dekker den bruken av konstruksjoner som "kan", "muligens", "noen ganger", "kanskje", "sannsynligvis", "er sannsynligvis", "kanskje", blant annen.

I modal logikk handler det om å vurdere et scenario der det er en mulighet, og alle mulighetene som kan eksistere, fra det logiske synspunktet,.

Beregningslogikk

Beregningslogikk er en type logikk avledet fra symbolsk eller matematisk logikk, bare at den brukes innen dataområdet.

Dataprogrammer bruker språket for programmering for deres utvikling, og gjennom logikk er det mulig å arbeide disse språksystemene, tilordne spesifikke oppgaver og utføre verifiseringshandlinger.

Referanser

1. "Logikk" i Britannica Encyclopedia. Hentet i Britannica.com
2. "Formell logikk" i Britannica Encyclopedia. Hentet i Britannica.com
3. Hernández, f. "Computational Logic" ved National Autonomous University of Mexico. Hentet i UNAM.MX
4. Muñoz, ca. “Ikke-klassisk logikk” ved Complutense University of Madrid. Hentet i UCM.er
5. "Deduktive og induktive slutninger" i styret for Extremadura. Hentet i Educarex.er.