Hva er logikk?

Logikk er et ord som definerer vitenskapen om resonnement. Et annet begrep om logikk er "studiet av metodene og prinsippene som brukes for å skille riktig fra feil resonnement." Denne vitenskapen dekker flere begreper, blant annet argumentasjon, matematikk og informatikk. Sjekk nedenfor hvilke felt vi kan bruke logikk.

Ordet logikk stammer fra det greske logos og er assosiert med en bestemt måte å resonnere på. Logikk er et område av filosofi sett på som en introduksjon til det filosofiske studium, da det er knyttet til logos, fornuft, ord, diskurs og reflekterer over noe som krever resonnement og argumentasjon.

Den greske filosofen Aristoteles, en disippel av Platon, er en svært viktig skikkelse i forståelsen av logikk. Han var den første som studerte emnet, og bestemte at språket er i sentrum av alt: kommunikasjon, kunst, abstrakt tenkning og vitenskapelig studie. Men for at det skal fungere, er det nødvendig å følge språklige premisser.

Presentert som en vitenskap ble ikke logikk sett på som det av Aristoteles. Kort fortalt er syllogismen argumentet dannet av proposisjoner. Det er en form for resonnement som bruker deduksjon for å komme til en konklusjon, så det er flere problemer eller logikkspill.

En annen filosof som samarbeidet med resonnementvitenskapen var tyskeren Gottlob Frege, på 1800-tallet. Han advartebehovet for matematikk for en bedre forståelse av logikk. For å materialisere dette premisset utarbeidet Frege predikatregningen, en metode som studerte språklige påstander gjennom matematisk deduksjon.

Se her alt om betydningen av metafysikk .

Aristotelisk logikk

Definisjonen av aristotelisk logikk er studiet av logikk gjennom tenkning. Dette er fordi den greske filosofen mente at logikk var en mekanisme for å validere tanken. Konsept, dømmekraft og resonnement er logikkens premisser. Egenskapene ved den aristoteliske logikken er: instrumentell, formell, propeneutisk/foreløpig, normativ, bevislære og generell/tidløs.

Aristoteles påpekte også proposisjonen som grunnlaget for logikken, der dommer danner tanke. Proposisjoner er forbindelser som gir predikater (kvalitet) til et subjekt, slike proposisjoner kalles syllogismer. Syllogismen er foreningen mellom filosofiske og vitenskapelige tanker.

Resonnementet fra Aristoteles, kalt grunnlaget for språklig logikk, kulminerte middelalderlogikken, som varte til det trettende århundre. De viktigste middelalderfilosofene var Alexander av Afrodisia, Porfyr og Galen. Middelalderlogikkklassifisering var vitenskapen om å dømme nøyaktig for å validere tanken.

Programmeringslogikk

Programmeringslogikk består av å utdypeav logiske sekvenser. Dens grunnleggende prinsipper er varianter og konstanter, navn som representerer en verdi og ikke krever repetisjon og også datatyper, delt inn i Type 1: tekst, Type 2: heltall, Type 3: reell og Type 4: logisk, sjekk ut hvordan beskrivelsene av disse datatypene:

Type 1: streng med ett eller flere tegn, vanligvis omsluttet av doble anførselstegn. Mellomrom er også tegn;

Type 2: negative og positive numeriske verdier uten desimaler;

Type 3: negative og positive numeriske verdier med desimaler;

Type 4: alternativer som YES, NO, TRUE og FALSE.

De logiske sekvensene som er skrevet med begrepene ovenfor kalles algoritmer som fungerer som en kakeoppskrift. Algoritmer viser datamaskinen hva den skal gjøre i hver logiske sekvens. Algoritmene er skrevet ved hjelp av et programmeringsspråk som kan være på høyt eller lavt nivå.

Programmeringsspråket på høyt nivå er lett å forstå, fordi kommandoen for det første lages i et diagram, med konverteringen til den tiltenkte action, SQL (Specification Design Language) er et eksempel på et høynivåspråk. Språk på lavt nivå refererer til direkte instruksjoner til enheten representert med bokstaver og tall. ASSEMBLY-språket er et eksempel på et lavnivåspråk.

Se her alt om Rasjonalisme .

Argumentasjonslogikk

Argumentasjonslogikken er hvordan man bruker resonnement for å overbevise en person. I denne logikken kombineres sekvenser av påstander eller utsagn for å komme til en konklusjon. De grunnleggende begrepene for argumentasjonslogikk er: argumentasjon, analogier, slutninger, deduksjoner og konklusjoner, hvor:

Argumentasjon er et sett med premisser eller hypoteser og resultatet av dem kalles en konklusjon. Eksempel: p1: Alle Goianos synger countrymusikk, p2: Alle countrysangere liker musikk og p3: Alle folk fra Goiás synger countrymusikk;

Analogi er en sammenligning mellom argumenter, eksempel: «Lyset er for dagen som mørket er for natten»;

Inferens er å nå en konklusjon ved å bruke et sett med innledende premisser. Det er to typer slutninger: deduksjon og induksjon. I fradraget er informasjonen i lokalene på en tydelig eller foreslått måte, eksempel: Preposisjon A: Fugler har nebb. Preposisjon B: En ny fugleart er oppdaget. Konklusjon: Den nye arten har nebb. Ved induksjon formidler lokalene nok informasjon til å komme til en konklusjon. Ved induksjon oppnås konklusjonen ved den mest passende sannsynligheten. Eksempel: Hvis alle fugler har et nebb, må den nye arten også ha et nebb.

Betydningen av Logikk er i Filosofi-kategorien

Seogså:

• Meaning of Ethics
• Meaning of Epistemology
• Meaning of Epistemological
• Meaning of Metafysics
• Betydningen av moral
• Meaning of Sociology
• Meaning of Empiricism
• Meaning of Empirical Knowledge
• Meaning of Enlightenment
• Meaning of rationalism