logika

Logika

Logika , grezieraz, λόγος logos (hitz, arrazoi, funts) diziplina arteko filosofiaren^{[1][2][3][4][5]} adar bat da, frogapenaren eta baliozko inferentziaren printzipioak^[6], falaziak, paradoxak eta egiaren nozioa aztertzen dituen zientzia formaltzat hartuta^[7].
Logika hainbat kategoriatan banatzen da, azterketa-eremuaren arabera. Logika filosofikoak kontzeptua eta definizioa, enuntziazioa edo proposizioa eta argudioa aztertzen ditu, logika modernoaren metodoak eta emaitzak erabiliz problema filosofikoak aztertzeko. Logika matematikoak inferentzia aztertzen du sistema formalen bidez, hala nola logika proposizionala, lehen mailako logika eta logika modala. Logika informala arrazoibideen eta falazien garapen linguistikoan oinarritzen da. Logika konputazionala da logika matematikoa konputazioaren zientzietara aplikatzea.
Logikaren jatorria Antzinarokoa da, eta Txinan, Indian eta Grezian agerraldi independenteak ditu. Harrezkero, logika filosofiaren adartzat hartu izan da tradizioz, baina, XX. mendean, logika, batez ere, logika-matematikoa bihurtu da, eta, beraz, orain, matematikaren zatitzat ere hartzen da, baita zientzia formal independentea ere.
Ez dago logikaren definizio zehatzari edo mugei buruzko akordio unibertsalik^[8].​​​ Hala ere, logikaren esparruak (zentzu zabalean interpretatua), barne hartzen ditu:
Historikoki, logika antzinatik aztertu izan da, batez ere filosofian, XIX. mendearen erdialdetik matematikan eta XX. mendearen erdialdetik informatikan. Berrikiago, hizkuntzalaritzan eta zientzia kognitiboetan ere ikasi da logika. Oro har, logikak diziplina arteko azterketa-eremua izaten jarraitzen du.

Wikipediarekin konexio arazoren bat gertatu da: