Når Aristoteles definert mennesket som dyret utstyrt med ordet (logoer), mente han at bare vi kan utføre en prosess med abstraksjon av den fysiske verden gjennom Språk. Språk gjør oss i stand til å kommunisere, abstrakt tenkning, navngi ting og gjenstander, vitenskapelige studier, skapelsen av kunsten og hele den sosiale og politiske organisasjonen i vår verden. Men for at det skal fungere skikkelig, trenger språk også regler.
Og språklig logikk, et studieretning iboende til filosofi, som fokuserer på den formelle språklige organisasjonen, prøver å etablere den nødvendige modusen slik at språket i seg selv kan fungere riktig i hvert tilfelle spesifikk. Ikke bare gjennom språk, logikk som forståelse og rasjonell organisasjon of Forms er også dedikert til å etablere årsakssammenhenger innen matematikk. Det vil si at for at et resultat av en matematisk beregning skal være riktig, matematikeren eller maskinen som utfører driften må være i samsvar med en formell standard som respekterer de rasjonelle reglene og dermed går inn i omfanget av matematisk logikk.
Aristoteles, en disippel av Platon, var den første filosofen i historien som prøvde å forstå og tydelig etablere grunnleggende om språklig logikkog etterlot et sett med skrifter kjent for ettertiden aristotelisk logikk eller klassisk logikk. I disse skriftene kan vi finne måter å forstå resonnementer deduktiv og induktiv i språk av pensum, så vel som vi fant aristotelisk torg, som er et rammeverk for redegjørelse og kvalifisering av språklige elementer som, kombinert på visse måter, forårsaker enighet eller uenighet i for eksempel tale.
Ikke stopp nå... Det er mer etter annonseringen;)
DE logikk, som en studie og identifisering av gyldige og riktige språkformer, er også dedikert til å identifisere og kvalifisere det som ikke har en formell gyldighet sammenhengende og riktig. Ordet som navngir disse situasjonene om ikke-korrigering av formen for det som ble forutsatt av språket, er feilslutning. Misforståelsene er i det store og hele meningsløse proposisjoner, uten en logisk kobling mellom de oppgitte fakta eller uten årsakssammenhenger som på en fullstendig og korrekt måte forklarer virkningene som vises i setningene til setningene analysert.
I det nittende århundre, den tyske filosofen Gottlob Frege revolusjonerte eksisterende logikk ved å møte behovet for en større matematisk forståelse av logikkstudier. Han utviklet en metode som heter predikatberegning, som analyserer språklige proposisjoner gjennom matematiske deduktive prosesser.
Freges bidrag til logikk og språkfilosofi blir ansett som viktige frem til i dag og uten dem hadde det ikke vært mulig å ha opprettet dataprogrammeringskode som kunne oversettes Terning kryptert av andre maskiner. Dette betyr at uten det logiske teoretiske apparatet igjen av Frege, den britiske matematikeren Alan Turing, ansett som "far" til informatikk og datamaskiner, kunne ikke ha bygget den første datamaskin av historien.
* Bildekreditt: Lenscap Photography / Shutterstock.com
av Francisco Porfirio
Uteksamen i filosofi
Vil du referere til denne teksten i et skole- eller akademisk arbeid? Se:
PORPHYRIO, Francisco. "Hva er logikk?"; Brasilskolen. Tilgjengelig i: https://brasilescola.uol.com.br/filosofia/o-que-logica.htm. Tilgang 27. juni 2021.
Databehandling
Kryptografi, hva er kryptografi, bruk av kryptografi, kryptografiske nøkler, symmetriske kryptografiske nøkler, asymmetriske kryptografiske nøkler, kryptografiske funksjoner.
Matematisk logikk, det gamle konseptet om matematisk logikk, det nye konseptet om matematisk logikk, utviklingen av matematisk logikk, hovedtrekkene i matematisk logikk.
