De 4 vigtigste typer af logik (og funktioner)

Logik er undersøgelsen af ​​ræsonnement og afledninger. Det er et sæt spørgsmål og analyser, der har givet os mulighed for at forstå, hvordan gyldige argumenter afviger fra fejl og hvordan vi kommer frem til disse.

For dette har det været uundværligt at udvikle forskellige systemer og former for studier, der har ført til fire hovedtyper af logik. Vi vil se nedenfor, hvad de hver især handler om.

• Anbefalet artikel: ["De 10 typer af logiske og argumentative fejlfæstelser"] (De 10 typer af logiske og argumentative fejlfald)

Hvad er logik?

Ordet "logik" kommer fra de græske "logoer", som kan oversættes på forskellige måder: Ord, tanke, argument, princip eller grund er nogle af de vigtigste. I denne forstand er logik undersøgelsen af ​​principper og ræsonnement.

Denne undersøgelse har til formål at forstå forskellige kriterier for afledninger og hvordan vi ankommer til gyldige demonstrationer i modsætning til de ugyldige demonstrationer. Så det grundlæggende spørgsmål om logik er, hvad er den rigtige tænkning, og hvordan kan vi skelne mellem et gyldigt argument og en fejltagelse??

For at besvare dette spørgsmål foreslår logik forskellige måder at klassificere udsagn og argumenter på, uanset om de forekommer i et formelt system eller i et naturligt sprog. Specifikt analyserer den propositioner (deklarative sætninger), som kan være sande eller falske, såvel som falder, paradokser, argumenter, der involverer årsagssammenhæng og generelt argumentationsteorien..

Generelt skal man overveje et system som logisk, de skal opfylde tre kriterier:

• konsistens (der er ingen modstrid mellem de sætninger, der udgør systemet)
• soliditet (testsystemerne indbefatter ikke falske påvirkninger)
• fuldstændighed (alle sande sætninger skal kunne bevises)

De fire typer logik

Som vi har set, bruger logik forskellige værktøjer til at forstå den begrundelse, vi bruger til at retfærdiggøre noget. Traditionelt anerkendes fire hovedtyper af logik, hver med nogle undertyper og specificiteter. Vi vil se nedenfor, hvad hver enkelt handler om.

1. Formel logik

Også kendt som traditionel logisk eller filosofisk logik, Det handler om undersøgelsen af ​​afledninger med rent formelt og eksplicit indhold. Det handler om at analysere de formelle udsagn (logisk eller matematisk), hvis betydning ikke er iboende, men dens symboler giver mening ved den anvendelige applikation, der gives. Den filosofiske tradition, som den sidstnævnte hidrører fra, hedder netop "formalisme".

Til gengæld er et formelt system et, der bruges til at drage en konklusion fra en eller flere lokaler. Sidstnævnte kan være aksiomer (selvindlysende propositioner) eller sætninger (konklusioner af et fast sæt regler for afledninger og aksiomer).

2. Uformel logik

For sin del er uformel logik en nyere disciplin, som studere, evaluere og analysere de argumenter, der vises på naturligt eller dagligdags sprog. Derfor modtager den kategorien "uformel". Det kan enten være tale eller skrevet sprog eller enhver form for mekanisme og interaktion bruges til at kommunikere noget. I modsætning til formelle logik, som for eksempel ville gælde for undersøgelse og udvikling af computersprog; formelt sprog henviser til sprog og sprog.

Således kan uformel logik analysere fra personlig begrundelse og argumenter til politiske debatter, juridiske argumenter eller lokaler formidlet af medierne som aviser, tv, internettet mv..

3. Symbolisk logik

Som navnet antyder, analyserer symbolsk logik relationerne mellem symboler. Nogle gange bruger det komplekse matematiske sprog, da det er ansvarligt for at studere problemer, som traditionel formel logik finder svært eller vanskeligt at løse. Det er normalt opdelt i to undertyper:

• Predicative logik eller første ordre: Det er et formelt system sammensat af formler og kvantificerbare variabler
• propositionel: Det er et formelt system sammensat af propositioner, som er i stand til at skabe andre propositioner via konnektorer kaldet "logisk connective". I dette er der næsten ingen kvantificerbare variabler.

4. Matematisk logik

Afhængig af forfatteren, der beskriver det, kan matematisk logik betragtes som en form for formel logik. Andre mener, at matematisk logik indbefatter både anvendelse af formel logik til matematik og anvendelse af matematisk begrundelse til formel logik.

I vid udstrækning gør anvendelsen af ​​matematisk sprog i konstruktionen af ​​logiske systemer det muligt at reproducere det menneskelige sind. For eksempel har dette været meget til stede i udviklingen af ​​kunstig intelligens og i de beregningsmæssige paradigmer af undersøgelsen af ​​kognition.

Det er normalt opdelt i to undertyper:

• logicism: Det handler om anvendelse af logik i matematik. Eksempler på denne type er teorien om testen, teorien om modeller, teorien om sæt og teorien om rekursionen.
• intuitionism: argumenterer for, at både logik og matematik er metoder, hvis anvendelse er konsistent til at udføre komplekse mentale konstruktioner. Men han siger, at logik og matematik i sig selv ikke kan forklare dybe egenskaber ved de elementer, de analyserer.

Induktive, deduktiv og modal begrundelse

På den anden side, Der er tre typer af tankegang, der også kan betragtes som logiske systemer. Disse er mekanismer, som giver os mulighed for at drage konklusioner fra lokaler. Deductiv begrundelse gør en sådan udtrækning fra en generel forudsætning til en bestemt forudsætning. Et klassisk eksempel er det, der foreslås af Aristoteles: Alle mennesker er dødelige (dette er den generelle forudsætning); Socrates er et menneske (det er den store forudsætning), og endelig er Socrates dødelig (dette er konklusionen).

På den anden side er en induktiv begrundelse processen ved hjælp af hvilken en konklusion er tegnet i den modsatte retning: fra det ene til det generelle. Et eksempel på dette ville være "Alle de krager jeg kan se er sorte" (særlig premiss); så er alle kragerne svarte (konklusion).

Endelig er ræsonnement eller modal logik baseret på probabilistiske argumenter, det vil sige, de udtrykker en mulighed (en modalitet). Det er et formelt logisk system, der indeholder udtryk som "kunne", "can", "should", "eventually".

Bibliografiske referencer:

• Groarke, L. (2017). Uformel logik Stanford Encyclopedia of Philosophy. Hentet den 2. oktober 2018. Tilgængelig på https://plato.stanford.edu/entries/logic-informal/
• Logik (2018). Det grundlæggende i filosofien. Hentet 2. oktober 2018. Tilgængelig på https://www.philosophybasics.com/branch_logic.html
• Shapiro, S. og Kouri, S. (2018). Klassisk logik. Hentet 2. oktober 2018. Tilgængelig i Logic (2018). Det grundlæggende i filosofien. Hentet 2. oktober 2018. Tilgængelig på https://www.philosophybasics.com/branch_logic.html
• Garson, J. (2018). Modal Logic. Stanford Encyclopedia of Philosophy. Hentet den 2. oktober 2018. Tilgængelig på https://plato.stanford.edu/entries/logic-modal/