Logikk er et feminint substantiv fra det greske ordet logo, relatert til logoer, grunnen til, ord eller tale, som betyr resonnementsvitenskap.
I overført betydning er ordet logikk relatert til a spesifikk måte å resonnere på, med rette. For eksempel: Dette vil aldri fungere! Planen din har ingen logikk!
Du problemer eller logiske spill er aktiviteter der en person må bruke en logisk resonnement å løse problemet.
Aristotelisk logikk
I følge Aristoteles har logikken som formål å studere tenkte, så vel som lovene og reglene som styrer det, for at den tanken skal være riktig. For den greske filosofen er logikkens bestanddeler den konsept, dømmekraft og argumentasjon. 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. Middelalderens tenkere som Galen, Porphyry og Alexander of Aphrodisia klassifiserte logikken som vitenskapen om å bedømme riktig, noe som gjør det mulig å nå riktig og formelt gyldig resonnement.
Programmeringslogikk
Programmeringslogikk er språket som brukes til å lage et dataprogram. Programmeringslogikk er viktig for å utvikle dataprogrammer og -systemer, da den definerer den logiske kjeden for den utviklingen. Trinnene for denne utviklingen er kjent som en algoritme, som består av en logisk sekvens av instruksjoner for funksjonen som skal utføres.
Argumentasjonslogikk
Argumentasjonslogikk gjør det mulig å kontrollere gyldigheten eller om en uttalelse er sant eller ikke. Den er ikke laget med relative eller subjektive begreper. De er håndgripelige forslag hvis gyldighet kan verifiseres. I dette tilfellet har logikken som mål å evaluere formen på forslagene og ikke innholdet. Syllogismer (sammensatt av to premisser og en konklusjon) er et eksempel på argumentasjonslogikk. For eksempel:
Maismel er en hund.
Alle hunder er pattedyr.
Derfor er maismel et pattedyr.
Matematisk logikk
Matematisk logikk (eller formell logikk) studerer logikk i henhold til dens struktur eller form. Matematisk logikk består av en deduktivt system av uttalelser som tar sikte på å opprette en gruppe lover og regler for å fastslå gyldigheten av resonnementene. Dermed anses en resonnement som gyldig hvis det er mulig å komme til en sann konklusjon fra sanne premisser.
Matematisk logikk brukes også til å bygge gyldig resonnement gjennom andre resonnementer. Begrunnelsen kan være deduktive (konklusjonen er obligatorisk hentet fra sannheten i lokalene) og induktiv (sannsynlig).
Formell logikk kan deles inn i to grupper: proposisjonslogikk og predikatlogikk.
Leibniz blir sett på av mange som sinnet som initierte begrepet formell logikk eller matematikk, som adresserer kjerneproblemene 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 The Mathematical Analysis of Logic av George Boole (forfatter av Booles logikk eller algebra).
proposisjonslogikk
Proposisjonell logikk er et område av logikk som undersøker resonnement i henhold til forholdet mellom ledd (proposisjoner), de minimale diskursenhetene, som kan være sanne eller falske.
