→ Logika - Rozdział VI. → Öğrenmeye Başla

soru		cevap
Definicja językowa öğrenmeye başla		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 öğrenmeye başla		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 öğrenmeye başla		nazywamy zwrot zawierający wyrażenie definiowane.
Definiensem öğrenmeye başla		nazywamy zwrot definiujący.
Spójką definicyjną öğrenmeye başla		nazywamy zwrot łączący definiendum z definiensem.
Definicja wyraźna öğrenmeye başla		to taka definicja równościowa, w której definiendum znajduje się wyłącznie wyrażenie definiowane.
Definicja kontekstowa öğrenmeye başla		to taka definicja równościowa, w której definiendum stanowi kontekst zawierający w sobie wyrażenie definiowane.
Definicją projektującą öğrenmeye başla		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ą öğrenmeye başla		nazywamy szczególną odmianę definicji projektującej.
Eksplikandum öğrenmeye başla		nazywamy wyrażenie poddane eksplikacji.
Eksplikatum öğrenmeye başla		nazywamy wyrażenie definiowane w eksplikacji.

Logika - rozdział VI.