logika

Znanje

2022

Pojasnimo, kaj je logika in značilnosti filozofske, aristotelovske, matematične, računske, formalne in neformalne logike.

Logika se uporablja v različnih procesih, kot so dokazovanje, sklepanje ali dedukcija.

Kaj je logika?

Logika je a formalna znanost, ki je del filozofije in od matematika. Osredotoča se na preučevanje veljavnih in neveljavnih postopkov misel, torej v procesih, kot so demonstracija, sklepanje ali dedukcija, pa tudi v konceptih, kot so zmote, paradoksi in resnica.

Logika je a disciplina izjemno starodavna, neodvisno rojena med misleci velikih klasične in starodavne civilizacije, kot so Kitajci, Grki ali Indijci. Od svojih začetkov je bil razumljen kot način presojanja misli, da se preveri njena formalna veljavnost, torej da se prepozna, kaj je idealen postopek sklepanje, ki resnično vodi do resnice.

Vendar pa je od 20. stoletja dalje veljala za področje, ki je bolj podobno matematiki, saj so aplikacije slednje pridobile velik industrijski, družbeni in tehnološki pomen.

Beseda "logika" izvira iz grškega glasu logiké ("Obdarjen z razumom"), iz izraza logotipi, enakovredno "besedi" ali "misli".

Vendar v vsakdanjem jeziku uporabljamo to besedo kot sinonim za "zdravo pamet", to je v dragocenem ali cenjenem načinu razmišljanja, v svojem konteksti možno. Uporablja se tudi kot a sinonim "načina razmišljanja", kot pri "športni logiki", "vojaški logiki" itd.

Filozofska logika

S tem izrazom imenujemo področja filozofije, na katerih se metode logike za razrešitev ali napredovanje določenih filozofskih dilem, ki jih je mogoče obravnavati v okviru obravnavane tradicionalne logike ali, nasprotno, neklasične logike. Z drugimi besedami, logika v okviru filozofije.

Je disciplina, ki je zelo blizu filozofiji jezik, in je v bistvu nadaljevanje logike antike, osredotočene na misel in naravni jezik. To ime običajno uporabljamo, da ga razlikujemo od najnovejše matematične logike.

Aristotelova logika

Znotraj filozofske logike je tradicija mišljenja, ki se začne z deli grškega filozofa Aristotela de Estagire (384-322 pr.n.št.), ki velja za zahodnega utemeljitelja logike in enega najpomembnejših avtorjev, znana kot aristotelova logika. svetovna filozofska tradicija.

Aristotelova glavna dela o logiki so zbrana v njegovih Orgle (iz grškega "instrument"), ki ga je več stoletij po pisanju sestavil Andronik z Rodosa. V njih se razgrne cel logični sistem, ki je bil izjemno vpliven na Evrope in Bližnji vzhod do pozneje Srednja leta.

Poleg tega je Aristotel v tem delu postavil temeljne aksiome logike:

  • Načelo neprotislovja. Po katerem nekaj ne more biti in ne biti hkrati (A in ¬A ne moreta biti hkrati resnična).
  • Načelo identitete. Po katerem je nekaj vedno identično samemu sebi (A je vedno enako A).
  • Načelo izključenega tretjega. Po katerem nekaj je ali ni res, brez morebitnih gradacij (A ali nato ¬A).

Matematična logika

Znana je kot matematična logika, imenovana tudi simbolna logika, formalna logika, teoretična ali logistična logika, za uporabo logično razmišljanje na določena področja matematike in znanost.

To pomeni preučevanje procesa sklepanja prek formalnih sistemov reprezentacije, kot so propozicijska logika, modalna logika ali logika prvega reda, ki omogočajo »prevajanje« naravnega jezika v matematični jezik, da se razvijejo stroge demonstracije.

Matematična logika obsega štiri glavna področja, ki so:

  • Teorija modelov. Ki predlaga preučevanje aksiomatskih teorij in matematične logike s pomočjo matematičnih struktur, znanih kot skupine, telesa ali grafi, s čimer se povsem formalnim konstrukcijam logike pripisuje pomenska vsebina.
  • Teorija demonstracij. Imenuje se tudi teorija dokazov, predlaga dokaze s pomočjo matematičnih predmetov in tehnike matematika kot način za preverjanje logičnih problemov. Torej, kjer se teorija modelov ukvarja z dajanjem a semantika (pomen) za formalne strukture logike, se teorija dokaza bolj ukvarja z njihovimi sintakso (njegovo naročanje).
  • Teorija o kompleti. Osredotočen na študij abstraktnih zbirk predmetov, ki so sami po sebi razumljeni kot predmeti, pa tudi na njihove osnovne operacije in medsebojne odnose. Ta veja matematične logike je ena najbolj temeljnih, kar obstaja, tako zelo, da predstavlja osnovno orodje katere koli matematične teorije.
  • Teorija izračunljivosti. Skupno področje med matematiko in računalništvo oz računalništvo, preučuje odločitvene probleme, na katere a algoritem (enakovredno Turingovemu stroju) se lahko spopade. Za to uporablja teorijo množic in jih razume kot izračunljive ali neizračunljive množice.

Računska logika

Računalniška logika ustvarja inteligentne računalniške sisteme.

Računalniška logika je enaka matematična logika, vendar se uporablja na področju računalništva, torej na različnih temeljnih ravneh računalništva: računalniška vezja, programiranje logiko in algoritme upravljanja. Del tega je tudi umetna inteligenca, relativno nedavno področje na tem območju.

Lahko bi rekli, da si računalniška logika na splošno prizadeva nahraniti računalniški sistem prek logičnih struktur, ki v matematičnem jeziku izražajo različne možnosti človeške misli in tako ustvarjajo inteligentne računalniške sisteme.

Formalna in neformalna logika

Pogosto se razlikuje tudi med dvema ločenima področjema logike: formalnim in neformalnim, ki temelji na njunem pristopu do jezika, v katerem so izjave izražene.

  • Formalna logika. Je tista, ki skrbi za formalni jezik, torej za način izražanja njegovih vsebin, pri čemer jih uporablja strogo, brez dvoumnosti, tako da je deduktivno pot mogoče analizirati iz veljavnosti njenih vsebin. oblike (od tod tudi njegovo ime).
  • Neformalna logika. Namesto tega preučite njihovo argumenti a posteriori, ki razlikuje veljavne in neveljavne oblike od podanih informacij, ne glede na njihovo logično obliko ali njen formalni jezik. Ta varianta se je pojavila sredi 20. stoletja kot disciplina znotraj filozofije.
!-- GDPR -->