De 4 vigtigste logiktyper (og egenskaber)
Logik er studiet af ræsonnement og slutninger. Det er et sæt spørgsmål og analyser, der har gjort det muligt at forstå, hvordan gyldige argumenter adskiller sig fra fejl, og hvordan vi når frem til dem.
Til dette har udviklingen af forskellige systemer og former for undersøgelse været vigtig, hvilket har resulteret i fire hovedtyper af logik. Vi vil se nedenfor, hvad hver af dem handler om.
- Anbefalet artikel: "De 10 typer logiske og argumenterende fejl"
Hvad er logik?
Ordet "logik" kommer fra de græske "logoer", som kan oversættes på forskellige måder: ord, tanke, argument, princip eller fornuft er nogle af de vigtigste. I denne forstand er logik studiet af principper og ræsonnement.
Denne undersøgelse har til formål at forstå forskellige kriterier for slutninger, og hvordan det er, at vi når frem til gyldige beviser i modsætning til ugyldige beviser. Så det grundlæggende spørgsmål om logik er, hvad der er korrekt tænkning, og hvordan kan vi skelne mellem et gyldigt argument og en fejlslutning?
For at besvare dette spørgsmål foreslår logik forskellige måder at klassificere udsagn og argumenter på, uanset om de forekommer i formelle systemer eller på et naturligt sprog. Specifikt analyserer den propositioner (deklarative sætninger), der kan være sande eller falske såvel som fejl, paradokser, argumenter, der involverer kausalitet og generelt teorien om argumentation.
Generelt, for at betragte et system som logisk, skal de opfylde tre kriterier:
- Konsistens (der er ingen modsætning mellem de sætninger, der udgør systemet)
- Tørhed (testsystemer inkluderer ikke falske slutninger)
- Fuldstændighed (alle sande sætninger skal kunne testes)
De 4 typer logik
Som vi har set bruger logik forskellige værktøjer til at forstå den ræsonnement, vi bruger til at retfærdiggøre noget. Traditionelt genkendes 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 logik eller filosofisk logik, det er studiet af slutninger med rent formelt og eksplicit indhold. Det handler om at analysere formelle udsagn (logisk eller matematisk), hvis betydning ikke er iboende, men snarere dens symboler giver mening på grund af den nyttige anvendelse, som de får. Den filosofiske tradition, som sidstnævnte stammer fra, kaldes nøjagtigt "formalisme".
Til gengæld er et formelt system et, der bruges til at drage en konklusion fra et eller flere lokaler. Sidstnævnte kan være aksiomer (selvindlysende propositioner) eller sætninger (konklusioner fra et fast sæt regler for slutninger og aksiomer).
Konklusionerne, vi nåede frem til gennem formel logik, hvis de er baseret på gyldige forudsætninger, og der ikke er nogen fejl i de logiske operationer, er de sande i sig selv. Faktisk fører dette til en åben debat om, hvorvidt formel logik hører til videnskabens verden. eller de tilhører et andet vidensfelt, da de ikke beskriver virkeligheden, men snarere deres egne regler for fungerer.
2. Uformel logik
For sin del er uformel logik en nyere disciplin, som studerer, evaluerer og analyserer de argumenter, der er brugt på et naturligt eller hverdagssprog. Derfor modtager den kategorien "uformel". Det kan være både talt og skriftligt sprog eller enhver form for mekanisme og interaktion, der bruges til at kommunikere noget. I modsætning til formel logik, som f.eks. Gælder for undersøgelse og udvikling af computersprog; formelt sprog refererer til sprog og sprog.
Således kan uformel logik analysere alt fra personlig ræsonnement og argumenter til politiske debatter, juridiske argumenter eller forudsætninger formidlet af medierne såsom avisen, fjernsynet, internettet, etc.
3. Symbolisk logik
Som navnet antyder, analyserer symbolsk logik forholdet mellem symboler. Nogle gange bruger det komplekst matematisk sprog, da det har ansvaret for at studere problemer, som traditionel formel logik finder kompliceret eller vanskelig at tackle. Det er normalt opdelt i to undertyper:
- Predikativ eller førsteordens logik: 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 gennem stik kaldet "logiske forbindelser". 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 både omfatter anvendelse af formel logik på matematik og anvendelse af matematisk ræsonnement på formel logik.
Generelt handler det om anvendelsen af matematisk sprog i konstruktionen af logiske systemer, der gør det muligt at gengive det menneskelige sind. For eksempel har dette været meget til stede i udviklingen af kunstig intelligens og i beregningsparadigmerne for studiet af kognition.
Det er normalt opdelt i to undertyper:
- Logik: det handler om anvendelsen af logik i matematik. Eksempler på denne type er bevisteori, modelteori, sætteori og rekursionsteori.
- Intuitionisme: 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 ikke i sig selv kan forklare de dybe egenskaber ved de elementer, de analyserer.
Induktiv, deduktiv og modal ræsonnement
På den anden side, der er tre typer ræsonnement, der også kan betragtes som logiske systemer. Dette er mekanismer, der giver os mulighed for at drage konklusioner ud fra lokaler. Deduktiv ræsonnement gør denne udtrækning fra en generel forudsætning til en bestemt forudsætning. Et klassisk eksempel er det, Aristoteles foreslår: Alle mennesker er dødelige (dette er den generelle forudsætning); Socrates er menneske (det er den største forudsætning), og endelig er Socrates dødelig (dette er konklusionen).
Induktiv ræsonnement er for sin del den proces, hvorved en konklusion drages i den modsatte retning: fra det særlige til det generelle. Et eksempel på dette ville være "Alle krager jeg kan se er sorte" (særlig forudsætning); så alle krager er sorte (konklusion).
Endelig er ræsonnementet eller modalogikken baseret på sandsynlige argumenter, det vil sige de udtrykker en mulighed (en modalitet). Det er et formelt logiksystem, der inkluderer udtryk som "kunne", "kan", "skal", "i sidste ende".
Bibliografiske referencer:
- Groarke, L. (2017). Uformel logik. Stanford Encyclopedia of Philosophy. Hentet 2. oktober 2018. Tilgængelig i https://plato.stanford.edu/entries/logic-informal/
- Logik (2018). Grundlæggende om filosofi. Hentet 2. oktober 2018. Tilgængelig i https://www.philosophybasics.com/branch_logic.html
- Magnani, L. (2001). Bortførelse, fornuft og videnskab: Opdagelses- og forklaringsprocesser. New York: Kluwer Academic Plenum Publishers.
- McGinn, C. (2000). Logiske egenskaber: Identitet, eksistens, forudsigelse, nødvendighed, sandhed. Oxford: Clarendon Press.
- Quine, W.V.O. (1986) (1970). Logikfilosofi. Cambridge, MA.: Harvard University Press.
- Shapiro, S. og Kouri, S. (2018). Klassisk logik. Hentet 2. oktober 2018. Fås i Logic (2018). Grundlæggende om filosofi. Hentet 2. oktober 2018. Tilgængelig i https://www.philosophybasics.com/branch_logic.html
- Garson, J. (2018). Modal logik. Stanford Encyclopedia of Philosophy. Hentet 2. oktober 2018. Tilgængelig i https://plato.stanford.edu/entries/logic-modal/