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 i olika områden.

Logiken syftar till en systematisk studie av argumenten och propositionerna och de olika typerna av logik gör det möjligt att studera både den rent formella strukturen i dessa uttalanden, som vad 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 computing.

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 att hans studie är inriktad på strukturen av argumentet.

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 logiska inferenser kan göras från begrepp eller teorier som redan existerar.

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

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 i induktiv logik kan man säga att om en katt gillar fisk och gillar också en annan, och en annan, då alla katter som fisk.

informell

Informell logik är grenen av studier 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, 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 validerar 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 uttalandena om klassisk logik.

Det fastställer andra former av analys som kan omfatta mer aspekter än det är möjligt att omfatta genom det klassiska logikmetoden.

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 något formell logik, eller införliva nya element kompletterar varandra, och tillåter studiet av en särskild logisk förklaring är mer exakt och anpassas till användbarhet i vardagen.

symbolisk

Symbolisk logik kallas också första ordningens logik, eller matematisk logik, och kännetecknas av att använda 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 vad 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 falskt.

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 synvinkeln.

beräknings

Beräkningslogik är en typ av logik härledd från symbolisk eller matematisk logik, endast 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..

referenser

1. "Logic" i Encyclopedia Britannica. Hämtad den 4 augusti 2017 från Encyclopedia Britannica: britannica.com
2. "Formell logik" i Encyclopedia Britannica. Hämtad den 4 augusti 2017 från Encyclopedia Britannica: britannica.com
3. Hernández, F. "Computational Logic" vid National Autonomous University of Mexico. Hämtad den 4 augusti 2017 från National Autonomous University of Mexico: unam.mx
4. Muñoz, C. "Non-Classical Logics" på Complutense University of Madrid. Hämtad den 4 augusti 2017 från Universidad Complutense de Madrid: ucm.es
5. Julia, J. "Vad är symbolisk logik?" I eHow en Español. Hämtad den 4 augusti 2017 från eHow en Español: ehowenespanol.com
6. Oller, C. "Formell logik och argumentation" (2006) vid National University of La Plata. Hämtad den 4 augusti 2017 från National University of La Plata: rfytp.fahce.unlp.edu.ar
7. "Deduktiva och induktiva inferenser" i Junta de Extremadura. Hämtad den 4 augusti 2017 i Junta de Extremadura: educarex.es.