logikk

Kunnskap

2022

Vi forklarer hva logikk er og egenskapene til filosofisk, aristotelisk, matematisk, beregningsmessig, formell og uformell logikk.

Logikk brukes i ulike prosesser som bevis, slutning eller deduksjon.

Hva er logikk?

Logikk er en formell vitenskap, som er en del av filosofi og av matte. Den fokuserer på studiet av gyldige og ugyldige prosedyrer for tenkte, det vil si i prosesser som demonstrasjon, slutning eller deduksjon, så vel som i begreper som feilslutninger, paradokser og sannhet.

Logikk er en disiplin ekstremt eldgammel, uavhengig født blant de stores tenkere klassiske og eldgamle sivilisasjoner, som den kinesiske, den greske eller den indiske. Fra begynnelsen ble det forstått som en måte å bedømme tanke på for å kontrollere dens formelle gyldighet, det vil si å gjenkjenne hva som er den ideelle prosedyren for argumentasjon, den som virkelig fører til sannheten.

Imidlertid har det fra 1900-tallet blitt ansett som et felt som er mer beslektet med matematikk, ettersom anvendelsene av sistnevnte fikk stor industriell, sosial og teknologisk betydning.

Ordet "logikk" har sin opprinnelse i den greske stemmen logikk ("Utegnet med fornuft"), fra begrepet logoer, tilsvarende "ord" eller "tanke".

Men i dagligspråket bruker vi dette ordet som et synonym for "sunn fornuft", det vil si i en verdifull eller verdsatt måte å tenke på, i deres respektive sammenhenger mulig. Den brukes også som en synonymt av "måte å tenke på", som når det refereres til "sportslogikk", "militær logikk" og så videre.

Filosofisk logikk

Med dette begrepet kaller vi filosofiområdene der metoder av logikk for å løse eller fremme visse filosofiske dilemmaer, å kunne håndteres innenfor den betraktede tradisjonelle logikken eller tvert imot, ikke-klassisk logikk. Med andre ord logikk innenfor filosofiens rammer.

Det er en disiplin veldig nær filosofien til Språk, og er i hovedsak en fortsettelse av antikkens logikk, sentrert om tanker og naturlig språk. Vi bruker vanligvis dette navnet for å skille det fra den nyeste matematiske logikken.

Aristotelisk logikk

Innen filosofisk logikk er tanketradisjonen som begynner med verkene til den greske filosofen Aristoteles de Estagira (384-322 f.Kr.), regnet som den vestlige grunnleggeren av logikken og en av de viktigste forfatterne, kjent som aristotelisk logikk. verdens filosofiske tradisjon.

Aristoteles hovedverk om logikk er samlet i hans Organ (fra det greske "instrument"), satt sammen av Andronicus fra Rhodos flere århundrer etter skriving. I dem utspiller det seg et helt logisk system som var ekstremt innflytelsesrik i Europa og Midtøsten til etterpå Middelalderen.

I dette arbeidet postulerte Aristoteles dessuten logikkens grunnleggende aksiomer:

  • Prinsippet om ikke-motsigelse. Ifølge hvilken noe ikke kan være og ikke være samtidig (A og ¬A kan ikke være sanne samtidig).
  • Prinsippet om identitet. Ifølge hvilken noe alltid er identisk med seg selv (A er alltid lik A).
  • Prinsippet om den ekskluderte tredje. I henhold til hvilken noe er eller ikke er sant, uten noen mulige graderinger (A eller deretter ¬A).

Matematisk logikk

Det er kjent som matematisk logikk, også kalt symbolsk logikk, formell logikk, teoretisk eller logistisk logikk, for anvendelsen av logisk tenkning til visse områder av matematikk og vitenskap.

Dette innebærer studiet av slutningsprosessen, gjennom formelle representasjonssystemer, slik som proposisjonell logikk, modal logikk eller førsteordens logikk, som tillater å "oversette" naturlig språk til matematisk språk for å utvikle strenge demonstrasjoner.

Matematisk logikk omfatter fire hovedområder, som er:

  • Modellteori. Som foreslår studiet av aksiomatiske teorier og matematisk logikk gjennom matematiske strukturer kjent som grupper, kropper eller grafer, og dermed tilskriver et semantisk innhold til logikkens rent formelle konstruksjoner.
  • Demonstrasjonsteori. Også kalt bevisteori, foreslår den bevis ved hjelp av matematiske objekter og teknikker matematikk som måten å sjekke logiske problemer. Altså, der modellteori omhandler å gi en semantikk (en mening) til logikkens formelle strukturer, handler bevisteorien snarere om deres syntaks (bestillingen).
  • Teori om settene. Fokusert på studiet av abstrakte samlinger av objekter, forstått i seg selv som objekter, så vel som deres grunnleggende operasjoner og innbyrdes forhold. Denne grenen av matematisk logikk er en av de mest grunnleggende som finnes, så mye at den utgjør et grunnleggende verktøy for enhver matematisk teori.
  • Beregnelighetsteori. Delt areal mellom matematikk og databehandling eller databehandling, studerer beslutningsproblemene som en algoritme (tilsvarer en Turing-maskin) kan klare seg. For å gjøre dette bruker han settteori, og forstår dem som beregnbare eller ikke-beregnbare sett.

Beregningslogikk

Beregningslogikk skaper intelligente datasystemer.

Beregningslogikk er den samme matematiske logikken, men brukt på databehandlingsfeltet, det vil si på forskjellige grunnleggende nivåer av databehandling: beregningskretser, programmering logikk og styringsalgoritmer. Kunstig intelligens, et relativt ferskt felt i området, er også en del av det.

Det kan sies at beregningslogikk i store trekk ønsker å mate et datasystem gjennom logiske strukturer som uttrykker, i et matematisk språk, de forskjellige mulighetene for menneskelig tanke, og dermed skape intelligente datasystemer.

Formell og uformell logikk

Det skilles også ofte mellom to separate logikkfelt: formelle og uformelle, basert på deres tilnærming til språket utsagnene uttrykkes på.

  • Formell logikk. Det er den som ivaretar det formelle språket, det vil si måten å uttrykke innholdet på, bruke dem strengt, uten tvetydigheter, på en slik måte at den deduktive veien kan analyseres ut fra gyldigheten av innholdet. former (derav navnet).
  • Uformell logikk. Studer i stedet deres argumenter a posteriori, som skiller gyldige og ugyldige former fra informasjonen som er gitt, uavhengig av dens logiske form eller dets formelle språk. Denne varianten dukket opp på midten av 1900-tallet som en disiplin innen filosofi.
!-- GDPR -->