logika

Znanje

2022

Objašnjavamo što je logika i karakteristike filozofske, aristotelovske, matematičke, računalne, formalne i neformalne logike.

Logika se koristi u raznim procesima kao što su dokaz, zaključivanje ili dedukcija.

Što je logika?

Logika je a formalna znanost, koji je dio filozofija i od matematike. Usredotočuje se na proučavanje valjanih i nevažećih postupaka misao, odnosno u procesima kao što su demonstracija, zaključivanje ili dedukcija, kao iu konceptima kao što su zablude, paradoksi i istina.

Logika je a disciplina iznimno drevni, samostalno rođen među misliocima velikih klasične i antičke civilizacije, poput Kineza, Grka ili Indijaca. Od svojih početaka shvaćao se kao način prosuđivanja misli kako bi se provjerila njezina formalna valjanost, odnosno da se prepozna što je idealan postupak rasuđivanje, onaj koji stvarno vodi do istine.

Međutim, od 20. stoljeća nadalje, smatra se poljem sličnijim matematici, budući da je primjena potonje dobila veliku industrijsku, društvenu i tehnološku važnost.

Riječ "logika" potječe iz grčkog glasa logiké ("Obdaren razumom"), iz pojma logotipi, jednako kao "riječ" ili "misao".

Međutim, u svakodnevnom jeziku ovu riječ koristimo kao sinonim za "zdrav razum", odnosno na vrijedan ili cijenjen način razmišljanja, u njihovom kontekstima moguće. Također se koristi kao a sinonim "načina razmišljanja", kao kada se govori o "sportskoj logici", "vojnoj logici" i tako dalje.

Filozofska logika

Ovim pojmom nazivamo područja filozofije u kojima se metode logike kako bi se razriješile ili unaprijedile određene filozofske dileme, budući da se može rješavati unutar smatrane tradicionalne logike ili, naprotiv, neklasične logike. Drugim riječima, logika u okviru filozofije.

To je disciplina vrlo bliska filozofiji Jezik, i u biti je nastavak antičke logike, usredotočene na misao i prirodni jezik. Obično koristimo ovaj naziv kako bismo ga razlikovali od najnovije matematičke logike.

Aristotelovska logika

Unutar filozofske logike, tradicija mišljenja koja počinje djelima grčkog filozofa Aristotela de Estagire (384.-322. pr. Kr.), koji se smatra zapadnim utemeljiteljem logike i jednim od najvažnijih autora, poznata je kao aristotelovska logika. važni dijelovi svjetska filozofska tradicija.

Aristotelova glavna djela o logici okupljena su u njegovom Orgulje (od grčkog "instrument"), sastavio Andronik s Rodosa nekoliko stoljeća nakon pisanja. U njima se odvija cijeli logički sustav koji je bio iznimno utjecajan na Europa a Bliski istok do poslije Srednji vijek.

Štoviše, Aristotel je u ovom djelu postulirao temeljne aksiome logike:

  • Načelo neprotuslovnosti. Prema kojoj nešto ne može biti i ne biti u isto vrijeme (A i ¬A ne mogu biti istiniti u isto vrijeme).
  • Načelo identiteta. Prema kojoj je nešto uvijek identično samome sebi (A je uvijek jednako A).
  • Načelo isključenog trećeg. Prema kojem nešto jest ili nije istinito, bez ikakvih mogućih gradacija (A ili zatim ¬A).

Matematička logika

Poznata je kao matematička logika, također se naziva simbolička logika, formalna logika, teorijska ili logistička logika, na primjenu logično mišljenje određenim područjima matematike i znanost.

To podrazumijeva proučavanje procesa zaključivanja, kroz formalne sustave predstavljanja, kao što su propozicijska logika, modalna logika ili logika prvog reda, koji omogućuju “prevođenje” prirodnog jezika u matematički jezik kako bi se razvile rigorozne demonstracije.

Matematička logika obuhvaća četiri glavna područja, a to su:

  • Teorija modela. Koji predlaže proučavanje aksiomatskih teorija i matematičke logike kroz matematičke strukture poznate kao grupe, tijela ili grafovi, pripisujući tako semantički sadržaj čisto formalnim konstrukcijama logike.
  • Teorija demonstracije. Također se naziva i teorija dokaza, ona predlaže dokaze pomoću matematičkih objekata i Tehnike matematika kao način provjere logičkih problema. Dakle, gdje se teorija modela bavi davanjem a semantika (značenje) formalnim strukturama logike, Teorija dokaza radije se bavi njihovim sintaksa (njegovo naređenje).
  • Teorija o skupova. Usredotočen na proučavanje apstraktnih zbirki objekata, shvaćenih sami po sebi kao objekti, kao i na njihove osnovne operacije i međuodnose. Ova grana matematičke logike jedna je od najfundamentalnijih koja postoji, toliko da čini osnovni alat svake matematičke teorije.
  • Teorija izračunljivosti. Zajedničko područje između matematike i računalstvo ili računalstvo, proučava probleme odlučivanja na koje a algoritam (ekvivalentno Turingovom stroju) može se nositi. Da bi to učinio, koristi teoriju skupova, shvaćajući ih kao izračunljive ili neizračunljive skupove.

Računska logika

Računalna logika stvara inteligentne računalne sustave.

Računalna logika je ista matematička logika, ali se primjenjuje na područje računalstva, odnosno na različite temeljne razine računalstva: računski sklopovi, programiranje logiku i algoritme upravljanja. Umjetna inteligencija, relativno nedavno područje u tom području, također je dio toga.

Moglo bi se reći da, općenito govoreći, računalna logika teži hraniti računalni sustav kroz logičke strukture koje matematičkim jezikom izražavaju različite mogućnosti ljudskog mišljenja, stvarajući tako inteligentne računalne sustave.

Formalna i neformalna logika

Također se često pravi razlika između dva odvojena polja logike: formalnog i neformalnog, na temelju njihovog pristupa jeziku kojim su iskazi izraženi.

  • Formalna logika. To je onaj koji vodi računa o formalnom jeziku, odnosno načinu izražavanja njegovih sadržaja, koristeći ih strogo, bez dvosmislenosti, na način da se deduktivni put može analizirati iz valjanosti njegovih sadržaja. oblika (otuda i njegovo ime).
  • Neformalna logika. Umjesto toga, proučite njihovu argumentima a posteriori, razlikovanje valjanih i nevažećih oblika od danih informacija, bez obzira na njihov logički oblik ili formalni jezik. Ova se varijanta pojavila sredinom 20. stoljeća kao disciplina unutar filozofije.
!-- GDPR -->