Kada Aristotelis apibrėžė žmogų kaip gyvūną, apdovanotą žodžiu (logotipai), jis reiškė, kad tik mes galime atlikti fizinio pasaulio abstrakcijos procesą per kalba. Kalba leidžia mums bendrauti, abstrakčiai mąstyti, įvardyti daiktus ir daiktus, mokslinius tyrimus, meno kūrinius ir visą socialinę bei politinę mūsų pasaulio organizaciją. Tačiau norint, kad kalba tinkamai veiktų, reikia ir taisyklių.
Ir kalbinė logika, filosofijai būdingą studijų sritį, kurioje daugiausia dėmesio skiriama oficialiai kalbinei organizacijai nustatykite reikiamą režimą, kad pati kalba galėtų tinkamai veikti kiekvienu atveju specifinis. Ne tik per kalbą, logiką kaip supratimą ir racionalus organizavimas „Formos“ taip pat yra skirtas nustatyti priežastinius ryšius matematikoje. Tai yra, kad matematinio skaičiavimo rezultatas būtų teisingas, matematikas ar mašina, kuri atlieka operacija turi atitikti oficialų standartą, kuriame laikomasi racionalių taisyklių ir taip patekti į matematinė logika.
AristotelisPlatono mokinys buvo pirmasis filosofas istorijoje, bandęs suprasti ir aiškiai nustatyti
kalbinės logikos pagrindai, palikdamas palikuonims rašinių rinkinį, žinomą kaip aristoteliška logika arba klasikinė logika. Šiuose raštuose galime rasti būdų suprasti samprotavimai dedukcinė ir indukcinė kalba silogizmai, taip pat mes radome aristotelio aikštė, kuri yra kalbinių elementų, kurie, tam tikrais būdais derinant, sukelia kalbą, pavyzdžiui, kalbos sutarimo ar nesutarimų, atskleidimo ir kvalifikavimo pagrindas.Nesustokite dabar... Po reklamos yra daugiau;)
logika, kaip galiojančių ir teisingų kalbos formų tyrimas ir identifikavimas, taip pat yra skirtas nustatyti ir kvalifikuoti tai, kas neturi a formalus galiojimas darnus ir teisingas. Žodis, kuris įvardija šias kalbos netikslinimo formos netaisymo situacijas, yra klaidingumas. Klaidos yra, plačiai tariant, beprasmiai teiginiai, neturintys loginio ryšio tarp nurodytų faktų arba be jų priežastiniai ryšiai, visiškai ir teisingai paaiškinantys sakinių teiginiuose pasireiškiančius padarinius išanalizuota.
XIX amžiuje vokiečių filosofas Gottlob Frege pakeitė esamą logiką, spręsdamas poreikį geriau suprasti matematiką logikos studijose. Jis sukūrė metodą, vadinamą predikatinis skaičiavimas, kuris analizuoja kalbinius teiginius per matematinius dedukcinius procesus.
Frege indėlis į logiką ir kalbos filosofiją laikomas svarbiu iki šiandien ir be jų nebūtų buvę įmanoma sukurti kompiuterinio programavimo kodo, galinčio išversti Kauliukai užšifruotas kitomis mašinomis. Tai reiškia, kad be loginio teorinio aparato, kurį paliko britų matematikas Frege Alanas Turingas, laikomas informatikos ir kompiuterių „tėvu“, negalėjo pastatyti pirmojo kompiuteris istorijos.
* Vaizdo kreditas: „Lenscap“ fotografija / Shutterstock.com
pateikė Francisco Porfirio
Baigė filosofiją
Ar norėtumėte paminėti šį tekstą mokykloje ar akademiniame darbe? Pažvelk:
PORFYRIO, Francisco. "Kas yra logika?"; Brazilijos mokykla. Yra: https://brasilescola.uol.com.br/filosofia/o-que-logica.htm. Žiūrėta 2021 m. Birželio 27 d.
Skaičiavimas
Kriptografija, kas yra kriptografija, kriptografijos naudojimas, kriptografiniai raktai, simetriški kriptografiniai raktai, asimetriniai kriptografiniai raktai, kriptografinės funkcijos.
Matematinė logika, sena samprata apie matematinę logiką, nauja samprata apie matematinę logiką, matematinės logikos raida, pagrindiniai matematinės logikos bruožai.
