De 6 typerna av logik och deras betydelse

Det finns flera Typer av logik och alla fokuserar sitt föremål för studier på att förstå resonemang och identifiera när de är korrekta eller felaktiga. Studien av logik har utvecklats sedan den grekiska filosofen Aristoteles tid till nutid.

Etik har justerats med avsikt att vara mer specifik och samtidigt mer anpassad till människans dagliga liv, vilket möjliggör en mer konkret tillämpning inom olika områden.

Aristoteles, erkänd som logikens far.

Logik söker den systematiska studien av argument och förslag, och de olika typerna av logik gör att det kan vara möjligt att studera både den bara formella strukturen i dessa uttalanden och vad som har att göra med innehållet och kraften i nämnda innehåll.

Även om logik bygger på studien av uttalanden, fokuserar den inte tydligt på naturligt språk (språket som vi känner till det), 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 logik

Den formella logiken, även känd som klassisk eller logisk aristotelisk logik, är studien av förslag, argument, uttalanden eller meningar från strukturell synvinkel. Det är en metod att strukturera tanken och bestämma de korrekta eller felaktiga sätten för en specifik strategi.

Den formella logiken fokuserar inte på sanningen eller falskheten i innehållet i ett visst argument, men är koncentrerad i giltigheten eller inte av konstruktionen av dess form.

Det vill säga att föremålet för studier av formell logik inte är empirisk, för logik är det inte relevant att avgöra om det presenterade argumentet är verkligt och bevisat; Men din studie är tydligt fokuserad på strukturen i nämnda argument.

Kan tjäna dig: Empedocles

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

Deduktiv logik hänvisar till de specifika uttalanden som genereras från allmänna uppfattningar. Genom denna typ av logik kan de bli slutsatser från begrepp eller teorier som redan finns.

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

När det gäller induktiv logik inträffar konstruktionen av argumenten motsatt; det vill säga allmänna begrepp skapas av specifika argument.

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

Informell logik

Informell logik är studiens gren som fokuserar på språket och meddelandet som härrör från semantiska konstruktioner och argument.

Denna logik skiljer sig från formell logik, genom att formella logik studerar strukturerna för böner och förslag; Och informell logik fokuserar på botten av det överförda meddelandet.

Dess föremål för studier är sättet att argumentera för att få önskat resultat. Informell logik ger giltigheten till de logiska argumenten som är mer sammanhängande bland andra som har en svagare argumenterande struktur.

Icke -klassisk logik

Icke -klassisk logik, eller modern logik, har sitt ursprung på 1800 -talet och uppstår i motsats till uttalanden om klassisk logik. Det upprättar andra former av analys som kan täcka fler aspekter som är möjliga att omfatta genom den klassiska logiska metoden.

Kan tjäna dig: moraliskt ämne

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

Inom icke -klassisk logik finns olika subtyper av logik, såsom modal, matematik, trivalent, bland andra.

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

Symbolisk logik

I det här spelet måste du hitta varje bit av det centrala torget i de olika figurerna runt

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

Avsikten med symbolisk logik är att omvandla abstrakta tankar till mer formella strukturer. I själva verket använder det inte naturligt språk (språk), men använder ett tekniskt språk som konverterar meningar till element som är mottagliga för tillämpningen av mer exakta regler som kan tillämpas på naturligt språk.

Sedan tillåter symbolisk logik behandling av förslag genom beräkningslagarna för att undvika förvirring eller felaktigheter.

Försöker integrera matematiska element i analysen av strukturerna i formell logik. Inom det matematiska området används logik för att demonstrera 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 är mer exakta.

Modallogik

Modal logik fokuserar på studier av argument, men lägger till element relaterade till möjligheten att uttalandet i fråga är sant eller falskt.

Kan tjäna dig: Utilitarism

Modal logik syftar till att vara mer förenlig med mänsklig tanke, därför täcker den användningen av konstruktioner som "kan", "eventuellt", "ibland", "kanske", "troligtvis", "är troligt", "kanske", bland Övrig.

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

Beräkningslogik

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

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

Referenser

1. "Logik" i Britannica Encyclopedia. Hämtad i Britannica.com
2. "Formell logik" i Britannica Encyclopedia. Hämtad i Britannica.com
3. Hernández, f. "Computational Logic" vid National Autonomous University of Mexico. Hämtad i UNAM.mx
4. Muñoz, c. "Icke-klassisk logik" vid Complutense University of Madrid. Hämtad i UCM.är
5. "Deduktiva och induktiva slutsatser" vid styrelsen för Extremadura. Hämtad i Educarex.är.