vi forklarer, hvad logik er Og egenskaberne ved filosofisk, aristotelisk, matematisk, beregningsmæssig, formel og uformel logik.
¿hvad er logik?
logik er en formel videnskab, en del af filosofi og matematik. Det fokuserer på studiet af gyldige og ugyldige tankeprocedurer, det vil sige processer som demonstration, slutning eller fradrag samt begreber som fejlslutninger, paradokser og sandhed.
logik er en ekstremt gammel disciplin, født uafhængigt blandt tænkerne i de store klassiske og gamle civilisationer, såsom Kina, Grækenland eller Indien. Fra begyndelsen blev det forstået som en måde at bedømme tanken på for at kontrollere dens formelle gyldighed, det vil sige at anerkende, hvad der er den ideelle procedure for ræsonnement, den der faktisk fører til sandheden.
siden det tyvende århundrede er det imidlertid blevet betragtet som et felt, der er mere relateret til matematik, da sidstnævnte anvendelser blev af stor industriel, social og teknologisk betydning.
ordet” logik”har sin oprindelse i det græske ord logik Krist (“begavet med fornuft”), der kommer fra udtrykket logoer, svarende til” ord “eller” tanke ” ens.
i det daglige sprog bruger vi imidlertid dette ord som et synonym for “sund fornuft”, det vil sige på en værdifuld eller værdsat måde at tænke på, i deres respektive mulige sammenhænge. Det bruges også som et synonym for “tankegang”, som når man henviser til” sportslogik”,” militær logik” osv.
se også: Matematisk tænkning
filosofisk logik
dette udtryk henviser til de områder af filosofi, hvor logikmetoderne bruges til at løse eller fremme visse filosofiske dilemmaer og kan styres inden for den betragtede traditionelle logik eller tværtimod ikke-klassisk logik. Det vil sige logik inden for rammerne af filosofien.
det er en disciplin meget tæt på sprogfilosofien og er i det væsentlige en fortsættelse af antikens logik, centreret om tanke og naturligt sprog. Vi bruger ofte dette navn til at skelne det fra nyere matematisk logik.
aristotelisk logik
inden for filosofisk logik er aristotelisk logik kendt som tanketraditionen, der begynder med værkerne fra den græske filosof Aristoteles fra Stagyra (384-322 f.kr.), betragtes som den vestlige grundlægger af logik og en af de vigtigste forfattere af verdens filosofiske tradition.
Aristoteles vigtigste værker om logik er samlet i hans Organon (fra det græske “instrument”), udarbejdet af Andronicus fra Rhodos flere århundreder efter skrivning. De viser et helt logisk system, der var meget indflydelsesrig i Europa og Mellemøsten indtil efter middelalderen.
i dette arbejde postulerede Aristoteles desuden logikens grundlæggende aksiomer:
- princippet om ikke-modsigelse. Ifølge hvilket noget ikke kan være og ikke kan være på samme tid (A og A kan ikke være sandt på samme tid).
- princippet om identitet. Ifølge hvilket noget altid er identisk med sig selv (A er altid lig med a).
- det udelukkede tredjepartsprincip. Ifølge hvilket noget er eller ikke er sandt, uden at der er mulige graderinger (A eller Derefter a).
matematisk logik
matematisk logik, også kaldet symbolsk logik, formel logik, teoretisk logik eller logistik, er anvendelsen af logisk tænkning på bestemte områder inden for matematik og videnskab.
dette indebærer undersøgelse af processen med indledning gennem formelle repræsentationssystemer, såsom propositionel logik, modal logik eller første ordens logik, som tillader “oversættelse” af naturligt sprog til matematisk sprog for at udvikle strenge demonstrationer.
matematisk logik omfatter fire hovedområder, som er:
- Model teori. Hvilket foreslår undersøgelse af aksiomatiske teorier og matematisk logik gennem matematiske strukturer kendt som grupper, kroppe eller grafer, hvilket tilskriver et semantisk indhold til de rent formelle konstruktioner af logik.
- bevis teori. Også kaldet bevisteori, det foreslår bevis ved hjælp af matematiske objekter og matematiske teknikker som måde at verificere logiske problemer på. Således, hvor modelteori beskæftiger sig med at give en semantik (betydning) til de formelle strukturer i logik, er bevisteori snarere bekymret for deres syntaks (bestilling).
- sæt teori. Fokuseret på studiet af abstrakte samlinger af objekter, forstået i sig selv som objekter, såvel som deres grundlæggende operationer og indbyrdes forhold. Denne gren af matematisk logik er en af de mest grundlæggende, der findes, så meget, at den udgør et grundlæggende værktøj i enhver matematisk teori.
- teori om beregnelighed. Delt område mellem matematik og computing, det studerer de beslutningsproblemer, som en algoritme (svarende til en Turing-maskine) kan stå over for. For at gøre dette bruger han sætteori og forstår dem som beregnelige eller ikke-beregnelige sæt.
Computational logic
Computational logic er den samme matematiske logik, men anvendes på computerområdet, det vil sige på forskellige grundlæggende niveauer af computing: beregningskredsløb, logisk programmering og styring af algoritmer. Det inkluderer også kunstig intelligens, et relativt nyt felt i området.
det kan siges, at beregningslogik stort set stræber efter at fodre et computersystem gennem logiske strukturer, der på et matematisk sprog udtrykker de forskellige muligheder for menneskelig tanke og dermed skaber intelligente computersystemer.
formel og uformel logik
det skelnes også ofte mellem to separate logikfelter: formel og uformel, baseret på deres tilgang til det sprog, hvor udsagn udtrykkes.
- formel logik. Det er den, der tager sig af det formelle sprog, det vil sige måden at udtrykke dets indhold på, bruge dem strengt uden uklarheder, så den deduktive vej kan analyseres ud fra gyldigheden af dens former (deraf dens navn).
- uformel logik. I stedet studerer han sine argumenter posteriori og adskiller gyldige og ugyldige former fra de givne oplysninger uden hensyntagen til deres logiske form eller formelle sprog. Denne variant opstod i midten af det tyvende århundrede som en disciplin inden for filosofi.
Følg med: Epistemologi
referencer:
- “Logic” på Facebook.
- ” hvad er logik?”(video) i skolens område.
- ” hvad er logik?”(video) i Educatina.
- “Introduktion til logik” af Carlos Mu til Guti til børn på Universidad Complutense de Madrid.
- ” hvad er logik og hvad er det til?”i Sydvidenskab.
- “logik” i Encyclopaedia Britannica.
sidst redigeret: 22.September 2020. Sådan citerer du:”logik”. Forfatter: Mar Krista Estela Raffino. Fra: Argentina. Til: Concepto.de. Tilgængelig på: https://concepto.de/logica/. Hentet: 25. Marts 2021.