→ Logika - Rozdział VI. → Začnite sa učiť

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

Logika - rozdział VI.