Hvornår Aristoteles definerede mennesket som det dyr, der er udstyret med ordet (logoer), mente han, at kun vi kan udføre en abstraktionsproces af den fysiske verden gennem Sprog. Sprog sætter os i stand til at kommunikere, abstrakt tænkning, navngive ting og objekter, videnskabelig undersøgelse, skabelse af kunst og hele vores sociale og politiske organisation. Men for at det skal fungere korrekt, har sprog også brug for regler.
Og sproglig logik, et studiefelt, der er forbundet med filosofi, som fokuserer på den formelle sproglige organisation, der prøver at etablere den nødvendige tilstand, så selve sproget kan fungere korrekt i hvert enkelt tilfælde bestemt. Ikke kun gennem sprog, logik som forståelse og rationel organisation of Forms er også dedikeret til at etablere kausale nexuses inden for matematik. For at et resultat af en matematisk beregning skal være korrekt, skal matematikeren eller maskinen, der udfører operationen skal være i overensstemmelse med en formel standard, der respekterer de rationelle regler og dermed komme ind i matematisk logik.
Aristoteles, en discipel af Platon, var den første filosof i historien, der forsøgte at forstå og tydeligt etablere grundlæggende i sproglig logikog efterlader et sæt skrifter kendt for eftertiden for eftertiden aristotelisk logik eller klassisk logik. I disse skrifter kan vi finde måder at forstå begrundelse deduktiv og induktiv i sprog af syllogismer, så godt som vi fandt aristotelisk firkant, som er en ramme for redegørelse og kvalificering af sproglige elementer, der for eksempel kombineret på visse måder medfører enighed eller uenighed i tale.
DET logik, som en undersøgelse og identifikation af gyldige og korrekte sprogformer, er også dedikeret til at identificere og kvalificere, hvad der ikke har en formel gyldighed sammenhængende og korrekt. Ordet, der navngiver disse situationer med ikke-korrektion af formen for det, der blev foreskrevet af sproget, er fejlslutning. Fejlfindingerne er generelt set meningsløse udsagn uden en logisk sammenhæng mellem de anførte fakta eller uden årsagssammenhæng, der på en fuldstændig og korrekt måde forklarer de virkninger, der vises i sætningernes udsagn analyseret.
I det nittende århundrede, den tyske filosof Gottlob Frege revolutionerede eksisterende logik ved at imødekomme behovet for en større matematisk forståelse af logikstudier. Han udviklede en metode kaldet prædikatberegning, som analyserer sproglige propositioner gennem matematiske deduktive processer.
Freges bidrag til sprogets logik og filosofi betragtes som vigtige indtil i dag og uden dem, ville det ikke have været muligt at have oprettet computerprogrammeringskode, der kunne oversættes Terninger krypteret af andre maskiner. Dette betyder, at uden det logiske teoretiske apparat efterladt af Frege, den britiske matematiker Alan Turing, betragtes som ”far” til informatik og computere, kunne ikke have bygget den første computer af historien.
* Billedkredit: Lenscap fotografering / Shutterstock.com
af Francisco Porfirio
Uddannet filosofi
Kilde: Brasilien skole - https://brasilescola.uol.com.br/filosofia/o-que-logica.htm
