Vad är logik:
Logik Det är en formell vetenskap som studerar strukturen eller formerna för mänskligt tänkande (såsom propositioner, begrepp och resonemang) för att fastställa giltiga lagar och principer för att erhålla sanningskriterier.
Som ett adjektiv betyder "logisk" eller "logisk" att något följer reglerna för logik och förnuft. Det indikerar också en förväntad naturlig eller normal konsekvens.
Det används också för att hänvisa till den så kallade "sunt förnuft". Det kommer från latin logik, och i sin tur från grekiska λογική (logike, 'med anledning, 'intellektuell', 'dialektisk', 'argumenterande'), som i sin tur härrör från ordet λόγος (logotyper, 'ord', 'tanke', 'anledning', 'idé', 'argument').
Propositionell, matematisk eller symbolisk logik
Propositionslogik är den gren av logiken som studerar propositionsvariabler, logiska anslutningar (
). Vissa författare identifierar det också med matematisk logik eller symbolisk logik, eftersom det använder en serie specialsymboler som för det närmare matematiska språk. Förslag kan vara sanna eller falska.
Filosofisk logik
Logik anses vanligtvis vara en del av filosofin, även om logiken som sådan tillämpas inom olika områden och aktiviteter hos människan.
Filosofisk logik använder fyra grundläggande principer som fastställer rätt tankeprocesser. Dessa principer är principen om identitet, principen om icke-motsägelse, principen om utesluten tredje part och principen om tillräckligt skäl.
Formell logik och informell logik
Formell logik är en vars syfte att studera är tekniska slutsatser genom användning av deduktiva system och formella språk och semantik. Informell logik studerar å sin sida naturligt resonemang och argumentationssystem genom språk och vardagstänkande.
Aristotelisk logik
Det är logiken som bygger på studierna av Aristoteles, en grekisk filosof från 400-talet f.Kr. Aristotelisk logik använder så kallade syllogismer, vilket är ett avdrag eller resonemangsform i vilket lokaler etableras från vilka en slutsats dras.
Det är därför ett begrepp som liknar deduktivt giltiga argument. Ett klassiskt exempel på aristotelisk logik är: 'Alla män är dödliga. Alla greker är män. Därför är alla greker dödliga. ' De första två meningarna skulle vara förutsättningarna och den tredje slutsatsen.
Diffus logik
Konceptet av diffus logik kommer från engelska ('fuzzy logic'). Det är en typ av logik som använder slumpmässiga värden men är kontextualiserade och relaterade till varandra och fastställer relativen för det som observeras som en differentiell position. Fuzzy logic tillämpas inom olika områden som datavetenskap och industri.
