De 6 huvudlogiska typerna

Det finns flera typer av logik och alla fokuserar sitt syfte att studera för att förstå resonemanget och identifiera när de är korrekta eller felaktiga.

Studien av logik har utvecklats från den grekiska filosofen Aristoteles tider till nutiden, och detta har justerats med avsikt att vara mer specifik och samtidigt anpassad till människans dagliga liv, vilket gör det möjligt att mer konkret tillämpning på olika områden.

Logik söker efter den systematiska undersökningen av argument och propositioner och de olika typerna av logik gör det möjligt att studera både den formella strukturen i dessa uttalanden och det som har att göra med innehållet och kraften i innehållet.

Även om logiken är baserad på studier av uttalanden, fokuserar den inte tydligt på det naturliga språket (språk som vi vet), men dess användbarhet har nått olika områden och med olika strukturer, som matematik och datoranvändning.

De mest relevanta typerna av logik

formell

Den formella logiken, även känd som klassisk logik eller aristotelisk logik, är studien av propositioner, argument, uttalanden eller meningar ur strukturell synvinkel.

Det är en metod att strukturera tanken och bestämma de korrekta eller felaktiga formerna för ett specifikt tillvägagångssätt.

Den formella logiken fokuserar inte på sanningen eller förfalskningen av innehållet i ett visst argument, men fokuserar på giltigheten eller på annat sätt av konstruktionen av dess form.

Det vill säga att objektet att studera formell logik inte är empirisk, för logiker är det inte relevant att avgöra om det presenterade argumentet är verkligt och bevisat. men hans studie är tydligt inriktad på argumentets struktur.

Inom formell logik finns två mycket viktiga klassificeringar: deduktiv logik och induktiv logik.

Den deduktiva logiken avser de specifika uttalanden som genereras av allmänna begrepp. Genom denna typ av logik kan inferenser göras från begrepp eller teorier som redan existerar.

Till exempel, inom den deduktiva logiken kan man säga att om människor har ben och Clara är en människa, så har Clara ben.

Vid induktiv logik sker konstruktionen av argument på ett motsatt sätt; det vill säga generella begrepp skapas från specifika argument.

Till exempel, inom den induktiva logiken kan man säga att om en katt gillar fisk, tycker en annan också om den, och en annan också då alla katter gillar fisk.

informell

Informell logik är grenen av studier som fokuserar på språk och meddelandet som härrör från semantiska konstruktioner och argument.

Denna logik skiljer sig från formell logik, i den formella logiken studerar strukturerna av meningar och propositioner; och informell logik fokuserar på bakgrunden av det överförda meddelandet.

Dess syfte att studera är sättet att argumentera för att få det önskade resultatet. Informell logik ger giltighet till logiska argument som är mer sammanhängande bland andra som har en svagare argumentativ struktur.

Inte klassisk

Icke-klassisk logik, eller modern logik, härstammar från nittonde århundradet och uppstår i motsats till uttalanden av klassisk logik.

Det fastställer andra former av analys som kan omfatta fler aspekter än vad som kan omfatta det klassiska logikansättet.

Så här ingår matematiska och symboliska element, nya uttalanden eller teorem som kom för att kompensera bristerna i ett formellt logiksystem.

Inom icke-klassisk logik finns det olika undertyper av logik, såsom modal, matematisk, trivalent, bland andra.

Alla dessa typer av logik skiljer sig i viss utsträckning från formell logik, eller innehåller nya element som är komplementära och tillåter att den logiska studien av ett visst uttalande är mer exakt och anpassat till användbarheten i vardagen.

symbolisk

Symbolisk logik kallas också första ordningens logik, eller matematisk logik, och kännetecknas av att man använder symboler som utgör ett nytt språk genom vilket "översätter" argumenten.

Syftet med symbolisk logik är att omvandla abstrakta tankar till mer formella strukturer.

Faktum är att det inte använder naturligt språk (språk), men använder ett tekniskt språk som omvandlar meningar till element som är mottagliga för tillämpning av mer exakta regler än de som kan tillämpas i naturligt språk.

Då tillåter symbolisk logik behandling av propositioner genom beräkningslagen för att undvika förvirring eller felaktigheter.

Det syftar till att införliva matematiska element i analysen av formella logiska strukturer. I det matematiska fältet används logik för att bevisa teorier.

Kort sagt, symbolisk eller matematisk logik försöker uttrycka mänsklig tanke genom matematiskt språk.

Denna matematiska tillämpning av logik gör att argument och konstruktioner kan vara mer exakta.

modal

Modal logik fokuserar på studier av argument, men lägger till element relaterade till möjligheten att det ifrågavarande uttalandet är sant eller felaktigt.

Modal logik låtsas vara mer konsonant med mänsklig tanke, därför innefattar den användningen av konstruktioner som "kan", "möjligen", "ibland", "kanske", "troligen", "sannolikt", "kanske" ", Bland annat.

I modal logik handlar det om att överväga ett scenario där det finns möjlighet, och man tenderar att överväga alla möjligheter som kan existera, ur den logiska synvinkel.

beräknings

Beräkningslogik är en typ av logik som härrör från symbolisk eller matematisk logik, bara att den tillämpas inom datorområdet.

Datorprogrammer använder språket för programmering för deras utveckling och genom logik är det möjligt att arbeta med dessa språksystem, tilldela specifika uppgifter och genomföra verifieringsåtgärder.