De 4 viktigste typene logikk (og egenskaper)

Logikk er studiet av resonnement og slutninger. Det er et sett med spørsmål og analyser som har gjort det mulig å forstå hvordan gyldige argumenter skiller seg fra feil og hvordan vi kommer til dem.

For dette har utviklingen av forskjellige systemer og former for studier vært viktig, noe som har resultert i fire hovedtyper av logikk. Vi vil se nedenfor hva hver av dem handler om.

• Anbefalt artikkel: "De 10 typene logiske og argumenterende feil"

Hva er logikk?

Ordet "logikk" kommer fra de greske "logoer" som kan oversettes på forskjellige måter: ord, tanke, argument, prinsipp eller fornuft er noen av de viktigste. I denne forstand er logikk studiet av prinsipper og resonnement.

Denne studien har som formål å forstå forskjellige kriterier for slutninger og hvordan det er at vi kommer til gyldige bevis, i motsetning til ugyldige bevis. Så det grunnleggende spørsmålet om logikk er hva som er riktig tenkning, og hvordan kan vi skille mellom et gyldig argument og en feilslutning?

For å svare på dette spørsmålet foreslår logikken forskjellige måter å klassifisere utsagn og argumenter på, enten de forekommer i formelle systemer eller på naturlig språk. Spesielt analyserer den proposisjoner (deklarative setninger) som kan være sanne eller falske, så vel som feilslutninger, paradokser, argumenter som involverer kausalitet og generelt teorien om argumentasjon.

Generelt sett, for å betrakte et system som logisk, må de oppfylle tre kriterier:

• Konsistens (det er ingen motsetning mellom setningene som utgjør systemet)
• Tørrhet (testsystemer inkluderer ikke falske slutninger)
• Fullstendighet (alle sanne setninger må kunne testes)

De 4 typer logikk

Som vi har sett bruker logikk forskjellige verktøy for å forstå resonnementet vi bruker for å rettferdiggjøre noe. Fire hovedtyper av logikk er tradisjonelt anerkjent, hver med noen undertyper og spesifikasjoner. Vi vil se nedenfor hva hver enkelt handler om.

1. Formell logikk

Også kjent som tradisjonell logikk eller filosofisk logikk, det er studiet av slutninger med rent formelt og eksplisitt innhold. Det handler om å analysere formelle uttalelser (logisk eller matematisk), hvis betydning ikke er iboende, men snarere dets symboler gir mening på grunn av den nyttige applikasjonen de får. Den filosofiske tradisjonen som sistnevnte stammer fra, kalles nettopp "formalisme".

I sin tur er et formelt system et som brukes til å trekke en konklusjon fra et eller flere premisser. Sistnevnte kan være aksiomer (selvinnlysende proposisjoner) eller teoremer (konklusjoner fra et fast sett med regler for slutninger og aksiomer).

Konklusjonene vi nådde gjennom formell logikk, hvis de er basert på gyldige premisser og det ikke er noen feil i de logiske operasjonene, er de sanne i seg selv. Dette fører faktisk til en åpen debatt om hvorvidt formell logikk tilhører vitenskapens verden. eller de tilhører et annet kunnskapsfelt, ved ikke å beskrive virkeligheten, men deres egne regler for fungerer.

2. Uformell logikk

For sin del er uformell logikk en nyere disiplin, som studerer, evaluerer og analyserer argumentene distribuert i naturlig eller hverdagsspråk. Derfor mottar den kategorien "uformell". Det kan være både talespråk og skriftspråk, eller hvilken som helst type mekanisme og interaksjon som brukes til å kommunisere noe. I motsetning til formell logikk, som for eksempel vil gjelde for studier og utvikling av dataspråk; formelt språk refererer til språk og språk.

Dermed kan uformell logikk analysere alt fra personlig resonnement og argumenter til politiske debatter, juridiske argumenter eller premisser formidlet av media som avis, fjernsyn, internett, etc.

3. Symbolsk logikk

Som navnet antyder, analyserer symbolisk logikk forholdet mellom symboler. Noen ganger bruker det komplekst matematisk språk, siden det har ansvaret for å studere problemer som tradisjonell formell logikk synes er komplisert eller vanskelig å takle. Det er vanligvis delt inn i to undertyper:

• Predikativ eller førsteordens logikk: det er et formelt system sammensatt av formler og tallbare variabler
• Proposisjonell: det er et formelt system sammensatt av proposisjoner, som er i stand til å lage andre proposisjoner gjennom kontakter kalt "logiske tilkoblinger". I dette er det nesten ingen kvantifiserbare variabler.

4. Matematisk logikk

Avhengig av forfatteren som beskriver den, kan matematisk logikk betraktes som en form for formell logikk. Andre mener at matematisk logikk inkluderer både anvendelse av formell logikk på matematikk, og anvendelse av matematisk resonnement på formell logikk.

Grovt sett er det anvendelsen av matematisk språk i konstruksjonen av logiske systemer som gjør det mulig å reprodusere det menneskelige sinnet. For eksempel har dette vært veldig til stede i utviklingen av kunstig intelligens og i beregningsparadigmene for studiet av kognisjon.

Det er vanligvis delt inn i to undertyper:

• Logikk: det handler om anvendelse av logikk i matematikk. Eksempler på denne typen er bevissteori, modellteori, mengdeori og rekursjonsteori.
• Intuisjonisme: argumenterer for at både logikk og matematikk er metoder hvis anvendelse er konsistent for å utføre komplekse mentale konstruksjoner. Men han sier at logikk og matematikk ikke i seg selv kan forklare dype egenskaper til elementene de analyserer.

Induktiv, deduktiv og modal resonnement

På den andre siden, det er tre typer resonnementer som også kan betraktes som logiske systemer. Dette er mekanismer som lar oss trekke konklusjoner fra premisser. Deduktivt resonnement gjør denne utvinningen fra et generelt premiss til et bestemt premiss. Et klassisk eksempel er det Aristoteles foreslår: Alle mennesker er dødelige (dette er den generelle forutsetningen); Sokrates er menneskelig (det er den viktigste forutsetningen), og til slutt er Sokrates dødelig (dette er konklusjonen).

Induktiv resonnement er på sin side prosessen der en konklusjon trekkes i motsatt retning: fra det spesielle til det generelle. Et eksempel på dette vil være "Alle kråkene jeg kan se er svarte" (særlig premiss); så alle kråkene er svarte (konklusjon).

Til slutt er resonnementet eller modalogikken basert på sannsynlige argumenter, det vil si at de uttrykker en mulighet (en modalitet). Det er et formelt logikksystem som inkluderer begreper som "kunne", "kan", "må", "til slutt".

Bibliografiske referanser:

• Groarke, L. (2017). Uformell logikk. Stanford Encyclopedia of Philosophy. Hentet 2. oktober 2018. Tilgjengelig i https://plato.stanford.edu/entries/logic-informal/
• Logic (2018). Det grunnleggende om filosofi. Hentet 2. oktober 2018. Tilgjengelig i https://www.philosophybasics.com/branch_logic.html
• Magnani, L. (2001). Bortføring, fornuft og vitenskap: prosesser med oppdagelse og forklaring. New York: Kluwer Academic Plenum Publishers.
• McGinn, C. (2000). Logiske egenskaper: Identitet, Eksistens, Predikasjon, Nødvendighet, Sannhet. Oxford: Clarendon Press.
• Quine, W.V.O. (1986) (1970). Logikkfilosofi. Cambridge, MA.: Harvard University Press.
• Shapiro, S. og Kouri, S. (2018). Klassisk logikk. Hentet 2. oktober 2018. Tilgjengelig i Logic (2018). Det grunnleggende om filosofi. Hentet 2. oktober 2018. Tilgjengelig i https://www.philosophybasics.com/branch_logic.html
• Garson, J. (2018). Modal Logic. Stanford Encyclopedia of Philosophy. Hentet 2. oktober 2018. Tilgjengelig i https://plato.stanford.edu/entries/logic-modal/