someone inclined to doubt accepted opinions
systematic doubt. See also:
See also:

  1. a unit of time
  2. coming immediately after the first, in time or in some other ordering
second order logic
a logic in which entities are typed, each type forming a domain of quantification, among which there is type of individuals and a type of second order entities (sets, properties, relations or functions of or over individuals) but no types of higher than second order.
concerning meaning
semantic conception of vagueness
the theory that vagueness originates in language and is not an objective feature of the world (see also: ontological conception of vagueness)
semantic creativity
the ability of users of a language to understand sentences which they have never previously encountered
semantic holism
the idea that the meaning of linguistic constructs is dependent on the rest of the language of which they are a part
semantic irrealism
the denial that there are any semantic facts
semantic naturalism
theories which consider natural language semantics to be definable in terms of the concepts of the natural sciences.
See also:
axiomatic semantics
denotational semantics
dynamic semantics
operational semantics
static semantics
structured operational semantics

see: effectively semi-decidable
the study of signs and symbols
an unstructured collection
set theory
a theory of sets, e.g. ZF.
See also:
an imaginary means of suspension in the sky
a mistake of grammar or of idiom
a group of things with common attributes, a type or kind. Typically used in preference to type in the context of a first order logical system (as in "many-sorted first-order logic"). Also used by Barendregt in his pure type systems as a generic term covering types, kinds et.al.
to rearrange a list or sequence according to a prescribed ordering relation
a logic is sound with respect to its semantics if only true sentences are derivable under the inference rules from premises which are themselves all true.
formation of theories or conjectures, especially without a firm factual basis
unmoving or unchanging
static semantics
that aspect of the semantics of a computer programming language which is concerned with type constraints (which are usually checked by a compiler before execution of the program). Also used for similar aspects of formal specification languages, which however need not be decidable.
static type checking
a type system for a programming language allows for static type checking if it is possible to check conformance to the type constraints at compile time.
strong type checking
a type system for a programming language allows for strong type checking if a type correct program will give no data type related errors during execution.
strongly rigid designator
a rigid designator of a necessary object
See also:
proof theoretic strength

a set of interconnected parts of any complex thing
structured operational semantics
an operational semantics presented as an axiom system permitting the derivation of transformations over a canonical syntax
something which immediately follows
successor ordinal
an ordinal number which immediately follows some other ordinal number, i.e. which is obtained by adding one to an ordinal
See also:
limit ordinal
that aspect of the study or definition of languages which concerns rules governing which constructs in a language are well-formed
says something about the real world

UP HOME © RBJ created 1994/9/22 modified 2009/9/22