Der er flere typer logik og alle fokuserer deres genstand for at studere ræsonnementet og identificere, hvornår det er korrekt eller forkert. Undersøgelsen af logik har udviklet sig fra tiden for den græske filosof Aristoteles til i dag.
Etik er blevet justeret med den hensigt at være mere specifik og samtidig mere tilpasset til menneskets daglige liv, hvilket giver det en mere håndgribelig anvendelse i forskellige områder.
Logik søger den systematiske 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 med indholdet at gøre og kraften i det nævnte indhold..
Selvom logik er baseret på undersøgelsen af sætninger, fokuserer den ikke klart på det naturlige sprog (sproget, som vi kender det), men dets anvendelighed har nået forskellige områder og med forskellige strukturer, såsom matematik og computing.
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 at strukturere tænkning og bestemme de korrekte eller forkerte former for en bestemt tilgang..
Formel logik fokuserer ikke på sandheden eller falskheden af indholdet af et bestemt argument, men snarere fokuserer på gyldigheden eller ej af konstruktionen af dens form.
Det vil sige, at studiet af formel logik ikke er empirisk, for logikeren er det ikke relevant at afgøre, om det fremlagte argument er reelt og bevist; men hans undersøgelse er tydeligt fokuseret på strukturen i det nævnte argument.
Inden for formel logik er der to meget vigtige klassifikationer: deduktiv logik og induktiv logik..
Deduktiv logik henviser til de specifikke udsagn, der genereres ud fra generelle forestillinger. Gennem denne type logik kan der udledes slutninger fra begreber eller teorier, der allerede findes..
For eksempel inden for deduktiv logik kan det siges, at hvis mennesker har ben og Clara er et menneske, så har Clara ben..
I tilfælde af induktiv logik sker opbygningen af argumenterne på den modsatte måde; det vil sige generelle begreber oprettes ud fra specifikke argumenter.
For eksempel inden for induktiv logik kan det siges, at hvis en kat kan lide fisk, og en anden kan lide fisk, og en anden også, så kan alle katte lide fisk..
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 den formelle logik, idet den formelle logik studerer sætningernes og propositionernes strukturer; og uformel logik fokuserer på substansen i det formidlede budskab.
Dens formål med undersøgelsen er måden at argumentere for at opnå det ønskede resultat. Uformel logik validerer logiske argumenter, der er mere sammenhængende blandt andre, der har en svagere argumentativ struktur.
Ikke-klassisk logik eller moderne logik stammer fra det 19. å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..
Dette er, hvordan matematiske og symbolske elementer er 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 gør det muligt for den logiske undersøgelse af en bestemt udsagn at være mere præcis og tilpasset anvendelighed i hverdagen..
Symbolisk logik kaldes også førsteordenslogik eller matematisk logik og er karakteriseret ved at bruge symboler, der udgør et nyt sprog, gennem hvilket argumenterne "oversættes".
Hensigten med symbolsk logik er at konvertere 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 anvendelse af mere nøjagtige regler, end der kan anvendes på naturligt sprog..
Så symbolsk logik tillader behandling af propositioner gennem beregningslovene for at undgå forvirring eller unøjagtigheder..
Det søger at inkorporere matematiske elementer i analysen af strukturer for formel logik. I det matematiske område bruges 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 gør det muligt for argumenter og konstruktioner at være mere nøjagtige.
Modalogik fokuserer på studiet af argumenter, men tilføjer elementer relateret til muligheden for, at den pågældende udsagn er sand eller falsk.
Modalogik foregiver at være mere i overensstemmelse med menneskelig tanke, derfor omfatter den brugen af konstruktioner som "kunne", "muligvis", "undertiden", "måske", "sandsynligvis", "er sandsynligt", "måske", blandt andet.
I modalogik handler det om at overveje et scenarie, hvor der er en mulighed, og det har en tendens til at overveje alle de muligheder, der kan eksistere, set fra det logiske synspunkt.
Beregningslogik er en type logik afledt af symbolsk eller matematisk logik, kun den anvendes inden for computing.
Computerprogrammer bruger programmeringssprog til deres udvikling, og gennem logik er det muligt at arbejde disse sprogsystemer, tildele specifikke opgaver og udføre verifikationshandlinger.
Endnu ingen kommentarer