Vad är logik?

Logik är ett ord som definierar vetenskapen om resonemang. Ett annat begrepp för logik är "studiet av de metoder och principer som används för att skilja korrekt resonemang från felaktigt resonemang". Denna vetenskap täcker olika begrepp, inklusive argumentation, matematik och datavetenskap. Kolla in nedan inom vilka områden vi kan använda logik.

Ordet logik kommer från grekiskans logos och förknippas med ett specifikt sätt att resonera. Logik är ett område inom filosofin som används som en introduktion till filosofiska studier eftersom det är relaterat till logos, förnuft, ord, tal och reflekterar över något som kräver resonemang och argumentation.

Den grekiske filosofen Aristoteles, en lärjunge till Platon, är en mycket viktig person för förståelsen av logik. Han var den förste som studerade ämnet och slog fast att språket är centrum för allt: kommunikation, konst, abstrakt tänkande och vetenskapliga studier. Men för att det ska fungera är det nödvändigt att följa språkliga premisser.

Logik presenteras som en vetenskap, men Aristoteles såg inte logik som en sådan. Kort sagt är syllogism det argument som bildas av satser. Det är en form av resonemang som använder deduktion för att nå en slutsats, så det finns olika problem eller spel med logik.

En annan filosof som samarbetade med vetenskapen om resonemang var tysken Gottlob Frege på 1800-talet. Han varnade för behovet av matematik för en bättre förståelse av logik. För att göra denna premiss konkret utarbetade Frege predikatkalkylen, en metod som studerade språkliga satser genom matematisk deduktion.

Se här allt om betydelsen av Metafysik .

Aristotelisk logik

Definitionen av aristotelisk logik är studiet av logik genom tanke. Detta eftersom den grekiska filosofen ansåg att logik var en mekanism för att validera tanke. Begreppet, bedömning och resonemang är logikens premisser. Den aristoteliska logikens egenskaper är: instrumentell, formell, propeneutisk/preliminär, normativ, bevisdoktrin och allmän/atemporal.

Aristoteles pekade också ut propositioner som logikens grund, där omdömen formar tanken. Propositioner är samband som ger predikat (kvalitet) till ett subjekt, sådana propositioner kallas syllogism. Syllogism är föreningen mellan filosofiska och vetenskapliga tankar.

De resonemang som fördes av Aristoteles, och som kallades grunderna för språklig logik, ledde fram till den medeltida logiken, som varade fram till 1200-talet. De viktigaste medeltida filosoferna var Alexander av Afrodisias, Porfyry och Galen. Den medeltida logiken klassificerades som vetenskapen om att bedöma korrekt för att validera tankar.

Programmeringslogik

Programmeringslogik består av utarbetandet av logiska sekvenser. Dess grundläggande principer är varianter och konstanter, namn som representerar ett värde och dispenserar dess upprepning och även datatyper, uppdelade i Typ 1: text, Typ 2: heltal, Typ 3: verklig och Typ 4: logisk, kolla in hur beskrivningarna av dessa datatyper är:

Typ 1: en sträng med ett eller flera tecken, vanligtvis omslutna av dubbla citattecken. Mellanslag är också tecken;

Typ 2: negativa och positiva numeriska värden utan decimaler;

Typ 3: negativa och positiva numeriska värden med decimaler;

Typ 4: alternativ som JA, NEJ, SANT och FALSKT.

De logiska sekvenser som skrivs med ovanstående begrepp kallas algoritmer och fungerar som ett kakrecept. Algoritmer visar datorn vad den ska göra i varje logisk sekvens. Algoritmer skrivs med hjälp av programmeringsspråk som kan vara antingen högnivå eller lågnivå.

Högnivåspråk är lätt att förstå, eftersom kommandot först ges i ett diagram med omvandlingen till den avsedda åtgärden, SQL (Specification Design Language) är ett exempel på högnivåspråk. Lågnivåspråk avser direkta instruktioner till enheten som representeras av bokstäver och siffror. ASSEMBLY-språket är ett exempel pålågnivåspråk.

Se här allt om Rationalism .

Argumentation logik

Argumentationslogik är hur man använder resonemang för att övertyga en person. I denna logik kombineras sekvenser av påståenden eller uttalanden för att nå en slutsats. De grundläggande begreppen inom argumentationslogik är: argumentation, analogier, slutledningar, avdrag och slutsatser, där:

En argumentation är en uppsättning premisser eller hypoteser och resultatet av dem kallas en slutsats. Exempel: p1: Alla goianos sjunger sertanejo, p2: Alla sertanejo-sångare gillar musik och p3: Alla goianos sjunger sertanejo;

Analogi är en jämförelse mellan argument, t.ex. "Ljus är dag och mörker är natt";

Inferens är att dra en slutsats med hjälp av en uppsättning inledande premisser. Det finns två typer av inferens: deduktion och induktion. Vid deduktion finns informationen i premisserna på ett tydligt eller föreslaget sätt, till exempel: Preposition A: Fåglar har näbbar. Preposition B: En ny fågelart har upptäckts. Slutsats: Den nya arten har näbbar. Vid induktion överför premisserna informationVid induktion nås slutsatsen genom den mest lämpliga sannolikheten. Exempel: Om alla fåglar har näbb måste den nya arten också ha en näbb.

Innebörden av logik är i kategorin Filosofi

Se även nedan:

• Innebörden av etik
• Betydelsen av epistemologi
• Betydelsen av epistemologisk
• Betydelsen av metafysik
• Betydelsen av Moral
• Betydelsen av sociologi
• Betydelsen av empirism
• Innebörden av empirisk kunskap
• Innebörden av upplysning
• Betydelsen av rationalism