logiker
En logiker er en person, der tænker udpræget logisk.
En logiker er en person, der tænker udpræget logisk.
Logik er læren om de grundlæggende principper og regler for korrekte slutninger. Som videnskab blev logik grundlagt i oldtiden, se aristotelisk logik. I nutiden kan den indholdsmæssigt placeres i grænseområdet mellem filosofi og matematik; den har mange praktiske anvendelser, specielt
logik fuldstændig på samme måde, som klassisk logik er fuldstændig mht. sandhedsfunktionel semantik. Disse moderne undersøgelser af intuitionistisk logik spiller en stor rolle i teoretisk datalogi. En række bevisførere er baseret på intuitionistisk logik, fx Agda, Coq og Lean. Læs
udtryk, som kun indeholder kombinatorerne K, S og funktionsnavnene i funktionsudtrykket. Det kaldes kombinatorisk fuldstændighed. Alle beregnelige funktioner kan defineres i kombinatorisk logik. Kombinatorisk logik spiller en væsentlig rolle i datalogi og bevisteori. Læs mere i Den Store Danske logik
logik, nyere gren af logikken, hvis udvikling hovedsagelig skyldes den finske filosof G.H. von Wright. Deontisk logik adskiller sig fra formel logik ved alene at omhandle udsagn, der udtrykker, at noget er moralsk påbudt, tilladt, forbudt eller ikke tilladt. Deontisk
Logiker - logik, person, der beskæftiger sig fagligt med logik.
logik er en retning inden for moderne logik. Den traditionelle deduktive logik vedrører studiet af formelt gyldige slutninger. Imidlertid synes det klart, at der ofte ræsonneres rationelt på måder, der ikke er deduktivt gyldige i streng forstand. Den epistemiske logik
logik, (1. ord af poly- og afledn. af lat. valere 'have gyldighed, have værdi'), logik, som tillader flere sandhedsværdier end sand og falsk (divalent logik). Idéen om flere sandhedsværdier går tilbage til antikken, men det var først Emil Post (1897-1954) og
af udsagnene 'p' eller 'q' kan modbevises. Dialogisk logik blev udviklet i midten af 1900-tallet af den tyske matematiker Paul Lorenzen, der viste, hvorledes både klassisk og intuitionistisk logik kunne defineres dialogisk. Læs mere i Den Store Danske logik
logik, alternativ til klassisk logik, der kun anerkender et udsagn som sandt, hvis der findes en direkte (konstruktiv) metode til at bevise dets sandhed. Formelt set er konstruktivistisk logik identisk med intuitionistisk logik, men gives ofte semantiske fortolkninger, som ikke