De fire viktigste typene logikk (og funksjoner)

De fire viktigste typene logikk (og funksjoner) / kultur

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

For dette har utviklingen av forskjellige systemer og former for studier vært uunnværlig, noe som har ført til fire hovedtyper av logikk. Vi vil se nedenfor hva hver av dem handler om.

  • Anbefalt artikkel: ["De 10 typene logiske og argumentative feil"] (De 10 typene logiske og argumentative feil)

Hva er logikk?

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

Denne studien har til hensikt å forstå ulike kriterier for avledninger og hvordan vi kommer til gyldige demonstrasjoner, i motsetning til ugyldige demonstrasjoner. 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 feil??

For å svare på dette spørsmålet, foreslår logikken forskjellige måter å klassifisere uttalelser og argumenter, enten de forekommer i et formelt system eller i et naturlig språk. Det analyserer spesifikt proposisjonene (deklarative setninger) som kan være sanne eller falske, samt falskhetene, paradoksene, argumentene som involverer årsakssammenheng og generelt argumentasjonsteorien.

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

  • konsistens (det er ingen motsetning mellom de teoremene som utgjør systemet)
  • soliditet (testsystemene inkluderer ikke falske påvirkninger)
  • fullstendighet (alle sanne setninger må kunne bevises)

De fire typene logikk

Som vi har sett, bruker logikken forskjellige verktøy for å forstå argumentasjonen vi bruker for å rettferdiggjøre noe. Tradisjonelt blir fire hovedtyper av logikk anerkjent, hver med noen undertyper og spesifisiteter. Vi vil se under hva hver og en handler om.

1. Formell logikk

Også kjent som tradisjonell logikk eller filosofisk logikk, Det handler om studiet av inferences med rent formelt og eksplisitt innhold. Det handler om å analysere de formelle setningene (logisk eller matematisk), hvis mening ikke er inneboende, men symbolene har betydning på grunn av den nyttige applikasjonen de får. Den filosofiske tradisjonen som sistnevnte kommer fra, kalles nettopp "formalisme".

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

2. Informell logikk

For sin del er uformell logikk en nyere disiplin, som studere, evaluere og analysere argumentene som vises på det naturlige eller det daglige språket. Derfor mottar den kategorien "uformell". Det kan enten være tale eller skriftlig språk, eller hvilken som helst type mekanisme og samhandling som brukes til å kommunisere noe. I motsetning til formell logikk, som for eksempel vil gjelde for studie og utvikling av dataspråk; formelt språk refererer til språk og språk.

Uformell logikk kan således analysere fra personlige argumenter og argumenter til politiske debatter, rettslige argumenter eller lokaler spredt av media som aviser, fjernsyn, internett, etc..

3. Symbolisk logikk

Som navnet antyder, analyserer symbolsk logikk forholdene mellom symboler. Noen ganger bruker det komplekst matematisk språk, siden det er ansvarlig for å studere problemer som tradisjonell formell logikk finner komplisert eller vanskelig å adressere. Det er vanligvis delt inn i to undertyper:

  • Predicative logikk eller første ordre: Det er et formelt system sammensatt av formler og kvantifiserbare variabler
  • propositional: Det er et formelt system sammensatt av proposisjoner, som er i stand til å skape andre proposisjoner gjennom kontakter kalt "logisk tilkobling". I dette er det nesten ingen kvantifiserbare variabler.

4. Matematisk logikk

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

I stor grad gjør anvendelsen av matematisk språk i konstruksjonen av logiske systemer det mulig å reprodusere det menneskelige sinn. For eksempel har dette vært svært tilstede i utviklingen av kunstig intelligens og i de beregningsmessige paradigmene av studiet av kognisjon.

Det er vanligvis delt inn i to undertyper:

  • logicism: Det handler om anvendelse av logikk i matematikk. Eksempler på denne typen er teorien om testen, teorien om modeller, teorien om sett og teorien om rekursjonen.
  • intuisjonisme: argumenterer for at både logikk og matematikk er metoder som er konsekvent for å utføre komplekse mentale konstruksjoner. Men, sier han at logikk og matematikk i seg selv ikke kan forklare dype egenskaper av elementene de analyserer.

Induktiv, deduktiv og modal resonnement

På den annen side, Det er tre typer resonnement som også kan betraktes som logiske systemer. Dette er mekanismer som tillater oss å trekke konklusjoner fra lokaler. Deductiv resonnement gjør slik utvinning fra en generell premiss til en bestemt premiss. Et klassisk eksempel er det som foreslås av Aristoteles: Alle mennesker er dødelige (dette er den generelle premissen); Sokrates er et menneske (det er den store premissen), og til slutt er Sokrates dødelig (dette er konklusjonen).

For sin del er en inductiv resonnement prosessen hvor en konklusjon trekkes i motsatt retning: fra det spesielle til det generelle. Et eksempel på dette ville være "Alle krager jeg kan se er svarte" (bestemt premiss); da er alle kragerne svarte (konklusjon).

Endelig er resonnement eller modal logikk basert på probabilistiske argumenter, det vil si, de uttrykker en mulighet (en modalitet). Det er et formelt logisk system som inkluderer begreper som "kunne", "kan", "burde", "til slutt".

Bibliografiske referanser:

  • Groarke, L. (2017). Informell logikk. Stanford Encyclopedia of Philosophy. Hentet 2. oktober 2018. Tilgjengelig på https://plato.stanford.edu/entries/logic-informal/
  • Logikk (2018). Grunnleggende om filosofi. Hentet 2. oktober 2018. Tilgjengelig på https://www.philosophybasics.com/branch_logic.html
  • Shapiro, S. og Kouri, S. (2018). Klassisk logikk. Hentet 2. oktober 2018. Tilgjengelig i Logic (2018). Grunnleggende om filosofi. Hentet 2. oktober 2018. Tilgjengelig på https://www.philosophybasics.com/branch_logic.html
  • Garson, J. (2018). Modal Logic. Stanford Encyclopedia of Philosophy. Hentet 2. oktober 2018. Tilgjengelig på https://plato.stanford.edu/entries/logic-modal/