logikk

Hva er logikk:

Logikk er et feminint substantiv med opprinnelse i det greske begrepet logiké, relatert til logoer, grunn, ord eller tale, som betyr vitenskapen om resonnement .

I figurativ forstand er ordlogikken knyttet til en bestemt måte å begrunne på riktig måte. For eksempel: Dette vil aldri fungere! Din plan har ingen logikk i det hele tatt!

Problemer eller logikk spill er aktiviteter der en person må bruke logisk resonnement for å løse problemet.

Aristotelian Logic

Ifølge Aristoteles har logikken som formål å studere tanken, samt lovene og reglene som styrer den, slik at denne tanken er riktig. For den greske filosofen er de grunnleggende elementene i logikken konsept, dom og begrunnelse . Logikkens lover samsvarer med forbindelsene og forholdene som eksisterer mellom disse elementene.

Noen etterfølgere av Aristoteles var ansvarlige for grunnlaget for middelalderens logikk, som varte til det trettende århundre. Middelalderste tenkere som Galenus, Porphyry og Alexander of Afrodysia klassifiserte logikk som vitenskapen om korrekt dømming, noe som gjør det mulig å komme frem til riktige og formelt gyldige resonnementer.

Programmeringslogikk

Programmeringslogikk er språket som brukes til å lage et dataprogram. Programmeringslogikken er viktig for å utvikle programmer og datasystemer, da det definerer den logiske lenken for denne utviklingen. Fremgangsmåten for denne utviklingen er kjent som en algoritme, som består av en logisk sekvens av instruksjoner for funksjonen som skal utføres.

Argumentlogikk

Argumentets logikk tillater oss å verifisere gyldigheten eller om en erklæring er sann eller ikke. Det er ikke gjort med relative eller subjektive begreper. De er konkrete forslag hvis gyldighet kan verifiseres. I dette tilfellet har logikken til hensikt å evaluere form for proposisjoner og ikke innhold. Syllogismene (sammensatt av to lokaler og en konklusjon), er et eksempel på argumentasjonens logikk. For eksempel:

Fubá er en hund.

Alle hundene er pattedyr.

Derfor er Fubá et pattedyr.

Matematisk logikk

Matematisk logikk (eller formell logikk) studier logikk i henhold til sin struktur eller form. Matematisk logikk består av et deduktivt system med uttalelser som tar sikte på å skape et sett av lover og regler for å bestemme validiteten til resonnement. En argumentasjon anses derfor for gyldig dersom det er mulig å nå en sann konklusjon fra sanne lokaler.

Matematisk logikk brukes også til å konstruere gyldig resonnement gjennom annen begrunnelse. Begrunnelsen kan være deduktiv (konklusjonen er nødvendigvis hentet fra sannheten til lokalene) og induktiv (probabilistisk).

Formell logikk kan deles inn i to grupper: proposisjonell logikk og predikatlogikk.

Leibniz er sett av mange som sinnet som initierte begrepet formell eller matematisk logikk, som adresserer de sentrale problemene i matematikk. Det var imidlertid først etter 1890, med Peano, at spørsmålet om konsistensen av aksiomer begynte. Noen viktige prinsipper for formell logikk finnes i Den logiske matematiske analysen av logikk av George Boole (forfatter av logikk eller boolsk algebra).

Propositional Logic

Den proposisjonelle logikken er et område av logikk som undersøker begrunnelse i henhold til forholdet mellom setninger (proposisjoner), de minste diskursene, som kan være sanne eller falske.