De 6 hovedlogiske typer

Der er flere typer af logik og alle fokuserer deres objekt på at forstå forståelsen og identificere, hvornår de er korrekte eller forkerte.

Studiet af logik har udviklet sig siden tidspunktet for den græske filosof Aristoteles til nutiden, og det er blevet justeret med den hensigt at være mere specifik og, på samme tid, mere tilpasset til commonness af mennesket, som tillader en mere håndgribelig anvendelse i forskellige felter.

Logikken søger den systematiske undersøgelse af argumenterne og propositionerne, og de forskellige typer logik gør det muligt at studere både den rent formelle struktur af disse udsagn, som hvad der har at gøre med indholdet og magten af ​​indholdet.

Selvom logik er baseret på studiet af de erklæringer, betyder det ikke at fokusere udelukkende på naturligt sprog (sproget som vi kender det), men dens anvendelighed er kommet til forskellige områder og med forskellige strukturer, såsom matematik og computing.

De mest relevante typer af logik

formelle

Den formelle logik, også kendt som klassisk logik eller aristotelisk logik, er undersøgelsen af ​​propositioner, argumenter, udsagn eller sætninger fra det strukturelle synspunkt.

Det er en metode til at strukturere tanken og bestemme de korrekte eller ukorrekte former for en specifik tilgang.

Den formelle logik fokuserer ikke på sandheden eller forfalskningen af ​​indholdet af et bestemt argument, men fokuserer på gyldigheden eller på anden måde af opbygningen af ​​dens form.

Det vil sige at formålet med studiet af formel logik ikke er empirisk, for logikeren er det ikke relevant at afgøre, om det fremlagte argument er ægte og bevist; men at hans undersøgelse er fokuseret tydeligt på strukturen af ​​argumentet.

Inden for formel logik er der to meget vigtige klassifikationer: deduktiv logik og induktiv logik.

Den deduktive logik henviser til de specifikke udsagn, der genereres ud fra generelle forestillinger. Gennem denne type logik kan der udledes begreb eller teorier, der allerede eksisterer.

For eksempel kan i den deductive logik sige, at hvis mennesker har ben og Clara er et menneske, har Clara benene.

I tilfælde af induktiv logik sker opførelsen af ​​argumenter på en modsat måde; det vil sige, generelle begreber er skabt ud fra specifikke argumenter.

For eksempel inden for den induktive logik kan man sige, at hvis en kat kan lide fisk, og en anden også kan lide det, og en anden også så vil alle katte lide fisk.

uformelle

Informel logik er den gren af ​​undersøgelsen, der fokuserer på sproget og den besked, der stammer fra semantiske konstruktioner og argumenter.

Denne logik er forskellig fra den formelle logik, i den formelle logik studerer strukturerne af sætninger og propositioner; og uformel logik fokuserer på baggrunden af ​​den sendte besked.

Formålet med studiet er vejen til at argumentere for at opnå det ønskede resultat. Uformel logik validerer logiske argumenter, som er mere sammenhængende blandt andre, der har en svagere argumentativ struktur.

Ikke klassisk

Ikke-klassiske logik, eller moderne logik, det har oprindelse i det nittende århundrede, og udtalelserne fra klassisk logik opstår i modsætning.

Det etablerer andre former for analyse, der kan dække flere aspekter, end det er muligt at omfatte gennem den klassiske tilgang til logik.

Sådan indgår matematiske og symbolske elementer, nye udsagn eller sætninger, der kom til at kompensere for manglerne i et formelt logisk system.

Inden for ikke-klassisk logik er der forskellige undertyper af logik, såsom modal, matematisk, trivalent, blandt andre..

Alle disse typer af logik afvige noget formelle logik, eller inkorporere nye elementer supplerer hinanden, og tillader studiet af en bestemt logisk udsagn er mere præcis og tilpasset nytten i hverdagen.

symbolsk

Symbolisk logik kaldes også første ordens logik eller matematisk logik og er karakteriseret ved at bruge symboler, der udgør et nyt sprog, hvorved man kan "oversætte" argumenterne.

Formålet med symbolsk logik er at omdanne abstrakte tanker til mere formelle strukturer.

Faktisk bruger det ikke naturligt sprog (sprog), men bruger et teknisk sprog, der konverterer sætninger til elementer, der er modtagelige for anvendelsen af ​​mere nøjagtige regler, end der kan anvendes i naturligt sprog..

Derefter tillader symbolsk logik behandlingen af ​​propositioner gennem beregningsloven for at undgå forvirring eller unøjagtigheder.

Det søger at indarbejde matematiske elementer i analysen af ​​formelle logiske strukturer. I det matematiske felt bruges logik til at bevise sætninger.

Kort sagt, symbolisk eller matematisk logik søger at udtrykke menneskelig tanke gennem matematisk sprog.

Denne matematiske anvendelse af logik tillader argumenter og konstruktioner at være mere præcise.

modal

Modal logik fokuserer på undersøgelsen af ​​argumenter, men tilføjer elementer relateret til muligheden for, at den pågældende erklæring er sand eller falsk.

Modal logik sigter mod at være mere konsonant med den menneskelige tanke, omfatter derfor brugen af ​​konstruktioner som "kunne", "muligvis", "nogle gange", "måske", "sandsynligvis", "sandsynligt", "måske ", Blandt andre.

I modal logik handler det om at overveje et scenario, hvor der er en mulighed, og man har en tendens til at overveje alle de muligheder, der kan eksistere, fra det logiske synspunkt.

beregningsmæssige

Computational logic er en type logik stammer fra symbolsk eller matematisk logik, kun den anvendes på computergruppen.

Computerprogrammer bruger sproget til programmering til deres udvikling, og via logik er det muligt at arbejde på disse sprogsystemer, tildele specifikke opgaver og udføre verifikationshandlinger..

referencer

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