→ Logika - Rozdział VI. → Začněte se učit

otázka		odpověď
Definicja językowa začněte se učit		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 začněte se učit		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 začněte se učit		nazywamy zwrot zawierający wyrażenie definiowane.
Definiensem začněte se učit		nazywamy zwrot definiujący.
Spójką definicyjną začněte se učit		nazywamy zwrot łączący definiendum z definiensem.
Definicja wyraźna začněte se učit		to taka definicja równościowa, w której definiendum znajduje się wyłącznie wyrażenie definiowane.
Definicja kontekstowa začněte se učit		to taka definicja równościowa, w której definiendum stanowi kontekst zawierający w sobie wyrażenie definiowane.
Definicją projektującą začněte se učit		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ą začněte se učit		nazywamy szczególną odmianę definicji projektującej.
Eksplikandum začněte se učit		nazywamy wyrażenie poddane eksplikacji.
Eksplikatum začněte se učit		nazywamy wyrażenie definiowane w eksplikacji.

Logika - rozdział VI.