Kio estas Logiko?

Logiko estas vorto kiu difinas la sciencon de rezonado. Alia koncepto de logiko estas "la studo de la metodoj kaj principoj uzitaj por distingi ĝustan de malĝusta rezonado." Ĉi tiu scienco kovras plurajn konceptojn, inter ili argumentado, matematiko kaj informadiko. Kontrolu sube, kiujn kampojn ni povas uzi logikon.

La vorto logiko devenas de la greka logos kaj rilatas al specifa rezonmaniero. Logiko estas areo de Filozofio vidita kiel enkonduko al la filozofia studo, ĉar ĝi rilatas al logos, racio, vortoj, diskurso kaj pripensas ion, kio postulas rezonadon kaj argumentadon.

La greka filozofo Aristotelo, disĉiplo de Platono, estas tre grava figuro en la kompreno de logiko. Li estis la unua se temas pri studi la temon, determinante ke lingvo estas en la centro de ĉio: komunikado, la artoj, abstrakta pensado, kaj scienca studo. Sed, por ke ĝi funkciu, necesas sekvi lingvajn premisojn.

Prezentita kiel scienco, la logiko ne estis vidita kiel tia de Aristotelo. Mallonge, la silogismo estas la argumento formita de proponoj. Ĝi estas formo de rezonado, kiu uzas dedukton por atingi konkludon, do ekzistas pluraj problemoj aŭ logikaj ludoj.

Alia filozofo kiu kunlaboris kun la rezonscienco estis la germana Gottlob Frege, en la 19-a jarcento. Li avertis lala bezono de matematiko por pli bona kompreno de logiko. Por konkretigi tiun ĉi premison, Frege ellaboris la predikatan kalkulon, metodon kiu studis lingvajn proponojn per matematika dedukto.

Vidu ĉi tie ĉion pri la signifo de Metafiziko .

Aristotela logiko

La difino de aristotela logiko estas la studo de logiko per penso. Ĉi tio estas ĉar la greka filozofo kredis ke logiko estis mekanismo por validigi penson. Koncepto, juĝo kaj rezonado estas la premisoj de logiko. La karakterizaĵoj de aristotela logiko estas: instrumenta, formala, propeneŭtika/antaŭa, normiga, doktrino de pruvo kaj ĝenerala/sentempa.

Aristotelo ankaŭ atentigis la propozicion kiel la fundamenton de logiko, kie juĝoj formas penson. Propozicioj estas ligoj kiuj transigas predikatojn (kvaliton) al subjekto, tiaj propozicioj estas nomitaj silogismoj. La silogismo estas la kuniĝo inter filozofiaj kaj sciencaj pensoj.

La rezonado venanta de Aristotelo, nomitaj la fundamentoj de la lingva logiko, kulminis la mezepokan logikon, kiu daŭris ĝis la dektria jarcento. La ĉefaj mezepokaj filozofoj estis Aleksandro de Afrodizio, Porfirio kaj Galeno. Mezepoka logika klasifiko estis la scienco juĝi precize por validigi penson.

Programlogiko

Programlogiko konsistas el ellaboride logikaj sinsekvoj. Ĝiaj bazaj principoj estas variantoj kaj konstantoj, nomoj kiuj reprezentas valoron kaj ne postulas ripeton kaj ankaŭ datumtipoj, dividitaj en Tipo 1: teksto, Tipo 2: entjero, Tipo 3: reala kaj Tipo 4: logika, rigardu kiel la priskriboj. el ĉi tiuj datumtipoj:

Tipo 1: ĉeno de unu aŭ pluraj signoj, kutime enfermita inter citiloj. Spacoj ankaŭ estas signoj;

Tipo 2: negativaj kaj pozitivaj nombraj valoroj sen decimalaj lokoj;

Tipo 3: negativaj kaj pozitivaj nombraj valoroj kun decimalaj lokoj;

Tipo 4: alternativoj kiel JES, NE, VERA kaj FALSA.

La logikaj sinsekvoj skribitaj kun la supraj konceptoj estas nomataj algoritmoj kiuj funkcias kiel kuka recepto. Algoritmoj montras al la komputilo kion fari en ĉiu logika sinsekvo. La algoritmoj estas skribitaj per programlingvo kiu povas esti alta aŭ malalta nivelo.

La altnivela programlingvo estas facile komprenebla, ĉar, unue, la komando estas farita en diagramo, kun la konvertiĝo al la celita. ago, SQL (Specifika Dezajna Lingvo) estas ekzemplo de altnivela lingvo. Malaltnivela lingvo rilatas al rektaj instrukcioj al la aparato reprezentita per literoj kaj nombroj. La ASEMBLEA lingvo estas ekzemplo de malaltnivela lingvo.

Vidu ĉi tie ĉion pri Raciismo .

Logiko de argumentado

La logiko de argumentado estas kiel uzi rezonadon por konvinki homon. En ĉi tiu logiko, sekvencoj de proponoj aŭ deklaroj estas kombinitaj por atingi konkludon. La bazaj konceptoj de argumenta logiko estas: argumentado, analogioj, konkludoj, deduktoj kaj konkludoj, kie:

Argumentado estas aro de premisoj aŭ hipotezoj kaj ilia rezulto nomiĝas konkludo. Ekzemplo: p1: Ĉiuj goianoj kantas kontrean muzikon, p2: Ĉiuj kantrikantistoj ŝatas muzikon kaj p3: Ĉiuj gojaanoj kantas kontrean muzikon;

Analogio estas komparo inter argumentoj, ekzemple: “La lumo estas por la tago. kiel la mallumo estas por la nokto”;

Inferenco estas atingi konkludon uzante aron de komencaj premisoj. Estas du specoj de inferenco: dedukto kaj indukto. En la dedukto, la informo estas en la premisoj en klara aŭ sugestita maniero, ekzemplo: Prepozicio A: Birdoj havas bekojn. Prepozicio B: Nova specio de birdo estis malkovrita. Konkludo: La nova specio havas bekon. En indukto, la regiono peras sufiĉe daj informoj por alveni al konkludo. En indukto, la konkludo estas akirita per la plej taŭga probableco. Ekzemplo: Se ĉiuj birdoj havas bekon, ankaŭ la nova specio devas havi bekon.

La signifo de Logiko estas en la kategorio Filozofio

Vidu.ankaŭ:

• Signifo de Etiko
• Signifo de Epistemologio
• Signifo de Epistemologia
• Signifo de Metafiziko
• Signifo de Moralo
• Signifo de Sociologio
• Signifo de Empiriismo
• Senco de Empiria Scio
• Senco de Iluminismo
• Senco de Raciismo