När Aristoteles definierade människan som djuret med ordet (logotyper), menade han att bara vi kan utföra en process för abstraktion av den fysiska världen genom språk. Språket gör det möjligt för oss att kommunicera, abstrakt tänkande, namnge saker och objekt, vetenskapliga studier, skapandet av konsten och hela vår sociala och politiska organisation. Men för att det ska fungera korrekt behöver språk också regler.
Och den språklig logik, ett studierätt som är inneboende i filosofin, som fokuserar på den formella språkliga organisationen, som försöker skapa det nödvändiga läget så att själva språket kan fungera korrekt i varje fall specifik. Inte bara genom språk, logik som förståelse och rationell organisation of Forms är också dedikerat till att etablera kausala nexus inom matematik. Det vill säga, för att resultatet av en matematisk beräkning ska vara korrekt, matematikern eller maskinen som utför Verksamheten måste följa en formell standard som respekterar de rationella reglerna och därmed gå in i matematisk logik.
Aristoteles, en lärjunge av Platon, var den första filosofen i historien som försökte förstå och tydligt etablera grundläggande språklig logik, lämnar för eftertiden en uppsättning skrifter som kallas aristotelisk logik eller klassisk logik. I dessa skrifter kan vi hitta sätt att förstå resonemang deduktiv och induktiv i språk av syllogismer, liksom vi hittade aristoteliska torget, som är ett ramverk för redogörelse och kvalificering av språkliga element som, till exempel på vissa sätt, orsakar överensstämmelse eller oenighet i tal.
DE logik, som en studie och identifiering av giltiga och korrekta språkformer, ägnas också åt att identifiera och kvalificera det som inte har en formell giltighet sammanhängande och korrekt. Ordet som nämner dessa situationer av icke-korrigering av formen på det som förespråkades av språket är felslut. Felaktigheterna är i stort sett meningslösa propositioner, utan en logisk koppling mellan de angivna fakta eller utan orsakssamband som på ett fullständigt och korrekt sätt förklarar de effekter som förekommer i meningarnas uttalanden analyseras.
Under 1800-talet, den tyska filosofen Gottlob Frege revolutionerade befintlig logik genom att ta itu med behovet av en större matematisk förståelse av logikstudier. Han utvecklade en metod som kallas predikatberäkning, som analyserar språkliga propositioner genom matematiska deduktiva processer.
Freges bidrag till logik och språkfilosofi anses vara viktiga fram till idag och utan dem hade det inte varit möjligt att ha skapat datorprogrammeringskod som skulle kunna översättas Tärningar krypterad av andra maskiner. Detta innebär att utan den logiska teoretiska apparaten som lämnats av Frege, den brittiska matematikern Alan Turing, betraktad som "far" för informatik och datorer, kunde inte ha byggt den första dator av historien.
* Bildkredit: Linscap Photography / Shutterstock.com
av Francisco Porfirio
Examen i filosofi
Källa: Brazil School - https://brasilescola.uol.com.br/filosofia/o-que-logica.htm
