Zer da Logika?

Logika arrazoimenaren zientzia definitzen duen hitza da. Logikaren beste kontzeptu bat "arrazoimendu zuzena eta okerra bereizteko erabiltzen diren metodo eta printzipioen azterketa" da. Zientzia honek hainbat kontzeptu biltzen ditu, horien artean argumentazioa, matematika eta informatika. Egiaztatu behean logika zein eremu erabil dezakegun.

Logika hitza greziar logosetik du jatorria eta arrazoitzeko modu zehatz batekin lotzen da. Logika Filosofiaren alor bat da, azterketa filosofikorako sarrera gisa ikusten dena, logos, arrazoiarekin, hitzekin, diskurtsoarekin eta arrazoiketa eta argumentazioa eskatzen duen zerbaiten inguruko hausnarketa baitago.

Aristoteles filosofo greziarra, Platonen dizipulua, oso pertsona garrantzitsua da logikaren ulermenean. Bera izan zen gaia aztertzen lehena, hizkuntza guztiaren erdigunean dagoela zehaztuz: komunikazioa, arteak, pentsamendu abstraktua eta azterketa zientifikoa. Baina, funtziona dezan, premisa linguistikoak jarraitu behar dira.

Zientzia gisa aurkeztuta, logika ez zuen horrela ikusi Aristotelesek. Laburbilduz, silogismoa proposizioek osatzen duten argumentua da. Ondorio batera iristeko dedukzioa erabiltzen duen arrazoiketa modu bat da, beraz, hainbat arazo edo logika-joko daude.

Arrazoimenduaren zientziarekin kolaboratu zuen beste filosofo bat Gottlob Frege alemaniarra izan zen, XIX. Ohartarazi zuenlogika hobeto ulertzeko matematikaren beharra. Premisa hori gauzatzeko, Fregek predikatuen kalkulua landu zuen, dedukzio matematikoaren bidez proposizio linguistikoak aztertzen zituen metodoa.

Ikus hemen Metafisikaren -ren esanahiari buruz.

Aristoteliako logika

Aristoteliako logikaren definizioa pentsamenduaren bidez logikaren azterketa da. Hau da, greziar filosofoak uste zuelako logika pentsamendua balioztatzeko mekanismo bat zela. Kontzeptua, judizioa eta arrazonamendua dira logikaren premisak. Logika aristotelikoaren ezaugarriak hauek dira: instrumentala, formala, propeneutikoa/aurrekoa, normatiboa, frogaren doktrina eta orokorra/denboragabea.

Aristotelesek ere proposizioa adierazi zuen logikaren oinarritzat, non epaiek pentsamendua osatzen duten. Proposizioak subjektu bati predikatuak (kalitatea) ematen dioten loturak dira, silogismoak deitzen dira horrelako proposizioei. Silogismoa pentsamendu filosofiko eta zientifikoen arteko batasuna da.

Aristotelesengandik zetorren arrazonamenduak, logika linguistikoaren oinarriak deituak, Erdi Aroko logika gailurra izan zuen, XIII.menderaino iraun zuena. Erdi Aroko filosofo nagusiak Alexandro Afrodisiakoa, Porfirio eta Galeno izan ziren. Erdi Aroko logika sailkapena pentsamendua balioztatzeko zehaztasunez epaitzeko zientzia zen.

Programazio logika

Programazio logika lantzean datza.sekuentzia logikoen. Bere oinarrizko printzipioak aldaerak eta konstanteak dira, balio bat adierazten duten eta errepikapenik behar ez duten izenak eta baita datu motak ere, 1. motan: testua, 2. mota: osokoa, 3. mota: erreala eta 4. mota: logikoa, begiratu nola deskribapenak. datu-mota hauetatik:

1. mota: karaktere bateko edo gehiagoko katea, normalean komatxo bikoitz artean sartuta. Zuriuneak ere karaktereak dira;

2. mota: zenbaki hamartarrik gabeko balio negatiboak eta positiboak;

3. mota: zenbaki hamartarren balio negatiboak eta positiboak;

4. mota: BAI, EZ, EGIA eta GEZURRA bezalako alternatibak.

Goiko kontzeptuekin idatzitako sekuentzia logikoei pastelaren errezeta bezala funtzionatzen duten algoritmo deitzen zaie. Algoritmoek sekuentzia logiko bakoitzean zer egin behar duten erakusten diote ordenagailuari. Algoritmoak maila altua edo baxua izan daitekeen programazio-lengoaia erabiliz idazten dira.

Maila handiko programazio-lengoaia erraz ulertzen da, izan ere, lehenik eta behin, komandoa diagrama batean egiten da, nahi denaren bihurketarekin. ekintza, SQL (Specification Design Language) goi-mailako hizkuntza baten adibidea da. Maila baxuko hizkera hizki eta zenbakiz irudikatutako gailurako argibide zuzenei egiten die erreferentzia. ASSEMBLY hizkuntza maila baxuko hizkuntza baten adibidea da.

Ikusi hemen buruz guztia. Arrazionalismoa .

Argumentazioaren logika

Arrazoimenduaren logika pertsona bat konbentzitzeko nola erabili da. Logika honetan, proposizio edo enuntziatuen segidak konbinatzen dira ondorio batera iristeko. Argumentazioaren logikaren oinarrizko kontzeptuak hauek dira: argumentazioa, analogiak, inferentziak, dedukzioak eta ondorioak, non:

Argumentazioa premisa edo hipotesi multzo bat den eta haien emaitza ondorio deritzo. Adibidea: p1: Goianotar guztiek country musika abesten dute, p2: Country abeslari guztiei musika gustatzen zaie eta p3: Goiastar guztiek country musika abesten dute;

Analogia argumentuen arteko konparaketa da, adibidez: “Argia egunekoa da. iluntasuna gauerako baita”;

Inferentzia hasierako premisa multzo bat erabiliz ondorio batera iristea da. Bi inferentzia mota daude: dedukzioa eta indukzioa. Dedukzioan, informazioa lokalean dago modu argian edo iradokituan, adibidez: A preposizioa: txoriek mokoa dute. B preposizioa: txori espezie berri bat aurkitu da. Ondorioa: Espezie berriak mokoa du. Indukzioan, premisek nahikoa informazio transmititzen dute ondorio batera iristeko. Indukzioan, ondorioa probabilitate egokienaren bidez lortzen da. Adibidea: txori guztiek mokoa badute, espezie berriak ere mokoa izan behar du.

Logikaren esanahia Filosofia kategorian dago

Ikushalaber:

• Etikaren esanahia
• Epistemologiaren esanahia
• Epistemologiaren esanahia
• Metafisikaren esanahia
• Moralaren esanahia
• Soziologiaren esanahia
• Enpirismoaren esanahia
• Ezagutza enpirikoaren esanahia
• Ilustrazioaren esanahia
• Arrazionalismoaren esanahia