Logika - rozdział VI.

Definicja językowa

Jeżeli język, w którym sformułowana jest określona definicja, jest metajęzykiem języka, dla którego sformułowana jest ta definicja, to stanowi ona definicję językową.

Definicja przedmiotowa

Jeżeli język, w którym sformułowana jest określona definicja, jest tym samym językiem, dla którego jest ona sformułowana, to stanowi ona definicję przedmiotową.

Definiendum

nazywamy zwrot zawierający wyrażenie definiowane.

Definiensem

nazywamy zwrot definiujący.

Spójką definicyjną

nazywamy zwrot łączący definiendum z definiensem.

Definicja wyraźna

to taka definicja równościowa, w której definiendum znajduje się wyłącznie wyrażenie definiowane.

Definicja kontekstowa

to taka definicja równościowa, w której definiendum stanowi kontekst zawierający w sobie wyrażenie definiowane.

Definicją projektującą

danego wyrażenia dla określonego, budowanego właśnie języka jest taka definicja, która informuje o znaczeniu jakie definiowane wyrażenie będzie mieć w tym języku. Definicje projektujące nazywa się też definicjami syntetycznymi.

Eksplikacją

nazywamy szczególną odmianę definicji projektującej.

Eksplikandum

nazywamy wyrażenie poddane eksplikacji.

Eksplikatum

nazywamy wyrażenie definiowane w eksplikacji.