Kdaj Aristotel opredelil človeka kot žival, obdarjeno z besedo (logotipi), mislil je, da samo mi lahko izvedemo proces abstrakcije fizičnega sveta skozi jezik. Jezik nam omogoča komunikacijo, abstraktno razmišljanje, poimenovanje stvari in predmetov, znanstveno preučevanje, ustvarjanje umetnosti ter celotne družbene in politične organizacije našega sveta. Za pravilno delovanje pa tudi jezik potrebuje pravila.
In jezikovna logika, študijsko področje, ki je neločljivo povezano s filozofijo in se osredotoča na formalno jezikovno organizacijo vzpostavite potreben način, da bo lahko sam jezik v vsakem primeru pravilno deloval posebne. Ne samo z jezikom, logiko kot razumevanjem in racionalna organizacija of Forms je namenjen tudi vzpostavljanju vzročnih povezav znotraj matematike. Se pravi, da je rezultat matematičnega izračuna pravilen, matematik ali stroj, ki deluje operacija mora biti v skladu s formalnim standardom, ki spoštuje racionalna pravila, s čimer vstopi v področje uporabe matematična logika.
Aristotel, Platonov učenec, je bil prvi filozof v zgodovini, ki je skušal razumeti in jasno določiti osnove jezikovne logike, zapuščam potomcem vrsto spisov, znanih kot aristotelovska logika ali klasična logika. V teh spisih lahko najdemo načine za razumevanje sklepanja deduktivno in induktivno v jeziku silogizmi, pa tudi našli smo aristotelski trg, ki je okvir za razlago in kvalifikacijo jezikovnih elementov, ki na primer na določen način povzročijo strinjanje ali nesoglasje v govoru.
Ne ustavi se zdaj... Po oglaševanju je še več;)
THE logiko, kot študij in identifikacija veljavnih in pravilnih jezikovnih oblik, je namenjen tudi ugotavljanju in določanju tistega, česar nima formalna veljavnost kohezivno in pravilno. Beseda, ki poimenuje te primere nekorekcije oblike tistega, kar je izgovarjal jezik, je zmota. Napake so na splošno nesmiselne trditve, brez logične povezave med navedenimi dejstvi ali brez vzročne povezave, ki v celoti in pravilno pojasnijo učinke, ki se kažejo v stavčnih stavkih analizirali.
V devetnajstem stoletju je nemški filozof Gottlob Frege revolucioniral obstoječo logiko z obravnavo potrebe po večjem matematičnem razumevanju logičnih študij. Razvil je metodo, imenovano predikatni izračun, ki analizira jezikovne predloge skozi matematično deduktivne procese.
Fregejevi prispevki k logiki in filozofiji jezika veljajo za pomembne do leta danes in brez njih ne bi bilo mogoče ustvariti računalniške programske kode, ki bi lahko prevajala Kocke šifrirano z drugimi stroji. To pomeni, da je brez logičnega teoretičnega aparata, ki ga je pustil Frege, britanski matematik Alan Turing, ki velja za "očeta" informatike in računalnikov, ne bi mogel zgraditi prvega računalnik zgodovine.
* Dobropis slike: Fotografija objektiva / Shutterstock.com
avtor Francisco Porfirio
Diplomiral iz filozofije
Bi se radi sklicevali na to besedilo v šolskem ali akademskem delu? Poglej:
PORPHYRIO, Francisco. "Kaj je logika?"; Brazilska šola. Na voljo v: https://brasilescola.uol.com.br/filosofia/o-que-logica.htm. Dostop 27. junija 2021.
Računalništvo
Kriptografija, kaj je kriptografija, uporaba kriptografije, kriptografski ključi, simetrični kriptografski ključi, asimetrični kriptografski ključi, kriptografske funkcije.
Matematična logika, stari koncept matematične logike, nov koncept matematične logike, razvoj matematične logike, glavne značilnosti matematične logike.