(often spelt "Tao") An ancient Chineese philosophy or way of life, involving Wu-Wei a principle of spontaneity, Yin-Yang, the unity of opposites, and Te a kind of inner virtue.
(latin) of or from
de dicto
an ascription of a property or modality to a proposition
de re
an ascription of a property or modality to a thing
A set is decidable iff there is an effective procedure for deciding whether any object is or is not a member of the set.
the process of reasoning from premises to conclusions which are logically entailed by those premises. The conclusions of correct deductive inferences cannot possibly be false if the premises are true. See: What is Logic?".
see also:
by deduction
deductively sound
an inference is deductively sound if it is not logically possible that the premises be true and the conclusion false
in a definition, that which is defined
the body of a definition which gives the meaning to be assigned to the definiendum
a statement in which a meaning (the definiens) is assigned to a word, symbol, phrase, or expression (the definiendum)
letting the wind out
deflationary conception of truth
the view that the predicate true serves only limited purposes, such as indirect or compendious endorsement and disquotation.
a system of government involving all, or a large part, of the people governed
See also:
participatory democracy
representative democracy
signify, indicate, mean, convey, name
after Kripke, a distinction is sometimes made between denotation (which involves reference via a description) and naming in which reference is made without description
denotational semantics (computing)
a semantics for a programming or other language, given by defining mappings from each syntactic category into suitable semantic domains. The mappings are usually expected to be compositional, and "mathematical" semantic domains are often preferred (in which case it may be called a mathematical semantics).
deontic logic
a logic for reasoning about obligations and rights
serve as the name or distinctive mark of
a name or description which designates, or refers to, something
one of the immediate constituent formulae or sentences in a disjunction, e.g. in "A or B", "A" and "B" are the disjuncts.
a formula or sentence whose principle operator is logical (inclusive) or, e.g. "x>5 x<6"
the removal of quotation marks, typically by the use of the predicate "is true", e.g.: "x>5 x<6" is true
disquotation principle
that "'S' is true iff S" for all sentences S
given to asserting or imposing personal opinions
a tendency to be dogmatic
a dogmatic person
(according to pyrrhonism and Sextus Empiricus)
someone who is not a sceptic, and is willing to assert at least one proposition to be true
a sphere of control or influence
- of a function
the collection of values for which the function is defined
- of a relation (in set theory) -
the set of elements or values which relate to some other element under the relation
- in formal semantics
a collection of values which represent the meanings of a certain class of linguistic entities.
concerning motion or change
dynamic semantics
that aspect of the semantics of a programming language which is concerned with the effects of executing the program. Also used for the non-static aspects of the semantics of formal specification languages.

UP HOME © RBJ created 1999/9/16 modified 2009/4/30