Det finns flera typer av logik och alla fokuserar sitt studieobjekt på att förstå resonemanget och identifiera när det är korrekt eller felaktigt. Studiet av logik har utvecklats från tiden för den grekiska filosofen Aristoteles till idag.
Etiken har justerats med avsikten att vara mer specifik och samtidigt mer anpassad till människans vardag, vilket gör det möjligt att göra det mer påtagligt inom olika områden.
Logik söker en systematisk studie av argument och förslag, och de olika typerna av logik gör det möjligt att studera både den enbart formella strukturen i dessa uttalanden, liksom vad som har att göra med innehållet och kraften i nämnda innehåll..
Även om logik bygger på meningsstudier, fokuserar den inte tydligt på naturligt språk (språket som vi känner det), men dess användbarhet har nått olika områden och med olika strukturer, såsom matematik och dator.
Formell logik, även känd som klassisk logik eller aristotelisk logik, är studiet av propositioner, argument, uttalanden eller meningar ur en strukturell synvinkel. Det är en metod för att strukturera tänkande och bestämma de korrekta eller felaktiga formerna för ett specifikt tillvägagångssätt..
Formell logik fokuserar inte på sanningen eller falskheten i innehållet i ett visst argument, utan snarare fokuserar på giltigheten eller inte konstruktionen av dess form.
Det vill säga att studiet av formell logik inte är empiriskt, för logikern är det inte relevant att avgöra om argumentet som presenteras är verkligt och bevisat; men hans studie fokuserar tydligt på strukturen för nämnda argument.
Inom formell logik finns två mycket viktiga klassificeringar: deduktiv logik och induktiv logik..
Deduktiv logik avser de specifika uttalanden som genereras från allmänna begrepp. Genom denna typ av logik kan slutsatser göras från begrepp eller teorier som redan finns..
Till exempel, inom deduktiv logik, kan man säga att om människor har ben och Clara är en människa, så har Clara ben..
När det gäller induktiv logik, sker uppbyggnaden av argumenten på motsatt sätt; det vill säga generella begrepp skapas från specifika argument.
Till exempel, inom induktiv logik, kan man säga att om en katt gillar fisk, och en annan gillar fisk, och en annan också, så gillar alla katter fisk..
Informell logik är den gren av studien som fokuserar på språk och det budskap som härrör från semantiska konstruktioner och argument.
Denna logik skiljer sig från formell logik genom att formell logik studerar strukturerna för meningar och propositioner; och informell logik fokuserar på innehållet i meddelandet.
Dess syfte är att diskutera för att uppnå önskat resultat. Informell logik validerar logiska argument som är mer sammanhängande bland andra som har en svagare argumentativ struktur.
Icke-klassisk logik, eller modern logik, har sitt ursprung i 1800-talet och uppstår i motsats till uttalandena från klassisk logik. Den etablerar andra analysformer som kan täcka fler aspekter än de som kan täckas genom det klassiska synsättet på logik..
Detta är hur matematiska och symboliska element ingår, nya uttalanden eller satser som kom att kompensera för bristerna i ett formellt logiksystem..
Inom icke-klassisk logik finns det olika undertyper av logik, såsom bland annat modal, matematisk, trivalent..
Alla dessa typer av logik skiljer sig i viss utsträckning från formell logik eller innehåller nya element som är kompletterande och gör det möjligt för den logiska studien av ett visst uttalande att vara mer exakt och anpassad till nyttan i vardagen..
Symbolisk logik kallas också första ordningslogik, eller matematisk logik, och kännetecknas av att använda symboler som utgör ett nytt språk genom vilket argumenten ”översätts”..
Syftet med symbolisk logik är att omvandla abstrakta tankar till mer formella strukturer. I själva verket använder den inte naturligt språk (språk) utan använder ett tekniskt språk som omvandlar meningar till element som är mottagliga för tillämpning av mer exakta regler än vad som kan tillämpas på naturligt språk..
Så, symbolisk logik möjliggör behandling av propositioner genom kalkyllagarna för att undvika förvirring eller felaktigheter..
Den försöker integrera matematiska element i analysen av strukturerna för den formella logiken. I det matematiska området används logik för att bevisa satser.
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.
Modalogik fokuserar på studier av argument, men lägger till element relaterade till möjligheten att uttalandet i fråga är sant eller falskt.
Modalogik låtsas vara mer i linje med mänskligt tänkande, därför omfattar den användningen av konstruktioner som "kunde", "möjligen", "ibland", "kanske", "troligen", "är troligt", "kanske", bland annat.
I modalogik handlar det om att överväga ett scenario där det finns en möjlighet, och det tenderar att överväga alla möjligheter som kan finnas, ur den logiska synvinkeln.
Beräkningslogik är en typ av logik som härrör från symbolisk eller matematisk logik, bara den tillämpas inom området beräkning.
Datorprogram använder programmeringsspråket för sin utveckling och genom logik är det möjligt att arbeta dessa språksystem, tilldela specifika uppgifter och utföra verifieringsåtgärder.
Ingen har kommenterat den här artikeln än.