→ 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.

Logika - rozdział VI.