De 4 viktigaste typerna av logik (och funktioner)

Logik är studien av resonemang och slutsatser. Det är en uppsättning frågor och analyser som har gjort det möjligt för oss att förstå hur giltiga argument skiljer sig från felaktigheter och hur vi kommer fram till dessa.

För detta har utvecklingen av olika system och former av studier varit oumbärlig, vilket har lett till fyra huvudtyper av logik. Vi kommer se nedan vad var och en handlar om.

• Rekommenderad artikel: ["De 10 typerna av logiska och argumentativa fallacies"] (De 10 typerna av logiska och argumentativa fallacies)

Vad är logik?

Ordet "logik" kommer från de grekiska "logotyperna" som kan översättas på olika sätt: ord, tanke, argument, princip eller skäl är några av de viktigaste. I denna mening är logik studie av principer och resonemang.

Denna studie har till syfte att förstå olika kriterier för slutsatser och hur vi kommer fram till giltiga demonstrationer, i motsats till de ogiltiga demonstrationerna. Så är den grundläggande frågan om logik vad som är det rätta tänkandet och hur kan vi skilja mellan ett giltigt argument och ett missförhållande??

För att svara på denna fråga föreslår logiken olika sätt att klassificera uttalanden och argument, oavsett om de förekommer i formellt system eller i naturligt språk. Det analyserar specifikt de propositioner (deklarativa meningar) som kan vara sanna eller falska, såväl som felaktigheter, paradoxerna, argumenten som involverar orsakssamband och, i allmänhet, argumentationsteorin.

Generellt sett måste man överväga ett system som logiskt, de måste uppfylla tre kriterier:

• konsistens (det finns ingen motsättning mellan de stämningar som utgör systemet)
• soliditet (testsystemen innehåller inte falska inferenser)
• fullständighet (alla sanna meningar måste kunna bevisas)

De fyra typerna av logik

Som vi har sett använder logiken olika verktyg för att förstå resonemanget vi använder för att motivera någonting. Traditionellt erkänns fyra huvudtyper av logik, var och en med vissa undertyper och specificiteter. Vi kommer att se nedan vad var och en handlar om.

1. Formell logik

Även känd som traditionell logisk eller filosofisk logik, Det handlar om studier av slutsatser med rent formellt och explicit innehåll. Det handlar om att analysera de formella uttalandena (logiska eller matematiska), vars mening inte är inneboende men dess symboler har betydelse på grund av den användbara tillämpningen de ges. Den filosofiska traditionen från vilken den senare härleder kallas exakt "formalism".

I sin tur är ett formellt system ett som används för att dra en slutsats från en eller flera lokaler. Det senare kan vara axiomer (självklara propositioner) eller teorem (slutsatser av en fast uppsättning regler för avledningar och axiom).

2. Informell logik

För sin del är informell logik en senare disciplin, vilken studera, utvärdera och analysera de argument som visas på det naturliga eller vardagliga språket. Därför får den kategorin "informell". Det kan vara antingen talat eller skrivet språk eller någon typ av mekanism och interaktion som används för att kommunicera någonting. Till skillnad från formell logik, som till exempel skulle gälla för studie och utveckling av datorspråk formellt språk avser språk och språk.

Således kan informell logik analysera från personliga argument och argument till politiska debatter, juridiska argument eller lokaler som sprids av media, såsom tidningar, tv, internet etc..

3. Symbolisk logik

Som namnet antyder analyserar symbolisk logik relationerna mellan symboler. Ibland används det komplexa matematiska språket, eftersom det är ansvarigt för att studera problem som traditionell formell logik finner komplicerat eller svårt att hantera. Det är vanligtvis uppdelat i två undertyper:

• Predicativ logik eller första order: Det är ett formellt system som består av formler och kvantifierbara variabler
• påstående: Det är ett formellt system som består av propositioner, som kan skapa andra propositioner via kontakter som kallas "logiskt anslutande". I detta finns nästan inga kvantifierbara variabler.

4. Matematisk logik

Beroende på författaren som beskriver den kan matematisk logik anses vara en form av formell logik. Andra anser att matematisk logik innefattar både tillämpning av formell logik på matematik och tillämpning av matematisk resonemang på formell logik.

I stort sett gör tillämpningen av matematiskt språk i konstruktionen av logiska system det möjligt att reproducera det mänskliga sinnet. Detta har till exempel varit mycket närvarande i utvecklingen av artificiell intelligens och i de beräkningar av kognitionens beräknings paradigmer.

Det är vanligtvis uppdelat i två undertyper:

• logicism: Det handlar om tillämpningen av logik i matematik. Exempel på denna typ är testteorin, modellteorin, teorin om uppsättningar och rekursionsteorin.
• intuitionism: hävdar att både logik och matematik är metoder vars tillämpning är konsekvent för att utföra komplexa mentala konstruktioner. Men han säger att i sig själva kan logik och matematik inte förklara djupa egenskaper hos de element som de analyserar.

Induktiv, deduktiv och modal resonemang

Å andra sidan, Det finns tre typer av resonemang som också kan betraktas som logiska system. Dessa är mekanismer som gör det möjligt för oss att dra slutsatser från lokaler. Deductiv resonemang gör sådan utvinning från en allmän premiss till en viss förutsättning. Ett klassiskt exempel är det som Aristoteles föreslog: Alla människor är dödliga (det här är den allmänna förutsättningen); Sokrates är en människa (det är den stora premissen), och slutligen är Sokrates dödlig (det här är slutsatsen).

För sin del är en induktiv resonemang den process genom vilken en slutsats dras i motsatt riktning: från det speciella till det allmänna. Ett exempel på detta skulle vara "Alla kragerna jag kan se är svarta" (särskild premiss); då är alla kråka svarta (slutsats).

Slutligen bygger resonemang eller modal logik på probabilistiska argument, det vill säga de uttrycker en möjlighet (en modalitet). Det är ett formellt logiksystem som innehåller termer som "could", "can", "should", "eventually".

Bibliografiska referenser:

• Groarke, L. (2017). Informell logik. Stanford Encyclopedia of Philosophy. Hämtad 2 oktober 2018. Finns på https://plato.stanford.edu/entries/logic-informal/
• Logik (2018). Grunderna i filosofin. Hämtad 2 oktober 2018. Tillgänglig på https://www.philosophybasics.com/branch_logic.html
• Shapiro, S. och Kouri, S. (2018). Klassisk logik. Hämtad 2 oktober 2018. Finns i Logic (2018). Grunderna i filosofin. Hämtad 2 oktober 2018. Tillgänglig på https://www.philosophybasics.com/branch_logic.html
• Garson, J. (2018). Modal Logic. Stanford Encyclopedia of Philosophy. Hämtad 2 oktober 2018. Finns på https://plato.stanford.edu/entries/logic-modal/