Hva er logikk:
Logikk Det er en formell vitenskap som studerer strukturen eller formene for menneskelig tanke (som proposisjoner, begreper og resonnement) for å etablere gyldige lover og prinsipper for å oppnå sannhetskriterier.
Som et adjektiv betyr 'logisk' eller 'logisk' at noe følger reglene for logikk og fornuft. Det indikerer også en forventet naturlig eller normal konsekvens.
Det brukes også til å referere til den såkalte 'sunn fornuft'. Den kommer fra latin logikk, og i sin tur fra gresk λογική (logike, 'å ha grunn, 'intellektuell', 'dialektisk', 'argumenterende'), som igjen stammer fra ordet λόγος (logoer, 'ord', 'tanke', 'grunn', 'idé', 'argument').
Proposisjonell, matematisk eller symbolsk logikk
Proposisjonell logikk er grenen av logikk som studerer proposisjonsvariabler, logiske forbindelser (
). Noen forfattere identifiserer det også med matematisk eller symbolsk logikk, siden den bruker en serie spesielle symboler som bringer den nærmere matematisk språk. Proposisjoner kan være sanne eller falske.
Filosofisk logikk
Logikk anses vanligvis å være en del av filosofien, selv om logikken som sådan brukes i forskjellige områder og aktiviteter hos mennesket.
Filosofisk logikk bruker fire grunnleggende prinsipper som etablerer de riktige tankeprosessene. Disse prinsippene er prinsippet om identitet, prinsippet om ikke-motsigelse, prinsippet om utelukket tredjepart og prinsippet om tilstrekkelig grunn.
Formell logikk og uformell logikk
Formell logikk er en som har som formål å studere tekniske slutninger gjennom bruk av deduktive systemer og formelle språk og semantikk. Uformell logikk på sin side studerer naturlige resonnement og argumentasjonssystemer gjennom språk og hverdagstanker.
Aristotelisk logikk
Det er logikken som er basert på studiene til Aristoteles, en gresk filosof fra det 4. århundre f.Kr. Aristotelisk logikk bruker de såkalte syllogismene, som er et deduksjon eller form for resonnement der premisser etableres hvorfra en konklusjon utledes.
Det er derfor et begrep som ligner deduktivt gyldige argumenter. Et klassisk eksempel på aristotelisk logikk er: 'Alle menn er dødelige. Alle grekere er menn. Derfor er alle grekere dødelige. ' De to første setningene vil være premissene og den tredje konklusjonen.
Diffus logikk
Konseptet av diffus logikk kommer fra engelsk ('fuzzy logic'). Det er en type logikk som bruker tilfeldige verdier, men kontekstualiseres og er relatert til hverandre, og fastslår slektningen til det som observeres som en differensialposisjon. Fuzzy logikk brukes på forskjellige områder som informatikk og industri.
