Hvad er logik?

Logik er et ord, der definerer videnskaben om ræsonnement. Et andet begreb om logik er "studiet af de metoder og principper, der bruges til at skelne korrekt ræsonnement fra ukorrekt ræsonnement". Denne videnskab dækker forskellige begreber, herunder argumentation, matematik og datalogi. Se nedenfor, inden for hvilke områder vi kan bruge logik.

Ordet logik stammer fra det græske logos og er forbundet med en bestemt måde at ræsonnere på. Logik er et område inden for filosofi, der tages som en introduktion til filosofiske studier, da det er relateret til logos, fornuft, ord, tale og reflekterer over noget, der kræver ræsonnement og argumentation.

Den græske filosof Aristoteles, en discipel af Platon, er en meget vigtig figur i forståelsen af logik. Han var den første, der studerede emnet og fastslog, at sproget er centrum for alt: kommunikation, kunst, abstrakt tænkning og videnskabelige studier. Men for at det skal fungere, er det nødvendigt at følge sproglige præmisser.

Logik blev præsenteret som en videnskab, men blev ikke set som sådan af Aristoteles. Kort sagt er syllogisme det argument, der dannes af sætninger. Det er en form for ræsonnement, der bruger deduktion til at nå en konklusion, så der er forskellige problemer eller spil i logik.

En anden filosof, der samarbejdede med videnskaben om ræsonnement, var tyskeren Gottlob Frege i det 19. århundrede. Han advarede om behovet for matematik til en bedre forståelse af logik. For at gøre denne præmis konkret udarbejdede Frege prædikaternes kalkule, en metode, der studerede sproglige sætninger ved matematisk deduktion.

Se her alt om betydningen af Metafysik .

Aristotelisk logik

Definitionen af aristotelisk logik er studiet af logik gennem tanke. Det skyldes, at den græske filosof mente, at logik var en mekanisme til at validere tanke. Begrebet, dommen og ræsonnementet er logikkens præmisser. Kendetegnene ved aristotelisk logik er: instrumentel, formel, propeneutisk/preliminær, normativ, bevislære og generel/tidslig.

Aristoteles pegede også på sætninger som grundlaget for logik, hvor domme danner tanker. Sætninger er forbindelser, der giver prædikater (kvalitet) til et emne, sådanne sætninger kaldes syllogisme. Syllogisme er foreningen mellem filosofiske og videnskabelige tanker.

De ræsonnementer, der kom fra Aristoteles, kaldet grundlaget for sproglig logik, kulminerede i middelalderens logik, som varede indtil det 13. århundrede. De vigtigste middelalderlige filosoffer var Alexander af Afrodisias, Porfyr og Galen. Klassifikationen af middelalderens logik var videnskaben om at bedømme nøjagtigt for at validere tanker.

Programmeringslogik

Programmeringslogik består i at udarbejde logiske sekvenser. Dens grundlæggende principper er varianter og konstanter, navne, der repræsenterer en værdi og undgår gentagelse, og også datatyper, opdelt i Type 1: tekst, Type 2: heltal, Type 3: reel og Type 4: logisk, se hvordan beskrivelserne af disse datatyper er:

Type 1: en streng af et eller flere tegn, som regel omsluttet af dobbelte anførselstegn. Mellemrum er også tegn;

Type 2: negative og positive numeriske værdier uden decimaler;

Type 3: negative og positive numeriske værdier med decimaler;

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

De logiske sekvenser, der er skrevet med ovenstående begreber, kaldes algoritmer, der fungerer som en kageopskrift. Algoritmer viser computeren, hvad den skal gøre i hver logisk sekvens. Algoritmer skrives ved hjælp af programmeringssprog, der kan være enten højniveau eller lavniveau.

Programmeringssproget på højt niveau er let at forstå, fordi kommandoen først er lavet i et diagram, der har konverteringen til den tilsigtede handling, SQL (Specification Design Language) er et eksempel på sprog på højt niveau. Sproget på lavt niveau refererer til direkte instruktioner til enheden repræsenteret af bogstaver og tal. ASSEMBLY-sproget er et eksempel påsprog på lavt niveau.

Se her alt om Rationalisme .

Argumentationslogik

Argumentationslogik er, hvordan man bruger ræsonnementer til at overbevise en person. I denne logik kombineres sekvenser af påstande eller udsagn for at nå frem til en konklusion. De grundlæggende begreber i argumentationslogik er: argumentation, analogier, slutninger, deduktioner og konklusioner:

En argumentation er et sæt af præmisser eller hypoteser, og resultatet af dem kaldes en konklusion. Eksempel: p1: Alle goianos synger sertanejo, p2: Alle sertanejo-sangere kan lide musik og p3: Alle goianos synger sertanejo;

Analogi er en sammenligning mellem argumenter, for eksempel: "Lys er for dag, som mørke er for nat";

Inferens er at nå en konklusion ved hjælp af et sæt indledende præmisser. Der er to typer inferens: deduktion og induktion. I deduktion er informationen i præmisserne på en klar eller foreslået måde, eksempel: Præposition A: Fugle har næb. Præposition B: En ny fugleart er blevet opdaget. Konklusion: Den nye art har næb. I induktion overfører præmisserne informationI induktion nås konklusionen med den mest passende sandsynlighed. Eksempel: Hvis alle fugle har næb, må den nye art også have et næb.

Betydningen af Logik er i kategorien Filosofi

Se også her:

• Betydningen af etik
• Betydning af epistemologi
• Betydning af epistemologisk
• Betydning af metafysik
• Betydning af moralsk
• Betydning af sociologi
• Betydning af empirisme
• Betydning af empirisk viden
• Betydning af oplysning
• Betydning af rationalisme