De 4 vigtigste typer af logik (og funktioner)

April 27, 2024

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 ankommer til dem.

For dette har udviklingen af forskellige systemer og former for undersøgelse været uundværlig, hvilket 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 kommer til gyldige demonstrationer i modsætning til de ugyldige demonstrationer. Så er det grundlæggende spørgsmål om logik, 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), der 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 4 typer af logik

Som vi har set, bruger logikken 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 og en 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 har betydning på grund af den nyttige anvendelse, de gives. Den filosofiske tradition, som den sidstnævnte hidrører fra, hedder netop "formalisme".

Til gengæld er et formelt system en metode, der bruges til at udlede 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å det naturlige eller det daglige 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.

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

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 kompliceret eller vanskelig at adressere. 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 omfatter 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 studiet 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 bevis, model teori, sætteori og teorien om rekursion.
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 af de elementer, de analyserer.

Induktiv, deductiv og modal resonnement

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 ræsonnement gør sådan ekstraktion 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).

For sin del er en induktiv begrundelse den proces, hvormed der trækkes en konklusion i modsat 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 logiksystem, der indeholder udtryk som "kunne", "can", "should", "eventually".

Bibliografiske referencer:

Groarke, L. (2017). Uformel logik Stanford Encyclopedia of Philosophy. Hentet 2. oktober 2018. Tilgængelig på //plato.stanford.edu/entries/logic-informal/
Logik (2018). Det grundlæggende i filosofien. Hentet 2. oktober 2018. Tilgængelig på //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å //www.philosophybasics.com/branch_logic.html
Garson, J. (2018). Modal Logic. Stanford Encyclopedia of Philosophy. Hentet 2. oktober 2018. Tilgængelig på //plato.stanford.edu/entries/logic-modal/