Indholdsfortegnelse
25 relationer: Analogia entis, Biimplikation, Definition, Diskurs, Epistemisk indstilling, Floskel, Fri vilje, Heuristik, Kendsgerning, Konsekvent, Kvantor, Logisk algebra, Logisk konnektiv, Michel Foucault, Modstrid (matematik), Negation, Præmis, Prolog (programmeringssprog), Resource Description Framework, Sandhed, Sandhedsværdi, Tautologi, Tro, Undskyldning, Zermelo-Fraenkels aksiomer.
Analogia entis
Analogia entis, latin: det værendes analogi, er et begreb der først og fremmest forekommer inden for skolastikken for at forklare hvordan udsagn om Gud er mulige.
Biimplikation
Biimplikation er en betegnelse i logik og matematik for et udsagn eller en funktion, der resulterer i værdien sand, når begge operander har samme sandhedsværdi.
Definition
En definition er et udsagn, der afgrænser og forklarer et ords eller udtryks betydning.
Diskurs
Diskurs er et udtryk som benyttes inden for.
Epistemisk indstilling
En epistemisk indstilling er en mental tilstand, som en agent har i forhold til et udsagn.
Se Udsagn og Epistemisk indstilling
Floskel
Floskel (latin. Flosculus lille blomst) En talemåde, frase, udsagn, en banalitet eller forslidt udtryk.
Fri vilje
Fri vilje er et centralt begreb inden for filosofi og religion.
Heuristik
En heuristik eller heuristisk metode er en metode, som hjælper med eller tillader personer at udforske og lære ting på egen hånd, eller at løse et problem ved at evaluere de erfaringer, der er dannet, og derved prøve sig frem, til der findes en løsning.
Kendsgerning
En fakta-afdeling på et bibliotek. Kendsgerninger eller fakta er forhold, udsagn eller påstande, for hvilke det kan godtages, at de eller deres sandhedsværdi er evidente, uomtvistelige, uimodsigelige, underforståede, indiskutable, indlysende, selvfølgelige, hævet over enhver tvivl og debat.
Konsekvent
En konsekvent er den anden halvdel af et hypotetisk udsagn.
Kvantor
I logik betegner kvantifikation mængden af eksempler inden for diskursområdet, der tilfredsstiller en åben formel.
Logisk algebra
Logisk algebra er en gren af matematikken, der beskæftiger sig med udsagn og deres sandhedsværdi.
Logisk konnektiv
Et logisk konnektiv er en afbildning, som kombinerer nogle (ofte to) udsagn til ét, således at sandhedsværdien for det samlede udsagn udelukkende afhænger af sandhedsværdierne for de indgående udsagn.
Michel Foucault
Michel Foucault (født 15. oktober 1926 i Poitiers, død 25. juni 1984 i Paris) var en fransk filosof og idéhistoriker.
Modstrid (matematik)
Bevis ved modstrid, der på latinsk kaldes reductio ad absurdum, som betyder "reduktion til meningsløshed", er en bevisteknik, der ofte anvendes i matematikken.
Se Udsagn og Modstrid (matematik)
Negation
Negation betyder nægtelse og betegner så at sige det modsatte af noget.
Præmis
En præmis er et udsagn, der kan være enten sandt eller falsk i forhold til logiske eller juridiske argumenter.
Prolog (programmeringssprog)
Prolog (PROgramming in LOGic) er et deklarativt og logikbaseret programmeringssprog.
Se Udsagn og Prolog (programmeringssprog)
Resource Description Framework
Resource Description Framework (RDF) er en mængde af specifikationer for en metadata-model, som ofte implementeres som en XML-applikation.
Se Udsagn og Resource Description Framework
Sandhed
Walter Seymour Allward, ''Veritas'', 1920 ''Tiden redder Sandheden fra Falskheden og Misundelsen,'' maleri af François Lemoyne (1737) Sandhed er overensstemmelse mellem et udsagn og den virkelighed, udsagnet udtaler sig om.
Sandhedsværdi
En sandhedsværdi er inden for logisk algebra værdien af et udsagn, som enten kan være sandt eller falsk.
Tautologi
I logik er en tautologi (fra græsk ταυτολογία tautologia "samme sag") et logisk udsagn, der er sandt for alle tildelinger af værdier til udtrykket.
Tro
En persons tro er personens overbevisning om, at et udsagn er sandt, uden at personen har en viden om, at det er sandt.
Undskyldning
"Undskyld min herre". Japansk mand som undskylder ved at bukke sig og vende blikket nedad og lukke øjnene. En undskyldning er et udsagn eller handling, der beklager noget, der er sagt eller gjort (eller undladt), af høflighed, og evt.
Zermelo-Fraenkels aksiomer
Ernst Zermelo opstillede i 1908 et sæt aksiomer for mængdelæren som Abraham Fraenkel omformulerede i 1922 og udbyggede med udskiftningsaksiomet.
Se Udsagn og Zermelo-Fraenkels aksiomer