Logik är ett kvinnligt substantiv från den grekiska termen logotyp, relaterad till logotyper, anledning, ord eller Tal, vilket betyder resonemang vetenskap.
I figurativ mening är ordet logik relaterat till a specifika resonemang, med rätta. Till exempel: Detta kommer aldrig att fungera! Din plan har ingen logik!
Du problem eller logikspel är aktiviteter där en individ måste använda en logiskt resonemang för att lösa problemet.
Aristotelisk logik
Enligt Aristoteles har logiken som syfte att studera trodde, liksom lagar och regler som styr det, för att den tanken ska vara korrekt. För den grekiska filosofen är logikens beståndsdelar den begrepp, dom och resonemang. Logikens lagar motsvarar de kopplingar och relationer som finns mellan dessa element.
Några efterträdare av Aristoteles var ansvariga för grunden för medeltida logik, som varade fram till trettonde århundradet. Medeltida tänkare som Galen, Porphyry och Alexander of Aphrodisia klassificerade logiken som vetenskapen om att bedöma korrekt, vilket gör det möjligt att nå korrekt och formellt giltigt resonemang.
Programmeringslogik
Programmeringslogik är det språk som används för att skapa ett datorprogram. Programmeringslogik är viktigt för att utveckla datorprogram och system, eftersom det definierar den logiska kedjan för den utvecklingen. Stegen för denna utveckling är kända som en algoritm, som består av en logisk sekvens av instruktioner för den funktion som ska köras.
Argumentationslogik
Argumentationslogik gör det möjligt att kontrollera giltigheten eller om ett uttalande är sant eller inte. Det är inte gjort med relativa eller subjektiva begrepp. De är konkreta förslag vars giltighet kan verifieras. I detta fall syftar logiken till att utvärdera formen på propositionerna och inte innehållet. Syllogismer (som består av två förutsättningar och en slutsats) är ett exempel på argumentationslogik. Till exempel:
Cornmeal är en hund.
Alla hundar är däggdjur.
Därför är majsmjöl ett däggdjur.
Matematisk logik
Matematisk logik (eller formell logik) studerar logik utifrån dess struktur eller form. Matematisk logik består av en deduktiva systemet av uttalanden som syftar till att skapa en grupp lagar och regler för att bestämma resonemangets giltighet. Således anses ett resonemang vara giltigt om det är möjligt att nå en sann slutsats från verkliga förutsättningar.
Matematisk logik används också för att bygga giltigt resonemang genom andra resonemang. Resonemanget kan vara deduktiv- (slutsatsen erhålls obligatoriskt från lokalens sanning) och induktiv (probabilistisk).
Formell logik kan delas in i två grupper: propositionell logik och predikatlogik.
Leibniz ses av många som sinnet som initierade begreppet formell logik eller matematik, som tar upp kärnfrågorna i matematik. Det var dock först efter 1890 med Peano att frågan om axiomernas konsistens började. Några viktiga principer för formell logik finns i The Mathematical Analysis of Logic av George Boole (författare till Booles logik eller algebra).
propositionell logik
Propositionslogik är ett logikområde som undersöker resonemang enligt förhållandena mellan klausuler (propositioner), de minimala diskursenheterna, som kan vara sanna eller falska.