DE 6 TYPER LOGIK OG DERES BETYDNING - FILOSOFI - 2025

Der er adskillige typer af logik, og alle fokuserer deres studieobjekt på at forstå ræsonnement og identificere, når de er korrekte eller forkerte. Studiet af logik har udviklet sig fra tiderne for den græske filosof Aristoteles til i dag.

Etik er blevet tilpasset med det formål at være mere specifik og på samme tid mere tilpasset menneskets daglige liv, hvilket tillader en mere håndgribelig anvendelse på forskellige områder.

Aristoteles, anerkendt som logikens far.

Logik søger en systematisk undersøgelse af argumenter og propositioner, og de forskellige typer logik gør det muligt at studere både den formelle struktur af disse udsagn, såvel som hvad der har at gøre med indholdet og kraften i nævnte indhold.

Selvom logik er baseret på undersøgelse af udsagn, fokuserer den ikke klart på naturligt sprog (sprog som vi kender det), men dets anvendelighed har nået forskellige områder og med forskellige strukturer, såsom matematik og computing.

De mest relevante typer logik

Formel logik

Formel logik, også kendt som klassisk logik eller aristotelisk logik, er studiet af propositioner, argumenter, udsagn eller sætninger fra et strukturelt synspunkt. Det er en metode til strukturering af tanker og bestemmelse af de korrekte eller forkerte former for en bestemt tilgang.

Formel logik fokuserer ikke på ægtheden eller forfalskningen af ​​indholdet af et bestemt argument, men koncentrerer sig snarere om gyldigheden eller ej af konstruktionen af ​​dens form.

Det vil sige, genstanden for undersøgelse af formel logik er ikke empirisk, for logikeren er det ikke relevant at afgøre, om det fremlagte argument er reelt og bevist; Snarere fokuserer hans undersøgelse klart på strukturen af ​​det nævnte argument.

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

Deduktiv logik refererer til de specifikke udsagn, der genereres fra generelle forestillinger. Gennem denne type logik kan der foretages konklusioner fra begreber eller teorier, der allerede findes.

For eksempel inden for deduktiv logik kunne det siges, at hvis mennesker har ben, og Clara er et menneske, så har Clara ben.

I tilfælde af induktiv logik sker konstruktionen af ​​argumenterne på den modsatte måde; dvs. generelle koncepter oprettes ud fra specifikke argumenter.

For eksempel inden for induktiv logik kunne det siges, at hvis en kat kan lide fisk, og en anden også kan lide den, og en anden også, så kan alle katte lide fisk.

Uformel logik

Uformel logik er den gren af ​​studiet, der fokuserer på sprog og det budskab, der stammer fra semantiske konstruktioner og argumenter.

Denne logik adskiller sig fra formel logik, idet formel logik studerer sætninger og propositioners strukturer; og uformel logik fokuserer på indholdet af den formidlede meddelelse.

Dets formål med studiet er måden at argumentere for at opnå det ønskede resultat. Uformel logik giver gyldighed til logiske argumenter, der er mere sammenhængende blandt andre, der har en svagere argumenterende struktur.

Ikke-klassisk logik

Ikke-klassisk logik eller moderne logik stammer fra det nittende århundrede og opstår i modsætning til udsagnene om klassisk logik. Det etablerer andre former for analyse, der kan dække flere aspekter end dem, der kan dækkes gennem den klassiske tilgang til logik.

Sådan er matematiske og symboliske elementer inkluderet, nye udsagn eller sætninger, der kom til at kompensere for manglerne ved et formelt logiksystem.

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

Alle disse typer logik adskiller sig til en vis grad fra formel logik eller inkorporerer nye elementer, der er komplementære, og tillader, at den logiske undersøgelse af en bestemt udsagn er mere nøjagtig og tilpasset anvendeligheden i hverdagen.

Symbolisk logik

Symbolisk logik kaldes også førsteordens logik eller matematisk logik og er kendetegnet ved anvendelse af symboler, der udgør et nyt sprog, gennem hvilket argumenter "oversættes".

Formålet med symbolsk logik er at konvertere abstrakte tanker til mere formelle strukturer. Faktisk bruger det ikke naturligt sprog (formsprog), men bruger et teknisk sprog, der omdanner sætninger til elementer, der er modtagelige for anvendelsen af ​​mere nøjagtige regler, end der kan anvendes på det naturlige sprog.

Så symbolsk logik gør det muligt at behandle propositioner gennem kalkuleringslovene for at undgå forvirring eller unøjagtigheder.

Det søger at inkorporere matematiske elementer i analysen af ​​strukturerne i formel logik. I det matematiske område anvendes logik til at bevise sætninger.

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

Denne matematiske anvendelse af logik tillader, at argumenter og konstruktioner er mere nøjagtige.

Modal logik

Modal logik fokuserer på studiet af argumenter, men tilføjer elementer relateret til muligheden for, at den pågældende udsagn er sand eller forkert.

Modal logik forsøger at være mere i harmoni med menneskelig tanke, derfor omfatter den brugen af ​​konstruktioner som "kunne", "muligvis", "undertiden", "måske", "sandsynligvis", "er sandsynligt", "måske" ", blandt andet.

I modal logik handler det om at overveje et scenario, hvor der er en mulighed, og det har en tendens til at overveje alle de muligheder, der måtte være, set fra det logiske synspunkt.

Computational logik

Beregningsmæssig logik er en type logik, der stammer fra symbolsk eller matematisk logik, kun den anvendes inden for computingområdet.

Computerprogrammer bruger programmeringssproget til deres udvikling, og gennem logik er det muligt at arbejde på disse sprogsystemer, tildele specifikke opgaver og udføre verificeringshandlinger.

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 det nationale autonome universitet i Mexico. Hentet den 4. august 2017 fra det nationale autonome universitet i Mexico: unam.mx
4. Muñoz, C. "Ikke-klassisk logik" ved Computense Madrid-universitetet. Hentet den 4. august 2017 fra Complutense Universitetet i Madrid: ucm.es
5. Julia, J. "Hvad er symbolsk logik?" i eHow på spansk. Hentet den 4. august 2017 fra eHow på spansk: 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. "Deduktive og induktive slutninger" i Junta de Extremadura. Hentet den 4. august 2017 i Junta de Extremadura: educarex.es.