vi forklarer hva logikk er og egenskapene til filosofisk, aristotelisk, matematisk, beregningsmessig, formell og uformell logikk.
¿hva er logikk?
Logikk er en formell vitenskap, en del av filosofi og matematikk. Det fokuserer på studiet av gyldige og ugyldige tankeprosedyrer, det vil si prosesser som demonstrasjon, slutning eller fradrag, samt begreper som feil, paradokser og sannhet.
Logikk er en ekstremt gammel disiplin, født uavhengig blant tenkerne til de store klassiske og gamle sivilisasjonene, Som Kina, Hellas eller India. Fra begynnelsen ble det forstått som en måte å dømme tanke på å sjekke sin formelle gyldighet, det vil si å gjenkjenne hva som er den ideelle prosedyren for resonnement, den som faktisk fører til sannheten.
men siden det tjuende århundre har det vært ansett som et felt mer relatert til matematikk, som anvendelser av sistnevnte ble av stor industriell, sosial og teknologisk betydning.
ordet «logikk» har sin opprinnelse i det greske ordet logiké («begavet med grunn»), som kommer fra begrepet logoer, tilsvarende «ord» eller «tanke» likt.
men i dagligdags språk bruker vi dette ordet som et synonym for «sunn fornuft», det vil si på en verdifull eller verdsatt måte å tenke på, i deres respektive mulige sammenhenger. Den brukes også som et synonym for «tenkemåte», som når man refererer til «sportslogikk»,» militærlogikk», etc.
Se også: Matematisk tenkning
Filosofisk logikk
dette begrepet refererer til filosofiens områder der logikkens metoder brukes til å løse eller fremme visse filosofiske dilemmaer, og kan styres innenfor den vurderte tradisjonelle logikken eller tvert imot ikke-klassisk logikk. Det er logikk innenfor rammen av filosofien.
det er en disiplin som er svært nær språkfilosofien, og er i hovedsak en fortsettelse av antikkens logikk, sentrert på tanke og naturlig språk. Vi bruker vanligvis dette navnet for å skille det fra nyere matematisk logikk.
Aristotelisk logikk
Innen filosofisk logikk er Aristotelisk logikk kjent som tanketradisjonen som begynner med verkene til den greske filosofen Aristoteles Fra Stagyra (384-322 F. KR.), betraktet som den vestlige grunnleggeren av logikk og en av de viktigste forfatterne av verdens filosofiske tradisjon.
Aristoteles ‘ hovedverk om logikk er samlet i Hans Organon (fra det greske «instrumentet»), kompilert av Andronikos av Rhodos flere århundrer etter skriving. De viser et helt logisk system som var svært innflytelsesrik i Europa og Midtøsten til Etter Middelalderen.
I dette arbeidet postulerte Aristoteles de grunnleggende aksiomene av logikk:
- prinsippet om ikke-motsetning. I henhold til hvilket noe ikke kan være og ikke kan være på samme tid (A og A kan ikke være sant på samme tid).
- prinsippet om identitet. Ifølge hvilket noe alltid er identisk med seg selv (A er alltid lik A).
- det ekskluderte tredjepartsprinsippet. Ifølge hvilket noe er eller ikke er sant, uten at det er mulige graderinger(A eller da A).
Matematisk logikk
Matematisk logikk, også kalt symbolsk logikk, formell logikk, teoretisk logikk eller logistikk, er anvendelsen av logisk tenkning til visse områder av matematikk og vitenskap.
dette innebærer studiet av slutningsprosessen, gjennom formelle representasjonssystemer, som proposisjonell logikk, modal logikk eller førsteordens logikk, som tillater «oversettelse» av 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, organer eller grafer, og dermed tilskrive et semantisk innhold til de rent formelle konstruksjonene av logikk.
- Bevisteori. Også kalt bevisteori, foreslår den bevis ved hjelp av matematiske objekter og matematiske teknikker som måte å verifisere logiske problemer på. Således, hvor modellteori er opptatt av å gi en semantikk (mening) til logikkens formelle strukturer, er bevisteori heller opptatt av deres syntaks (bestilling).
- Settteori. Fokusert på studiet av abstrakte samlinger av objekter, forstått i seg selv som objekter, samt deres grunnleggende operasjoner og sammenhenger. Denne grenen av matematisk logikk er en av de mest grunnleggende som eksisterer, så mye at den utgjør et grunnleggende verktøy for enhver matematisk teori.
- Teori om beregningsevne. Delt område mellom matematikk og databehandling, studerer den beslutningsproblemer som en algoritme (tilsvarende En Turing-maskin) kan møte. For å gjøre dette bruker han settteori, forstår dem som beregningsbare eller ikke-beregningsbare sett.
Beregningslogikk
Beregningslogikk er den samme matematiske logikken, men brukes på feltet databehandling, det vil si til ulike grunnleggende nivåer av databehandling: beregningskretser, logisk programmering og styring av algoritmer. Det inkluderer også kunstig intelligens, et relativt nylig felt i området.
det kan sies at beregningslogikk i stor grad ø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 er også ofte skilt mellom to separate felt av logikk: formell og uformell, basert på deres tilnærming til språket der uttalelser uttrykkes.
- Formell logikk. Det er den som deltar på formelt språk, det vil si måten å uttrykke innholdet på, bruke dem strengt, uten tvetydigheter, slik at deduktive banen kan analyseres fra gyldigheten av skjemaene(derav navnet).
- Uformell logikk. I stedet studerer han sine argumenter a posteriori, skiller gyldige og ugyldige former fra informasjonen gitt, uten hensyn til deres logiske form eller formelle språk. Denne varianten dukket opp i midten av det tjuende århundre som en disiplin innen filosofi.
Følg med: Epistemologi
Referanser:
- «Logikk» I Wikipedia.
- » Hva er logikk?»(video) I Skolen Sone.
- » Hva er logikk?»(video) I Educatina.
- » Introduksjon til logikk » Av Carlos Mu ④oz Gutiérrez Ved Universidad Complutense De Madrid.
- » Hva er logikk og hva er det for?»I Sør-Vitenskap.
- «Logikk» I Encyclopaedia Britannica.
sist redigert: 22. September 2020. Hvordan sitere: «Logikk». Forfatter: Marí Estela Raffino. Fra: Argentina. Til: Concepto.de. Tilgjengelig på: https://concepto.de/logica/. Besøkt: 25.Mars 2021.