Det er flere typer logikk og alle fokuserer sitt studieobjekt på å forstå resonnementet og identifisere når det er riktig eller feil. Studiet av logikk har utviklet seg fra tiden til den greske filosofen Aristoteles til i dag.
Etikk er justert med den hensikt å være mer spesifikk og samtidig mer tilpasset menneskets hverdag, noe som gjør det mulig å få en mer håndgripelig anvendelse på forskjellige områder.
Logikk søker den systematiske studien av argumenter og proposisjoner, og de forskjellige logikkformene gjør det mulig å studere både den formelle strukturen til disse utsagnene, så vel som hva som har med innholdet å gjøre, og kraften til innholdet..
Selv om logikk er basert på setningsstudie, fokuserer den ikke tydelig på naturlig språk (språket slik vi kjenner det), men dets nytte har nådd forskjellige områder og med forskjellige strukturer, for eksempel matematikk og databehandling..
Formell logikk, også kjent som klassisk logikk eller aristotelisk logikk, er studiet av proposisjoner, argumenter, utsagn eller setninger fra et strukturelt synspunkt. Det er en metode for å strukturere tenkning og bestemme de riktige eller uriktige formene for en spesifikk tilnærming..
Formell logikk fokuserer ikke på sannheten eller forfalskningen av innholdet i et bestemt argument, men fokuserer heller på gyldigheten eller ikke av konstruksjonen av formen.
Det vil si at gjenstanden for å studere formell logikk ikke er empirisk, for logikeren er det ikke relevant å avgjøre om argumentet som presenteres er reelt og bevist; men studien hans fokuserer tydelig på strukturen til argumentet.
Innen formell logikk er det to veldig viktige klassifiseringer: deduktiv logikk og induktiv logikk..
Deduktiv logikk refererer til de spesifikke utsagnene som genereres fra generelle forestillinger. Gjennom denne typen logikk kan slutninger gjøres fra begreper eller teorier som allerede eksisterer..
For eksempel, innenfor deduktiv logikk, kan det sies at hvis mennesker har ben og Clara er et menneske, så har Clara ben..
Når det gjelder induktiv logikk, skjer konstruksjonen av argumentene på motsatt måte; det vil si generelle konsepter er opprettet fra spesifikke argumenter.
For eksempel, innenfor induktiv logikk, kan det sies at hvis en katt liker fisk, og en annen liker fisk, og en annen også, så liker alle katter fisk..
Uformell logikk er den grenen av studien som fokuserer på språk og budskapet som kommer fra semantiske konstruksjoner og argumenter.
Denne logikken er forskjellig fra den formelle logikken, ved at formell logikk studerer setningene og proposisjonens strukturer; og uformell logikk fokuserer på substansen i formidlet budskap.
Formålet med studiet er måten å argumentere for å oppnå ønsket resultat. Uformell logikk validerer logiske argumenter som er mer sammenhengende blant andre som har en svakere argumentativ struktur.
Ikke-klassisk logikk, eller moderne logikk, stammer fra 1800-tallet og oppstår i opposisjon til uttalelsene fra klassisk logikk. Den etablerer andre former for analyse som kan dekke flere aspekter enn de som kan dekkes gjennom den klassiske tilnærmingen til logikk..
Slik er matematiske og symbolske elementer inkludert, nye utsagn eller teoremer som kom til å kompensere for manglene ved et formelt logikksystem..
Innenfor ikke-klassisk logikk er det forskjellige undertyper av logikk, for eksempel modal, matematisk, treverdig, blant andre..
Alle disse typene logikk skiller seg til en viss grad fra formell logikk, eller inneholder nye elementer som er komplementære, og gjør det mulig for den logiske studien av en bestemt påstand å være mer nøyaktig og tilpasset nytte i hverdagen..
Symbolisk logikk kalles også førsteordenslogikk, eller matematisk logikk, og kjennetegnes ved å bruke symboler som utgjør et nytt språk som argumentene blir “oversatt” gjennom..
Intensjonen med symbolsk logikk er å konvertere abstrakte tanker til mer formelle strukturer. Faktisk bruker den ikke naturlig språk (språk), men bruker et teknisk språk som konverterer setninger til elementer som er utsatt for anvendelse av mer eksakte regler enn det som kan brukes på naturlig språk..
Så, symbolsk logikk tillater behandling av proposisjoner gjennom beregningslovene, for å unngå forvirring eller unøyaktigheter..
Den søker å innlemme matematiske elementer i analysen av strukturene til formell logikk. I det matematiske området brukes logikk for å bevise setninger.
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øyaktige.
Modalogikk fokuserer på studiet av argumenter, men legger til elementer relatert til muligheten for at utsagnet det er snakk om er sant eller usant.
Modalogikk later til å være mer i tråd med menneskelig tanke, derfor omfatter den bruken av konstruksjoner som "kunne", "muligens", "noen ganger", "kanskje", "sannsynligvis", "er sannsynlig", "kanskje", blant andre.
I modalogikk handler det om å vurdere et scenario der det er en mulighet, og det har en tendens til å vurdere alle mulighetene som kan eksistere, fra et logisk synspunkt.
Beregningslogikk er en type logikk avledet fra symbolsk eller matematisk logikk, bare den brukes innen databehandling.
Dataprogrammer bruker programmeringsspråket for å utvikle seg, og gjennom logikk er det mulig å arbeide disse språksystemene, tilordne spesifikke oppgaver og utføre bekreftelseshandlinger.
Ingen har kommentert denne artikkelen ennå.