 antecedent

From RDF Semantics (20040210)
 assertion

From RDF Semantics (20040210)
(n.) (i) Any expression
which is claimed to be true. (ii) The act of claiming something to
be true.
 class

From RDF Semantics (20040210)
 complete

From RDF Semantics (20040210)
(adj., of an inference system). (1)
Able to detect all
entailment
s between any two expressions.
(2) Able to draw all
valid
inferences. See
Inference
. Also used with a qualifier: able to
detect entailments or draw all
valid
inferences in a certain limited form or kind (e.g.
between expressions in a certain normal form, or meeting certain syntactic conditions.)
 consequent

From RDF Semantics (20040210)
(n.) In an inference,
the expression constructed from the
antecedent
. In an entailment relation, the
entailee. Also
conclusion
.
 consistent

From RDF Semantics (20040210)
(adj., of an expression) Having
a satisfying
interpretation
; not internally contradictory. (Also used
of an inference system as synonym for
Correct
.)
 correct

From RDF Semantics (20040210)
(adj., of an inference system). Unable
to draw any invalid inferences, or unable to make false claims of entailment. See
Inference
.
 decideable

From RDF Semantics (20040210)
(adj., of an inference system). Able to determine for any pair of expressions,
in a finite time with finite resources, whether or not the first entails the
second. (Also: adj., of a logic:) Having a decideable inference system which
is complete and correct for the semantics of the logic.
 entail

From RDF Semantics (20040210)
(v.),
(n.). A semantic relationship between
expressions which holds whenever the truth of the first guarantees
the truth of the second. Equivalently, whenever it is logically
impossible for the first expression to be true and the second one
false. Equivalently, when any
interpretation
which
satisfies
the first also satisfies the second.
(Also used between a set of expressions and an expression.)
 equivalent

From RDF Semantics (20040210)
(prep., with
to
) True under exactly the same conditions; making
identical claims about the world, when asserted.
Entails
and is entailed
by.
 extensional

From RDF Semantics (20040210)
(adj., of a logic) A
setbased theory or logic of classes, in which classes are
considered to be sets, properties considered to be sets of
<object, value> pairs, and so on. A theory which admits no
distinction between entities with the same extension. See
Intensional
.
 formal

From RDF Semantics (20040210)
(adj.) Couched in language
sufficiently precise as to enable results to be established using
conventional mathematical techniques.
 iff

From RDF Semantics (20040210)
(conj.) Conventional abbreviation for 'if and only if'. Used to
express necessary and sufficient conditions.
 inconsistent

From RDF Semantics (20040210)
 indexical

From RDF Semantics (20040210)
(adj., of an expression) having
a meaning which implicitly refers to the context of use. Examples from English
include words like 'here', 'now', 'this'.
 infer

From RDF Semantics (20040210)
(n.) An act or
process of constructing new expressions from existing expressions, or the result
of such an act or process. Inferences corresponding to
entailments
are described as
correct
or
valid
.
, formal description of a type of inference;
, organized system of inference rules; also,
software which generates inferences or checks inferences for validity.
 intensional

From RDF Semantics (20040210)
(adj., of a logic)
Not
extensional
. A
logic which allows distinct entities with the same extension.
 interpretation

From RDF Semantics (20040210)
() (n.) A minimal formal description of those
aspects of a
world
which
is just sufficient to establish the truth or falsity of any
expression of a logic.
 logic

From RDF Semantics (20040210)
 metaphysical

From RDF Semantics (20040210)