- antecedent
-
From RDF Semantics (2004-02-10)
- assertion
-
From RDF Semantics (2004-02-10)
(n.) (i) Any expression
which is claimed to be true. (ii) The act of claiming something to
be true.
- class
-
From RDF Semantics (2004-02-10)
(n.) A general concept, category or classification. Something
used primarily to
classify or categorize other things. Formally, in RDF, a
resource
of type
rdfs:Class
with an associated set of
resources
all of which
have the class as a value of the
rdf:type
property.
Classes are often called 'predicates' in the formal logical
literature.
- complete
-
From RDF Semantics (2004-02-10)
(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 (2004-02-10)
(n.) In an inference,
the expression constructed from the
antecedent
. In an entailment relation, the
entailee. Also
conclusion
.
- consistent
-
From RDF Semantics (2004-02-10)
(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 (2004-02-10)
(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 (2004-02-10)
(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 (2004-02-10)
(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 (2004-02-10)
(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 (2004-02-10)
(adj., of a logic) A
set-based 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 (2004-02-10)
(adj.) Couched in language
sufficiently precise as to enable results to be established using
conventional mathematical techniques.
- iff
-
From RDF Semantics (2004-02-10)
(conj.) Conventional abbreviation for 'if and only if'. Used to
express necessary and sufficient conditions.
- inconsistent
-
From RDF Semantics (2004-02-10)
(adj.) False under
all interpretations; impossible to
satisfy
.
(n.), any inconsistent expression or graph.
- indexical
-
From RDF Semantics (2004-02-10)
(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 (2004-02-10)
(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 (2004-02-10)
(adj., of a logic)
Not
extensional
. A
logic which allows distinct entities with the same extension.
- interpretation
-
From RDF Semantics (2004-02-10)
() (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 (2004-02-10)
- metaphysical
-
From RDF Semantics (2004-02-10)
(adj.).
Concerned with the true nature of things in some absolute or
fundamental sense.