..S
- sceptic
- someone inclined to doubt accepted opinions
- scepticism
- systematic doubt. See also: PS
- See also:
- pyrrhonism
- second
-
- a unit of time
- 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.
- semantic
- 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
- semi-decidable
- see: effectively semi-decidable
- semiotics
- the study of signs and symbols
- set
- an unstructured collection
- set theory
- a theory of sets, e.g. ZF.
- See also:
- class
- skyhook
- an imaginary means of suspension in the sky
-
solecism
- a mistake of grammar or of idiom
- sort
- (noun)
- 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.
- (verb)
- to rearrange a list or sequence according to a prescribed ordering relation
- sound
- 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.
- speculation
- formation of theories or conjectures, especially without a firm factual basis
- static
- 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
- powerful
- 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
- structure
- 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
- successor
- 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
- syntax
- that aspect of the study or definition of languages which concerns rules governing which constructs in a language are well-formed
- synthetic
- says something about the real world
© 
created 1994/9/22 modified 2009/9/22