Hvad er logik:
Logik Det er en formel videnskab, der studerer strukturen eller formerne for menneskelig tanke (såsom propositioner, begreber og ræsonnement) for at etablere gyldige love og principper for at opnå sandhedskriterier.
Som et adjektiv betyder 'logisk' eller 'logisk', at noget følger reglerne for logik og fornuft. Det indikerer også en forventet naturlig eller normal konsekvens.
Det bruges også til at henvise til den såkaldte 'sund fornuft'. Det kommer fra latin logik, og til gengæld fra det græske λογική (logike, 'have grund, 'intellektuel', 'dialektisk', 'argumenterende'), som igen stammer fra ordet λόγος (logoer, 'ord', 'tanke', 'grund', 'idé', 'argument').
Propositionel, matematisk eller symbolsk logik
Propositionel logik er den gren af logik, der studerer propositionelle variabler, logiske connectives (
). Nogle forfattere identificerer det også med matematisk logik eller symbolsk logik, da det bruger en række specielle symboler, der bringer det tættere på matematisk sprog. Forslag kan være sande eller falske.
Filosofisk logik
Logik betragtes normalt som en del af filosofien, selvom logikken som sådan anvendes i forskellige områder og aktiviteter hos mennesket.
Filosofisk logik bruger fire grundlæggende principper, der etablerer de korrekte tankeprocesser. Disse principper er identitetsprincippet, princippet om ikke-modsigelse, princippet om udelukket tredjepart og princippet om tilstrækkelig grund.
Formel logik og uformel logik
Formel logik er en, hvis formål med studiet er tekniske slutninger gennem brug af deduktive systemer og formelle sprog og semantik. Uformel logik studerer på sin side naturlige ræsonnements- og argumentationssystemer gennem sprog og hverdagstanke.
Aristotelisk logik
Det er logikken, der er baseret på studierne af Aristoteles, en græsk filosof fra det 4. århundrede f.Kr. Aristotelisk logik bruger de såkaldte syllogismer, som er et fradrag eller en form for ræsonnement, hvori der etableres forudsætninger, hvorfra en konklusion udledes.
Det er derfor et begreb svarende til deduktivt gyldige argumenter. Et klassisk eksempel på aristotelisk logik er: 'Alle mænd er dødelige. Alle grækerne er mænd. Derfor er alle grækerne dødelige. ' De to første sætninger ville være forudsætningerne og den tredje konklusionen.
Diffus logik
Begrebet diffus logik stammer fra engelsk ('fuzzy logic'). Det er en type logik, der bruger tilfældige værdier, men kontekstualiserede og relaterede til hinanden, hvilket fastslår den relative, hvad der observeres som en differentieret position. Fuzzy-logik anvendes inden for forskellige områder såsom datalogi og industri.
