→ Logika - Rozdział VI. → Börja lära dig

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

Logika - rozdział VI.