→ Logika - Rozdział VI. → Start læring

spørsmålet		svaret
Definicja językowa begynn å lære		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 begynn å lære		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 begynn å lære		nazywamy zwrot zawierający wyrażenie definiowane.
Definiensem begynn å lære		nazywamy zwrot definiujący.
Spójką definicyjną begynn å lære		nazywamy zwrot łączący definiendum z definiensem.
Definicja wyraźna begynn å lære		to taka definicja równościowa, w której definiendum znajduje się wyłącznie wyrażenie definiowane.
Definicja kontekstowa begynn å lære		to taka definicja równościowa, w której definiendum stanowi kontekst zawierający w sobie wyrażenie definiowane.
Definicją projektującą begynn å lære		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ą begynn å lære		nazywamy szczególną odmianę definicji projektującej.
Eksplikandum begynn å lære		nazywamy wyrażenie poddane eksplikacji.
Eksplikatum begynn å lære		nazywamy wyrażenie definiowane w eksplikacji.

Logika - rozdział VI.