logika

Žinios

2022

Aiškinamės, kas yra logika ir kokios yra filosofinės, aristotelinės, matematinės, skaičiavimo, formalios ir neformalios logikos ypatybės.

Logika naudojama įvairiuose procesuose, tokiuose kaip įrodymas, išvada ar išskaičiavimas.

Kas yra logika?

Logika yra a formalusis mokslas, kuri yra dalis filosofija ir iš matematika. Jame pagrindinis dėmesys skiriamas galiojančių ir negaliojančių procedūrų tyrimui maniau, ty tokiuose procesuose kaip demonstravimas, išvados ar išskaičiavimas, taip pat tokiose sąvokose kaip klaidos, paradoksai ir tiesa.

Logika yra a disciplina nepaprastai senas, savarankiškai gimęs tarp didžiųjų mąstytojų klasikinės ir senovės civilizacijos, kaip kinai, graikai ar indai. Nuo pat pradžių ji buvo suprantama kaip būdas įvertinti mintį, siekiant patikrinti jos formalų pagrįstumą, ty atpažinti, kas yra ideali samprotavimus, kuris tikrai veda į tiesą.

Tačiau nuo XX amžiaus ji buvo laikoma labiau matematikai panašia sritimi, nes pastarosios taikymas įgijo didelę pramoninę, socialinę ir technologinę reikšmę.

Žodis „logika“ kilęs iš graikų kalbos logikė („Apdovanotas protu“), iš termino logotipai, lygiavertis „žodžiui“ arba „mintiui“.

Tačiau kasdienėje kalboje šį žodį vartojame kaip „sveiko proto“ sinonimą, tai yra vertingame arba vertinamame mąstymo būdu kontekstuose galima. Jis taip pat naudojamas kaip a sinonimas „mąstymo būdas“, kaip kalbant apie „sportinę logiką“, „karinę logiką“ ir pan.

Filosofinė logika

Šiuo terminu vadiname filosofijos sritis, kuriose metodus logika tam, kad išspręstų ar pajudintų tam tikras filosofines dilemas, kurios gali būti sprendžiamos laikantis tradicinės logikos arba, priešingai, neklasikinės logikos. Kitaip tariant, logika filosofijos rėmuose.

Tai disciplina, labai artima filosofijai kalba, ir iš esmės yra antikos logikos, orientuotos į mintį ir natūralią kalbą, tąsa. Šį pavadinimą dažniausiai naudojame norėdami atskirti jį nuo naujausios matematinės logikos.

Aristotelinė logika

Filosofinėje logikoje mąstymo tradicija, kuri prasideda nuo graikų filosofo Aristotelio de Estagiros (384-322 m. pr. Kr.), laikomo Vakarų logikos pradininku ir vienu svarbiausių autorių, darbais, žinoma kaip aristoteliškoji logika. pasaulio filosofinė tradicija.

Pagrindiniai Aristotelio logikos darbai yra surinkti jo Vargonai (iš graikų kalbos „instrumentas“), kurį sudarė Andronikas iš Rodo praėjus keliems šimtmečiams po rašymo. Juose atsiskleidžia visa loginė sistema, kuri turėjo nepaprastai didelę įtaką Europa ir Artimuosiuose Rytuose iki tol Viduramžiai.

Be to, šiame darbe Aristotelis postulavo pagrindines logikos aksiomas:

  • Neprieštaravimo principas. Pagal kurį kažkas negali būti ir nebūti tuo pačiu metu (A ir ¬A negali būti tiesa vienu metu).
  • Tapatybės principas. Pagal kurį kažkas visada yra tapatus sau (A visada lygus A).
  • Išskirtojo trečdalio principas. Pagal ką kažkas yra arba netiesa, be jokių galimų gradacijų (A arba tada ¬A).

Matematinė logika

Ji žinoma kaip matematinė logika, dar vadinama simboline logika, formalia logika, teorine arba logistine logika, taikant loginis mąstymas į tam tikras matematikos sritis ir mokslas.

Tai reiškia išvadų proceso tyrimą naudojant formalias vaizdavimo sistemas, tokias kaip teiginių logika, modalinė logika arba pirmosios eilės logika, kurios leidžia natūralią kalbą „išversti“ į matematinę kalbą, siekiant sukurti griežtus demonstravimus.

Matematinė logika apima keturias pagrindines sritis, kurios yra:

  • Modelio teorija. Kuris siūlo tyrinėti aksiomatines teorijas ir matematinę logiką naudojant matematines struktūras, žinomas kaip grupės, kūnai arba grafikai, tokiu būdu grynai formalioms logikos konstrukcijoms priskiriant semantinį turinį.
  • Demonstravimo teorija. Taip pat vadinama įrodymų teorija, ji siūlo įrodymus pasitelkdama matematinius objektus ir technikos matematika kaip būdas patikrinti logikos uždavinius. Taigi, kur modelio teorija nagrinėja davimą a semantika (prasmė) formalioms logikos struktūroms, Įrodinėjimo teorija veikiau nagrinėja jas sintaksė (jos užsakymas).
  • Teorija apie rinkiniai. Orientuotasi į abstrakčių objektų rinkinių, savaime suprantamų kaip objektai, tyrinėjimą, taip pat į jų pagrindines operacijas ir tarpusavio ryšius. Ši matematinės logikos šaka yra viena iš pagrindinių egzistuojančių, todėl ji yra pagrindinis bet kurios matematinės teorijos įrankis.
  • Apskaičiuojamumo teorija. Bendra sritis tarp matematikos ir kompiuterija arba kompiuterija, tiria sprendimo problemas, kurias spręsti a algoritmas (atitinka Tiuringo mašiną) gali susidoroti. Tam jis naudoja aibių teoriją, suprasdamas jas kaip skaičiuojamas arba neapskaičiuojamas aibes.

Skaičiavimo logika

Skaičiavimo logika sukuria protingas skaičiavimo sistemas.

Skaičiavimo logika yra ta pati matematinė logika, tačiau ji taikoma skaičiavimo sričiai, ty įvairiuose pagrindiniuose skaičiavimo lygiuose: skaičiavimo grandinėse, programavimas logika ir valdymo algoritmai. Dirbtinis intelektas, palyginti nauja sritis šioje srityje, taip pat yra jos dalis.

Galima sakyti, kad, plačiąja prasme, skaičiavimo logika siekia maitinti kompiuterinę sistemą per logines struktūras, kurios matematine kalba išreiškia skirtingas žmogaus mąstymo galimybes, taip sukuriant protingas kompiuterines sistemas.

Formali ir neformali logika

Taip pat dažnai skiriamos dvi atskiros logikos sritys: formalioji ir neformalioji, remiantis jų požiūriu į kalbą, kuria išreiškiami teiginiai.

  • Formali logika. Ji rūpinasi formaliąja kalba, tai yra jos turinio reiškimo būdu, vartodama juos griežtai, be dviprasmybių, taip, kad dedukcinį kelią būtų galima analizuoti iš jos turinio pagrįstumo. formos (iš čia ir pavadinimas).
  • Neformali logika. Vietoj to, išstudijuokite juos argumentai a posteriori, atskiriant galiojančias ir negaliojančias pateiktos informacijos formas, nepaisant jos loginės formos ar formalios kalbos. Šis variantas atsirado XX amžiaus viduryje kaip filosofijos disciplina.
!-- GDPR -->