De fyra viktigaste typerna av logik (och egenskaper)

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

För detta har utvecklingen av olika system och studier varit väsentlig, vilket har resulterat i fyra huvudtyper av logik. Vi kommer att se nedan vad var och en av dem handlar om.

• Rekommenderad artikel: "De tio typerna av logiska och argumentativa misstag"

Vad är logik?

Ordet "logik" kommer från grekiska "logotyper" som kan översättas på olika sätt: ord, tanke, argument, princip eller förnuft är några av de viktigaste. I den meningen är logik studiet av principer och resonemang.

Denna studie har till syfte att förstå olika slutsatser och hur det är att vi når giltiga bevis, i motsats till ogiltiga bevis. Så den grundläggande frågan om logik är vad som är rätt tänkande och hur kan vi skilja mellan ett giltigt argument och ett fel?

För att besvara denna fråga föreslår logiken olika sätt att klassificera uttalanden och argument, oavsett om de förekommer i formella system eller på naturligt språk. Specifikt analyserar den propositioner (deklarativa meningar) som kan vara sanna eller falska, liksom felaktigheter, paradoxer, argument som rör kausalitet och i allmänhet teorin om argumentation.

För att betrakta ett system som logiskt måste de i allmänhet uppfylla tre kriterier:

• Konsistens (det finns ingen motsägelse mellan de satser som utgör systemet)
• Hållfasthet (testsystem inkluderar inte falska slutsatser)
• Fullständighet (alla sanna meningar måste vara testbara)

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ågot. Traditionellt känns igen 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 logik eller filosofisk logik, det är studiet av slutsatser med rent formellt och uttryckligt innehåll. Det handlar om att analysera formella uttalanden (logiska eller matematiska), vars betydelse inte är inneboende utan snarare dess symboler är meningsfulla på grund av den användbara applikationen som de ges. Den filosofiska tradition som den senare härrör från 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. De senare kan vara axiomer (självklara propositioner) eller satser (slutsatser från en fast uppsättning regler för slutsatser och axiomer).

Slutsatserna vi kom fram genom formell logik, om de är baserade på giltiga lokaler och det inte finns några fel i de logiska operationerna är de sanna i sig. I själva verket leder detta till en öppen debatt om huruvida formell logik tillhör vetenskapens värld. eller de tillhör ett annat kunskapsfält, eftersom de inte beskriver verkligheten utan snarare sina egna regler för fungerar.

2. Informell logik

För sin del är informell logik en nyare disciplin, vilken studerar, utvärderar och analyserar argumenten som används i naturligt eller vardagligt språk. Därför får den kategorin "informell". Det kan vara både talat och skriftligt språk, eller vilken typ av mekanism och interaktion som helst som används för att kommunicera något. Till skillnad från formell logik, som till exempel skulle gälla för studier och utveckling av datorspråk; formellt språk avser språk och språk.

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

3. Symbolisk logik

Som namnet antyder analyserar symbolisk logik förhållandet mellan symboler. Ibland använder den ett komplext matematiskt språk, eftersom det är ansvaret för att studera problem som traditionell formell logik tycker är komplicerad eller svår att hantera. Det är vanligtvis uppdelat i två undertyper:

• Predikativ eller första ordningslogik: det är ett formellt system som består av formler och kvantifierbara variabler
• Förslag: det är ett formellt system som består av propositioner, som kan skapa andra propositioner genom kontakter som kallas "logiska anslutningar". I detta finns nästan inga kvantifierbara variabler.

4. Matematisk logik

Beroende på författaren som beskriver det kan matematisk logik betraktas som en typ av formell logik. Andra anser att matematisk logik innefattar både tillämpningen av formell logik på matematik och tillämpningen av matematisk resonemang på formell logik.

I stort sett handlar det om tillämpningen av matematiskt språk i konstruktionen av logiska system som gör det möjligt att reproducera det mänskliga sinnet. Till exempel har detta varit mycket närvarande i utvecklingen av artificiell intelligens och i beräkningsparadigmerna för studiet av kognition.

Det är vanligtvis uppdelat i två undertyper:

• Logik: det handlar om tillämpningen av logik i matematik. Exempel på denna typ är bevisteori, modellteori, uppsättningsteori och rekursionsteori.
• 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 logik och matematik inte i sig kan förklara djupa egenskaper hos de element som de analyserar.

Induktivt, deduktivt och modalt resonemang

Å andra sidan, Det finns tre typer av resonemang som också kan betraktas som logiska system. Detta är mekanismer som gör att vi kan dra slutsatser från lokaler. Deduktivt resonemang gör denna utvinning från en allmän premiss till en viss premiss. Ett klassiskt exempel är det som Aristoteles föreslår: Alla människor är dödliga (detta är den allmänna förutsättningen); Sokrates är mänsklig (det är den viktigaste förutsättningen) och slutligen är Sokrates dödlig (detta är slutsatsen).

Induktivt resonemang är för sin del den process genom vilken en slutsats dras i motsatt riktning: från det specifika till det allmänna. Ett exempel på detta skulle vara "Alla kråkor som jag kan se är svarta" (särskild förutsättning); så alla kråkor är svarta (slutsats).

Slutligen bygger resonemanget eller modalogiken på probabilistiska argument, det vill säga de uttrycker en möjlighet (en modalitet). Det är ett formellt logiksystem som innehåller termer som "kunde", "får", "måste", "så småningom".

Bibliografiska referenser:

• Groarke, L. (2017). Informell logik. Stanford Encyclopedia of Philosophy. Hämtad 2 oktober 2018. Tillgänglig i https://plato.stanford.edu/entries/logic-informal/
• Logic (2018). Filosofins grunder. Hämtad 2 oktober 2018. Tillgänglig i https://www.philosophybasics.com/branch_logic.html
• Magnani, L. (2001). Bortförande, resonemang och vetenskap: processer för upptäckt och förklaring. New York: Kluwer Academic Plenum Publishers.
• McGinn, C. (2000). Logiska egenskaper: Identitet, existens, predikation, nödvändighet, sanning. Oxford: Clarendon Press.
• Quine, W.V.O. (1986) (1970). Logikfilosofi. Cambridge, MA.: Harvard University Press.
• Shapiro, S. och Kouri, S. (2018). Klassisk logik. Hämtad 2 oktober 2018. Finns i Logic (2018). Filosofins grunder. Hämtad 2 oktober 2018. Tillgänglig i https://www.philosophybasics.com/branch_logic.html
• Garson, J. (2018). Modal logik. Stanford Encyclopedia of Philosophy. Hämtad 2 oktober 2018. Tillgänglig i https://plato.stanford.edu/entries/logic-modal/