- De mest relevanta typerna av logik
- Formell logik
- Informell logik
- Icke-klassisk logik
- Symbolisk logik
- Modal logik
- Beräkningslogik
- referenser
Det finns flera typer av logik och alla fokuserar sitt studieobjekt på att förstå resonemang och identifiera när de är korrekta eller felaktiga. Studien av logik har utvecklats från tiderna för den grekiska filosofen Aristoteles till i dag.
Etiken har anpassats för att vara mer specifik och samtidigt mer anpassad till människans vardag, vilket möjliggör en mer konkret tillämpning inom olika områden.
Aristoteles, erkänd som logikens far.
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 formella strukturen för dessa uttalanden, såväl som vad som har att göra med innehållet och kraften hos nämnda innehåll.
Även om logik är baserad på studier av meningar 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 datoranvändning.
De mest relevanta typerna av logik
Formell logik
Formell logik, även känd som klassisk logik eller Aristotelisk logik, är studiet av förslag, argument, uttalanden eller meningar ur en strukturell synvinkel. Det är en metod för att strukturera tankar och bestämma korrekta eller felaktiga former av en specifik metod.
Formell logik fokuserar inte på sanningen eller falskheten i innehållet i ett visst argument utan koncentrerar sig snarare på giltigheten eller inte konstruktionen av dess form.
Det vill säga, syftet med studien av formell logik är inte empiriskt, för logikern är det inte relevant att avgöra om argumentet som presenteras är verkligt och bevisat; Snarare är hans studie tydligt fokuserad på strukturen för nämnda argument.
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 slutsatser göras från begrepp eller teorier som redan finns.
Inom deduktiv logik kan man till exempel 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 konstruktionen 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 den också, och en annan också, så alla katter gillar fisk.
Informell logik
Informell logik är studiens gren 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 den formella logiken studerar strukturerna för meningar och förslag; och informell logik fokuserar på innehållet i meddelandet som förmedlas.
Studiens syfte är att argumentera för att få önskat resultat. Informell logik ger giltighet till logiska argument som är mer sammanhängande bland andra som har en svagare argumentativ struktur.
Icke-klassisk logik
Icke-klassisk logik, eller modern logik, har sitt ursprung i 1800-talet och uppstår i motsats till uttalanden om klassisk logik. Det skapar andra former av analys som kan täcka fler aspekter än de som kan täckas genom den klassiska strategin för logik.
Så är matematiska och symboliska element inkluderade, nya uttalanden eller teorem som kom till att kompensera för bristerna i ett formellt logiskt system.
Inom icke-klassisk logik finns det olika typer 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 gör att den logiska studien av ett visst uttalande kan vara mer exakt och anpassad till användbarheten i vardagen.
Symbolisk logik
Symbolisk logik kallas också förstordens logik, eller matematisk logik, och kännetecknas av att använda symboler som utgör ett nytt språk genom vilket argument "översätts".
Syftet med symbolisk logik är att konvertera abstrakta tankar till mer formella strukturer. I själva verket använder det inte naturligt språk (formspråk), utan använder ett tekniskt språk som förvandlar meningar till element som är mottagliga för tillämpning av mer exakta regler än som kan tillämpas på naturligt språk.
Så symbolisk logik gör det möjligt att behandla förslag genom kalkylagarna för att undvika förvirring eller felaktigheter.
Den försöker integrera matematiska element i analysen av strukturerna i formell logik. På det matematiska området används logik för att bevisa teorem.
Kort sagt, symbolisk eller matematisk logik försöker uttrycka mänsklig tanke genom matematiska språk.
Denna matematiska tillämpning av logik gör att argument och konstruktioner kan vara mer exakta.
Modal logik
Modal logik fokuserar på studiet av argument, men lägger till element relaterade till möjligheten att uttalandet i fråga är sant eller falskt.
Modal logik försöker vara mer i linje med mänsklig tanke, därför omfattar den användning av konstruktioner som "kunde", "möjligen", "ibland", "kanske", "förmodligen", "är troligt", "kanske ", bland annat.
I modal logik handlar det om att överväga ett scenario där det finns en möjlighet, och det tenderar att överväga alla de möjligheter som kan finnas, ur logisk synvinkel.
Beräkningslogik
Beräkningslogik är en typ av logik härrörande från symbolisk eller matematisk logik, endast den tillämpas inom området för datoranvändning.
Datorprogram använder programmeringsspråket för sin utveckling och genom logik är det möjligt att arbeta med dessa språksystem, tilldela specifika uppgifter och utföra verifieringsåtgärder.
referenser
- "Logik" i Encyclopedia Britannica. Hämtad den 4 augusti 2017 från Encyclopedia Britannica: britannica.com
- "Formell logik" i Encyclopedia Britannica. Hämtad den 4 augusti 2017 från Encyclopedia Britannica: britannica.com
- 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
- Muñoz, C. "Icke-klassisk logik" vid Computense Madrid-universitetet. Hämtad den 4 augusti 2017 från Complutense University of Madrid: ucm.es
- Julia, J. "Vad är symbolisk logik?" i eHow på spanska. Hämtad den 4 augusti 2017 från eHow på spanska: ehowenespanol.com
- 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
- "Deduktiva och induktiva slutsatser" i Junta de Extremadura. Hämtad den 4 augusti 2017 i Junta de Extremadura: educarex.es.