När Aristoteles definierade människan som djuret med ordet (logotyper) menade han att endast 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 föremål, 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å tillägnad att upprätta kausala nexus inom matematik. Det vill säga, för att ett resultat 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 omfattningen av 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 en ram för redogörelse och kvalificering av språkliga element som till exempel på vissa sätt orsakar enighet eller oenighet i tal.
Sluta inte nu... Det finns mer efter reklam;)
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
Vill du hänvisa till texten i en skola eller ett akademiskt arbete? Se:
PORPHYRIO, Francisco. "Vad är logik?"; Brasilien skola. Tillgänglig i: https://brasilescola.uol.com.br/filosofia/o-que-logica.htm. Åtkomst den 27 juni 2021.
Datoranvändning
Kryptografi, vad är kryptografi, användning av kryptografi, kryptografiska nycklar, symmetriska kryptografiska nycklar, asymmetriska kryptografiska nycklar, kryptografiska funktioner.
Matematisk logik, det gamla konceptet om matematisk logik, det nya konceptet om matematisk logik, utvecklingen av matematisk logik, de viktigaste funktionerna i matematisk logik.
